def _VarintBytes(value):
pieces = []<EOL>_EncodeVarint(pieces.append, value)<EOL>return b"<STR_LIT>".join(pieces)<EOL>
Encode the given integer as a varint and return the bytes.  This is only
    called at startup time so it doesn't need to be fast.