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