mutex robust example now works well