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