#include #include "tiffio.h" void TIFF2PS(FILE*, TIFF*, double, double, double, double, int, int*); void TIFFPSTail(FILE*, int);