Encoding and decoding lists of bytecodes