Author: David Schneider <[email protected]>
Branch: extradoc
Changeset: r4850:37433ae7b010
Date: 2012-10-12 12:18 -0300
http://bitbucket.org/pypy/extradoc/changeset/37433ae7b010/

Log:    add figures for guard compilation

diff too long, truncating to 2000 out of 3906 lines

diff --git a/talk/vmil2012/presentation/figures/bridge_compiled.graffle 
b/talk/vmil2012/presentation/figures/bridge_compiled.graffle
new file mode 100644
--- /dev/null
+++ b/talk/vmil2012/presentation/figures/bridge_compiled.graffle
@@ -0,0 +1,1457 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" 
"http://www.apple.com/DTDs/PropertyList-1.0.dtd";>
+<plist version="1.0">
+<dict>
+       <key>ActiveLayerIndex</key>
+       <integer>0</integer>
+       <key>ApplicationVersion</key>
+       <array>
+               <string>com.omnigroup.OmniGrafflePro</string>
+               <string>139.16.0.171715</string>
+       </array>
+       <key>AutoAdjust</key>
+       <true/>
+       <key>BackgroundGraphic</key>
+       <dict>
+               <key>Bounds</key>
+               <string>{{0, 0}, {1118, 783}}</string>
+               <key>Class</key>
+               <string>SolidGraphic</string>
+               <key>ID</key>
+               <integer>2</integer>
+               <key>Style</key>
+               <dict>
+                       <key>shadow</key>
+                       <dict>
+                               <key>Draws</key>
+                               <string>NO</string>
+                       </dict>
+                       <key>stroke</key>
+                       <dict>
+                               <key>Draws</key>
+                               <string>NO</string>
+                       </dict>
+               </dict>
+       </dict>
+       <key>BaseZoom</key>
+       <integer>0</integer>
+       <key>CanvasOrigin</key>
+       <string>{0, 0}</string>
+       <key>ColumnAlign</key>
+       <integer>1</integer>
+       <key>ColumnSpacing</key>
+       <real>36</real>
+       <key>CreationDate</key>
+       <string>2012-07-24 10:50:56 +0000</string>
+       <key>Creator</key>
+       <string>David Schneider</string>
+       <key>DisplayScale</key>
+       <string>1.000 cm = 1.000 cm</string>
+       <key>GraphDocumentVersion</key>
+       <integer>8</integer>
+       <key>GraphicsList</key>
+       <array>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>16</integer>
+                               <key>Info</key>
+                               <integer>1</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>63</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{427, 250}</string>
+                               <string>{328, 162}</string>
+                               <string>{188, 113}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>36</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>16</integer>
+                               <key>Info</key>
+                               <integer>1</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>62</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{188, 250}</string>
+                               <string>{206, 184}</string>
+                               <string>{188, 113}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>27</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>42</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>61</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{83, 205}</string>
+                               <string>{42, 264.875}</string>
+                               <string>{83, 334.75}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>24</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>Group</string>
+                       <key>Graphics</key>
+                       <array>
+                               <dict>
+                                       <key>Bounds</key>
+                                       <string>{{232.00001379686913, 
294.74999999999989}, {150.99998620313085, 93.5}}</string>
+                                       <key>Class</key>
+                                       <string>ShapedGraphic</string>
+                                       <key>ID</key>
+                                       <integer>59</integer>
+                                       <key>Magnets</key>
+                                       <array>
+                                               <string>{1, 0}</string>
+                                               <string>{-1, 0}</string>
+                                       </array>
+                                       <key>Shape</key>
+                                       <string>Rectangle</string>
+                                       <key>Text</key>
+                                       <dict>
+                                               <key>Text</key>
+                                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fnil\fcharset0 Monaco;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs20 \cf0 read backend map\
+decode resume data\
+retrieve stack and register values\
+...\
+return to interpreter}</string>
+                                       </dict>
+                               </dict>
+                               <dict>
+                                       <key>Bounds</key>
+                                       <string>{{232, 261.25}, {151, 
33.5}}</string>
+                                       <key>Class</key>
+                                       <string>ShapedGraphic</string>
+                                       <key>ID</key>
+                                       <integer>60</integer>
+                                       <key>Magnets</key>
+                                       <array>
+                                               <string>{0, 1}</string>
+                                               <string>{0, -1}</string>
+                                       </array>
+                                       <key>Shape</key>
+                                       <string>Rectangle</string>
+                                       <key>Text</key>
+                                       <dict>
+                                               <key>Text</key>
+                                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 compensation code}</string>
+                                       </dict>
+                               </dict>
+                       </array>
+                       <key>ID</key>
+                       <integer>58</integer>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>40</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>56</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{531, 333.75}</string>
+                               <string>{555, 351}</string>
+                               <string>{580.89735689328165, 
373.74999618530273}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>Pattern</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>44</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>41</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>55</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{531, 301.25}</string>
+                               <string>{580, 278}</string>
+                               <string>{580.415709839653, 
277.88418648722006}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>Pattern</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>43</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>39</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>54</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{82.536736108577472, 
339.10023442863826}</string>
+                               <string>{52, 351.5}</string>
+                               <string>{34.428503435249759, 
361.50264298468693}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>Pattern</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>42</integer>
+                               <key>Info</key>
+                               <integer>2</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>38</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>53</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{83, 301.25}</string>
+                               <string>{60, 286}</string>
+                               <string>{33.993974985969523, 268.75}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>Pattern</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>37</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>44</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>52</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{532, 205}</string>
+                               <string>{566, 277}</string>
+                               <string>{531, 333.75}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>34</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>43</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>51</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{532, 159}</string>
+                               <string>{569, 211}</string>
+                               <string>{531, 301.25}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>32</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>59</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>50</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{428, 301.25}</string>
+                               <string>{404, 330}</string>
+                               <string>{383, 341.49999999999989}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>43</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>59</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>49</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{479.5, 350.5}</string>
+                               <string>{427, 385.25}</string>
+                               <string>{383, 341.49999999999989}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>44</integer>
+                               <key>Info</key>
+                               <integer>1</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>59</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>48</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{134.5, 351.5}</string>
+                               <string>{186, 384}</string>
+                               <string>{232.0000137968691, 
341.49999999999989}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>42</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>59</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>47</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{186, 301.25}</string>
+                               <string>{211, 307}</string>
+                               <string>{232.0000137968691, 
341.49999999999989}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>37</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>37</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>45</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{83, 159}</string>
+                               <string>{42, 222}</string>
+                               <string>{83, 301.25}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>18</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{428, 317}, {103, 33.5}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>44</integer>
+                       <key>Magnets</key>
+                       <array>
+                               <string>{0, 1}</string>
+                               <string>{0, -1}</string>
+                               <string>{1, 0}</string>
+                               <string>{-1, 0}</string>
+                       </array>
+                       <key>Shape</key>
+                       <string>Rectangle</string>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 Trampoline #4}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{428, 284.5}, {103, 33.5}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>43</integer>
+                       <key>Magnets</key>
+                       <array>
+                               <string>{1, 0}</string>
+                               <string>{-1, 0}</string>
+                       </array>
+                       <key>Shape</key>
+                       <string>Rectangle</string>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 Trampoline #3}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{83, 318}, {103, 33.5}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>42</integer>
+                       <key>Magnets</key>
+                       <array>
+                               <string>{0, 1}</string>
+                               <string>{0, -1}</string>
+                               <string>{1, 0}</string>
+                               <string>{-1, 0}</string>
+                       </array>
+                       <key>Shape</key>
+                       <string>Rectangle</string>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 Trampoline #2}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{575.00001069962946, 254.25000040105692}, {85, 
47}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>41</integer>
+                       <key>Magnets</key>
+                       <array>
+                               <string>{1, 0}</string>
+                               <string>{-1, 0}</string>
+                       </array>
+                       <key>Shape</key>
+                       <string>Cloud</string>
+                       <key>Style</key>
+                       <dict/>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 backend map #3}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{575, 350.24999618530273}, {85, 47}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>40</integer>
+                       <key>Magnets</key>
+                       <array>
+                               <string>{1, 0}</string>
+                               <string>{-1, 0}</string>
+                       </array>
+                       <key>Shape</key>
+                       <string>Cloud</string>
+                       <key>Style</key>
+                       <dict/>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 backend map #4}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{-46, 338.25}, {85, 47}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>39</integer>
+                       <key>Magnets</key>
+                       <array>
+                               <string>{1, 0}</string>
+                               <string>{-1, 0}</string>
+                       </array>
+                       <key>Shape</key>
+                       <string>Cloud</string>
+                       <key>Style</key>
+                       <dict/>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 backend map #2}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{-46, 245.25}, {85, 47}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>38</integer>
+                       <key>Magnets</key>
+                       <array>
+                               <string>{1, 0}</string>
+                               <string>{-1, 0}</string>
+                       </array>
+                       <key>Shape</key>
+                       <string>Cloud</string>
+                       <key>Style</key>
+                       <dict/>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 backend map #1}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{83, 284.5}, {103, 33.5}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>37</integer>
+                       <key>Magnets</key>
+                       <array>
+                               <string>{1, 0}</string>
+                               <string>{-1, 0}</string>
+                       </array>
+                       <key>Shape</key>
+                       <string>Rectangle</string>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 Trampoline #1}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{427, 238.5}, {105, 23}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>36</integer>
+                       <key>Magnets</key>
+                       <array>
+                               <string>{1, 0}</string>
+                               <string>{-1, 0}</string>
+                       </array>
+                       <key>Shape</key>
+                       <string>Rectangle</string>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 jump}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{427, 215.5}, {105, 23}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>35</integer>
+                       <key>Shape</key>
+                       <string>Rectangle</string>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 operation}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{427, 193.5}, {105, 23}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>34</integer>
+                       <key>Magnets</key>
+                       <array>
+                               <string>{1, 0}</string>
+                               <string>{-1, 0}</string>
+                       </array>
+                       <key>Shape</key>
+                       <string>Rectangle</string>
+                       <key>Style</key>
+                       <dict>
+                               <key>fill</key>
+                               <dict>
+                                       <key>Color</key>
+                                       <dict>
+                                               <key>b</key>
+                                               <string>0.4</string>
+                                               <key>g</key>
+                                               <string>0.8</string>
+                                               <key>r</key>
+                                               <string>1</string>
+                                       </dict>
+                               </dict>
+                       </dict>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 guard #4}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{427, 170.5}, {105, 23}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>33</integer>
+                       <key>Shape</key>
+                       <string>Rectangle</string>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 operation}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{427, 147.5}, {105, 23}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>32</integer>
+                       <key>Magnets</key>
+                       <array>
+                               <string>{1, 0}</string>
+                               <string>{-1, 0}</string>
+                       </array>
+                       <key>Shape</key>
+                       <string>Rectangle</string>
+                       <key>Style</key>
+                       <dict>
+                               <key>fill</key>
+                               <dict>
+                                       <key>Color</key>
+                                       <dict>
+                                               <key>b</key>
+                                               <string>0.4</string>
+                                               <key>g</key>
+                                               <string>0.8</string>
+                                               <key>r</key>
+                                               <string>1</string>
+                                       </dict>
+                               </dict>
+                       </dict>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 guard #3}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{427, 124.5}, {105, 23}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>31</integer>
+                       <key>Shape</key>
+                       <string>Rectangle</string>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 operation}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{427, 101.5}, {105, 23}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>30</integer>
+                       <key>Magnets</key>
+                       <array>
+                               <string>{1, 0}</string>
+                               <string>{-1, 0}</string>
+                       </array>
+                       <key>Shape</key>
+                       <string>Rectangle</string>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 operation}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{404, 59}, {151, 24}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>FitText</key>
+                       <string>Vertical</string>
+                       <key>Flow</key>
+                       <string>Resize</string>
+                       <key>ID</key>
+                       <integer>29</integer>
+                       <key>Shape</key>
+                       <string>Rectangle</string>
+                       <key>Style</key>
+                       <dict/>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 Bridge from guard #2}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{404, 83}, {151, 286}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>28</integer>
+                       <key>Shape</key>
+                       <string>Rectangle</string>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{83, 238.5}, {105, 23}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>27</integer>
+                       <key>Magnets</key>
+                       <array>
+                               <string>{1, 0}</string>
+                               <string>{-1, 0}</string>
+                       </array>
+                       <key>Shape</key>
+                       <string>Rectangle</string>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 jump}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{83, 215.5}, {105, 23}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>26</integer>
+                       <key>Shape</key>
+                       <string>Rectangle</string>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 operation}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{83, 193.5}, {105, 23}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>24</integer>
+                       <key>Magnets</key>
+                       <array>
+                               <string>{1, 0}</string>
+                               <string>{-1, 0}</string>
+                       </array>
+                       <key>Shape</key>
+                       <string>Rectangle</string>
+                       <key>Style</key>
+                       <dict>
+                               <key>fill</key>
+                               <dict>
+                                       <key>Color</key>
+                                       <dict>
+                                               <key>b</key>
+                                               <string>0.4</string>
+                                               <key>g</key>
+                                               <string>0.8</string>
+                                               <key>r</key>
+                                               <string>1</string>
+                                       </dict>
+                               </dict>
+                       </dict>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 guard #2}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{83, 170.5}, {105, 23}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>19</integer>
+                       <key>Shape</key>
+                       <string>Rectangle</string>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 operation}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{83, 147.5}, {105, 23}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>18</integer>
+                       <key>Magnets</key>
+                       <array>
+                               <string>{1, 0}</string>
+                               <string>{-1, 0}</string>
+                       </array>
+                       <key>Shape</key>
+                       <string>Rectangle</string>
+                       <key>Style</key>
+                       <dict>
+                               <key>fill</key>
+                               <dict>
+                                       <key>Color</key>
+                                       <dict>
+                                               <key>b</key>
+                                               <string>0.4</string>
+                                               <key>g</key>
+                                               <string>0.8</string>
+                                               <key>r</key>
+                                               <string>1</string>
+                                       </dict>
+                               </dict>
+                       </dict>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 guard #1}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{83, 124.5}, {105, 23}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>17</integer>
+                       <key>Shape</key>
+                       <string>Rectangle</string>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 operation}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{83, 101.5}, {105, 23}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>16</integer>
+                       <key>Magnets</key>
+                       <array>
+                               <string>{1, 0}</string>
+                               <string>{-1, 0}</string>
+                       </array>
+                       <key>Shape</key>
+                       <string>Rectangle</string>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 operation}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{60, 59}, {151, 24}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>FitText</key>
+                       <string>Vertical</string>
+                       <key>Flow</key>
+                       <string>Resize</string>
+                       <key>ID</key>
+                       <integer>20</integer>
+                       <key>Shape</key>
+                       <string>Rectangle</string>
+                       <key>Style</key>
+                       <dict/>
+                       <key>Text</key>
+                       <dict>
+                               <key>Text</key>
+                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 Trace}</string>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Bounds</key>
+                       <string>{{60, 83}, {151, 286}}</string>
+                       <key>Class</key>
+                       <string>ShapedGraphic</string>
+                       <key>ID</key>
+                       <integer>23</integer>
+                       <key>Shape</key>
+                       <string>Rectangle</string>
+               </dict>
+       </array>
+       <key>GridInfo</key>
+       <dict/>
+       <key>GuidesLocked</key>
+       <string>NO</string>
+       <key>GuidesVisible</key>
+       <string>YES</string>
+       <key>HPages</key>
+       <integer>2</integer>
+       <key>HorizontalGuides</key>
+       <array>
+               <real>244</real>
+               <real>384</real>
+       </array>
+       <key>ImageCounter</key>
+       <integer>1</integer>
+       <key>KeepToScale</key>
+       <false/>
+       <key>Layers</key>
+       <array>
+               <dict>
+                       <key>Lock</key>
+                       <string>NO</string>
+                       <key>Name</key>
+                       <string>Layer 1</string>
+                       <key>Print</key>
+                       <string>YES</string>
+                       <key>View</key>
+                       <string>YES</string>
+               </dict>
+       </array>
+       <key>LayoutInfo</key>
+       <dict>
+               <key>Animate</key>
+               <string>NO</string>
+               <key>circoMinDist</key>
+               <real>18</real>
+               <key>circoSeparation</key>
+               <real>0.0</real>
+               <key>layoutEngine</key>
+               <string>dot</string>
+               <key>neatoSeparation</key>
+               <real>0.0</real>
+               <key>twopiSeparation</key>
+               <real>0.0</real>
+       </dict>
+       <key>LinksVisible</key>
+       <string>NO</string>
+       <key>MagnetsVisible</key>
+       <string>NO</string>
+       <key>MasterSheets</key>
+       <array/>
+       <key>ModificationDate</key>
+       <string>2012-10-12 15:13:12 +0000</string>
+       <key>Modifier</key>
+       <string>David Schneider</string>
+       <key>NotesVisible</key>
+       <string>NO</string>
+       <key>Orientation</key>
+       <integer>2</integer>
+       <key>OriginVisible</key>
+       <string>NO</string>
+       <key>PageBreaks</key>
+       <string>YES</string>
+       <key>PrintInfo</key>
+       <dict>
+               <key>NSBottomMargin</key>
+               <array>
+                       <string>float</string>
+                       <string>41</string>
+               </array>
+               <key>NSHorizonalPagination</key>
+               <array>
+                       <string>coded</string>
+                       
<string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string>
+               </array>
+               <key>NSLeftMargin</key>
+               <array>
+                       <string>float</string>
+                       <string>18</string>
+               </array>
+               <key>NSPaperSize</key>
+               <array>
+                       <string>size</string>
+                       <string>{595, 842}</string>
+               </array>
+               <key>NSPrintReverseOrientation</key>
+               <array>
+                       <string>int</string>
+                       <string>0</string>
+               </array>
+               <key>NSRightMargin</key>
+               <array>
+                       <string>float</string>
+                       <string>18</string>
+               </array>
+               <key>NSTopMargin</key>
+               <array>
+                       <string>float</string>
+                       <string>18</string>
+               </array>
+       </dict>
+       <key>PrintOnePage</key>
+       <false/>
+       <key>ReadOnly</key>
+       <string>NO</string>
+       <key>RowAlign</key>
+       <integer>1</integer>
+       <key>RowSpacing</key>
+       <real>36</real>
+       <key>SheetTitle</key>
+       <string>Canvas 1</string>
+       <key>SmartAlignmentGuidesActive</key>
+       <string>YES</string>
+       <key>SmartDistanceGuidesActive</key>
+       <string>YES</string>
+       <key>UniqueID</key>
+       <integer>1</integer>
+       <key>UseEntirePage</key>
+       <false/>
+       <key>VPages</key>
+       <integer>1</integer>
+       <key>WindowInfo</key>
+       <dict>
+               <key>CurrentSheet</key>
+               <integer>0</integer>
+               <key>ExpandedCanvases</key>
+               <array/>
+               <key>Frame</key>
+               <string>{{223, 221}, {1457, 783}}</string>
+               <key>ListView</key>
+               <true/>
+               <key>OutlineWidth</key>
+               <integer>142</integer>
+               <key>RightSidebar</key>
+               <false/>
+               <key>ShowRuler</key>
+               <true/>
+               <key>Sidebar</key>
+               <true/>
+               <key>SidebarWidth</key>
+               <integer>120</integer>
+               <key>VisibleRegion</key>
+               <string>{{-125, 0}, {1322, 644}}</string>
+               <key>Zoom</key>
+               <real>1</real>
+               <key>ZoomValues</key>
+               <array>
+                       <array>
+                               <string>Canvas 1</string>
+                               <real>1</real>
+                               <real>1</real>
+                       </array>
+               </array>
+       </dict>
+</dict>
+</plist>
diff --git a/talk/vmil2012/presentation/figures/bridge_compiled.pdf 
b/talk/vmil2012/presentation/figures/bridge_compiled.pdf
new file mode 100644
index 
0000000000000000000000000000000000000000..613049949df6d0de91ae5b4b809b7e5de1db25ab
GIT binary patch

[cut]

diff --git a/talk/vmil2012/presentation/figures/bridge_patched.graffle 
b/talk/vmil2012/presentation/figures/bridge_patched.graffle
new file mode 100644
--- /dev/null
+++ b/talk/vmil2012/presentation/figures/bridge_patched.graffle
@@ -0,0 +1,1511 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" 
"http://www.apple.com/DTDs/PropertyList-1.0.dtd";>
+<plist version="1.0">
+<dict>
+       <key>ActiveLayerIndex</key>
+       <integer>0</integer>
+       <key>ApplicationVersion</key>
+       <array>
+               <string>com.omnigroup.OmniGrafflePro</string>
+               <string>139.16.0.171715</string>
+       </array>
+       <key>AutoAdjust</key>
+       <true/>
+       <key>BackgroundGraphic</key>
+       <dict>
+               <key>Bounds</key>
+               <string>{{0, 0}, {1118, 783}}</string>
+               <key>Class</key>
+               <string>SolidGraphic</string>
+               <key>ID</key>
+               <integer>2</integer>
+               <key>Style</key>
+               <dict>
+                       <key>shadow</key>
+                       <dict>
+                               <key>Draws</key>
+                               <string>NO</string>
+                       </dict>
+                       <key>stroke</key>
+                       <dict>
+                               <key>Draws</key>
+                               <string>NO</string>
+                       </dict>
+               </dict>
+       </dict>
+       <key>BaseZoom</key>
+       <integer>0</integer>
+       <key>CanvasOrigin</key>
+       <string>{0, 0}</string>
+       <key>ColumnAlign</key>
+       <integer>1</integer>
+       <key>ColumnSpacing</key>
+       <real>36</real>
+       <key>CreationDate</key>
+       <string>2012-07-24 10:50:56 +0000</string>
+       <key>Creator</key>
+       <string>David Schneider</string>
+       <key>DisplayScale</key>
+       <string>1.000 cm = 1.000 cm</string>
+       <key>GraphDocumentVersion</key>
+       <integer>8</integer>
+       <key>GraphicsList</key>
+       <array>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>30</integer>
+                               <key>Info</key>
+                               <integer>2</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>64</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{188, 205}</string>
+                               <string>{255, 147.5}</string>
+                               <string>{427, 113}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>24</integer>
+                               <key>Info</key>
+                               <integer>1</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>16</integer>
+                               <key>Info</key>
+                               <integer>1</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>63</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{427, 250}</string>
+                               <string>{328, 162}</string>
+                               <string>{188, 113}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>36</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>16</integer>
+                               <key>Info</key>
+                               <integer>1</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>62</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{188, 250}</string>
+                               <string>{206, 184}</string>
+                               <string>{188, 113}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>27</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>42</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>61</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{83, 205}</string>
+                               <string>{42, 264.875}</string>
+                               <string>{83, 334.75}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>Pattern</key>
+                                       <integer>2</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>24</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>Group</string>
+                       <key>Graphics</key>
+                       <array>
+                               <dict>
+                                       <key>Bounds</key>
+                                       <string>{{232.00001379686913, 
294.74999999999989}, {150.99998620313085, 93.5}}</string>
+                                       <key>Class</key>
+                                       <string>ShapedGraphic</string>
+                                       <key>ID</key>
+                                       <integer>59</integer>
+                                       <key>Magnets</key>
+                                       <array>
+                                               <string>{1, 0}</string>
+                                               <string>{-1, 0}</string>
+                                       </array>
+                                       <key>Shape</key>
+                                       <string>Rectangle</string>
+                                       <key>Text</key>
+                                       <dict>
+                                               <key>Text</key>
+                                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fnil\fcharset0 Monaco;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs20 \cf0 read backend map\
+decode resume data\
+retrieve stack and register values\
+...\
+return to interpreter}</string>
+                                       </dict>
+                               </dict>
+                               <dict>
+                                       <key>Bounds</key>
+                                       <string>{{232, 261.25}, {151, 
33.5}}</string>
+                                       <key>Class</key>
+                                       <string>ShapedGraphic</string>
+                                       <key>ID</key>
+                                       <integer>60</integer>
+                                       <key>Magnets</key>
+                                       <array>
+                                               <string>{0, 1}</string>
+                                               <string>{0, -1}</string>
+                                       </array>
+                                       <key>Shape</key>
+                                       <string>Rectangle</string>
+                                       <key>Text</key>
+                                       <dict>
+                                               <key>Text</key>
+                                               
<string>{\rtf1\ansi\ansicpg1252\cocoartf1187\cocoasubrtf340
+\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
+{\colortbl;\red255\green255\blue255;}
+\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
+
+\f0\fs24 \cf0 compensation code}</string>
+                                       </dict>
+                               </dict>
+                       </array>
+                       <key>ID</key>
+                       <integer>58</integer>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>40</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>56</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{531, 333.75}</string>
+                               <string>{555, 351}</string>
+                               <string>{580.89735689328165, 
373.74999618530273}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>Pattern</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>44</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>41</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>55</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{531, 301.25}</string>
+                               <string>{580, 278}</string>
+                               <string>{580.415709839653, 
277.88418648722006}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>Pattern</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>43</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>39</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>54</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{82.536736108577472, 
339.10023442863826}</string>
+                               <string>{52, 351.5}</string>
+                               <string>{34.428503435249759, 
361.50264298468693}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>Pattern</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>42</integer>
+                               <key>Info</key>
+                               <integer>2</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>38</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>53</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{83, 301.25}</string>
+                               <string>{60, 286}</string>
+                               <string>{33.993974985969523, 268.75}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>Pattern</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>37</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>44</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>52</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{532, 205}</string>
+                               <string>{566, 277}</string>
+                               <string>{531, 333.75}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>34</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>43</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>51</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{532, 159}</string>
+                               <string>{569, 211}</string>
+                               <string>{531, 301.25}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>32</integer>
+                       </dict>
+               </dict>
+               <dict>
+                       <key>Class</key>
+                       <string>LineGraphic</string>
+                       <key>Head</key>
+                       <dict>
+                               <key>ID</key>
+                               <integer>59</integer>
+                       </dict>
+                       <key>ID</key>
+                       <integer>50</integer>
+                       <key>Points</key>
+                       <array>
+                               <string>{428, 301.25}</string>
+                               <string>{404, 330}</string>
+                               <string>{383, 341.49999999999989}</string>
+                       </array>
+                       <key>Style</key>
+                       <dict>
+                               <key>stroke</key>
+                               <dict>
+                                       <key>HeadArrow</key>
+                                       <string>FilledArrow</string>
+                                       <key>Legacy</key>
+                                       <true/>
+                                       <key>LineType</key>
+                                       <integer>1</integer>
+                                       <key>TailArrow</key>
+                                       <string>0</string>
+                               </dict>
+                       </dict>
+                       <key>Tail</key>
_______________________________________________
pypy-commit mailing list
[email protected]
http://mail.python.org/mailman/listinfo/pypy-commit

Reply via email to