def for(i:Int j:Int p:/[Int Sig]):[] =
    if (<= i j) then
      ((p i);
       (for (+ i 1) j p)
      )
    else []
   
run ((for 1 5
         \[x:Int c:Sig] = (printi!x | c![])
     );
     (prNL "Done");
     ())