dot_appeared      997 src/write.c            int width, prec, dot_appeared, pound_appeared;
dot_appeared     1006 src/write.c            width = 0, prec = 0, dot_appeared = 0, pound_appeared = 0;
dot_appeared     1110 src/write.c                        } else if (dot_appeared) {
dot_appeared     1134 src/write.c                    if (dot_appeared) {
dot_appeared     1141 src/write.c                    dot_appeared++;