fun foo b =
   let exception Foo
   in if b
      then (foo (not b)) handle Foo => "caught"
      else raise Foo
   end

exception Bar
fun bar b =
    if b
    then (bar (not b)) handle bar => "caught"
    else raise Bar