Edit File: mutex-contention.stp