This PR makes it possible for dest.end() to get called multiple times. I don't think there's any guarantee it's omnipotent (IOW, safe to call twice.)