(fn b. (letcc x. ((if b then b else (throw x, false)), false)) ) false