Pre-asserts to ensure no overflow happens