input.runes.map<String>((int c) {
  if (c < 0x20 || c >	0x7E) return '\\u{${c.toRadixString(16).padLeft(5, "0")}}';
  return String.fromCharCode(c);
}).join()