Add code which demonstrates the futex relock bug.