static bool neqic(S a, S b) {
  ret !eqic(a, b);
}