Gargoyle file for scene: ///ipbook/IPBookFig2-12b.gargoyle
Produced by version 8710.19

Scripts: ///ipbook/wallgren871028-15-39-16.script, ///ipbook/wallgren871028-15-40-12.script
Slope: [T 0.0] [F 15.0] [F 30.0] [F 45.0] [F 60.0] [T 90.0] [F 120.0] [F 135.0] [F 150.0]
Angle: [F -90.0] [F -60.0] [F -45.0] [F -30.0] [F 0.0] [F 30.0] [F 45.0] [F 60.0] [F 90.0]
Radius: [F 14.0 14] [F 12.0 12] [T 10.0 10] [F 9.6 9.6] [F 9.5 9.5] [F 9.25 9.25] [F 7.375 7.38] [F 6.5 6.5] [F 5.0 5] [F 4.175 4.18] [F 4.0 4] [F 3.5 3.5] [F 3.0 3] [F 2.361783 2.36] [F 2.0 2] [F 1.75 1.75] [F 1.5 1.5] [F 1.1875 1.19] [F 1.0 1] [F 0.8 0.8] [F 0.75 0.75] [F 0.6666667 0.67] [F 0.5 0.5] [F 0.47 0.47] [F 0.4 0.4] [F 0.3333333 0.33] [F 0.25 0.25] [F 0.2 0.2] [F 0.1574802 0.16] [F 0.15 0.15] [F 0.125 0.13] [F 0.1111111 0.11] [F 0.1 0.1] [F 0.0625 0.06] [F 5.555556e-2 0.06]
LineDistance: [F 1.0 1] [F 0.5 0.5] [F 0.25 0.25] [F 0.2 0.2] [F 0.15 0.15] [F 0.1111111 0.11] [F 0.1 0.1] [F 5.555556e-2 0.06] [F 0.0 0]
Midpoints: T
Heuristics: T
ShowAlignments: T
ShowColors: F
ScaleUnit: 1.0
DisplayStyle: print
Gravity: T
GravityExtent: 0.1736111
GravityType: pointsPreferred
DefaultFont: xerox/pressfonts/Classic-mrr [r1: 0.0 s: [9.0 9.0] r2: 0.0] 1.0 1.0
Defaults: [1 0.0] [1 1.0] 1.5 miter square
Dashed: F 
Shadows: []F
Anchor: T [0.0,267.0]

Entities: [97]:

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -14.56708 -2.99192e-7 0.3910668 85.66607] strokeWidths: ( 1.0 0.0 1.0 0.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -14.56708 -2.99192e-7 0.3910668 94.66057] strokeWidths: ( 1.0 0.0 1.0 0.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -14.56708 -2.99192e-7 0.3910668 103.6552] strokeWidths: ( 1.0 1.0 1.0 0.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -14.56708 -2.99192e-7 0.3910668 76.67146] strokeWidths: ( 1.0 0.0 1.0 0.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.9943247 0.0 -14.56696 0.0 0.2924855 93.26067] strokeWidths: ( 0.0 0.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -14.56708 -2.99192e-7 0.3910668 67.6769] strokeWidths: ( 1.0 0.0 1.0 0.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -189.7697 -2.99192e-7 0.3910668 237.0386] strokeWidths: ( 1.0 1.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Text
T "Stack" xerox/pressfonts/Helvetica [8.0 0.0 224.3081 0.0 8.0 413.6296][] F 1.0 props: ( F )

Outline
fillColor: [1 1.0]
Trajectories: [1]
Traj (open) [11] arrows: 0 j: round e: T round w: 0.0 c: T [1 1.0] d: T F 
[531.0,0.0] (Line  ) [265.5,0.0] (Line  ) [0.0,0.0] (Line  ) [0.0,54.0] (Line  ) [0.0,558.0] (Line  ) [0.0,666.0] (Line  ) [36.0,666.0] (Line  ) [85.5,666.0] (Line  ) [445.5,666.0] (Line  ) [531.0,666.0] (Line  ) [531.0,333.0] (Line  ) [531.0,0.0]

Outline
fillColor: [1 1.0]
Trajectories: [1]
Traj (fence) [3] arrows: 0 j: round e: T round w: 0.0 c: T [1 1.0] d: T F 
[286.0655,379.746] (Line  ) [286.6203,391.1534] (Line  ) [284.2249,389.3921] (Line  ) [281.3494,390.1476] (Line  )

Box
[95.0,325.0] [167.0,397.0] [0.0923848 0.0 219.3788 0.0 0.0923848 353.6197] strokeWidths: ( 0.5 0.5 0.5 0.5 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[95.0,325.0] [167.0,397.0] [0.0923848 0.0 226.0305 0.0 0.0923848 353.6197] strokeWidths: ( 0.5 0.5 0.5 0.5 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Outline
fillColor: [1 1.0]
Trajectories: [1]
Traj (fence) [3] arrows: 0 j: round e: T round w: 0.0 c: T [1 1.0] d: T F 
[140.1852,373.8837] (Line  ) [146.6129,383.3241] (Line  ) [147.4642,380.4756] (Line  ) [150.2147,379.3466] (Line  )

Outline
fillColor: [1 0.0]
Trajectories: [1]
Traj (open) [1] arrows: 0 j: miter e: T round w: 3.0 c: T [1 1.0] d: T F 
[231.4812,386.9706] (Line  ) [231.4812,386.9706]

Outline
fillColor: [1 0.0]
Trajectories: [1]
Traj (open) [1] arrows: 0 j: miter e: T round w: 3.0 c: T [1 1.0] d: T F 
[238.1329,386.9706] (Line  ) [238.1329,386.9706]

Outline
fillColor: [1 0.0]
Trajectories: [1]
Traj (open) [1] arrows: 0 j: miter e: T square w: 1.0 c: T [1 1.0] d: T F 
[284.2249,389.3921] (Bezier [278.0,408.9009] [249.6148,408.0549] ) [238.1329,387.4706]

Text
T "Frame" xerox/pressfonts/Helvetica [8.0 0.0 392.942 0.0 8.0 413.6296][] F 1.0 props: ( F )

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -104.7042 -2.99192e-7 0.3910668 206.8945] strokeWidths: ( 1.0 1.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Text
T "Initial Value 2" xerox/pressfonts/Helvetica-b [7.205373 0.0 294.5412 0.0 7.205373 355.0651][] F 1.0 props: ( F )

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -104.7042 -2.99192e-7 0.3910668 215.889] strokeWidths: ( 1.0 1.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Text
T "Initial Value 1" xerox/pressfonts/Helvetica-b [7.205373 0.0 294.5412 0.0 7.205373 364.0597][] F 1.0 props: ( F )

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -104.7042 -2.99192e-7 0.3910668 224.8836] strokeWidths: ( 1.0 1.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Text
T "Initial Value 0" xerox/pressfonts/Helvetica-b [7.205373 0.0 294.5412 0.0 7.205373 373.0543][] F 1.0 props: ( F )

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -104.7042 -2.99192e-7 0.3910668 197.8999] strokeWidths: ( 1.0 1.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.9943247 0.0 -104.7041 0.0 0.2924855 214.489] strokeWidths: ( 1.0 0.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.9943247 0.0 -104.7041 0.0 0.2924855 227.9434] strokeWidths: ( 1.0 1.0 1.0 0.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Text
T ". . ." xerox/pressfonts/Helvetica [13.40169 0.0 311.7388 0.0 13.40169 331.0687][] F 1.0 props: ( F )

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -19.88382 -2.99192e-7 0.3910668 219.0494] strokeWidths: ( 1.0 1.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -19.88382 -2.99192e-7 0.3910668 228.044] strokeWidths: ( 1.0 1.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -19.88382 -2.99192e-7 0.3910668 237.0386] strokeWidths: ( 1.0 1.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -19.88382 -2.99192e-7 0.3910668 210.0549] strokeWidths: ( 1.0 1.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.9943247 0.0 -19.8837 0.0 0.2924855 226.644] strokeWidths: ( 1.0 0.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.9943247 0.0 -19.8837 0.0 0.2924855 240.0984] strokeWidths: ( 1.0 1.0 1.0 0.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Text
T ". . ." xerox/pressfonts/Helvetica [13.40169 0.0 396.5592 0.0 13.40169 343.2237][] F 1.0 props: ( F )

Text
T "Frame [0]" xerox/pressfonts/Helvetica-b [7.205373 0.0 386.2292 0.0 7.205373 385.2092][] F 1.0 props: ( F )

Text
T "Frame [1]" xerox/pressfonts/Helvetica-b [7.205373 0.0 386.2292 0.0 7.205373 376.2147][] F 1.0 props: ( F )

Text
T "Frame [2]" xerox/pressfonts/Helvetica-b [7.205373 0.0 386.2292 0.0 7.205373 367.2201][] F 1.0 props: ( F )

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -189.7697 -2.99192e-7 0.3910668 219.0494] strokeWidths: ( 1.0 1.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -189.7697 -2.99192e-7 0.3910668 228.044] strokeWidths: ( 1.0 1.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -189.7697 -2.99192e-7 0.3910668 210.0549] strokeWidths: ( 1.0 1.0 1.0 0.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Text
T "Operand" xerox/pressfonts/Helvetica-b [7.205373 0.0 218.595 0.0 7.205373 376.2147][] F 1.0 props: ( F )

Text
T "Operand" xerox/pressfonts/Helvetica-b [7.205373 0.0 218.595 0.0 7.205373 367.2201][] F 1.0 props: ( F )

Text
T "{operator body}" xerox/pressfonts/Helvetica-b [9.333334 0.0 93.5 0.0 9.333334 365.5242][] F 1.0 props: ( F )

Outline
fillColor: [1 0.0]
Trajectories: [1]
Traj (open) [1] arrows: 0 j: miter e: T square w: 1.0 c: T [1 1.0] d: T T [1.0 6.0] 0.0 -1.0
[91.5,299.9009] (Line  ) [438.5,299.9009]

Text
T "Input" xerox/pressfonts/Helvetica [8.0 0.0 93.5 0.0 8.0 413.6296][] F 1.0 props: ( F )

Text
T "DO . . ." xerox/pressfonts/Helvetica-b [9.333334 0.0 93.5 0.0 9.333334 398.9009][] F 1.0 props: ( F )

Text
T "Input" xerox/pressfonts/Helvetica [8.0 0.0 93.5 0.0 8.0 282.4637][] F 1.0 props: ( F )

Text
T "DO . . ." xerox/pressfonts/Helvetica-b [9.333334 0.0 93.5 0.0 9.333334 267.735][] F 1.0 props: ( F )

Text
T "{operator body}" xerox/pressfonts/Helvetica-b [9.333334 0.0 93.5 0.0 9.333334 234.3585][] F 1.0 props: ( F )

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -189.7697 -2.99192e-7 0.3910668 97.33857] strokeWidths: ( 1.0 1.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -189.7697 -2.99192e-7 0.3910668 79.34945] strokeWidths: ( 1.0 1.0 1.0 0.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -189.7697 -2.99192e-7 0.3910668 88.34407] strokeWidths: ( 1.0 1.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Text
T "Operand" xerox/pressfonts/Helvetica-b [7.205373 0.0 218.595 0.0 7.205373 236.5147][] F 1.0 props: ( F )

Text
T "Operand" xerox/pressfonts/Helvetica-b [7.205373 0.0 218.595 0.0 7.205373 245.5093][] F 1.0 props: ( F )

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -19.38382 -2.99192e-7 0.3910668 79.34945] strokeWidths: ( 1.0 1.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Text
T "Initial Value 2" xerox/pressfonts/Helvetica-b [7.205373 0.0 379.8616 0.0 7.205373 227.5202][] F 1.0 props: ( F )

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -19.38382 -2.99192e-7 0.3910668 88.34407] strokeWidths: ( 1.0 1.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Text
T "Initial Value 1" xerox/pressfonts/Helvetica-b [7.205373 0.0 379.8616 0.0 7.205373 236.5147][] F 1.0 props: ( F )

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -19.38382 -2.99192e-7 0.3910668 97.33857] strokeWidths: ( 1.0 1.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Text
T "Initial Value 0" xerox/pressfonts/Helvetica-b [7.205373 0.0 379.8616 0.0 7.205373 245.5093][] F 1.0 props: ( F )

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -19.38382 -2.99192e-7 0.3910668 70.35489] strokeWidths: ( 1.0 1.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.9943247 0.0 -19.3837 0.0 0.2924855 86.94407] strokeWidths: ( 1.0 0.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.9943247 0.0 -19.3837 0.0 0.2924855 100.3984] strokeWidths: ( 1.0 1.0 1.0 0.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Text
T ". . ." xerox/pressfonts/Helvetica [13.40169 0.0 397.0592 0.0 13.40169 203.5237][] F 1.0 props: ( F )

Outline
fillColor: [1 0.0]
Trajectories: [1]
Traj (open) [1] arrows: 0 j: miter e: T square w: 1.0 c: T [1 1.0] d: T T [1.0 6.0] 0.0 -1.0
[91.5,168.7351] (Line  ) [438.5,168.7351]

Outline
fillColor: [1 0.0]
Trajectories: [1]
Traj (open) [1] arrows: 0 j: miter e: T square w: 1.0 c: T [1 1.0] d: T F 
[147.4642,380.4756] (Bezier [171.3096,403.7023] [205.3797,406.2818] ) [231.4812,387.4706]

Text
T "Next token " xerox/pressfonts/Helvetica-b [7.205373 0.0 93.5 0.0 7.205373 253.9723][] F 1.0 props: ( F )

Text
T "Input" xerox/pressfonts/Helvetica [8.0 0.0 93.5 0.0 8.0 152.298][] F 1.0 props: ( F )

Text
T "DO . . ." xerox/pressfonts/Helvetica-b [9.333334 0.0 93.5 0.0 9.333334 137.5693][] F 1.0 props: ( F )

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -189.7697 -2.99192e-7 0.3910668 -22.8272] strokeWidths: ( 1.0 1.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -189.7697 -2.99192e-7 0.3910668 -40.81633] strokeWidths: ( 1.0 1.0 1.0 0.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -189.7697 -2.99192e-7 0.3910668 -31.82176] strokeWidths: ( 1.0 1.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Text
T "Next token " xerox/pressfonts/Helvetica-b [7.205373 0.0 123.3812 0.0 7.205373 119.8065][] F 1.0 props: ( F )

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -19.88382 -2.99192e-7 0.3910668 -40.81636] strokeWidths: ( 1.0 1.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -19.88382 -2.99192e-7 0.3910668 -31.82179] strokeWidths: ( 1.0 1.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -19.88382 -2.99192e-7 0.3910668 -22.82722] strokeWidths: ( 1.0 1.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -19.88382 -2.99192e-7 0.3910668 -49.81093] strokeWidths: ( 1.0 1.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.9943247 0.0 -19.8837 0.0 0.2924855 -33.22179] strokeWidths: ( 1.0 0.0 1.0 1.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Box
[393.0,373.0] [461.0,396.0001] [0.9943247 0.0 -19.8837 0.0 0.2924855 -19.76741] strokeWidths: ( 1.0 1.0 1.0 0.0 ) strokeEnds: ( square square square square ) strokeColors: ( [1 1.0] [1 1.0] [1 1.0] [1 1.0] ) fillColor: [1 0.0] dashes: ( F F F F  ) props: ( ( F ) ( F ) ( F ) ( F ) ) 

Text
T ". . ." xerox/pressfonts/Helvetica [13.40169 0.0 396.5592 0.0 13.40169 83.35797][] F 1.0 props: ( F )

Text
T "Frame [0]" xerox/pressfonts/Helvetica-b [7.205373 0.0 386.2292 0.0 7.205373 125.3435][] F 1.0 props: ( F )

Text
T "Frame [1]" xerox/pressfonts/Helvetica-b [7.205373 0.0 386.2292 0.0 7.205373 116.3489][] F 1.0 props: ( F )

Text
T "Frame [2]" xerox/pressfonts/Helvetica-b [7.205373 0.0 386.2292 0.0 7.205373 107.3543][] F 1.0 props: ( F )

Text
T "Just before executing DO, there is a composed operator on the stack." xerox/pressfonts/Classic [9.0 0.0 91.5 0.0 9.0 305.9009][] F 1.0 props: ( F )

Text
T "Next token " xerox/pressfonts/Helvetica-b [7.205373 0.0 95.5 0.0 7.205373 385.138][] F 1.0 props: ( F )

Outline
fillColor: [1 1.0]
Trajectories: [1]
Traj (fence) [3] arrows: 0 j: round e: T round w: 0.0 c: T [1 1.0] d: T F 
[92.74547,402.3841] (Line  ) [87.10443,396.1033] (Line  ) [89.29954,395.9953] (Line  ) [90.5955,394.2204] (Line  )

Outline
fillColor: [1 0.0]
Trajectories: [1]
Traj (open) [1] arrows: 0 j: miter e: T square w: 1.0 c: T [1 1.0] d: T F 
[89.48041,395.7476] (Bezier [87.32246,392.4844] [89.15596,388.5032] ) [93.0,387.3325]

Outline
fillColor: [1 1.0]
Trajectories: [1]
Traj (fence) [3] arrows: 0 j: round e: T round w: 0.0 c: T [1 1.0] d: T F 
[138.2267,241.3843] (Line  ) [142.7005,248.5435] (Line  ) [140.5196,248.2715] (Line  ) [138.9371,249.7964] (Line  )

Outline
fillColor: [1 0.0]
Trajectories: [1]
Traj (open) [1] arrows: 0 j: miter e: T square w: 1.0 c: T [1 1.0] d: T F 
[140.2988,248.4843] (Bezier [141.8619,252.0706] [139.3695,255.6761] ) [135.3812,256.1667]

Text
T "DO removes the operator from the stack, installs it initial frame," xerox/pressfonts/Classic [9.0 0.0 91.5 0.0 9.0 184.1658][] F 1.0 props: ( F )

Text
T "and executes its body of instructions." xerox/pressfonts/Classic [9.0 0.0 91.5 0.0 9.0 174.1658][] F 1.0 props: ( F )

Outline
fillColor: [1 1.0]
Trajectories: [1]
Traj (fence) [3] arrows: 0 j: round e: T round w: 0.0 c: T [1 1.0] d: T F 
[116.7895,136.62] (Line  ) [112.6846,129.243] (Line  ) [114.8489,129.6253] (Line  ) [116.5067,128.1826] (Line  )

Outline
fillColor: [1 0.0]
Trajectories: [1]
Traj (open) [1] arrows: 0 j: miter e: T square w: 1.0 c: T [1 1.0] d: T F 
[115.0803,129.4239] (Bezier [113.7011,125.763] [116.3731,122.2885] ) [120.3812,122.0009]

Text
T "Result" xerox/pressfonts/Helvetica-b [7.205373 0.0 222.7606 0.0 7.205373 125.3434][] F 1.0 props: ( F )

Text
T "Result" xerox/pressfonts/Helvetica-b [7.205373 0.0 222.7606 0.0 7.205373 116.3489][] F 1.0 props: ( F )

Text
T "taken from the input stream." xerox/pressfonts/Classic [9.0 0.0 91.5 0.0 9.0 54.0][] F 1.0 props: ( F )

Text
T "When the operator completes, the frame is restored and tokens are" xerox/pressfonts/Classic [9.0 0.0 91.5 0.0 9.0 64.0][] F 1.0 props: ( F )