import { MaxUInt64 } from "https://dotland.deno.dev/std@0.215.0/encoding/varint.ts";