The text 8c58cf248584, as Debian 10 (Buster) shipped it.
DEC/Intel 21143 and clone 10/100 Ethernet driver
if_dc(4freebsd) on Linux now