execution: PASS
pthread_kill() returns ESRCH.