✏️ Editing: null_mutex.hpp