format_MESG : string -> string
Never fails.
- print (format_MESG "Hello world."); <<HOL message: Hello world.>>