static S htitle_h1(S s) {
  ret htitle(s) + h1(s);
}