makeDiscreteCopies
makeDiscreteCopies("$/bin", "/bin.%03d");
makeDiscreteCopies("$/lib", "/lib.%03d");
makeDiscreteCopies("$/libexec", "/libexec.%03d");
makeDiscreteCopies("$/usr/bin", "/usr.bin.%03d");
static void makeDiscreteCopies(const char *spath, const char *discretefmt);