#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;