1 as $i
repeat TRUE while
   $i "%d\n" print   $i 1000 +  as $i