anchor.diff:  
       do {
         // Try to determine the length of the next ASN1 object
  +
  +      assert(buf != null);
   
         var value_size = null; // null if insufficient bytes to determine length
         var length_size; // number of bytes used by length field
  
positive.code:         if (buf.length == message_size) {
            // All bytes have been processed
            buf = null; // force do-while loop to exit
          } else {
            // Still some bytes unprocessed: leave for next iteration of do-while loop
            buf =
                new Uint8List.view(buf.buffer, buf.offsetInBytes + message_size);
          }
        } else {
          // Insufficient data for a complete ASN1 object.
  
          leftover = buf; // save bytes until more data arrives
          buf = null; // force do-while loop to exit
        }
      } while (buf != null);
  
  
negative.code:           "Bytes received: ${data.length} (+${leftover.length} leftover)");
      }
  
      if (Level.FINEST >= loggerRecvBytes.level) {
        // If statement prevents this potentially computationally expensive
        // code to be executed if it is not needed.
        loggerRecvBytes.finest("Bytes received: ${data}");
  