Module("stratego/xtc/c99/xtc-new-file",[Strategies([SDefNoArgs("xtc-new-file",Seq(Assign(Var("f"),RootApp(CallNoArgs(SVar("tmpnam")))),Where(Seq(Assign(Var("stream"),App(CallNoArgs(SVar("fopen")),NoAnnoList(Tuple([Var("f"),NoAnnoList(Str("\"w\""))])))),Seq(BA(Call(SVar("assert"),[Build(Var("TempFiles"))]),NoAnnoList(Tuple([Var("f"),NoAnnoList(Tuple([]))]))),BA(CallNoArgs(SVar("fclose")),Var("stream")))))))])])
