The text 3f8502dadf0b, as Debian 3.0 (Woody) shipped it.
insert a character at the beginning of a string
strcins(3pub) on Linux now
