NUM_NONREG_ITEMS
#define MAX_FAILURE_ITEMS ((num_regs - 1) * NUM_REG_ITEMS + NUM_NONREG_ITEMS)
+ NUM_NONREG_ITEMS)
assert (fail_stack.avail >= NUM_NONREG_ITEMS); \