The text 80b76b58e986, as Debian 7 (Wheezy) shipped it.
deallocate an address range from a map
vm_map_delete(9freebsd) on Linux now
