test/Modules/Inputs/thread-safety/b.h

#include "a.h"

struct X {
  mutex m;
  int n __attribute__((guarded_by(m)));

  void f();
};