use(io). for(init:expr(void), incr:expr(void), test:expr(bool), body:expr(void)):expr(void)=( init; while(test) do ( body; incr ) ). a:var(int). for(a:=10,a:=a+1,a<20, ( print(a); print('\n') ) )