static S h3_htitle(S s) {
  ret htitle(s) + h3(s);
}