8.19.6 Opcodes