Create a new channel as a copy of main.
Rename main to:
Delete main? This cannot be undone.
#include "a.h" struct X { mutex m; int n __attribute__((guarded_by(m))); void f(); }; inline void unlock(X &x) __attribute__((unlock_function(x.m))) { x.m.unlock(); }