Where we currently clip an entry by manipulating its start or end fields, and then link in a new entry that abuts the modified one, stop modifying the old one and let the link function handle the clipping. That way, the invariants that define the max_free field of the entries of the map hold on entry and on exit to functions that manipulate the map.
Tested by: pho