1 #include "a.h"
2 
3 struct X {
4   mutex m;
5   int n __attribute__((guarded_by(m)));
6 
7   void f();
8 };
9 
unlock(X & x)10 inline void unlock(X &x) __attribute__((unlock_function(x.m))) { x.m.unlock(); }
11