ops/ops.num opcode numbers don't match real opcode numbers, if opcodes
are missing in *.ops, because during code generation just the array
index is used and not the number $ops->code.
OTOH using this number would create holes in opcode tables, which isn't
really desirable.
leo