% Null
%
% module
% test24__label1
test24__label1(_x,_T1,_upvals):-_upvals=[],(lt(_x,13.0),writeln_(_x),str_calc(_x+1.0,T2),true,call(test24__label1(T2,_T1),_upvals);_x = _T1,true).
% fn
test24_fn(_i,_upvals):-_upvals=[],((((true),(_i = 2.0);(writeln_("--");true)))).
% p
test24_p(_c,_upvals):-_upvals=[],(((_z = 1.0,_c = 1.0);(dif(_z,1.0),(_c = 3.0,true);(dif(_c,3.0),writeln_("2"),_c = 2.0))),writeln_('[|]'(_c,'[|]'("2",[])))).
% p2
test24_p2(_c,_upvals):-_upvals=[],(((_z = 1.0)->(_c = 1.0,_y = 2.0);((_c = 3.0)->(true);((true)->(_c = 4.0);(writeln_("2"),_c = 2.0)))),writeln_('[|]'(_c,'[|]'("2",[])))).
% debug
test24_debug(_s,_upvals):-_upvals=[],(writeln_(_s)).
% main
test24(X):-_debug = clos([],test24_debug),_p2 = clos([],test24_p2),_p = clos([],test24_p),_fn = clos([],test24_fn),_x = 1.0,call_cl(clos([],test24__label1),[_x,T1]).