Synchronize srem