+ cc -O2 -Wall -o tkip_harness tkip_harness.c
+ cc -O2 -Wall -DNO_INVARIANTS -o tkip_harness_noinv tkip_harness.c
tkip_harness.c:97:13: warning: 'panic' defined but not used [-Wunused-function]
 static void panic(const char *fmt, ...)
             ^~~~~
BUILD_EXIT=0
-rwxr-xr-x  1 maxx  maxx   9496 Jul  3 00:47 tkip_harness
-rwxr-xr-x  1 maxx  maxx  12216 Jul  3 00:47 tkip_harness_noinv