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