#include <pthread.h>
pthread_rwlock_t  const foo = PTHREAD_RWLOCK_INITIALIZER;
int main(void) { return 0; }