> Food for thought: maybe we should have variable-encoding lengths for > all opcodes, rather than the current cumbersome scheme? > Funny, it sounds like UTF-8 :-)