sS div_inv(O... paramsAndContents) {
  ret invfulltag("div", contents, params);
}