107   const char* comma="";  in main()  local
110     std::cout<<comma;  in main()
112     comma=",";  in main()
118   /*=const char**/ comma="";  in main()
120     std::cout<<comma;  in main()
122     comma=",";  in main()
128   /*=const char**/ comma="";  in main()
132     std::cout<<comma;  in main()
134     comma=",";  in main()
140   /*=const char**/ comma="";  in main()
147     std::cout<<comma;  in main()
149     comma=",";  in main()
157   const char* comma="";  in main()  local
160       std::cout<<comma;  in main()
162       comma=",";  in main()