{
  "args": "run --check dom_extras_dts.ts",
  "output": "dom_extras_dts.out"
}