Stefan> Yes, as I said, I think it's OK.  Maybe better would be if the threaded
Stefan> version actually checked that the `value' is correct (i.e. is one more
Stefan> than the previous one) rather than just ignore that argument.

I don't know how to check that aside from writing a loop -- slow -- and
anyway there's no requirement that the values be in any order.  

The labels do indirectly use the values:

#define LABEL(OP) [OP] = &&insn_ ## OP

The [OP] on the left-hand-side is using the enum constant to decide
which array slot to initialize.  It could just as well use the value,
same difference.

Tom