opcode 9 is not needed any more