$ cc -O -o /root/emx_bounds_harness /root/emx_bounds_harness.c
BUILD_RC=0
(same binary as DF-3736; harness section [C] exercises this finding)