sS htmlEncode2_gen(O o) {
  ret htmlEncode2(str(o));
}