The text c0250ea5e5b7, as FreeBSD 10.2-RELEASE shipped it.
formatted output conversion
device_printf(9) on FreeBSD now
