9.53.5 Opcodes