main() {
	extrn argv;
	auto i;

	i = 1;
	while(++i <= argv[0])
		printf("%s ", argv[i]);
	putchar('*n');
}