1 #include "types.h" 2 #include "stat.h" 3 #include "user.h" 4 5 int 6 main(int argc, char *argv[]) /* */ 7 { 8 int i; 9 10 for(i = 1; i < argc; i++) 11 printf(1, "%s%s", argv[i], i+1 < argc ? " " : "\n"); 12 exit(); 13 }