user(3erl) on Linux

The text 0703bd127b41, as Debian 7 (Wheezy) shipped it.

Standard I/O Server

user(3erl) on Linux now