// one array plus more elements (added on the left)
static O[] arrayLeftPlus(O[] a1, O... a2) {
  ret concatArrays(a2, a1);
}