sbool same(O a, O b) {
  ret a == b;
}