The text bd95f8dae933, as Debian 5.0 (Lenny) shipped it.
Get the size of a string in user space.
strlen_user(9) on Linux now
