Checked SyncLocks