Efficient encoding of u64 to byte sequence
==========================================

!!ucw/varint.h