constant doDebug := nil;