let c_bool b = ConstBool b