static O[] paramsPlus_noOverride(O[] a1, O... a2) {
  ret paramsPlus_noOverwrite(a1, a2);
}