static char[] chars(S s) {
  ret asChars(s);
}