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