let string_of_message = string_of_message to_string GC.to_string