underflow analysis added