887   #define PRINT_STAT(x) if (x##_ > 0) PrintF(" %-16s = %2d\n", #x, x##_)  in PrintStats()  macro
889   #define PRINT_STAT(x)  in PrintStats()
891   PRINT_STAT(redundant);  in PrintStats()
892   PRINT_STAT(removed);  in PrintStats()
893   PRINT_STAT(removed_cho);  in PrintStats()
894   PRINT_STAT(removed_cit);  in PrintStats()
895   PRINT_STAT(narrowed);  in PrintStats()
896   PRINT_STAT(loads);  in PrintStats()
897   PRINT_STAT(empty);  in PrintStats()
898   PRINT_STAT(compares_true);  in PrintStats()
899   PRINT_STAT(compares_false);  in PrintStats()
900   PRINT_STAT(transitions);  in PrintStats()