public void DebugCheckSymbol(string symbol)
{
// WARNING: don't use the conditional attribute; that will omit the whole line in which this method is called, not just the call. This results in skipped calls to NextToken(), causing lions and lambs to lie down together...
#if (!DEBUG)
CheckSymbol(symbol);
#endif
}