Coding of opcodes