anchor.diff:  }
   
   void writeStringBody(ByteStream stream, String value) {
  -  final int n = value.length;
  +  final n = value.length;
     if (n > 0) stream.writeAsciiString(n.toString());
     stream.writeByte(TagQuote);
     stream.writeString(value);
  
positive.code: }
  
  void writeDateTime(ByteStream stream, DateTime value) {
    final int year = value.year;
    final int month = value.month;
    final int day = value.day;
    final int hour = value.hour;
    final int minute = value.minute;
    final int second = value.second;
    final int millisecond = value.millisecond;
    final int microsecond = value.microsecond;
    if ((hour == 0) &&
        (minute == 0) &&
        (second == 0) &&
  
negative.code: 
  part of hprose.io;
  
  final _zero = BigInt.zero;
  final _nine = new BigInt.from(9);
  
  void writeInteger(ByteStream stream, int value) {
    if (0 <= value && value <= 9) {
  