static char firstChar(S s) {
  ret s.charAt(0);
}