Added assert to prove that the problem is overflow.