{ "command": "nitc test_prog.nit" }