static S or2(S a, S b) {
  ret nempty(a) ? a : b;
}

static S or2(S a, S b, S c) {
  ret or2(or2(a, b), c);
}