+ ./aac_getnext_aif_race
[DF-1231] aac_getnext_aif UAF race demonstrator
[DF-1231] Bug: getnext walks fibctx list (aac.c:3528) and tsleeps
[DF-1231]      (aac.c:3540) WITHOUT aac_aifq_lock; close kfree()s ctx.

[DF-1231] No /dev/aacN found: No such file or directory
[DF-1231] No Adaptec FSA RAID on guest -> ioctls not reachable.
[DF-1231] Source-level verification only (see VERDICT.md).
RUN_EXIT=0