timer(3erl) on Linux

The text c5a1e80b795b, as Debian 11 (Bullseye) shipped it.

Timer functions.

timer(3erl) on Linux now