Tex file with C code