Synchronization primitive (#16)