// one array plus more elements
static O[] objectArrayPlus(O[] a1, O... a2) {
  ret arrayPlus(a1, a2);
}