The text da3800bcf004, as FreeBSD 11.4-RELEASE shipped it.
get device name
fdevname_r(3) on FreeBSD now
