loopexample2=: verb define
  while. do.
    echo k=. ?20
    if. 10=k do. break. end.
    echo ?20
  end.
)