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(1, "%s%s", argv[i], i+1 < argc ? " " : "\n");
00012 exit();
00013 }