let brackets_and_stars_typ typ =
  let rec stars_and_elt typ = 
     match Cil.unrollType typ with 
    | TPtr (typ,_) -> 
        let (n,t) = stars_and_elt (Cil.unrollType typ) in
        (n+1),t
    | TInt(_,_) | TFloat(_,_) | TFun _ | TEnum (_,_) | TComp (_,_,_)
    | TArray (_,_,_,_) 
    | TBuiltin_va_list _ | TVoid _ | TNamed _ as t-> (0,t)
  in
  let (n,t) = stars_and_elt typ in (n,Variables_analysis.brackets_typ t)