let value_of_boolean b = value_of_integer (Ctypes.c_bool()) (F.e_bool b)