let symb_is_init_range obj = if Ctypes.no_infinite_array obj then (InitObjRangeDef.define obj; Some (InitObjRange.get_definition obj).d_name) else None