Symbol: TO_UNDERFLOW