$ cc -O2 -o df5813_leakstress df5813_leakstress.c -lpthread
(no diagnostics on final build; intermediate builds warned only about
 snprintf truncation possibility in the path helper)