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