]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
on ppc64, pthread_create_WRK is not (always) produced in the stacktrace
authorPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Sun, 18 May 2014 17:09:44 +0000 (17:09 +0000)
committerPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Sun, 18 May 2014 17:09:44 +0000 (17:09 +0000)
showing where a thread was created.
This makes many tests fail => use sed to delete pthread_create_WRK
from the stacktrace to let tests succeed on ppc64.
With this change, on ppc64 gcc110 (fedora 18), helgrind failures
goes from 28 tests failing to 4, with following reasons:
helgrind/tests/pth_cond_destroy_busy     (stderr)
    (6 errors instead of 3 in the summary line ???)
helgrind/tests/tc06_two_races_xml        (stderr)
    similar change needed in filter_xml to del pthread_create_WRK
helgrind/tests/tc18_semabuse             (stderr)
   -   with error code 22 (EINVAL: Invalid argument)
   +   with error code 38 (ENOSYS: Function not implemented)
helgrind/tests/tc20_verifywrap           (stderr)
   -   with error code 22 (EINVAL: Invalid argument)
   +   with error code 38 (ENOSYS: Function not implemented)

More details about the stacktrace not containing pthread_create_WRK:
--------------------------------------------------------------------
Here is the stacktrace obtained by GDB+vgdb:
(gdb) bt
#0  0x0000008074f7ac5c in .__clone () from /lib64/libc.so.6
#1  0x000000807517b1ec in do_clone (pd=0x4c6f200, attr=0x8075189c90 <default_attr>, stackaddr=<optimized out>, stopped=<optimized out>,
    fct=@0x80751a01e0: 0x807517c500 <start_thread>, clone_flags=4001536) at ../nptl/sysdeps/pthread/createthread.c:74
#2  0x000000000403ed0c in pthread_create_WRK (thread=<error reading variable: value has been optimized out>,
    attr=<error reading variable: value has been optimized out>, start=<error reading variable: value has been optimized out>,
    arg=0xfff00ee18) at hg_intercepts.c:269
#3  0x000000000403ef1c in _vgw00000ZZ_libpthreadZdsoZd0_pthreadZucreateZAZa (thread=<optimized out>, attr=<optimized out>,
    start=<optimized out>, arg=<optimized out>) at hg_intercepts.c:300
#4  0x000000003806f1d8 in ?? ()
#5  0x0000008074e9fb94 in generic_start_main (main=@0x100200d8: 0x100013a0 <main>, argc=<optimized out>, ubp_av=0xfff00f2d8,
    auxvec=0xfff00f408, init=<optimized out>, rtld_fini=<optimized out>, stack_end=<optimized out>, fini=<optimized out>)
    at ../csu/libc-start.c:225
#6  0x0000008074e9fd90 in __libc_start_main (argc=<optimized out>, ubp_av=<optimized out>, ubp_ev=<optimized out>,
    auxvec=<optimized out>, rtld_fini=<optimized out>, stinfo=<optimized out>, stack_on_entry=<optimized out>)
    at ../sysdeps/unix/sysv/linux/powerpc/libc-start.c:91
#7  0x0000000000000000 in ?? ()
(gdb)

and here is the stacktrace produced by Valgrind unwinder:
Thread 1: status = VgTs_Runnable
==41687==    at 0x8074F7AC5C: clone (in /usr/lib64/libc-2.16.so)
==41687==    by 0x807517B1EB: do_clone.constprop.3 (createthread.c:74)
==41687==    by 0x403EF1B: pthread_create@* (hg_intercepts.c:300)
==41687==    by 0x10001597: main (tc19_shadowmem.c:172)
valgrind stack top usage: 15328 of 1048576

When the 2nd clone break is encountered (in the child thread), here is
the GDB stacktraces:

Thread 2 (Thread 6028):
#0  0x0000008074f75fb0 in .madvise () from /lib64/libc.so.6
#1  0x000000807517c700 in start_thread (arg=0x4c6f200) at pthread_create.c:402
#2  0x0000008074f7acf0 in .__clone () from /lib64/libc.so.6

Thread 1 (Thread 41687):
#0  pthread_create_WRK (thread=0xfff00ee10, attr=0x0, start=@0x100200e8: 0x10001dd0 <steer>, arg=0xfff00ee18) at hg_intercepts.c:248
#1  0x000000000403ef1c in _vgw00000ZZ_libpthreadZdsoZd0_pthreadZucreateZAZa (thread=<optimized out>, attr=<optimized out>,
    start=<optimized out>, arg=<optimized out>) at hg_intercepts.c:300
#2  0x000000003806f1d8 in ?? ()
#3  0x0000008074e9fb94 in generic_start_main (main=@0x100200d8: 0x100013a0 <main>, argc=<optimized out>, ubp_av=0xfff00f2d8,
    auxvec=0xfff00f408, init=<optimized out>, rtld_fini=<optimized out>, stack_end=<optimized out>, fini=<optimized out>)
    at ../csu/libc-start.c:225
#4  0x0000008074e9fd90 in __libc_start_main (argc=<optimized out>, ubp_av=<optimized out>, ubp_ev=<optimized out>,
    auxvec=<optimized out>, rtld_fini=<optimized out>, stinfo=<optimized out>, stack_on_entry=<optimized out>)
    at ../sysdeps/unix/sysv/linux/powerpc/libc-start.c:91
#5  0x0000000000000000 in ?? ()
(gdb)

Here are the valgrind stacktraces:
Thread 1: status = VgTs_Runnable
==41687==    at 0x403EBE0: pthread_create_WRK (hg_intercepts.c:248)
==41687==    by 0x403EF1B: pthread_create@* (hg_intercepts.c:300)
==41687==    by 0x8074E9FB93: generic_start_main.isra.0 (libc-start.c:225)
==41687==    by 0x8074E9FD8F: (below main) (libc-start.c:91)
valgrind stack top usage: 15328 of 1048576

Thread 2: status = VgTs_WaitSys
==41687==    at 0x8074F75FB0: madvise (in /usr/lib64/libc-2.16.so)
==41687==    by 0x807517C6FF: start_thread (pthread_create.c:402)
valgrind stack top usage: 10320 of 1048576

And then after a few more next/breaks:
Thread 1: status = VgTs_Runnable
==41687==    at 0x8074F7AC5C: clone (in /usr/lib64/libc-2.16.so)
==41687==    by 0x807517B1EB: do_clone.constprop.3 (createthread.c:74)
==41687==    by 0x403EF1B: pthread_create@* (hg_intercepts.c:300)
==41687==    by 0x100015BB: main (tc19_shadowmem.c:173)
valgrind stack top usage: 15328 of 1048576

Thread 2: status = VgTs_WaitSys
==41687==    at 0x8074F75FB0: madvise (in /usr/lib64/libc-2.16.so)
==41687==    by 0x807517C6FF: start_thread (pthread_create.c:402)
valgrind stack top usage: 10320 of 1048576

So, pthread_create_WRK is not in the stacktrace anymore.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13983

27 files changed:
helgrind/tests/annotate_rwlock.stderr.exp
helgrind/tests/filter_stderr
helgrind/tests/free_is_write.stderr.exp
helgrind/tests/hg02_deadlock.stderr.exp
helgrind/tests/hg03_inherit.stderr.exp
helgrind/tests/hg04_race.stderr.exp
helgrind/tests/hg05_race2.stderr.exp
helgrind/tests/locked_vs_unlocked1_fwd.stderr.exp
helgrind/tests/locked_vs_unlocked1_rev.stderr.exp
helgrind/tests/locked_vs_unlocked2.stderr.exp
helgrind/tests/locked_vs_unlocked3.stderr.exp
helgrind/tests/pth_barrier1.stderr.exp
helgrind/tests/pth_barrier2.stderr.exp
helgrind/tests/pth_barrier3.stderr.exp
helgrind/tests/pth_cond_destroy_busy.stderr.exp
helgrind/tests/pth_destroy_cond.stderr.exp
helgrind/tests/rwlock_race.stderr.exp
helgrind/tests/tc01_simple_race.stderr.exp
helgrind/tests/tc05_simple_race.stderr.exp
helgrind/tests/tc06_two_races.stderr.exp
helgrind/tests/tc09_bad_unlock.stderr.exp
helgrind/tests/tc14_laog_dinphils.stderr.exp
helgrind/tests/tc16_byterace.stderr.exp
helgrind/tests/tc19_shadowmem.stderr.exp
helgrind/tests/tc20_verifywrap.stderr.exp
helgrind/tests/tc21_pthonce.stderr.exp
helgrind/tests/tc22_exit_w_lock.stderr.exp

index d59a900aaf0811e8731cdcbdcffdf392b8d8cb59..d62d8e4a4729d5fccba05aa458fe7b63a2180a21 100644 (file)
@@ -2,7 +2,6 @@
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (annotate_rwlock.c:164)
 
@@ -10,7 +9,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (annotate_rwlock.c:164)
 
index 1464f82b163b6ebb34f93f458f493a09e02729a2..30975dfa60bb185500e16c28e9e67cd149cc7c4e 100755 (executable)
@@ -26,11 +26,14 @@ sed \
 
 # Remove "Helgrind, ..." line and the following copyright line;
 # also the standard postamble (does such a word exist?)
+# And also remove pthread_create_WRK lines, as ppc64 stacktraces
+# do not contain them (at least on gcc110/fedora18).
 sed \
  -e "/^Helgrind, a thread error detector/ , /./ d" \
  -e "/^For counts of detected and suppressed errors, rerun with: -v$/d" \
  -e "/^Use --history-level=approx or =none to gain increased speed, at$/d" \
- -e "/^the cost of reduced accuracy of conflicting-access information$/d" |
+ -e "/^the cost of reduced accuracy of conflicting-access information$/d" \
+ -e "/pthread_create_WRK (hg_intercepts.c:/d" |
 
 $dir/../../helgrind/tests/filter_helgrind "$@"
 
index 8470ccb967473951ed2e7d4534952a8e5334bb3b..daa327ce013cd17614eeabd823eb754fe82a00ef 100644 (file)
@@ -4,7 +4,6 @@ Start.
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (free_is_write.c:32)
 
index bacf60ba1cd8a2539609ba124119e30a0cfa9f88..1c33b31a63935f7cf949cff1598fa4dba4c643ce 100644 (file)
@@ -3,7 +3,6 @@
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (hg02_deadlock.c:36)
 
index 3234e8b40d81a8ac162f83f03af1b41e8222a2b0..6a5adf110481709396f0d08ffe8dbccd4bcf7a94 100644 (file)
@@ -3,7 +3,6 @@
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (hg03_inherit.c:46)
 
index 3d339368427f0333144e78cff74b82cd76bf3ced..67f6573963afa36ee713afece563d8e3ada33142 100644 (file)
@@ -3,7 +3,6 @@
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (hg04_race.c:21)
 
@@ -11,7 +10,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (hg04_race.c:19)
 
index 86d3892ae9093b7248994d659fc6a334fa9e7fe6..708ee46fee5e5b2da4de9331fa6ed0b5fcbb0f05 100644 (file)
@@ -3,7 +3,6 @@
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (hg05_race2.c:29)
 
@@ -11,7 +10,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (hg05_race2.c:27)
 
index 9a9aec0a31c1275d4daba2903968c4214978fd7a..5834cbd76e38820d8524736f55115d0a4e9a5c2a 100644 (file)
@@ -2,7 +2,6 @@
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (locked_vs_unlocked1.c:34)
 
@@ -10,7 +9,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (locked_vs_unlocked1.c:29)
 
index 90b58492e252d19316b2e3e100daef103f5045b8..05e2175839aa2b46d0cced1ebf6dd49ebd62289b 100644 (file)
@@ -2,7 +2,6 @@
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (locked_vs_unlocked1.c:34)
 
@@ -10,7 +9,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (locked_vs_unlocked1.c:29)
 
index 415e4edba7299258059faaf6b12531c0ea52208b..6e0e068748f6f9272fb09db4235cf865132280d3 100644 (file)
@@ -2,7 +2,6 @@
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (locked_vs_unlocked2.c:61)
 
@@ -10,7 +9,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (locked_vs_unlocked2.c:62)
 
index 26ba0131f90271e92dc43bff1683f8f3bfb7fcc7..e5f4b5d7a6db16b5a67f1d92ae98715cb6ac73e2 100644 (file)
@@ -2,7 +2,6 @@
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (locked_vs_unlocked3.c:53)
 
@@ -10,7 +9,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (locked_vs_unlocked3.c:54)
 
index 18b369e5bdf932c6e940b907a81fac88ab2d3187..4a42c20c4b2d4eba39ef5fabfdecbb98226764cb 100644 (file)
@@ -2,7 +2,6 @@
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: barriers_and_races (pth_barrier.c:92)
    by 0x........: main (pth_barrier.c:122)
@@ -11,7 +10,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: barriers_and_races (pth_barrier.c:92)
    by 0x........: main (pth_barrier.c:122)
index 5ce94a0998097057c62c9fa7d351dad39555f4f4..a8ef695ce1a77cc7f4fd99100183b38078892e56 100644 (file)
@@ -2,7 +2,6 @@
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: barriers_and_races (pth_barrier.c:92)
    by 0x........: main (pth_barrier.c:122)
@@ -11,7 +10,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: barriers_and_races (pth_barrier.c:92)
    by 0x........: main (pth_barrier.c:122)
index 18b369e5bdf932c6e940b907a81fac88ab2d3187..4a42c20c4b2d4eba39ef5fabfdecbb98226764cb 100644 (file)
@@ -2,7 +2,6 @@
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: barriers_and_races (pth_barrier.c:92)
    by 0x........: main (pth_barrier.c:122)
@@ -11,7 +10,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: barriers_and_races (pth_barrier.c:92)
    by 0x........: main (pth_barrier.c:122)
index fa9f529c97a6c102ab5af8b3d5a9154e710c3aa8..23724ac241975e826a70e58941eb2f804b19cad9 100644 (file)
@@ -7,7 +7,6 @@ Thread #x is the program's root thread
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (pth_cond_destroy_busy.c:45)
 
index 783582ccf3ae1b83af239667f02c3cf9291ccee7..e0b213cf24bce49c6f5e48cc70d51fca73767cc3 100644 (file)
@@ -2,7 +2,6 @@
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (pth_destroy_cond.c:29)
 
index 952725907c5e7bd3fe74b596f38beeb91c2b67c1..f56194cf14897881056c2e7e61dd25b2608a7da5 100644 (file)
@@ -3,7 +3,6 @@
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (rwlock_race.c:48)
 
@@ -11,7 +10,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (rwlock_race.c:47)
 
index a379f872f2345ee763862f143f2495994fa1e9d0..ad7914478f977a849fd9438e7a9b24dcfce706f5 100644 (file)
@@ -7,7 +7,6 @@ Thread #x is the program's root thread
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc01_simple_race.c:22)
 
index f07bb93ba90a7b88855d891d8828290be6ee32a6..8e715699fc55c41755d6fa492809f4b6d04123ae 100644 (file)
@@ -7,7 +7,6 @@ Thread #x is the program's root thread
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc05_simple_race.c:27)
 
index 88e4e475b0aa3b459ff4c490f3e952623a838bc8..49c0346624b0707405b27d0722126a4486afbe29 100644 (file)
@@ -7,7 +7,6 @@ Thread #x is the program's root thread
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc06_two_races.c:26)
 
index 995cfd121083f2fee3bc6d06550d6060991afd22..0da7639bd8b48627a3aa1218e7f8ba1cc1b2351d 100644 (file)
@@ -18,7 +18,6 @@ Thread #x unlocked a not-locked lock at 0x........
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: nearly_main (tc09_bad_unlock.c:35)
    by 0x........: main (tc09_bad_unlock.c:49)
@@ -84,7 +83,6 @@ Thread #x: Bug in libpthread: recursive write lock granted on mutex/wrlock which
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: nearly_main (tc09_bad_unlock.c:35)
    by 0x........: main (tc09_bad_unlock.c:50)
index 169a2c88041c7f7e51b76a9675703da8c8f76018..bcc5c745da23d0eecde864b1e17be7814cff3a7b 100644 (file)
@@ -3,7 +3,6 @@
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc14_laog_dinphils.c:34)
 
index dc414a527753e2d5880dfadb2fec70be2be7d002..17a0e7a23f1e8d7e01355834e146e8acda274ad2 100644 (file)
@@ -7,7 +7,6 @@ Thread #x is the program's root thread
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc16_byterace.c:22)
 
index 44b4f17885b26f877de1a3e9d795053efa11b482..0f224dcf0eb5f48b1edf7bd655c5d52ff9949e38 100644 (file)
@@ -9,7 +9,6 @@
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -17,7 +16,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -45,7 +43,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -53,7 +50,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -81,7 +77,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -89,7 +84,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -117,7 +111,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -125,7 +118,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -153,7 +145,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -161,7 +152,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -189,7 +179,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -197,7 +186,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -225,7 +213,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -233,7 +220,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -261,7 +247,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -269,7 +254,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -297,7 +281,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -305,7 +288,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -333,7 +315,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -341,7 +322,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -369,7 +349,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -377,7 +356,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -405,7 +383,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -413,7 +390,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -441,7 +417,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -449,7 +424,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -477,7 +451,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -485,7 +458,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -513,7 +485,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -521,7 +492,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -549,7 +519,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -557,7 +526,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -585,7 +553,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -593,7 +560,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -621,7 +587,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -629,7 +594,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -657,7 +621,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -665,7 +628,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -693,7 +655,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -701,7 +662,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -729,7 +689,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -737,7 +696,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -765,7 +723,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -773,7 +730,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -801,7 +757,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -809,7 +764,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -837,7 +791,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -845,7 +798,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -873,7 +825,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -881,7 +832,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -909,7 +859,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -917,7 +866,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -945,7 +893,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -953,7 +900,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -981,7 +927,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -989,7 +934,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1017,7 +961,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1025,7 +968,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1053,7 +995,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1061,7 +1002,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1089,7 +1029,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1097,7 +1036,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1125,7 +1063,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1133,7 +1070,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1161,7 +1097,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1169,7 +1104,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1197,7 +1131,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1205,7 +1138,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1233,7 +1165,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1241,7 +1172,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1269,7 +1199,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1277,7 +1206,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1305,7 +1233,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1313,7 +1240,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1341,7 +1267,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1349,7 +1274,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1377,7 +1301,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1385,7 +1308,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1413,7 +1335,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1421,7 +1342,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1449,7 +1369,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1457,7 +1376,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1485,7 +1403,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1493,7 +1410,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1521,7 +1437,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1529,7 +1444,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1557,7 +1471,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1565,7 +1478,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1593,7 +1505,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1601,7 +1512,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1629,7 +1539,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1637,7 +1546,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1665,7 +1573,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1673,7 +1580,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1701,7 +1607,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1709,7 +1614,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1737,7 +1641,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1745,7 +1648,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1773,7 +1675,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1781,7 +1682,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1809,7 +1709,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1817,7 +1716,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1845,7 +1743,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1853,7 +1750,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1881,7 +1777,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1889,7 +1784,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1917,7 +1811,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1925,7 +1818,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1953,7 +1845,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1961,7 +1852,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -1989,7 +1879,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -1997,7 +1886,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2025,7 +1913,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2033,7 +1920,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2061,7 +1947,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2069,7 +1954,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2097,7 +1981,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2105,7 +1988,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2133,7 +2015,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2141,7 +2022,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2169,7 +2049,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2177,7 +2056,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2205,7 +2083,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2213,7 +2090,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2241,7 +2117,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2249,7 +2124,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2277,7 +2151,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2285,7 +2158,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2313,7 +2185,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2321,7 +2192,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2349,7 +2219,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2357,7 +2226,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2385,7 +2253,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2393,7 +2260,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2421,7 +2287,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2429,7 +2294,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2457,7 +2321,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2465,7 +2328,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2493,7 +2355,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2501,7 +2362,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2529,7 +2389,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2537,7 +2396,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2565,7 +2423,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2573,7 +2430,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2601,7 +2457,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2609,7 +2464,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2637,7 +2491,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2645,7 +2498,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2673,7 +2525,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2681,7 +2532,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2709,7 +2559,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2717,7 +2566,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2745,7 +2593,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2753,7 +2600,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2781,7 +2627,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2789,7 +2634,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2817,7 +2661,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2825,7 +2668,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2853,7 +2695,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2861,7 +2702,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2889,7 +2729,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2897,7 +2736,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2925,7 +2763,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2933,7 +2770,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2961,7 +2797,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -2969,7 +2804,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -2997,7 +2831,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -3005,7 +2838,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -3033,7 +2865,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -3041,7 +2872,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -3069,7 +2899,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -3077,7 +2906,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -3105,7 +2933,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -3113,7 +2940,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -3141,7 +2967,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -3149,7 +2974,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -3177,7 +3001,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -3185,7 +3008,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -3213,7 +3035,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -3221,7 +3042,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -3249,7 +3069,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -3257,7 +3076,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -3285,7 +3103,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -3293,7 +3110,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -3321,7 +3137,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -3329,7 +3144,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -3357,7 +3171,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -3365,7 +3178,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -3393,7 +3205,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -3401,7 +3212,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -3429,7 +3239,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -3437,7 +3246,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -3465,7 +3273,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -3473,7 +3280,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -3501,7 +3307,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -3509,7 +3314,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -3537,7 +3341,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:173)
 
@@ -3545,7 +3348,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:172)
 
@@ -3578,7 +3380,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -3586,7 +3387,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -3617,7 +3417,6 @@ will still be recorded, but in less detail than before.
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -3625,7 +3424,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -3672,7 +3470,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -3680,7 +3477,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -3708,7 +3504,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -3716,7 +3511,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -3763,7 +3557,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -3771,7 +3564,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -3799,7 +3591,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -3807,7 +3598,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -3854,7 +3644,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -3862,7 +3651,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -3890,7 +3678,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -3898,7 +3685,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -3945,7 +3731,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -3953,7 +3738,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -3981,7 +3765,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -3989,7 +3772,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -4036,7 +3818,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -4044,7 +3825,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -4072,7 +3852,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -4080,7 +3859,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -4127,7 +3905,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -4135,7 +3912,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -4163,7 +3939,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -4171,7 +3946,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -4218,7 +3992,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -4226,7 +3999,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -4254,7 +4026,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -4262,7 +4033,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -4309,7 +4079,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -4317,7 +4086,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -4345,7 +4113,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -4353,7 +4120,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -4400,7 +4166,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -4408,7 +4173,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -4436,7 +4200,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -4444,7 +4207,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -4491,7 +4253,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -4499,7 +4260,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -4527,7 +4287,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -4535,7 +4294,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -4582,7 +4340,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -4590,7 +4347,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -4618,7 +4374,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -4626,7 +4381,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -4673,7 +4427,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -4681,7 +4434,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -4709,7 +4461,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -4717,7 +4468,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -4764,7 +4514,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -4772,7 +4521,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -4800,7 +4548,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -4808,7 +4555,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -4855,7 +4601,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -4863,7 +4608,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -4891,7 +4635,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -4899,7 +4642,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -4946,7 +4688,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -4954,7 +4695,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -4982,7 +4722,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -4990,7 +4729,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -5037,7 +4775,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -5045,7 +4782,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -5073,7 +4809,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -5081,7 +4816,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -5128,7 +4862,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -5136,7 +4869,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -5164,7 +4896,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -5172,7 +4903,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -5219,7 +4949,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -5227,7 +4956,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -5255,7 +4983,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -5263,7 +4990,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -5310,7 +5036,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -5318,7 +5043,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -5346,7 +5070,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -5354,7 +5077,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -5401,7 +5123,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -5409,7 +5130,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -5437,7 +5157,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -5445,7 +5164,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -5492,7 +5210,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -5500,7 +5217,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -5528,7 +5244,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -5536,7 +5251,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -5583,7 +5297,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -5591,7 +5304,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -5619,7 +5331,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -5627,7 +5338,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -5674,7 +5384,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -5682,7 +5391,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -5710,7 +5418,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -5718,7 +5425,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -5765,7 +5471,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -5773,7 +5478,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -5801,7 +5505,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -5809,7 +5512,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -5856,7 +5558,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -5864,7 +5565,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -5892,7 +5592,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -5900,7 +5599,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -5947,7 +5645,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -5955,7 +5652,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -5983,7 +5679,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -5991,7 +5686,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -6038,7 +5732,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -6046,7 +5739,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -6074,7 +5766,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -6082,7 +5773,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -6129,7 +5819,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -6137,7 +5826,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -6165,7 +5853,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -6173,7 +5860,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -6220,7 +5906,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -6228,7 +5913,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -6256,7 +5940,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -6264,7 +5947,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -6311,7 +5993,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -6319,7 +6000,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -6347,7 +6027,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -6355,7 +6034,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -6402,7 +6080,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -6410,7 +6087,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -6438,7 +6114,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -6446,7 +6121,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -6493,7 +6167,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -6501,7 +6174,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -6529,7 +6201,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -6537,7 +6208,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -6584,7 +6254,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -6592,7 +6261,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -6620,7 +6288,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -6628,7 +6295,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -6675,7 +6341,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -6683,7 +6348,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -6711,7 +6375,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -6719,7 +6382,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -6766,7 +6428,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -6774,7 +6435,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -6802,7 +6462,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -6810,7 +6469,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -6857,7 +6515,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -6865,7 +6522,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -6893,7 +6549,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -6901,7 +6556,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -6948,7 +6602,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -6956,7 +6609,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -6984,7 +6636,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -6992,7 +6643,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -7039,7 +6689,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -7047,7 +6696,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -7075,7 +6723,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -7083,7 +6730,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -7130,7 +6776,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -7138,7 +6783,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -7166,7 +6810,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -7174,7 +6817,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -7221,7 +6863,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -7229,7 +6870,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -7257,7 +6897,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -7265,7 +6904,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -7312,7 +6950,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -7320,7 +6957,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -7348,7 +6984,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -7356,7 +6991,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -7403,7 +7037,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -7411,7 +7044,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -7439,7 +7071,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -7447,7 +7078,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -7494,7 +7124,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -7502,7 +7131,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -7530,7 +7158,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -7538,7 +7165,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -7585,7 +7211,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -7593,7 +7218,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -7621,7 +7245,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -7629,7 +7252,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -7676,7 +7298,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -7684,7 +7305,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -7712,7 +7332,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -7720,7 +7339,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -7767,7 +7385,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -7775,7 +7392,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -7803,7 +7419,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -7811,7 +7426,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -7858,7 +7472,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -7866,7 +7479,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -7894,7 +7506,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -7902,7 +7513,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -7949,7 +7559,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -7957,7 +7566,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -7985,7 +7593,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:204)
 
@@ -7993,7 +7600,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:203)
 
@@ -8045,7 +7651,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -8053,7 +7658,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -8081,7 +7685,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -8089,7 +7692,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -8174,7 +7776,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -8182,7 +7783,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -8229,7 +7829,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -8237,7 +7836,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -8322,7 +7920,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -8330,7 +7927,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -8358,7 +7954,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -8366,7 +7961,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -8451,7 +8045,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -8459,7 +8052,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -8506,7 +8098,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -8514,7 +8105,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -8599,7 +8189,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -8607,7 +8196,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -8635,7 +8223,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -8643,7 +8230,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -8728,7 +8314,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -8736,7 +8321,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -8783,7 +8367,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -8791,7 +8374,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -8876,7 +8458,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -8884,7 +8465,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -8912,7 +8492,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -8920,7 +8499,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -9005,7 +8583,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -9013,7 +8590,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -9060,7 +8636,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -9068,7 +8643,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -9153,7 +8727,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -9161,7 +8734,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -9189,7 +8761,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -9197,7 +8768,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -9282,7 +8852,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -9290,7 +8859,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -9337,7 +8905,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -9345,7 +8912,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -9430,7 +8996,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -9438,7 +9003,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -9466,7 +9030,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -9474,7 +9037,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -9559,7 +9121,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -9567,7 +9128,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -9614,7 +9174,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -9622,7 +9181,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -9707,7 +9265,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -9715,7 +9272,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -9743,7 +9299,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -9751,7 +9306,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -9836,7 +9390,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -9844,7 +9397,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -9891,7 +9443,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -9899,7 +9450,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -9984,7 +9534,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -9992,7 +9541,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -10020,7 +9568,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -10028,7 +9575,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -10113,7 +9659,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -10121,7 +9666,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -10168,7 +9712,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -10176,7 +9719,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -10261,7 +9803,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -10269,7 +9810,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -10297,7 +9837,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -10305,7 +9844,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -10390,7 +9928,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -10398,7 +9935,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -10445,7 +9981,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -10453,7 +9988,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -10538,7 +10072,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -10546,7 +10079,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -10574,7 +10106,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -10582,7 +10113,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -10667,7 +10197,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -10675,7 +10204,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -10722,7 +10250,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -10730,7 +10257,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -10815,7 +10341,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -10823,7 +10348,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -10851,7 +10375,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -10859,7 +10382,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -10944,7 +10466,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -10952,7 +10473,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -10999,7 +10519,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -11007,7 +10526,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -11092,7 +10610,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -11100,7 +10617,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -11128,7 +10644,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -11136,7 +10651,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -11221,7 +10735,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -11229,7 +10742,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -11276,7 +10788,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -11284,7 +10795,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -11369,7 +10879,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -11377,7 +10886,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -11405,7 +10913,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -11413,7 +10920,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -11498,7 +11004,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -11506,7 +11011,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -11553,7 +11057,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -11561,7 +11064,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -11646,7 +11148,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -11654,7 +11155,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -11682,7 +11182,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -11690,7 +11189,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -11775,7 +11273,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -11783,7 +11280,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -11830,7 +11326,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -11838,7 +11333,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -11923,7 +11417,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -11931,7 +11424,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -11959,7 +11451,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -11967,7 +11458,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -12052,7 +11542,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -12060,7 +11549,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -12107,7 +11595,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -12115,7 +11602,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -12200,7 +11686,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -12208,7 +11693,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -12236,7 +11720,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -12244,7 +11727,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -12329,7 +11811,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -12337,7 +11818,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -12384,7 +11864,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -12392,7 +11871,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -12477,7 +11955,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -12485,7 +11962,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -12513,7 +11989,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -12521,7 +11996,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -12606,7 +12080,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -12614,7 +12087,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -12661,7 +12133,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -12669,7 +12140,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -12754,7 +12224,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -12762,7 +12231,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -12790,7 +12258,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -12798,7 +12265,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -12883,7 +12349,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -12891,7 +12356,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -12938,7 +12402,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -12946,7 +12409,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -13031,7 +12493,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -13039,7 +12500,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -13067,7 +12527,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -13075,7 +12534,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -13160,7 +12618,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -13168,7 +12625,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -13215,7 +12671,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -13223,7 +12678,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -13308,7 +12762,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -13316,7 +12769,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -13344,7 +12796,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -13352,7 +12803,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -13437,7 +12887,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -13445,7 +12894,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -13492,7 +12940,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -13500,7 +12947,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -13585,7 +13031,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -13593,7 +13038,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -13621,7 +13065,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -13629,7 +13072,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -13714,7 +13156,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -13722,7 +13163,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -13769,7 +13209,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -13777,7 +13216,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -13862,7 +13300,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -13870,7 +13307,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -13898,7 +13334,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -13906,7 +13341,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -13991,7 +13425,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -13999,7 +13432,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -14046,7 +13478,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -14054,7 +13485,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -14139,7 +13569,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -14147,7 +13576,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -14175,7 +13603,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -14183,7 +13610,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -14268,7 +13694,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -14276,7 +13701,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -14323,7 +13747,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -14331,7 +13754,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -14416,7 +13838,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -14424,7 +13845,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -14452,7 +13872,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -14460,7 +13879,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -14545,7 +13963,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -14553,7 +13970,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -14600,7 +14016,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:235)
 
@@ -14608,7 +14023,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:234)
 
@@ -14698,7 +14112,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -14706,7 +14119,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -14734,7 +14146,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -14742,7 +14153,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -14903,7 +14313,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -14911,7 +14320,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -14996,7 +14404,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -15004,7 +14411,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -15165,7 +14571,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -15173,7 +14578,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -15220,7 +14624,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -15228,7 +14631,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -15389,7 +14791,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -15397,7 +14798,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -15482,7 +14882,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -15490,7 +14889,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -15651,7 +15049,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -15659,7 +15056,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -15687,7 +15083,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -15695,7 +15090,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -15856,7 +15250,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -15864,7 +15257,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -15949,7 +15341,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -15957,7 +15348,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -16118,7 +15508,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -16126,7 +15515,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -16173,7 +15561,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -16181,7 +15568,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -16342,7 +15728,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -16350,7 +15735,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -16435,7 +15819,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -16443,7 +15826,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -16604,7 +15986,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -16612,7 +15993,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -16640,7 +16020,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -16648,7 +16027,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -16809,7 +16187,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -16817,7 +16194,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -16902,7 +16278,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -16910,7 +16285,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -17071,7 +16445,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -17079,7 +16452,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -17126,7 +16498,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -17134,7 +16505,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -17295,7 +16665,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -17303,7 +16672,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -17388,7 +16756,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -17396,7 +16763,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -17557,7 +16923,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -17565,7 +16930,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -17593,7 +16957,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -17601,7 +16964,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -17762,7 +17124,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -17770,7 +17131,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -17855,7 +17215,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -17863,7 +17222,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -18024,7 +17382,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -18032,7 +17389,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -18079,7 +17435,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -18087,7 +17442,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -18248,7 +17602,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -18256,7 +17609,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -18341,7 +17693,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -18349,7 +17700,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -18510,7 +17860,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -18518,7 +17867,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -18546,7 +17894,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -18554,7 +17901,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -18715,7 +18061,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -18723,7 +18068,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -18808,7 +18152,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -18816,7 +18159,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -18977,7 +18319,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -18985,7 +18326,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -19032,7 +18372,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -19040,7 +18379,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -19201,7 +18539,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -19209,7 +18546,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -19294,7 +18630,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -19302,7 +18637,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -19463,7 +18797,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -19471,7 +18804,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -19499,7 +18831,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -19507,7 +18838,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -19668,7 +18998,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -19676,7 +19005,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -19761,7 +19089,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -19769,7 +19096,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -19930,7 +19256,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -19938,7 +19263,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -19985,7 +19309,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -19993,7 +19316,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -20154,7 +19476,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -20162,7 +19483,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -20247,7 +19567,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -20255,7 +19574,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -20416,7 +19734,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -20424,7 +19741,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -20452,7 +19768,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -20460,7 +19775,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -20621,7 +19935,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -20629,7 +19942,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -20714,7 +20026,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -20722,7 +20033,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -20883,7 +20193,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -20891,7 +20200,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -20938,7 +20246,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -20946,7 +20253,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -21107,7 +20413,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -21115,7 +20420,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -21200,7 +20504,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -21208,7 +20511,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -21369,7 +20671,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -21377,7 +20678,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -21405,7 +20705,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -21413,7 +20712,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -21574,7 +20872,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -21582,7 +20879,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -21667,7 +20963,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -21675,7 +20970,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -21836,7 +21130,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -21844,7 +21137,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -21891,7 +21183,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -21899,7 +21190,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -22060,7 +21350,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -22068,7 +21357,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -22153,7 +21441,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -22161,7 +21448,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -22322,7 +21608,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -22330,7 +21615,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -22358,7 +21642,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -22366,7 +21649,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -22527,7 +21809,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -22535,7 +21816,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -22620,7 +21900,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -22628,7 +21907,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -22789,7 +22067,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -22797,7 +22074,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -22844,7 +22120,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -22852,7 +22127,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -23013,7 +22287,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -23021,7 +22294,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -23106,7 +22378,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -23114,7 +22385,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -23275,7 +22545,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -23283,7 +22552,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -23311,7 +22579,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -23319,7 +22586,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -23480,7 +22746,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -23488,7 +22753,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -23573,7 +22837,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -23581,7 +22844,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -23742,7 +23004,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -23750,7 +23011,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -23797,7 +23057,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -23805,7 +23064,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -23966,7 +23224,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -23974,7 +23231,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -24059,7 +23315,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -24067,7 +23322,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -24228,7 +23482,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -24236,7 +23489,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -24264,7 +23516,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -24272,7 +23523,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -24433,7 +23683,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -24441,7 +23690,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -24526,7 +23774,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -24534,7 +23781,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -24695,7 +23941,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -24703,7 +23948,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -24750,7 +23994,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -24758,7 +24001,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -24919,7 +24161,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -24927,7 +24168,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -25012,7 +24252,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -25020,7 +24259,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -25181,7 +24419,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -25189,7 +24426,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -25217,7 +24453,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -25225,7 +24460,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -25386,7 +24620,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -25394,7 +24627,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
@@ -25479,7 +24711,6 @@ Locks held: none
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:266)
 
@@ -25487,7 +24718,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc19_shadowmem.c:265)
 
index dd0761537e388b8347a8dc8ec20a0a2f421b7e5f..aaab563bd09f13b8b5d9d8fc15098131914abca7 100644 (file)
@@ -13,7 +13,6 @@ Thread #x is the program's root thread
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc20_verifywrap.c:76)
 
index 152cb840adb59bf9031d971968127a685e2bc13f..d057a3d77279c48c3145a090fccabd2b514f2120 100644 (file)
@@ -3,7 +3,6 @@
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc21_pthonce.c:87)
 
@@ -11,7 +10,6 @@ Thread #x was created
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc21_pthonce.c:87)
 
index 5b8a2cb0a0a16798ae874995ebd364ec998e6325..6f3de66ea661a5a37a6e2a514969f49c807f4bfa 100644 (file)
@@ -3,7 +3,6 @@
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc22_exit_w_lock.c:39)
 
@@ -16,7 +15,6 @@ Thread #x: Exiting thread still holds 2 locks
 
 Thread #x was created
    ...
-   by 0x........: pthread_create_WRK (hg_intercepts.c:...)
    by 0x........: pthread_create@* (hg_intercepts.c:...)
    by 0x........: main (tc22_exit_w_lock.c:42)