// new file:
// 2008-04-13


extern unsigned int verbose;