9.23.4 Opcodes