static S u_umlaut() {
  ret "\u00fc";
}