+ Printf.fprintf och "module D = Recomm%s\n" (cap st.ET.dmod)
+ end;
+ Printf.fprintf och "\n";
+ Printf.fprintf och "let step k st outs ins =\n";
+ if st.ET.para then begin
+ Printf.fprintf och " if st <> T.OO then k st outs ins else\n"
+ end else begin
+ Printf.fprintf och " if st = T.KO then k st outs ins else\n"