% Null
% 
% test17
% test17__label1
test17__label1(_x,_T1,_upvals):-_upvals=[],((lt(_x,6.0),writeln_(_x),{1.0+_x=T4},_T3=T4,call(test17__label1(_T3,_T1),_upvals));(ge(_x,6.0),_x=_T1,true)).
% main
test17(X):-_T1=1.0,call_cl(clos([],test17__label1),[_T1,_x]),writeln_(_x).