#include "str.h"
#include "var.h"
-#undef DEBUGGING
-/*#define DEBUGGING 1*/
#include "debug-print.h"
/* In older versions, numbers got their trailing zeros stripped.
}
}
break;
-#if __CHECKER__
- case 42000:
- assert (0);
-#endif
default:
assert (0);
}