The text ab4bb76b7c3c, as Debian 7 (Wheezy) shipped it.
check that a task structure is not stale
pid_alive(9) on Linux now
