9.22.6 Opcodes