#include "types.h"
#include "stat.h"
#include "user.h"
int main(int argc, char *argv[]) {
int i;
for (i = 1; i < argc; i++) {
printf(1, "%s%s", argv[i], i + 1 < argc ? " " : "\n");
}
exit();