loopexample3=: {{
  while. do.
    echo k=. ?20
    if. 10=k do. goto_done. end.
    echo ?20
  end.
  label_done.
}}