Rename cpp/RAII and mutex to effectivecpp/RAII and mutex