import { witness } from "https://deno.land/x/bigint@v0.3/mod.ts";