def dump_to_bytes(file):
        file.write(BYTES[:1])
        file.write(BYTES[1:])