sbool eqOneOf_twoNonNullStrings(S s, S a, S b) {
  ret a.equals(s) || b.equals(s);
}