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

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] [F 12.0] [T 10.0] [F 9.6] [F 9.5] [F 9.25] [F 7.375] [F 6.5] [F 5.0] [F 4.175] [F 4.0] [F 3.5] [F 3.0] [F 2.361783] [F 2.0] [F 1.75] [F 1.5] [F 1.1875] [F 1.0] [F 0.8] [F 0.75] [F 0.6666667] [F 0.5] [F 0.47] [F 0.4] [F 0.3333333] [F 0.25] [F 0.2] [F 0.1574802] [F 0.15] [F 0.125] [F 0.1111111] [F 0.1] [F 0.0625] [F 5.555556e-2]
LineDistance: [F 1.0] [F 0.5] [F 0.25] [F 0.2] [F 0.15] [F 0.1111111] [F 0.1] [F 5.555556e-2] [F 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/Helvetica-mrr [r1: 0.0 s: [6.666667 6.666667] r2: 0.0] 1.0 1.0
Defaults: [1 0.0] [1 1.0] 1.5 miter square
Dashed: F 
Shadows: []F
Anchor: T [52.0,320.0]

Entities: [101]:

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -7.567078 -2.99192e-7 0.3910668 102.9994] 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 -7.567078 -2.99192e-7 0.3910668 111.9939] 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 -7.567078 -2.99192e-7 0.3910668 120.9885] 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 -7.567078 -2.99192e-7 0.3910668 94.00479] 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 -7.566956 0.0 0.2924855 110.594] 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 -7.567078 -2.99192e-7 0.3910668 85.01022] 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 -182.7697 -2.99192e-7 0.3910668 254.3719] 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 208.0 0.0 8.0 433.9629][] 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 (open) [4] arrows: 0 j: round e: T round w: -1.0 c: T [1 1.0] d: T F 
[-36.0,666.0] (Line 1.0  Tools ) [-9.0,666.0] (Line 0.0  Tools ) [0.0,666.0] (Line 0.0  Tools ) [0.0,675.0] (Line 1.0  Tools ) [0.0,702.0]

Outline
fillColor: [1 1.0]
Trajectories: [1]
Traj (open) [4] arrows: 0 j: round e: T round w: -1.0 c: T [1 1.0] d: T F 
[-36.0,0.0] (Line 1.0  Tools ) [-9.0,0.0] (Line 0.0  Tools ) [0.0,0.0] (Line 0.0  Tools ) [0.0,-9.0] (Line 1.0  Tools ) [0.0,-36.0]

Outline
fillColor: [1 1.0]
Trajectories: [1]
Traj (open) [4] arrows: 0 j: round e: T round w: -1.0 c: T [1 1.0] d: T F 
[531.0,-36.0] (Line 1.0  Tools ) [531.0,-9.0] (Line 0.0  Tools ) [531.0,0.0] (Line 0.0  Tools ) [540.0,0.0] (Line 1.0  Tools ) [567.0,0.0]

Outline
fillColor: [1 1.0]
Trajectories: [1]
Traj (open) [4] arrows: 0 j: round e: T round w: -1.0 c: T [1 1.0] d: T F 
[567.0,666.0] (Line 1.0  Tools ) [540.0,666.0] (Line 0.0  Tools ) [531.0,666.0] (Line 0.0  Tools ) [531.0,675.0] (Line 1.0  Tools ) [531.0,702.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 
[293.0655,397.0793] (Line  ) [293.6203,408.4867] (Line  ) [291.2249,406.7254] (Line  ) [288.3494,407.4809] (Line  )

Box
[95.0,325.0] [167.0,397.0] [0.0923848 0.0 226.3788 0.0 0.0923848 370.953] 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 233.0305 0.0 0.0923848 370.953] 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 
[131.4968,398.6569] (Line  ) [138.5667,407.6264] (Line  ) [139.2175,404.7255] (Line  ) [141.8826,403.4076] (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 
[238.4812,404.3039] (Line  ) [238.4812,404.3039]

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 
[245.1329,404.3039] (Line  ) [245.1329,404.3039]

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 
[291.2249,406.7254] (Bezier [285.0,426.2342] [256.6148,425.3882] ) [245.1329,404.8039]

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

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -97.70419 -2.99192e-7 0.3910668 224.2278] 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 Valve 2" xerox/pressfonts/Helvetica-b [7.205373 0.0 301.5412 0.0 7.205373 372.3984][] F 1.0 props: ( F )

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -97.70419 -2.99192e-7 0.3910668 233.2223] 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 Valve 1" xerox/pressfonts/Helvetica-b [7.205373 0.0 301.5412 0.0 7.205373 381.393][] F 1.0 props: ( F )

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -97.70419 -2.99192e-7 0.3910668 242.2169] 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 Valve 0" xerox/pressfonts/Helvetica-b [7.205373 0.0 301.5412 0.0 7.205373 390.3876][] F 1.0 props: ( F )

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -97.70419 -2.99192e-7 0.3910668 215.2332] 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 -97.70407 0.0 0.2924855 231.8223] 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 -97.70407 0.0 0.2924855 245.2767] 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 318.7388 0.0 13.40169 348.402][] F 1.0 props: ( F )

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -12.88382 -2.99192e-7 0.3910668 236.3827] 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 -12.88382 -2.99192e-7 0.3910668 245.3773] 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 -12.88382 -2.99192e-7 0.3910668 254.3719] 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 -12.88382 -2.99192e-7 0.3910668 227.3882] 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 -12.8837 0.0 0.2924855 243.9773] 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 -12.8837 0.0 0.2924855 257.4317] 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 403.5592 0.0 13.40169 360.557][] F 1.0 props: ( F )

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

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

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

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -182.7697 -2.99192e-7 0.3910668 236.3827] 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 -182.7697 -2.99192e-7 0.3910668 245.3773] 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 -182.7697 -2.99192e-7 0.3910668 227.3882] 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 225.595 0.0 7.205373 393.548][] F 1.0 props: ( F )

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

Text
T "{operator body}" xerox/pressfonts/Helvetica-b [9.333334 0.0 85.5 0.0 9.333334 389.8575][] 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 85.5 0.0 9.0 323.2342][] 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
[85.5,317.2342] (Line  ) [445.5,317.2342]

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

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

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

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

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

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -182.7697 -2.99192e-7 0.3910668 114.6719] 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 -182.7697 -2.99192e-7 0.3910668 96.68278] 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 -182.7697 -2.99192e-7 0.3910668 105.6774] 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 225.595 0.0 7.205373 253.848][] F 1.0 props: ( F )

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

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -12.38382 -2.99192e-7 0.3910668 96.68278] 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 Valve 2" xerox/pressfonts/Helvetica-b [7.205373 0.0 386.8616 0.0 7.205373 244.8535][] F 1.0 props: ( F )

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -12.38382 -2.99192e-7 0.3910668 105.6774] 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 Valve 1" xerox/pressfonts/Helvetica-b [7.205373 0.0 386.8616 0.0 7.205373 253.848][] F 1.0 props: ( F )

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -12.38382 -2.99192e-7 0.3910668 114.6719] 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 Valve 0" xerox/pressfonts/Helvetica-b [7.205373 0.0 386.8616 0.0 7.205373 262.8426][] F 1.0 props: ( F )

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -12.38382 -2.99192e-7 0.3910668 87.68822] 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 -12.3837 0.0 0.2924855 104.2774] 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 -12.3837 0.0 0.2924855 117.7317] 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 404.0592 0.0 13.40169 220.857][] 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
[85.5,186.0684] (Line  ) [445.5,186.0684]

Text
T "DO removes the operator from the stack, installs it initial frame and executes its body of" xerox/pressfonts/Classic [9.0 0.0 85.5 0.0 9.0 201.4991][] F 1.0 props: ( F )

Text
T "instructions." xerox/pressfonts/Classic [9.0 0.0 85.5 0.0 9.0 191.4991][] 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 F 
[139.2175,404.7255] (Bezier [164.6234,426.2342] [213.7539,425.3882] ) [238.4812,404.8039]

Text
T "Next token " xerox/pressfonts/Helvetica-b [7.205373 0.0 85.5 0.0 7.205373 273.3056][] 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 
[144.3138,257.7754] (Line  ) [144.8686,269.1828] (Line  ) [142.4732,267.4215] (Line  ) [139.5977,268.177] (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 
[142.4732,267.4215] (Bezier [141.7483,274.7275] [134.3631,278.3501] ) [127.3812,275.5]

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

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

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -182.7697 -2.99192e-7 0.3910668 -5.493866] 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 -182.7697 -2.99192e-7 0.3910668 -23.483] 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 -182.7697 -2.99192e-7 0.3910668 -14.48843] 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 225.595 0.0 7.205373 133.6822][] F 1.0 props: ( F )

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

Text
T "Next token " xerox/pressfonts/Helvetica-b [7.205373 0.0 115.3812 0.0 7.205373 130.1398][] 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 
[97.44864,150.0588] (Line  ) [96.89383,138.6514] (Line  ) [99.28927,140.4127] (Line  ) [102.1648,139.6572] (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 
[99.28927,140.4127] (Bezier [100.0142,133.1067] [107.3994,129.4841] ) [114.3812,132.3342]

Box
[393.0,373.0] [461.0,396.0001] [0.994325 0.0 -12.88382 -2.99192e-7 0.3910668 -23.48303] 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 -12.88382 -2.99192e-7 0.3910668 -14.48846] 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 -12.88382 -2.99192e-7 0.3910668 -5.493896] 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 -12.88382 -2.99192e-7 0.3910668 -32.4776] 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 -12.8837 0.0 0.2924855 -15.88846] 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 -12.8837 0.0 0.2924855 -2.434082] 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 403.5592 0.0 13.40169 100.6913][] F 1.0 props: ( F )

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

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

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

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

Text
T "stream." xerox/pressfonts/Classic [9.0 0.0 85.5 0.0 9.0 71.33333][] F 1.0 props: ( F )

Text
T "Figure 2.12  " xerox/pressfonts/Helvetica-b [8.0 0.0 160.623 0.0 8.0 55.4945][] F 1.0 props: ( F )

Text
T "Execution of a composed operator by  " xerox/pressfonts/Helvetica [8.0 0.0 212.623 0.0 8.0 55.4945][] F 1.0 props: ( F )

Text
T "DO." xerox/pressfonts/Helvetica [6.666667 0.0 354.861 0.0 6.666667 55.4945][] F 1.0 props: ( F )