run_spec(import.meta, ["json"]);