{
  "args": "run --allow-read main.js",
  "output": "main.out"
}