let
c_bool b =
ConstBool
b