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