static BufferedReader stringReader(S s) {
  ret utf8Reader(stringInputStream(s));
}