Avoid_Underflow   773 util.c         #undef Avoid_Underflow
Avoid_Underflow   897 util.c         #define Avoid_Underflow