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