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