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