9.52.5 Opcodes