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