loopexample=: {{
  while. do.
    echo k=. ?20
    if. 10=k do. return. end.
    echo ?20
  end.
}}