The text cf7e2773b7e1, as Debian 4.0 (Etch) shipped it.
get the altsetting structure with a given
usb_altnum_to_altsetting(9) on Linux now
