svoid assertNotEquals(S msg, O a, O b) {
  if (eq(a, b))
    fail(msg);
}

svoid assertNotEquals(O a, O b) {
  if (eq(a, b))
    fail(str(a));
}