string.h: numbered file name generation routines