(* Options *)

VAR
   resolution,          (* defines 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;
   vdu,                 (* type of terminal                  *)
   tfmdir,              (* location of PostScript TFMs       *)
   psprefix,            (* prefix for all PostScript fonts   *)
   fontdir,             (* location of PK files              *)
   dummyfont,           (* dummy PK file                     *)
   helpname,            (* help file name                    *)
   DVIname              (* DVI file name                     *)
      : string;

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