#include <stdio.h>
/* Gets a single line of input, stripping leading and trailing whitespace */
int getLine(char **s, FILE *fd);