+ int no_op_nodiff; /* existing blocks opened for reading without diffs */
+ int no_op_intdiff; /* - with internal diffs */
+ int no_op_extdiff; /* with separate diff blocks */
+ int no_fbuilds; /* number of first-time builds */
+ int no_appds; /* number of appends */
+ int no_merges; /* number of merges done */
+ int no_remerges; /* number of times more than one merge needed */
+