The text 2485ff571eaf, as Debian 6.0 (Squeeze) shipped it.
formatted output conversion
device_printf(9freebsd) on Linux now
