carta

put_user(9) on Linux

The text 749293847ee6, as Debian 4.0 (Etch) shipped it.

Write a simple value into user space.

put_user(9) on Linux now