Opcode implementations and fixups