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