sbool eq_nullIfEmpty(S a, S b) {
  ret eq(nullIfEmpty(a), nullIfEmpty(b));
}