The text c9dc25a5de0b, as Debian 7 (Wheezy) shipped it.
allocate unused string IDs in batch
usb_string_ids_n(9) on Linux now
