sS firstToUpper_restToLower(S s) {
  ret firstToUpper(lower(s));
}