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