$ cc -O2 -Wall -o harness_df4086 harness_df4086.c
(no diagnostics; exit 0)