I think this needs to be Release, not Relaxed, because otherwise it can be moved before ```drop(guard)```, and then another task can destroy the mutex before we unlock it.