// one array plus more elements added in front
static O[] objectArrayPlus_inFront(O[] a1, O... a2) {
  ret concatArrays(a2, a1);
}