let rec stars_typ typ = 
  match Cil.unrollType typ with 
    | TPtr (typ,_) -> 1+ stars_typ (Cil.unrollType typ) 
    | TInt(_,_) | TFloat(_,_) | TFun _ | TEnum (_,_) | TComp (_,_,_)
    | TArray (_,_,_,_) | TBuiltin_va_list _ | TVoid _ | TNamed _ -> 0