sS hcomment_unescaped(S text) {
  ret "<!-- " + text + " -->";
}