extern int32 h, v, w, x, y, z;
extern double MINREAL;   /* a system-dependent 'constant' */
extern FILE *dvifile, *outputfil, *tfmfile, *logfile;
extern int32 lastPoint;   /* num of output points */
extern int32 intervals;   /* count of spline interval we are on */
extern short b0, b1, b2, b3;
extern int didnewfonts;   /* did we define the new fonts for this page? */
extern char nf;
extern fontinfo font[MAXFONTS + 1];
extern int32 ourfontnum;   /* internal number of TeX font currently in use*/
extern int32 curfont;
extern LabFontInfRec *LFontTable[SizLFontTable];
extern int32 pgfigurenum;   /* figure number for this page */
extern int32 currpagenum;   /* number of page we are on */
extern int32 TotBytesWritten, ourq;

extern void jumpout PP((void));
extern void complain PP((int severity));
extern double float_ PP((int32 i));
extern int min PP((int a, int b));
extern int max PP((int a, int b));
extern double distance PP((double x0, double y0, double x1, double y1));
extern void drawSpline PP((SplineKind splinetype,
                       int isclosed,
                       int isanArc,
                       LineStyle patt,
                       int32 numctls,
                       int32 (*arrayXY)[2],
                       int32 (*pointmatrix)[2],
                       int varythicks,
                       VThickness *thickmatrix,
                       VThickness *TTmatrix));
extern int GetVectFont PP((int size, VectKind vk));
extern int GetLabFont PP((int32 style));
extern void defineNewfonts PP((void));
extern void InitDVIBuf PP((void));
extern void ClearDVIBuf PP((void));
extern void BackupInBuf PP((int nbytes));
extern void WriteDVIBuf PP((void));
extern int32 DVIMark PP((void));
extern int32 Dgetc PP((void));
extern int32 Dget1byte PP((void));
extern int32 Dget2byte PP((void));
extern int32 Dget3byte PP((void));
extern int32 Dsign1byte PP((void));
extern int32 Dsign2byte PP((void));
extern int32 Dsign3byte PP((void));
extern int32 Dsign4byte PP((void));
extern int Tgetc PP((void));
extern void readtfmword PP((void));
extern void cmd1byte PP((int32 cmd));
extern void cmd2byte PP((int32 cmd));
extern void cmd4byte PP((int32 cmd));
extern void cmdSigned PP((int32 cmd, int32 numbytes));
extern void OutputByte PP((int32 b));
extern void Output2Byte PP((int32 i));
extern void Output4Byte PP((int32 i));
extern char *xmalloc PP((unsigned int size));
extern Item *NewItem PP((int what));
extern void pushItem PP((int depth, Item *newthing));
extern void arccirclehandle PP((int32 figdepth,
                            double scalefact,
                            int32 cx,
                            int32 cy,
                            int32 radius,
                            int32 ang1,
                            int32 ang2,
                            int32 (*contpts)[2],
                            int32 nknots,
                            int32 dvih,
                            int32 dviv,
                            int thk,
                            VectKind vec,
                            LineStyle patt,
                            int32 minx,
                            int32 maxx,
                            int32 miny,
                            int32 maxy,
                            int32 tx,
                            int32 ty,
                            double sx,
                            double sy,
                            double r));
extern void beamhandle PP((int32 depth,
                       int32 siz,
                       BeamKind bk,
                       int32 x1,
                       int32 y1,
                       int32 x2,
                       int32 y2));
extern void figurehandle PP((Item *globalsymlist, Item *symbollist, int32 dopush));
extern void labelhandle PP((int32 depth,
                        double scalefact,
                        int32 lax,
                        int32 lay,
                        int32 dvih,
                        int32 dviv,
                        int32 style,
                        char *phrase,
                        int32 tx,
                        int32 ty));
extern void linehandle PP((int32 figdepth,
                       double scalefact,
                       int32 x1,
                       int32 y1,
                       int32 x2,
                       int32 y2,
                       int32 dvih,
                       int32 dviv,
                       int thk,
                       VectKind vk,
                       LineStyle patt,
                       int32 minx,
                       int32 maxx,
                       int32 miny,
                       int32 maxy,
                       int32 tx,
                       int32 ty,
                       double sx,
                       double sy,
                       double r));
extern void splinehandle PP((int32 figdepth,
                         double scalefact,
                         SplineKind thetype,
                         int isclosed,
                         int32 markdiam,
                         int32 (*contpts)[2],
                         int32 nknots,
                         int32 dvih,
                         int32 dviv,
                         int thk,
                         VectKind vec,
                         LineStyle patt,
                         int32 minx,
                         int32 maxx,
                         int32 miny,
                         int32 maxy,
                         int32 tx,
                         int32 ty,
                         double sx,
                         double sy,
                         double r));
extern void tieslurhandle PP((int32 depth,
                          int32 (*pts_)[2],
                          int32 numk,
                          int minthick,
                          int maxthick));
extern void ttsplhandle PP((int32 figdepth,
                        double scalefact,
                        SplineKind thetype,
                        int isclosed,
                        int32 markdiam,
                        int32 (*contpts_)[2],
                        VThickness *ttks_,
                        int32 nknots,
                        int32 dvih,
                        int32 dviv,
                        VectKind vec,
                        LineStyle patt,
                        int32 minx,
                        int32 maxx,
                        int32 miny,
                        int32 maxy,
                        int32 tx,
                        int32 ty,
                        double sx,
                        double sy,
                        double r));
extern void defineCircleCpts PP((int32 rad,
                             int32 centx,
                             int32 centy,
                             int32 (*CircleCpt)[2],
                             int32 *numpts));
extern void definearcpts PP((int32 rad,
                         int32 centx,
                         int32 centy,
                         int32 startang,
                         int32 stopang,
                         int32 (*cpts)[2],
                         int32 *nknots));
extern void layline PP((int32 xl,
                    int32 yb,
                    int32 xr,
                    int32 yt,
                    int32 fontindex,
                    LineStyle pattern,
                    int useVecfontOnly));
extern void layAspline PP((SplineKind thetype,
                       int isclosed,
                       int isanArc,
                       int32 domarks,
                       int32 (*cpts)[2],
                       int32 numpts,
                       int thick_,
                       VectKind vkind,
                       LineStyle patt));
extern void layNspline PP((SplineKind thetype,
                       int isclosed,
                       int isitaslur,
                       int32 domarks,
                       int32 (*cpts)[2],
                       int32 numpts,
                       VThickness *thickmatrix,
                       VectKind vkind,
                       LineStyle patt));
extern void clampthickness PP((VThickness *thic));
extern void isetpos PP((int posx, int posy));
extern void isetfont PP((int DVINum));