some 4.3.4 opcodes