import { download } from "https://deno.land/x/solc@2.1.7/download.ts";