Random C code for testing