% module
:-style_check(-singleton),style_check(-no_effect),ensure_loaded("core3").
% main
main(X):-creq("parser2",_parser),creq("gen2",_gen),creq("logic",_logic),creq("io",_io),_fname="cosmos",get_(_io,"readFile",T2),_T1=T2,str(_fname+".co",T3),call_cl(_T1,[T3,_s1]),_s="x=str(1+2)",get_(_parser,"run",T5),_T4=T5,call_cl(_T4,[_s1,_l]),!,writeln_('[|]'("l",'[|]'(_l,[]))),get_(_gen,"new_env",T7),_T6=T7,call_cl(_T6,[_e]),!,writeln_(_e),writeln_("--"),_f2=_l,!,get_(_gen,"run",T9),_T8=T9,call_cl(_T8,[_e,_e2,_module,_fname,_f2,_s2]),_s0="\nmain(X) :- current_prolog_flag(argv, A), list_atom_string(A, B), "+_module+"(B).",writeln_("--"),!,get_(_io,"writeln",T11),_T10=T11,str(_s2,T12),call_cl(_T10,[T12]),get_(_io,"writeToFile",T14),_T13=T14,str(_s2+_s0,T16),str(_fname+".pl",T15),call_cl(_T13,[T15,T16]).