num_regs_pushed  1339 libglibc/regex.c 	  DEBUG_STATEMENT (num_regs_pushed++);				\
num_regs_pushed  3989 libglibc/regex.c   unsigned num_regs_pushed = 0;
num_regs_pushed  4262 libglibc/regex.c           DEBUG_PRINT2 ("%u registers pushed.\n", num_regs_pushed);