An Afternoon at the Recursive Café: Two Threads Interleaving