static void assertEq(S msg, O x, O y) {
  assertEquals(msg, x, y);
}
 
static void assertEq(O x, O y) {
  assertEquals(x, y);
}