import * as pup from "https://deno.land/x/pup@1.0.0-rc.8/plugins/web-interface/static/js/state.js";