/* IMPORTANT: leave this comment in the first line of this source file. */
/*            this will guarantee that line 1 contains no code. */

#include <stdio.h>

int
main(int argc, char **argv)
{
  int i = 1;

  if (argc <= 0 || argc > 8)
    return -1;
  while (i < argc)
    printf ("%s ", argv[i++]);
  return 0;
}