// echo2.c.  Like echo1.c, but uses formatted output

int main (int argc, char *argv[]) {
  int i,j;
  for (i = 1; i < argc; i++)
    printf("%s ",argv[i]);
  printf("\n");
  return 0;
}