anchor.diff:      */
     }
   
  -  Obj.fromString(String url, String str, {bool printStats: false, bool debugPrintParts: false, String defaultName: null}) {
  +  Obj.fromString(String url, String str, {bool printStats: false, bool debugPrintParts: false, String defaultName: null, debugPrintTrace: false}) {
   
       Map<String, int> indexTable = new Map<String, int>();
       List<double> _vertCoord = new List<double>();
  
positive.code:     void parseLine(String rawLine) {
        ++lineNum;
  
        //print("line: $lineNum [$rawLine]");
  
        String line = rawLine.trim();
  
  
negative.code:         return;
        }
  
        /*
        if (line.startsWith("v ")) {
          // vertex coord
          List<String> v = line.split(_BLANK);
          if (v.length == 4) {
            _vertCoord.add(double.parse(v[1])); // x
            _vertCoord.add(double.parse(v[2])); // y
  