13 void Verbose(int, const char*, const char* ="");
14 void Error(bool, const char*, const char* ="");
15 void Error(const char*, const char* ="", const char* ="");
16 void Assert(int, bool, const char*, const char*);
20 istream & eatwhite(istream & is);
22 void Tokenize (const string& str,
23 vector<string>& tokens,
24 const string& delimiters = " ");