let pp_print_initdeclarator ppf = function
    PinitDecl(dc,None->
      pp_print_declarator ppf dc
  | PinitDecl(dc,Some i) ->
      fprintf ppf "@[<hov 2>%a = %a@]"
        pp_print_declarator dc
        pp_print_initializer i