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