main(argc, argv)
int argv[]; {
	while(--argc >= 1)
		printf("%s ", *++argv);
	putchar('\n');
}