re-introduced the intentional error into test_z.c to see if smack can detect it.
recording benchmark output from running smack on these programs