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: 
  part of hprose.io;
  
  final BigInt _zero = BigInt.zero;
  final BigInt _nine = new BigInt.from(9);
  
  void writeInteger(ByteStream stream, int value) {
    if (0 <= value && value <= 9) {
  
negative.code: 
  void _writeTime(ByteStream stream, int hour, int minute, int second,
      int millisecond, int microsecond) {
    var time = new Uint8List(14);
    time[0] = TagTime;
    time[1] = 0x30 + (hour ~/ 10 % 10);
    time[2] = 0x30 + (hour % 10);
  