Edit upper_size_to_lower_size to account for GCM