let
of_bool b =
BOO
b