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