#include <stdio.h>
#include <strings.h>

main(argc,argv)
int argc;
char *argv[];
{
	char newname[128];
	char path[128];
	char *cp,*point2,*point,*strcat();
	int i;

	point = newname;
	point2 = path;
	for(i=1; i< argc; i++) {
		cp = argv[i];
		point = strcat(cp,".c");
		fprintf(stderr,"%s\n",point);
		point2 = strcpy(point2,"ls /usr/users/paul/cmix/lib/");
		point2 = strcat(point2,point);
		fprintf(stderr,"%s\n",point2);
		system(point2);
	}
}