static boolean ioSmartEqVerbose(O a, O b) {
  if (ioSmartEq(a, b)) {
    print("OK " + structure(a));
    ret true;
  } else {
    print("NO " + structure(a) + " " + structure(b));
    ret false;
  }
}