14.5.2 FlipThreadRoots