The text 5ad3b1ab6240, as Debian 7 (Wheezy) shipped it.
detach a device
DEVICE_DETACH(9freebsd) on Linux now
