(* Options *)

TYPE
   validunits  = (ic,cm,mm,pc,pt,bp,px);

VAR
   resolution,          (* pixels per inch                          *)
   mag,                 (* override DVI mag; 0 = use DVI mag        *)
   hoffset,             (* horizontal margin shift in pixels        *)
   voffset,             (* vertical margin shift in pixels          *)
   paperwd,             (* paper width in pixels                    *)
   paperht              (* paper height in pixels                   *)
      : INTEGER;
   tfmdir,              (* location of PostScript TFMs              *)
   psprefix,            (* prefix for all PostScript fonts          *)
   fontdir,             (* location of PK files                     *)
   dummyfont,           (* dummy PK file                            *)
   DVIname              (* DVI file name                            *)
      : string;

   (* The above options are also available with DVItoVDU.
      The following options are only available with PSDVI.
   *)

   units                (* defines how dimensions will be displayed *)
      : validunits;
   stats,               (* show some statistics?                    *)
   reverse,             (* output pages in reverse order?           *)
   conserveVM,          (* conserve virtual memory?                 *)
   subrange             (* user has selected a subrange of pages?   *)
      : BOOLEAN;
   firstDVIpage,        (* first DVI page selected (0 if TeX page)  *)
   finalDVIpage,        (* final DVI page selected (0 if TeX page)  *)
   increment            (* further restricts page selection         *)
      : INTEGER;
   firstTeXpage,        (* first TeX page selected                  *)
   finalTeXpage,        (* final TeX page selected                  *)
   header,              (* header file prefixed to output           *)
   PSname               (* explicit file name for PostScript output *)
      : string;

PROCEDURE InitOptions;                    EXTERNAL;
FUNCTION  Cap (ch : CHAR) : CHAR;         EXTERNAL;
FUNCTION  Len (str : string) : INTEGER;   EXTERNAL;