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++);				\