The text 5eba5667619d, as Debian 4.0 (Etch) shipped it.
Get the size of a string in user space.
strlen_user(9) on Linux now
