r := rand( 0 .. 19 ):
do
        n := r();
        printf( "%d\n", n );
        if n = 10 then
                break
        end if;
        printf( "%d\n", r() );
end do: