anchor.diff:  }
   
   void _writeDate(ByteStream stream, int year, int month, int day) {
  -  Uint8List date = new Uint8List(9);
  +  final date = new Uint8List(9);
     date[0] = TagDate;
     date[1] = 0x30 + (year ~/ 1000 % 10);
     date[2] = 0x30 + (year ~/ 100 % 10);
  
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: }
  
  void writeStringBody(ByteStream stream, String value) {
    final n = value.length;
    if (n > 0) stream.writeAsciiString(n.toString());
    stream.writeByte(TagQuote);
    stream.writeString(value);
  