Lec 9: A Worked Example Using Low-Level Synchronization