[[cond action]::
  cond do
    [action do cond action while]
    []
  choose
] [while] def