The text f7433c5aa52f, as Debian 8 (Jessie) shipped it.
deallocate an address range from a map
vm_map_delete(9freebsd) on Linux now
