Improved Allocation Failure Checking