let rec pointed_of_arity n typ = debug "[pointed_of_arity] %a,%d" !Ast_printer.d_type typ n ; if n > 0 then pointed_of_arity (pred n) (Cil.typeOf_pointed typ) else typ