pal_opname
static const char *pal_opname(int);
db_printf("%s %s", opcode, pal_opname(i.pal_format.function));