timer(3erl) on Linux

The text 28c1742ecc5c, as Debian 3.1 (Sarge) shipped it.

Timer Functions

timer(3erl) on Linux now