#include <stdio.h>

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

  printf("Command:");
  for (ii = 1; ii < argc; ++ii) {
    printf(" \"%s\"", argv[ii]);
  }
  printf("\n");

  return 42;
}