row_prefix_chars  803 src/punutil/punutil.c static char row_prefix_chars[] = "&-0123456789";
row_prefix_chars  812 src/punutil/punutil.c             (void)fprintf(out_file, "%c|", row_prefix_chars[row]);