#include <stdio.h>
int
main(int argc, char*argv[])
{
int i;
printf("%d\n", argc - 1)
for (i = 1; i < argc; i++)
printf("%s", argv[i]);
return 0;
}