Manual mutex features for Stanford