Suggested changes to the bytecode format to support extension ops