Symbol: ctl_set_invalid_opcode