let fun000 = fun(ref>> scene, ref> numFrames, ref>>>>> frames, int<4> counterStart, int<4> counterStop, int<4> counterStep) -> unit { (*@\label{povray:inspire:pfor_lambda:start}@*) for(decl int<4> forCounter = counterStart .. counterStop : counterStep) { decl ref>>> povFile = (var(undefined(type>>>))); _iwir_atomic_("SceneFile", "SceneFile", _iwir_input_wrapper_(scene), "scene", _iwir_output_wrapper_(povFile), "povFile"); decl ref>>>> renderFrames = (var(undefined(type>>>>))); _iwir_atomic_("Render", "Render", _iwir_input_wrapper_(povFile), "povFile", _iwir_input_wrapper_(forCounter), "forCounter", _iwir_input_wrapper_(numFrames), "numFrames", _iwir_output_wrapper_(renderFrames), "renderFrames"); (ref_collection_at(frames, forCounter) := ( *renderFrames)); }; }; (*@\label{povray:inspire:pfor_lambda:end}@*) let fun001 = fun(ref>> scene, ref> totalFrames, ref> framesPerActivity, ref>>>>> frames) -> unit { (*@\label{povray:inspire:pfor:start}@*) pfor(getThreadGroup(0), 1, ( *totalFrames), ( *framesPerActivity), bind(counterStart, counterStop, counterStep){fun000(_iwir_input_wrapper_(scene), _iwir_input_wrapper_(framesPerActivity), _iwir_output_wrapper_(frames), counterStart, counterStop, counterStep)}); (*@\label{povray:inspire:pfor:loopstart}@*) }; (*@\label{povray:inspire:pfor:end}@*) let fun002 = fun(ref>> scene, ref> totalFrames, ref> framesPerActivity, decl ref>>> outFile) -> unit { (*@\label{povray:inspire:toplevel:start}@*) decl ref>>>>> frames = (var(undefined(type>>>>>))); fun001(_iwir_input_wrapper_(scene), _iwir_input_wrapper_(totalFrames), _iwir_input_wrapper_(framesPerActivity), _iwir_output_wrapper_(frames)) _iwir_atomic_("Convert", "Convert", _iwir_input_wrapper_(frames), "frames", _iwir_output_wrapper_(outFile), "outfile"); (*@\label{povray:inspire:convert:end}@*) _iwir_wf_output_(type>>>, outFile) }; (*@\label{povray:inspire:toplevel:end}@*) let fun003 = fun() -> unit { (*@\label{povray:inspire:wfstart:start}@*) decl ref>> scene = _iwir_wf_input_(type>>); (*@\label{povray:inspire:wfinputs:start}@*) decl ref> totalFrames = _iwir_wf_input_(type>); decl ref> framesPerActivity = _iwir_wf_input_(type>); (*@\label{povray:inspire:wfinputs:end}@*) decl ref>>> outFile = (var(undefined(type>>>))); fun002(_iwir_input_wrapper_(scene), _iwir_input_wrapper_(totalFrames), _iwir_input_wrapper_(framesPerActivity), _iwir_output_wrapper_(outFile)) _iwir_wf_output_(type>>>, outFile) (*@\label{povray:inspire:wfoutput}@*) }; (*@\label{povray:inspire:wfstart:end}@*) fun003() (*@\label{povray:inspire:programroot}@*)