guest build of the scenario binaries (stock userland cc, gcc80):
root# for f in op3000 op3000b op3000c op3000d op3000e; do cc -O -o /tmp/$f /tmp/$f.c; done
(no errors; op3000b has one unused-variable warning on the first attempt,
removed in the packed source)

instrumented kernel: see DF-2999/build.log (same nativekernel build);
probe presence verified:
  strings /usr/obj/usr/src/sys/X86_64_GENERIC/kernel.stripped | grep DF3000-PROBE
  DF3000-PROBE: branch fired vp=%p bp=%p bcount=%d
  DF3000-PROBE: after bread err=%d lockinuse=%d
probe.diff in this pack is the exact kernel-side patch (probe + DF-2999 fix).