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