The text 9c3b7f7a8600, as Debian 7 (Wheezy) shipped it.
manage a device number
makedev(3) on Linux now
