anchor.diff:   keywrd2[kFORWARD] := 'D     ';
    keywrd1[kPROGRAM] := 'PROGRA';
    keywrd2[kPROGRAM] := 'M     ';
  - keywrd1[kLAST] := '      ';
  - for glob494z := 9 to 12 do 
  -    unp[glob494z] := ' ';
  - glob471z := 1;
  - glob470z := 0;
  - glob472z := false;
  + keywrd1[kident] := '      ';
  + for idx := 9 to 12 do unp[idx] := ' ';
  + dummy4 := 1;
  + dummy5 := 0;
  + illSpec := false;
    setMode( 2, initMode );
    setMode( 4, initMode );
  - glob488z := 50;
  + dummy2 := 50;
    atEOF := false;
    first := true;
   };
  -procedure P3312;
  +procedure readSpec;
   label 3354;
   var l2var1z, l2var2z:integer; mask, word: array[1..6] of char;
   procedure P3250;
  
positive.code: (*=p-,t-,y+*)
  program prettypr(output, input, result);
  label 3575;
  const boilerplate = '*** VERSION 25.02.82 ***';
  type
      bool3=record f0, f1, expand: boolean end;
  keyword=(k0, k1, kif, kthen, kelse, kcase, kof, krepeat, kuntil, kwhile,
  kdo,kfor,kbegin, kend, kwith, kselect, kgoto, kexit, kconst,kvar,
  ktype,krecord,klabel,karray,kset,kfile,kpacked,kfunct,kproced, kfortran,
  kextern, kforward, kprogram, klast);
  var result:text;
  line:array [1..84] of char;
  errline:array [1..80] of char;
  varskip:array[204..261] of char;
  errpos, errlnum:integer;
  varskip2:array[264..270] of char;
  longLines:boolean; glob272z, glob273z:alfa;
  garr273z:array[1..72] of char;
  glob346z,
  glob347z, glob348z:integer;
  glob349z:char;
  initMode,curmode:bool3;
  glob356z:boolean; glob357z, glob358z, glob359z:integer;
  glob360z:boolean;
  garr360z:array [1..50] of integer;
  pos, glob412z:integer;
  ch, nextch:char;
  unp: array [1..12] of char;
  pck1, pck2: alfa;
  keywrd1:array [kif..klast] of alfa;
  keywrd2:array [kfunct..kprogram] of alfa;
  SY:keyword;
  inComment, glob469z:boolean;
  glob470z, glob471z:integer; glob472z: boolean;
  vartail:array [473..486] of char;
  glob487z, glob488z:integer;
  glob489z, atEOF, eol:boolean;
  comMeta,meta:char;
  glob494z:integer; first: boolean;
  
  procedure PASENDED(var f: text); external;
  (*line 145*) function isdigit(c:char):boolean; {
  
negative.code:  GOTO 3354;
  };
  function readInt:integer;
  var v:integer;
  {
  v := 0;
   while isDigit (nextch) do {
     v := v*10 + ord(nextch)-ord('0');
     getch (nextch );
   };
   readInt := v;
   while not eol and not isDigit (nextch) and (nextch <> '<') do
     getch (nextch );
  };
  { (* readSpec *)
   margRight := 0;
   margSaved := 0;
   margLeft := -73;
   inComment := false;
   inQuoteOrComm := false;
   wasSpace := true;
   comMeta := '/';
   meta := '_';
   checkQuote := '_000';
   curLinePos := 1;
   neededPos := 1;
   offset := 0;
   stackpos := 1;
   Indent;
   eol := true;
   inplnum := 1;
   for l2var1z := 73 to 80 do line[l2var1z] := '*';
   for l2var1z := 81 to 83 do line[l2var1z] := ' ';
   line[84] := '_012';
  