sbool eqic_unnull(S a, S b) {
  ret eqic(unnull(a), unnull(b));
}