string_for_message_code
const char* string_for_message_code(uint32 code);
Title(), string_for_message_code(code));
"per call)\n", string_for_message_code(p->code), p->count, p->time / 1000000.0,
Title(), string_for_message_code(code));