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