The text 5a9478d5b87b, as Debian 5.0 (Lenny) shipped it.
delete a per-process timer (REALTIME)
timer_delete(2freebsd) on Linux now
