--- /dev/null
+
+
+
+------ This is output for >= glibc 2.4 ------
+
+---------------- pthread_create/join ----------------
+
+Conflicting store by thread 1 at 0x........ size 2
+ at 0x........: main (tc20_verifywrap.c:78)
+Location 0x........ is 0 bytes inside global var "unprotected"
+declared at tc20_verifywrap.c:27
+Other segment start (thread 2)
+ (thread finished, call stack no longer available)
+Other segment end (thread 2)
+ (thread finished, call stack no longer available)
+
+
+---------------- pthread_mutex_lock et al ----------------
+
+[1] mutex_init invalid mutex 0x........
+The object at address 0x........ is not a mutex.
+ at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
+ by 0x........: main (tc20_verifywrap.c:92)
+
+[1] mutex_init mutex 0x........
+[1] mutex_trylock mutex 0x........ rc 0 owner 0
+[1] post_mutex_lock mutex 0x........ rc 0 owner 0
+[1] mutex_destroy mutex 0x........ rc 1 owner 1
+Destroying locked mutex: mutex 0x........, recursion count 1, owner 1.
+ at 0x........: pthread_mutex_destroy (drd_pthread_intercepts.c:?)
+ by 0x........: main (tc20_verifywrap.c:102)
+mutex 0x........ was first observed at:
+ at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
+ by 0x........: main (tc20_verifywrap.c:100)
+
+[1] mutex_trylock mutex 0x........ rc 0 owner 0
+[1] post_mutex_lock mutex 0x........ rc 0 owner 0 (locking failed)
+[1] pre_mutex_lock mutex 0x........ rc 0 owner 0
+[1] post_mutex_lock mutex 0x........ rc 0 owner 0 (locking failed)
+[1] mutex_trylock mutex 0x........ rc 0 owner 0
+[1] post_mutex_lock mutex 0x........ rc 0 owner 0 (locking failed)
+[1] mutex_unlock mutex 0x........ rc 0
+Mutex not locked: mutex 0x........, recursion count 0, owner 0.
+ at 0x........: pthread_mutex_unlock (drd_pthread_intercepts.c:?)
+ by 0x........: main (tc20_verifywrap.c:125)
+mutex 0x........ was first observed at:
+ at 0x........: pthread_mutex_lock (drd_pthread_intercepts.c:?)
+ by 0x........: main (tc20_verifywrap.c:108)
+
+
+---------------- pthread_cond_wait et al ----------------
+
+[1] mutex_init error checking mutex 0x........
+[1] cond_init cond 0x........
+[1] mutex_unlock error checking mutex 0x........ rc 0
+Mutex not locked: mutex 0x........, recursion count 0, owner 0.
+ at 0x........: pthread_cond_wait (drd_pthread_intercepts.c:?)
+ by 0x........: main (tc20_verifywrap.c:147)
+mutex 0x........ was first observed at:
+ at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
+ by 0x........: main (tc20_verifywrap.c:145)
+
+[1] cond_pre_wait cond 0x........
+[1] cond_post_wait cond 0x........
+[1] cond_post_wait error checking mutex 0x........ rc 0 owner 0
+[1] cond_signal cond 0x........
+
+FIXME: can't figure out how to verify wrap of pthread_cond_signal
+
+[1] cond_broadcast cond 0x........
+
+FIXME: can't figure out how to verify wrap of pthread_broadcast_signal
+
+[1] mutex_unlock error checking mutex 0x........ rc 1
+[1] cond_pre_wait cond 0x........
+[1] cond_post_wait cond 0x........
+[1] cond_post_wait error checking mutex 0x........ rc 0 owner 1
+
+---------------- pthread_rwlock_* ----------------
+
+Reader-writer lock not locked by calling thread: rwlock 0x.........
+ at 0x........: pthread_rwlock_unlock (drd_pthread_intercepts.c:?)
+ by 0x........: main (tc20_verifywrap.c:179)
+rwlock 0x........ was first observed at:
+ at 0x........: pthread_rwlock_init (drd_pthread_intercepts.c:?)
+ by 0x........: main (tc20_verifywrap.c:178)
+
+(1) no error on next line
+(2) no error on next line
+(3) ERROR on next line
+Reader-writer lock not locked by calling thread: rwlock 0x.........
+ at 0x........: pthread_rwlock_unlock (drd_pthread_intercepts.c:?)
+ by 0x........: main (tc20_verifywrap.c:196)
+rwlock 0x........ was first observed at:
+ at 0x........: pthread_rwlock_init (drd_pthread_intercepts.c:?)
+ by 0x........: main (tc20_verifywrap.c:186)
+
+Reader-writer lock reinitialization: rwlock 0x.........
+ at 0x........: pthread_rwlock_init (drd_pthread_intercepts.c:?)
+ by 0x........: main (tc20_verifywrap.c:199)
+rwlock 0x........ was first observed at:
+ at 0x........: pthread_rwlock_init (drd_pthread_intercepts.c:?)
+ by 0x........: main (tc20_verifywrap.c:186)
+
+(4) no error on next line
+(5) no error on next line
+(6) no error on next line
+(7) no error on next line
+(8) ERROR on next line
+Reader-writer lock not locked by calling thread: rwlock 0x.........
+ at 0x........: pthread_rwlock_unlock (drd_pthread_intercepts.c:?)
+ by 0x........: main (tc20_verifywrap.c:212)
+rwlock 0x........ was first observed at:
+ at 0x........: pthread_rwlock_init (drd_pthread_intercepts.c:?)
+ by 0x........: main (tc20_verifywrap.c:186)
+
+
+---------------- sem_* ----------------
+
+[1] sem_init 0x........ value 4294967295
+[1] sem_init 0x........ value 0
+Semaphore reinitialization: semaphore 0x........
+ at 0x........: sem_init (drd_pthread_intercepts.c:?)
+ by 0x........: main (tc20_verifywrap.c:231)
+semaphore 0x........ was first observed at:
+ at 0x........: sem_init (drd_pthread_intercepts.c:?)
+ by 0x........: main (tc20_verifywrap.c:228)
+
+
+FIXME: can't figure out how to verify wrap of sem_destroy
+
+[1] sem_wait 0x........ value 0 -> 4294967295
+Invalid semaphore: semaphore 0x........
+ at 0x........: sem_wait (drd_pthread_intercepts.c:?)
+ by 0x........: main (tc20_verifywrap.c:242)
+semaphore 0x........ was first observed at:
+ at 0x........: sem_init (drd_pthread_intercepts.c:?)
+ by 0x........: main (tc20_verifywrap.c:228)
+
+[1] sem_post 0x........ value 4294967295 -> 0
+
+FIXME: can't figure out how to verify wrap of sem_post
+
+[1] sem_destroy 0x........ value 0
+
+------------ dealloc of mem holding locks ------------
+
+Destroying locked rwlock: rwlock 0x.........
+ at 0x........: main (tc20_verifywrap.c:262)
+rwlock 0x........ was first observed at:
+ at 0x........: pthread_rwlock_init (drd_pthread_intercepts.c:?)
+ by 0x........: main (tc20_verifywrap.c:216)
+
+[1] mutex_destroy error checking mutex 0x........ rc 1 owner 1
+Destroying locked mutex: mutex 0x........, recursion count 1, owner 1.
+ at 0x........: main (tc20_verifywrap.c:262)
+mutex 0x........ was first observed at:
+ at 0x........: pthread_mutex_init (drd_pthread_intercepts.c:?)
+ by 0x........: main (tc20_verifywrap.c:145)
+
+[1] mutex_destroy mutex 0x........ rc 0 owner 0
+[1] mutex_trylock recursive mutex 0x........ rc 0 owner 0
+[1] post_mutex_lock recursive mutex 0x........ rc 0 owner 0
+[1] mutex_unlock recursive mutex 0x........ rc 1
+
+ERROR SUMMARY: 13 errors from 13 contexts (suppressed: 0 from 0)