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