The text ad1587f53b9d, as Debian 4.0 (Etch) shipped it.
register a range of device numbers
register_chrdev_region(9) on Linux now