intmisc_name
static __inline const char *intmisc_name(int);
opcode = intmisc_name(i.operate_lit_format.function);