DEBUG_STATEMENT 1249 regex.cpp DEBUG_STATEMENT (failure_id++); \ DEBUG_STATEMENT 1250 regex.cpp DEBUG_STATEMENT (nfailure_points_pushed++); \ DEBUG_STATEMENT 1277 regex.cpp DEBUG_STATEMENT (num_regs_pushed++); \ DEBUG_STATEMENT 1359 regex.cpp DEBUG_STATEMENT (fail_stack_elt_t failure_id;) \ DEBUG_STATEMENT 1423 regex.cpp DEBUG_STATEMENT (nfailure_points_popped++); \