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