testfile of bad C code