{
  "args": "run issue13562.ts",
  "output": "issue13562.ts.out"
}