Symbol: mk_sense_invalid_opcode