== DF-1927 BUGGY model run (faithful to DFly linux_kthread.c:104-110) ==
Built with: cc -O2 -g -Wall -pthread -o df1927_race df1927_race.c
Run on:     DragonFly 6.5-DEVELOPMENT #1 (patched kernel; harness is a userland
            pthread model that does not depend on the running kernel)

==== BUGGY (DFly master DEV linux_kthread.c:104-110) ====
race tripped in 100/100 iterations
  Race A (spsc_queue double-pop / job UAF):       1 events total
  Race B (dma_fence_put kref underflow):          0 events total
  Race B' (dma_fence_put use-after-free):         0 events total