allocations: test for overflow of requested size Introduce some helper macros to test integer overflow from arithmetic and set error message appropriately.