The text ba6da2e60df5, as Debian 8 (Jessie) shipped it.
find a device by its ifindex
__dev_get_by_index(9) on Linux now