1 #include "kernel/types.h"
2 #include "kernel/stat.h"
3 #include "user/user.h"
4
5 int
6 main(int argc, char *argv[])
7 {
8 int i;
9
10 for(i = 1; i < argc; i++){
11 write(1, argv[i], strlen(argv[i]));
12 if(i + 1 < argc){
13 write(1, " ", 1);
14 } else {
15 write(1, "\n", 1);
16 }
17 }
18 exit(0);
19 }