import { MaxUInt64 } from "https://deno.land/std@0.180.0/encoding/varint.ts";