Cool: unknown opcode