The text be5f223d60fb, as Debian 7 (Wheezy) shipped it.
Format a string in the style of sprintf
format(3tcl) on Linux now
