The text da0cdb8707bb, as Debian 6.0 (Squeeze) shipped it.
check that a task structure is not stale
pid_alive(9) on Linux now
