+/* previously in irvrfy.h, now in irflag.h */
+#define NODE_VERIFICATION_OFF FIRM_VERIFICATION_OFF
+#define NODE_VERIFICATION_ON FIRM_VERIFICATION_ON
+#define NODE_VERIFICATION_REPORT FIRM_VERIFICATION_REPORT
+#define NODE_VERIFICATION_ERROR_ONLY FIRM_VERIFICATION_ERROR_ONLY
+
+