The text 3f80a4e890cf, as FreeBSD 12.4-RELEASE shipped it.
formatted output conversion
device_printf(9) on FreeBSD now
