Working locks for lock-based STAMP