../../inputs/grep1.dat:          printf ("?%d", *(p-1));
