extern void TexturePPM(char *);