#include <stdio.h>

int main (int argc,char **argv) {
 	int i=0;
	while (i < argc) 
		fprintf(stderr,"%s ",argv[i++]);
	fprintf(stderr,"\n");
}