 * Allocations need to be verified to not overflow, as they are almost
   always generated by multiplication.
