let message_emission = (ref true : bool Pervasives.ref)