Symbol: probe_is_prohibited_opcode