$ ssh -F dfbsd-qemu/config dfbsd   (source copied to /tmp/cxm_read_race.c)
$ cc -O2 -Wall -o cxm_read_race cxm_read_race.c
BUILD1_OK
$ ls -l cxm_read_race bios_ss_null_deref_replica
-rwxr-xr-x  1 root  wheel  9272 Sep 17 02:39 /tmp/cxm_read_race
(build rc=0, no warnings)