Edit File: futexes.stp