Add mutex defn