Кстати, если компилировать с allchecks, то при умножении MAX(INTEGER) на 2 почему-то ББ ошибки переполнения не  выдает. При умножении на 3 или при сложении с 1 ошибка, как и должно, быть возникает
## Код:
```
PROCEDURE Do*;
   VAR i, N: INTEGER;
BEGIN
   N := MAX(INTEGER);
   Log.Int(N); Log.Tab; Log.Set(BITS(N)); Log.Ln;
   i := N * 2;
   Log.Int(i); Log.Tab; Log.Set(BITS(i)); Log.Ln;
   i := N * 3;
   Log.Int(i); Log.Tab; Log.Set(BITS(i)); Log.Ln;
   i := N + 1;
   Log.Int(i); Log.Tab; Log.Set(BITS(i)); Log.Ln;
END Do;
```
