It is generally considered a good idea to release a fast mutex in the same order...