9.21.6 Opcodes