A worked example using low-level synchronization