sbool swic_notSame(S a, S b) {
  ret l(a) > l(b) && swic(a, b);
}