%0 Null
% 
% module
% test32__label1
test32__label1(_x,_T1,_upvals):-_upvals=[],(_x = 13.0,{_x+1.0=T2},true,writeln_(T2),call(test32__label1(T2,_T1),_upvals);_x = _T1,true).
% main
test32(X):-_x = 1.0,call_cl(clos([],test32__label1),[_x,T1]),writeln_(T1).