web2c: dvitype output example

 
 10.2.1 DVItype output example
 -----------------------------
 
 As an example of the output from DVItype (see section above), here is
 its (abridged) translation of the 'story.dvi' resulting from running the
 example in 'The TeXbook', with '-output-level=4' and '-show-opcodes' on.
 
      ...
      Options selected:
        Starting page = *
        Maximum number of pages = 1000000
        Output level = 4 (the works)
        Resolution = 300.00000000 pixels per inch
      numerator/denominator=25400000/473628672
      magnification=1000;       0.00006334 pixels per DVI unit
      ' TeX output 1992.05.17:0844'
      Postamble starts at byte 564.
      maxv=43725786, maxh=30785863, maxstackdepth=3, totalpages=1
      Font 33: cmsl10---loaded at size 655360 DVI units
      Font 23: cmbx10---loaded at size 655360 DVI units
      Font 0: cmr10---loaded at size 655360 DVI units
 
      42: beginning of page 1
      87: push {141}
      level 0:(h=0,v=0,w=0,x=0,y=0,z=0,hh=0,vv=0)
      88: down3 -917504 {159} v:=0-917504=-917504, vv:=-58
      92: pop {142}
      ...
      104: putrule {137} height 26214, width 30785863 (2x1950 pixels)
      113: down3 5185936 {159} v:=655360+5185936=5841296, vv:=370
      117: push {141}
      level 1:(h=0,v=5841296,w=0,x=0,y=0,z=0,hh=0,vv=370)
      118: right4 12265425 {146} h:=0+12265425=12265425, hh:=777
      [ ]
      123: fntdef1 23 {243}: cmbx10
      145: fntnum23 {194} current font is cmbx10
      146: setchar65 h:=12265425+569796=12835221, hh:=813
      147: w3 251220 {150} h:=12835221+251220=13086441, hh:=829
      151: setchar83 h:=13086441+418700=13505141, hh:=856
      ...
      164: setchar82 h:=17448202+565245=18013447, hh:=1142
      165: x0 -62805 {152} h:=18013447-62805=17950642, hh:=1138
      166: setchar89 h:=17950642+569796=18520438, hh:=1174
      [A SHORT STORY]
      167: pop {142}
      level 1:(h=0,v=5841296,w=0,x=0,y=0,z=0,hh=0,vv=370)
      ...
      550: pop {142}
      level 0:(h=0,v=42152922,w=0,x=0,y=0,z=0,hh=0,vv=2670)
      551: down3 1572864 {159} v:=42152922+1572864=43725786, vv:=2770
      555: push {141}
      level 0:(h=0,v=43725786,w=0,x=0,y=0,z=0,hh=0,vv=2770)
      556: right4 15229091 {146} h:=0+15229091=15229091, hh:=965
      561: setchar49 h:=15229091+327681=15556772, hh:=986
      [ 1]
      562: pop {142}
      level 0:(h=0,v=43725786,w=0,x=0,y=0,z=0,hh=0,vv=2770)
      563: eop {140}
 
    Explanation:
 
    * The DVItype options are recorded at the beginning, followed by
      global information about the document, including fonts used.
 
    * Each DVI command is preceded by its byte position in the file
      ('42:', '87:', ...), and (because of the '-show-opcodes') followed
      by its decimal opcode value in braces ('{141}', '{142}', ...).
 
    * The 'level' lines record information about the DVI stack; 'h' and
      'v' define the current position in DVI units, while 'hh' and 'vv'
      are the same in pixels.
 
    * Text sequences are summarized in brackets, as in '[A SHORT STORY]'
      and the '[ 1]'.