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