Map opcode 0xCC to INT3.