#include <stdio.h>

/* Gets a single line of input, stripping leading and trailing whitespace */
int getLine(char **s, FILE *fd);