[[cond action]=>
  cond do
    [ action do
      cond action while]
    []
  choose
] [while] def