The text b7cb66dbece7, as FreeBSD 12.4-RELEASE shipped it.
get device name
devname_r(3) on FreeBSD now