The text adec27ddcf95, as Debian 8 (Jessie) shipped it.
formatted output conversion
device_printf(9freebsd) on Linux now
