Same behavior, but ensures input absolutely satisfies the total amount of data that needs to be copied.