sS a_inv(O... paramsAndContents) {
  ret invfulltag("a", paramsAndContents);
}