static char[] asChars(S s) {
  ret s == null ? null : s.toCharArray();
}