#include "types.h"
#include "stat.h"
#include "user.h"

int
main(int argc, char *argv[])
{
  int i;

  for(i = 1; i < argc; i++){
    puts(argv[i]);
    puts(" ");
  }
  puts("\n");
  exit();
}