Symbol: hweight_after_donation