Perhaps we should add something like: This is better than simply capping at 2^31 because it makes it significantly less likely for a buggy implementation to stall forever.