The text 3a013242c824, as Debian 4.0 (Etch) shipped it.
set irq type data for an irq
set_irq_data(9) on Linux now
