static LS noTok(S input) {
  ret lazyList(l(input), i -> String.valueOf(s.charAt(i)));
}