New bytecode format