let c_bool () = c_int IInt