The text f678690e25d6, as Debian 10 (Buster) shipped it.
deallocate an address range from a map
vm_map_delete(9freebsd) on Linux now
