static S h3_title(S s) {
  ret h3_htitle(s);
}