static char randomChar(S s) {
  ret empty(s) ? '\0' : s.charAt(random(l(s)));
}