Challenge: The race condition in the TCP stack, answer

In my previous post, I discussed a problem in missing data over TCP connection that happened in a racy manner, only every few hundred runs. As it turns out, there is a simple way to make the code run into the problem every single time. The full code for the repro can be found here.