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

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