=== 1. control: stock libprop userland once (pthread_once) ===
t0 done
t1 done
t6 done
t4 done
t2 done
t7 done
t5 done
t3 done
SURVIVED: interning invariant held (512 values x 8 threads)
--- control exit=0

=== 2. kernel-macro semantics (cmpset once, NO completion barrier) ===
--- ksem run1 exit=139
Segmentation fault (core dumped)
--- ksem run2 exit=139
Segmentation fault (core dumped)
--- ksem run3 exit=139
Segmentation fault (core dumped)
--- ksem run4 exit=139
Segmentation fault (core dumped)
Segmentation fault (core dumped)
--- ksem run5 exit=139

=== 3. fix emulation: once completed before concurrent use (SYSINIT) ===
warmup: lazy init completed single-threaded
t3 done
t7 done
t4 done
t0 done
t1 done
t6 done
t5 done
t2 done
SURVIVED: interning invariant held (512 values x 8 threads)
--- fix run1 exit=0
warmup: lazy init completed single-threaded
t7 done
t0 done
t4 done
t3 done
t5 done
t1 done
t2 done
t6 done
SURVIVED: interning invariant held (512 values x 8 threads)
--- fix run2 exit=0
warmup: lazy init completed single-threaded
t0 done
t4 done
t5 done
t6 done
t2 done
t7 done
t3 done
t1 done
SURVIVED: interning invariant held (512 values x 8 threads)
--- fix run3 exit=0
warmup: lazy init completed single-threaded
t1 done
t6 done
t0 done
t7 done
t2 done
t5 done
t3 done
t4 done
SURVIVED: interning invariant held (512 values x 8 threads)
--- fix run4 exit=0
warmup: lazy init completed single-threaded
t3 done
t2 done
t5 done
t0 done
t7 done
t4 done
t6 done
t1 done
SURVIVED: interning invariant held (512 values x 8 threads)
--- fix run5 exit=0