void foo ( int16 bar -- ) 
 { 
 int8 i = 0 ; 
 do 
 { 
 print "i=" , i , '\n' ; 
 i ++ ; 
 while ( i < bar ) ; 
 } 
 } 
 
 <eof>