sS toHTML_gen(O o) {
  O html = callOpt(o, "html");
  if (html != null) ret str(html);
  ret htmlEncode2(o);
}