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