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