anchor.diff:      }
     }
   
  +  /// Positive and negative integers
     void writeInt(int value) {
       if (value < 0) {
         _writeTypeValue(1, -(value + 1));
  
positive.code:     this._out = out;
    }
  
    void clear() {
      _out.clear();
    }
  
negative.code:     }
    }
  
    /// Booleans
    void writeBool(bool value) {
      if (value) {
        _out.putByte(0xf5);
  