import { writeTmp } from "https://deno.land/x/clippy@v0.2.2/platform/helper.ts";