Falling back on simple synchronization