fixed exit=0
PROOF-OK: baseline faults at NULL+0x12; fixed variant returns cleanly
workdir: /tmp/df4605.qvERrS
===RUN2===
fixed exit=0
PROOF-OK: baseline faults at NULL+0x12; fixed variant returns cleanly
workdir: /tmp/df4605.QuzLjJ
===RUN3===
fixed exit=0
PROOF-OK: baseline faults at NULL+0x12; fixed variant returns cleanly
workdir: /tmp/df4605.I7eho5
===ENV===
DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 6.5-DEVELOPMENT #0: Thu Jul  2 06:02:54 UTC 2026     root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC  x86_64
cc 8.3 [DragonFly] Release/2019-02-22
1