pollution: gets
char *gets(char *);