anchor.diff:                break;
               case 4:
                 temp = _input.getInt();
  -              if (temp <= 2 ^ 31) {
  +              if (temp <= two31) {
                   _listener.onInteger(-temp);
  -              } else if (temp >= 2 ^ 31) {
  -                _listener.onInteger(-2 ^ 31);
  +              } else if (temp >= two31) {
  +                _listener.onInteger(minusTwo31);
                 } else {
                   _listener.onExtraInteger((-1 - temp), -1);
                 }
  
positive.code: const int ai25 = 25;
  const int ai26 = 26;
  const int ai27 = 27;
  const int ai31 = 31;
  
  class Decoder {
    Listener _listener;
  
negative.code:               break;
              case 4:
                temp = _input.getInt();
                if (temp <= two31) {
                  _listener.onInteger(temp);
                } else {
                  _listener.onExtraInteger(temp, 1);
  