anchor.diff:    }
   
     void writeNodeList(List<Node> nodes) {
  -    writeList(nodes, writeNode);
  +    final len = nodes.length;
  +    writeUInt30(len);
  +    for (var i = 0; i < len; i++) {
  +      final node = nodes[i];
  +      writeNode(node);
  +    }
     }
   
     void writeNode(Node node) {
  
positive.code:   int get numberOfStrings => index.length;
  
    int put(String string) {
      return index.putIfAbsent(string, () {
        entries.add(new StringTableEntry(string));
        return index.length;
      });
    }
  
    int operator [](String string) => index[string];
  
negative.code:   }
  
    visitSwitchStatement(SwitchStatement node) {
      if (_switchCaseIndexer == null) {
        _switchCaseIndexer = new SwitchCaseIndexer();
      }
      _switchCaseIndexer.enter(node);
      writeByte(Tag.SwitchStatement);
      writeOffset(node.fileOffset);
  