const char *msg_num_to_name(int msg);