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