VPR_HET/SRC/ReadLine.h

char **ReadLineTokens(INOUT FILE * InFile,
		      INOUT int *LineNum);
int CountTokens(IN char **Tokens);
void FreeTokens(INOUT char ***TokensPtr);