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