00001 #include "types.h" 00002 #include "stat.h" 00003 #include "user.h" 00004 00005 int 00006 main(int argc, char *argv[]) 00007 { 00008 int i; 00009 00010 for(i = 1; i < argc; i++) 00011 printf( "%s%s", argv[i], i+1 < argc ? " " : "\n"); 00012 exit(1); 00013 }