Testing C code