PUSH_FAILURE_INT 1223 regex.cpp      #define DEBUG_PUSH PUSH_FAILURE_INT
PUSH_FAILURE_INT 1298 regex.cpp          PUSH_FAILURE_INT (lowest_active_reg);				\
PUSH_FAILURE_INT 1301 regex.cpp          PUSH_FAILURE_INT (highest_active_reg);				\