anchor.diff:       "\u200a",  "\u202f", "\u205f", "\u3000", "\ufeff"
       ];
     
  -  List character = [
  +  List characters = [
       r''':	''', r''':
   ''', r''': ''', r''':
positive.code:  * @reviewer kaigorodov
   */
  import "../../Utils/expect.dart";
  import "dart:io";
  
  // used to create 
  tofile(String dest, List<String> strlist) {
    var output = new File("${dest}.txt").openOutputStream();
      for (int k=0; k<strlist.length; k++) {
        if (k%5==0) {
          output.writeString("\n    ");
        }
        String str = strlist[k];
        output.writeString("r''':"); // print':' at the beginning to shade possible newline
        output.writeString(str);
        output.writeString("''', ");
      }
      output.writeString('\n');
  } 
  
    List<String> unicode = [
       "\u0009", "\u000a", "\u000b", "\u000c",
  
negative.code:     r''': ''', r''': ''', r''': ''', r''':　''', r''':﻿'''
    ];
  
  main() {
    Expect.equals(unicode.length, characters.length);
    for (int k=0; k<unicode.length; k++) {
      String str1=unicode[k];
      String str2=characters[k];
      int code1=str1.codeUnitAt(0);
      int code2=str2.codeUnitAt(1);
      Expect.equals(code1, code2, "code at $k");
    }
  }
  