let symb_is_init obj = if Ctypes.no_infinite_array obj then (InitObjDef.define obj ; Some (InitObj.get_definition obj).d_name) else None