import { u64 } from "https://dotland.deno.dev/x/polkadot@0.2.35/types-codec/primitive/U64.ts";