HP 1000 opcodes?