sS or2_rev(S b, S a) {
  ret or2(a, b);
}