get_debug_message_string
get_debug_message_string(debug_debugger_message message, char *buffer,
void get_debug_message_string() {}