import * as mod from "https://dotland.deno.dev/std@0.118.0/testing/fast_check_example.ts";