=== Building unpatched harness (proves the bug) ===
BUILD: harness  exit=0
=== Building fixed harness (proves the fix) ===
BUILD: harness_fixed  exit=0
=== All builds done ===
-rwxr-xr-x  1 maxx  maxx  15344 Jul  5 08:37 harness
-rwxr-xr-x  1 maxx  maxx  14072 Jul  5 08:37 harness_fixed