static bool eqic_gen(O a, O b) {
  ret a instanceof S && b instanceof S && eqic((S) a, (S) b);
}