# run.log — baseline (unfixed libprop from /usr/src/sys/libprop), 5 runs
# DragonFly dfbsd 6.5-DEVELOPMENT, 6 cpus, cc 8.3
root@dfbsd:/tmp # cc -O2 -o race_keysym race_keysym.c /tmp/proporig/libprop_orig.so -lpthread -Wl,-rpath,/tmp/proporig
root@dfbsd:/tmp # ./race_keysym
warm dict: 96 keys
Segmentation fault (core dumped)
exit=139

root@dfbsd:/tmp # for i in 1 2 3 4 5; do (./race_keysym >/dev/null 2>&1); echo "run$i exit=$?"; done
Segmentation fault (core dumped)
run1 exit=139
run2 exit=139
Segmentation fault (core dumped)
run3 exit=139
Segmentation fault (core dumped)
Segmentation fault (core dumped)
run4 exit=139
run5 exit=139
Segmentation fault (core dumped)

# kernel console (serial log / dmesg):
#   pid 980 (race_keysym), uid 0: exited on signal 11 (core dumped)
#   pid 988..992 (race_keysym), uid 0: exited on signal 11 (core dumped)