+ cc -o trigger trigger.c
BUILD_EXIT=0
-rwxr-xr-x trigger  6784 bytes
+ ./trigger  (source-level reproduction: dirfs not in running kernel)
RUN_EXIT=0

# (dirfs is vkernel64-only; not present in the running X86_64_GENERIC guest
# kernel — `nm /boot/kernel/kernel.debug | grep -ci dirfs` returns 0 — so
# the trigger is a source annotation, not a runtime trigger. The bug is
# verified by reading sys/vfs/dirfs/dirfs_subr.c:193-200 against the
# matching pattern at sys/vfs/dirfs/dirfs_subr.c:202-210.)