9.51.5 Opcodes