1<?xml version="1.0" encoding="UTF-8" standalone="no"?> 2<!-- Created with Inkscape (http://www.inkscape.org/) --> 3 4<svg 5 xmlns:dc="http://purl.org/dc/elements/1.1/" 6 xmlns:cc="http://creativecommons.org/ns#" 7 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" 8 xmlns:svg="http://www.w3.org/2000/svg" 9 xmlns="http://www.w3.org/2000/svg" 10 xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" 11 xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" 12 width="1555.0426" 13 height="827.1217" 14 id="svg3139" 15 version="1.1" 16 inkscape:version="0.48.3.1 r9886" 17 sodipodi:docname="compilation.svg"> 18 <defs 19 id="defs3141"> 20 <marker 21 inkscape:stockid="Arrow2Lend" 22 orient="auto" 23 refY="0" 24 refX="0" 25 id="Arrow2Lend" 26 style="overflow:visible"> 27 <path 28 id="path5766" 29 style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round" 30 d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z" 31 transform="matrix(-1.1,0,0,-1.1,-1.1,0)" 32 inkscape:connector-curvature="0" /> 33 </marker> 34 <marker 35 inkscape:stockid="Arrow1Lend" 36 orient="auto" 37 refY="0" 38 refX="0" 39 id="Arrow1Lend" 40 style="overflow:visible"> 41 <path 42 id="path5748" 43 d="M 0,0 5,-5 -12.5,0 5,5 0,0 z" 44 style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt" 45 transform="matrix(-0.8,0,0,-0.8,-10,0)" 46 inkscape:connector-curvature="0" /> 47 </marker> 48 </defs> 49 <sodipodi:namedview 50 id="base" 51 pagecolor="#ffffff" 52 bordercolor="#666666" 53 borderopacity="1.0" 54 inkscape:pageopacity="0.0" 55 inkscape:pageshadow="2" 56 inkscape:zoom="1.0215035" 57 inkscape:cx="365.82909" 58 inkscape:cy="451.25496" 59 inkscape:document-units="px" 60 inkscape:current-layer="layer1" 61 showgrid="false" 62 showguides="true" 63 inkscape:guide-bbox="true" 64 inkscape:window-width="1278" 65 inkscape:window-height="1414" 66 inkscape:window-x="0" 67 inkscape:window-y="24" 68 inkscape:window-maximized="0" 69 fit-margin-top="0" 70 fit-margin-left="0" 71 fit-margin-right="0" 72 fit-margin-bottom="0" /> 73 <metadata 74 id="metadata3144"> 75 <rdf:RDF> 76 <cc:Work 77 rdf:about=""> 78 <dc:format>image/svg+xml</dc:format> 79 <dc:type 80 rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> 81 <dc:title></dc:title> 82 </cc:Work> 83 </rdf:RDF> 84 </metadata> 85 <g 86 inkscape:label="Layer 1" 87 inkscape:groupmode="layer" 88 id="layer1" 89 transform="translate(-70,309.29577)"> 90 <g 91 id="g5671" 92 transform="translate(-3.6231055,1.6153216)"> 93 <rect 94 style="fill:#6db33f;fill-opacity:0.39215686;stroke:#6db33f;stroke-width:3.42306995;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" 95 id="rect2985-3-1" 96 width="496.57693" 97 height="146.57693" 98 x="75.334641" 99 y="-267.5415" 100 rx="12.493255" 101 ry="12.061083" /> 102 <rect 103 style="fill:#ffffff;fill-opacity:1;stroke:#ffffff;stroke-width:3.42306995;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" 104 id="rect2985-3-8-3-2-7" 105 width="496.57693" 106 height="146.57693" 107 x="83.411537" 108 y="-276.62619" 109 rx="12.493255" 110 ry="12.061083" /> 111 <rect 112 style="fill:#6db33f;fill-opacity:0.39215686;stroke:#6db33f;stroke-width:3.42306995;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" 113 id="rect2985-3-34" 114 width="496.57693" 115 height="146.57693" 116 x="83.436165" 117 y="-276.67346" 118 rx="12.493255" 119 ry="12.061083" /> 120 <rect 121 style="fill:#ffffff;fill-opacity:1;stroke:#ffffff;stroke-width:3.42306995;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" 122 id="rect2985-3-8-3-2-1" 123 width="496.57693" 124 height="146.57693" 125 x="92.511536" 126 y="-285.92618" 127 rx="12.493255" 128 ry="12.061083" /> 129 <rect 130 style="fill:#6db33f;fill-opacity:0.39215686;stroke:#6db33f;stroke-width:3.42306972;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" 131 id="rect2985-3" 132 width="496.57693" 133 height="146.57693" 134 x="92.52755" 135 y="-285.89359" 136 rx="12.493254" 137 ry="12.061083" /> 138 <flowRoot 139 xml:space="preserve" 140 id="flowRoot3755-0" 141 style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans" 142 transform="translate(-43.717866,-519.15248)"><flowRegion 143 id="flowRegion3757-8"><rect 144 id="rect3759-1" 145 width="453.89523" 146 height="319.20822" 147 x="150.84944" 148 y="259.05573" /></flowRegion><flowPara 149 id="flowPara3765-8" 150 style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono">trait MyInf {</flowPara><flowPara 151 id="flowPara4664" 152 style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"> ...</flowPara><flowPara 153 style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" 154 id="flowPara5323"> void method1(in int i);</flowPara><flowPara 155 id="flowPara4662" 156 style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono">}</flowPara></flowRoot> <rect 157 style="fill:#6db33f;fill-opacity:1;stroke:#6db33f;stroke-width:3.30691814;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" 158 id="rect3838-8-0" 159 width="127.65113" 160 height="41.752972" 161 x="436.70865" 162 y="-309.25763" 163 rx="6.4951172" 164 ry="5.2968435" /> 165 <text 166 xml:space="preserve" 167 style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#ffffff;fill-opacity:1;stroke:none;font-family:Sans" 168 x="476.44128" 169 y="-278.61639" 170 id="text3840-5-3" 171 sodipodi:linespacing="125%"><tspan 172 sodipodi:role="line" 173 id="tspan3842-9-0" 174 x="476.44128" 175 y="-278.61639" 176 style="font-size:26px;font-weight:bold;-inkscape-font-specification:Sans Bold">IDL</tspan></text> 177 </g> 178 <g 179 id="g5688" 180 transform="translate(-10.199247,-1.2297788)"> 181 <rect 182 style="fill:#6db33f;fill-opacity:0.39215686;stroke:#6db33f;stroke-width:3.42306995;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" 183 id="rect2985-3-1-8" 184 width="496.57693" 185 height="146.57693" 186 x="81.910782" 187 y="-64.696404" 188 rx="12.493255" 189 ry="12.061083" /> 190 <rect 191 style="fill:#ffffff;fill-opacity:1;stroke:#ffffff;stroke-width:3.42306995;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" 192 id="rect2985-3-8-3-2-5" 193 width="496.57693" 194 height="146.57693" 195 x="90.011536" 196 y="-73.82618" 197 rx="12.493255" 198 ry="12.061083" /> 199 <rect 200 style="fill:#6db33f;fill-opacity:0.39215686;stroke:#6db33f;stroke-width:3.42306995;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" 201 id="rect2985-3-34-1" 202 width="496.57693" 203 height="146.57693" 204 x="90.012306" 205 y="-73.828377" 206 rx="12.493255" 207 ry="12.061083" /> 208 <rect 209 style="fill:#ffffff;fill-opacity:1;stroke:#ffffff;stroke-width:3.42306995;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" 210 id="rect2985-3-8-3-2-3" 211 width="496.57693" 212 height="146.57693" 213 x="99.111534" 214 y="-83.026184" 215 rx="12.493255" 216 ry="12.061083" /> 217 <rect 218 style="fill:#6db33f;fill-opacity:0.39215686;stroke:#6db33f;stroke-width:3.42306995;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" 219 id="rect2985-3-2" 220 width="496.57693" 221 height="146.57693" 222 x="99.103683" 223 y="-83.048531" 224 rx="12.493255" 225 ry="12.061083" /> 226 <flowRoot 227 xml:space="preserve" 228 id="flowRoot3755-0-23" 229 style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans" 230 transform="translate(-37.141723,-316.30739)"><flowRegion 231 id="flowRegion3757-8-2"><rect 232 id="rect3759-1-4" 233 width="453.89523" 234 height="319.20822" 235 x="150.84944" 236 y="259.05573" /></flowRegion><flowPara 237 id="flowPara4662-9" 238 style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono">assembly {</flowPara><flowPara 239 style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" 240 id="flowPara4892"> ...</flowPara><flowPara 241 id="flowPara5308" 242 style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"> connection RPC c(from a.x, to b.y);</flowPara><flowPara 243 style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" 244 id="flowPara4894">}</flowPara></flowRoot> <rect 245 style="fill:#6db33f;fill-opacity:1;stroke:#6db33f;stroke-width:3.30691814;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" 246 id="rect3838-8-0-0" 247 width="127.65113" 248 height="41.752972" 249 x="443.28479" 250 y="-106.41255" 251 rx="6.4951172" 252 ry="5.2968435" /> 253 <text 254 xml:space="preserve" 255 style="font-size:40px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#ffffff;fill-opacity:1;stroke:none;font-family:Sans" 256 x="507.68726" 257 y="-75.771301" 258 id="text3840-5-3-81" 259 sodipodi:linespacing="125%"><tspan 260 sodipodi:role="line" 261 id="tspan3842-9-0-9" 262 x="507.68726" 263 y="-75.771301" 264 style="font-size:26px;font-weight:bold;text-align:center;text-anchor:middle;-inkscape-font-specification:Sans Bold">ADL</tspan></text> 265 </g> 266 <g 267 id="g5705" 268 transform="translate(-18.280469,-10.331379)"> 269 <rect 270 style="fill:#6db33f;fill-opacity:0.39215686;stroke:#6db33f;stroke-width:3.42306995;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" 271 id="rect2985-3-1-6" 272 width="496.57693" 273 height="146.57693" 274 x="89.992004" 275 y="144.4052" 276 rx="12.493255" 277 ry="12.061083" /> 278 <rect 279 style="fill:#ffffff;fill-opacity:1;stroke:#ffffff;stroke-width:3.42306995;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" 280 id="rect2985-3-8-3-2-0" 281 width="496.57693" 282 height="146.57693" 283 x="98.111534" 284 y="135.27382" 285 rx="12.493255" 286 ry="12.061083" /> 287 <rect 288 style="fill:#6db33f;fill-opacity:0.39215686;stroke:#6db33f;stroke-width:3.42306995;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" 289 id="rect2985-3-34-3" 290 width="496.57693" 291 height="146.57693" 292 x="98.093529" 293 y="135.27322" 294 rx="12.493255" 295 ry="12.061083" /> 296 <rect 297 style="fill:#ffffff;fill-opacity:1;stroke:#ffffff;stroke-width:3.42306995;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" 298 id="rect2985-3-8-3-2-55" 299 width="496.57693" 300 height="146.57693" 301 x="107.21153" 302 y="126.07381" 303 rx="12.493255" 304 ry="12.061083" /> 305 <rect 306 style="fill:#6db33f;fill-opacity:0.39215686;stroke:#6db33f;stroke-width:3.42306995;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" 307 id="rect2985-3-8" 308 width="496.57693" 309 height="146.57693" 310 x="107.18491" 311 y="126.05306" 312 rx="12.493255" 313 ry="12.061083" /> 314 <flowRoot 315 xml:space="preserve" 316 id="flowRoot3755-0-8" 317 style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans" 318 transform="translate(-29.060503,-107.2058)"><flowRegion 319 id="flowRegion3757-8-6"><rect 320 id="rect3759-1-45" 321 width="453.89523" 322 height="319.20822" 323 x="150.84944" 324 y="259.05573" /></flowRegion><flowPara 325 style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" 326 id="flowPara4980">void run(void) {</flowPara><flowPara 327 style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" 328 id="flowPara5278"> ...</flowPara><flowPara 329 id="flowPara5325" 330 style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"> x_method1(42);</flowPara><flowPara 331 style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" 332 id="flowPara5280">}</flowPara></flowRoot> <rect 333 style="fill:#6db33f;fill-opacity:1;stroke:#6db33f;stroke-width:3.30691814;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" 334 id="rect3838-8-0-03" 335 width="127.65113" 336 height="41.752972" 337 x="451.366" 338 y="102.68903" 339 rx="6.4951172" 340 ry="5.2968435" /> 341 <text 342 xml:space="preserve" 343 style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#ffffff;fill-opacity:1;stroke:none;font-family:Sans" 344 x="507.26108" 345 y="131.30998" 346 id="text3840-5-3-4" 347 sodipodi:linespacing="125%"><tspan 348 sodipodi:role="line" 349 id="tspan3842-9-0-1" 350 x="507.26108" 351 y="131.30998" 352 style="font-size:26px;font-weight:bold;-inkscape-font-specification:Sans Bold">C</tspan></text> 353 </g> 354 <g 355 id="g4896-8" 356 transform="translate(646.55958,-268.39256)"> 357 <g 358 id="g5067" 359 transform="translate(46.467017,27.274118)"> 360 <rect 361 ry="13.301048" 362 rx="12.659966" 363 y="-24.456442" 364 x="107.98352" 365 height="100.26476" 366 width="222.14571" 367 id="rect2985-3-2-0" 368 style="fill:#8d65d2;fill-opacity:1;stroke:#8d65d2;stroke-width:1.89357638;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" /> 369 <text 370 sodipodi:linespacing="125%" 371 id="text3840-5-3-81-5" 372 y="16.959681" 373 x="220.19989" 374 style="font-size:40px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#ffffff;fill-opacity:1;stroke:none;font-family:Sans" 375 xml:space="preserve"><tspan 376 style="font-size:26px;font-weight:bold;text-align:center;text-anchor:middle;-inkscape-font-specification:Sans Bold" 377 y="16.959681" 378 x="220.19989" 379 id="tspan3842-9-0-9-8" 380 sodipodi:role="line">CAmkES</tspan><tspan 381 id="tspan5065" 382 style="font-size:26px;font-weight:bold;text-align:center;text-anchor:middle;-inkscape-font-specification:Sans Bold" 383 y="49.459679" 384 x="220.19989" 385 sodipodi:role="line">compiler</tspan></text> 386 </g> 387 </g> 388 <g 389 id="g5629" 390 transform="translate(343.77722,465.68078)"> 391 <rect 392 style="fill:#8d65d2;fill-opacity:0.39215686;stroke:#8d65d2;stroke-width:3.42306995;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" 393 id="rect2985-3-8-3" 394 width="496.57693" 395 height="146.57693" 396 x="782.97693" 397 y="-337.60696" 398 rx="12.493255" 399 ry="12.061083" /> 400 <flowRoot 401 xml:space="preserve" 402 id="flowRoot3755-0-8-5" 403 style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans" 404 transform="translate(646.73155,-570.86583)"><flowRegion 405 id="flowRegion3757-8-6-5"><rect 406 id="rect3759-1-45-7" 407 width="453.89523" 408 height="319.20822" 409 x="150.84944" 410 y="259.05573" /></flowRegion><flowPara 411 id="flowPara4662-8-0" 412 style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono">int main(int argc, char **argv) {</flowPara><flowPara 413 style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" 414 id="flowPara4978-3"> ...</flowPara><flowPara 415 style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" 416 id="flowPara4980-7">}</flowPara></flowRoot> <rect 417 style="fill:#8d65d2;fill-opacity:1;stroke:#8d65d2;stroke-width:3.30699992;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" 418 id="rect3838-8-0-03-9" 419 width="127.65113" 420 height="41.752972" 421 x="1127.1581" 422 y="-360.97101" 423 rx="6.4951172" 424 ry="5.2968435" /> 425 <text 426 xml:space="preserve" 427 style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#ffffff;fill-opacity:1;stroke:none;font-family:Sans" 428 x="1153.7587" 429 y="-332.35007" 430 id="text3840-5-3-4-5" 431 sodipodi:linespacing="125%"><tspan 432 sodipodi:role="line" 433 id="tspan3842-9-0-1-7" 434 x="1153.7587" 435 y="-332.35007" 436 style="font-size:26px;font-weight:bold;-inkscape-font-specification:Sans Bold">C init</tspan></text> 437 </g> 438 <g 439 id="g4896-8-0" 440 transform="translate(818.71754,-220.60122)"> 441 <g 442 id="g5067-2" 443 transform="translate(46.467017,27.274118)"> 444 <g 445 id="g5175" 446 transform="translate(-173.74624,355.5737)"> 447 <rect 448 style="fill:#8d65d2;fill-opacity:1;stroke:#8d65d2;stroke-width:1.89357638;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" 449 id="rect2985-3-2-0-7" 450 width="222.14571" 451 height="100.26476" 452 x="107.98352" 453 y="-24.456442" 454 rx="12.659966" 455 ry="13.301048" /> 456 <text 457 xml:space="preserve" 458 style="font-size:40px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#ffffff;fill-opacity:1;stroke:none;font-family:Sans" 459 x="220.19989" 460 y="16.959681" 461 id="text3840-5-3-81-5-3" 462 sodipodi:linespacing="125%"><tspan 463 sodipodi:role="line" 464 id="tspan3842-9-0-9-8-4" 465 x="220.19989" 466 y="16.959681" 467 style="font-size:26px;font-weight:bold;text-align:center;text-anchor:middle;-inkscape-font-specification:Sans Bold">C</tspan><tspan 468 sodipodi:role="line" 469 x="220.19989" 470 y="49.459679" 471 style="font-size:26px;font-weight:bold;text-align:center;text-anchor:middle;-inkscape-font-specification:Sans Bold" 472 id="tspan5065-4">compiler</tspan></text> 473 </g> 474 </g> 475 </g> 476 <g 477 id="g5641" 478 transform="translate(-46.77237,-92.927286)"> 479 <g 480 transform="translate(89.084371,-0.97894913)" 481 id="g5478"> 482 <rect 483 ry="12.061083" 484 rx="12.493255" 485 y="12.075196" 486 x="612.24091" 487 height="146.57693" 488 width="496.57693" 489 id="rect2985-3-1-6-0" 490 style="fill:#8d65d2;fill-opacity:0.39215686;stroke:#8e65d2;stroke-width:3.42306995;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" /> 491 <rect 492 ry="12.061083" 493 rx="12.493255" 494 y="2.9738178" 495 x="620.31152" 496 height="146.57693" 497 width="496.57693" 498 id="rect2985-3-8-3-2-8" 499 style="fill:#ffffff;fill-opacity:1;stroke:#ffffff;stroke-width:3.42306995;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" /> 500 <rect 501 ry="12.061083" 502 rx="12.493255" 503 y="2.9432232" 504 x="620.34241" 505 height="146.57693" 506 width="496.57693" 507 id="rect2985-3-34-3-4" 508 style="fill:#8d65d2;fill-opacity:0.39215686;stroke:#8e65d2;stroke-width:3.42306995;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" /> 509 <rect 510 ry="12.061083" 511 rx="12.493252" 512 y="-6.2261515" 513 x="629.41156" 514 height="146.5769" 515 width="496.57693" 516 id="rect2985-3-8-3-2-2" 517 style="fill:#ffffff;fill-opacity:1;stroke:#ffffff;stroke-width:3.42306972;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" /> 518 <rect 519 ry="12.061083" 520 rx="12.493255" 521 y="-6.2769299" 522 x="629.43378" 523 height="146.57693" 524 width="496.57693" 525 id="rect2985-3-8-2" 526 style="fill:#8d65d2;fill-opacity:0.39215686;stroke:#8e65d2;stroke-width:3.4230001;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" /> 527 <flowRoot 528 transform="translate(493.18836,-239.53579)" 529 style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans" 530 id="flowRoot3755-0-8-6" 531 xml:space="preserve"><flowRegion 532 id="flowRegion3757-8-6-4"><rect 533 y="259.05573" 534 x="150.84944" 535 height="319.20822" 536 width="453.89523" 537 id="rect3759-1-45-4" /></flowRegion><flowPara 538 id="flowPara4980-1" 539 style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono">void x_method1(int i) {</flowPara><flowPara 540 style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" 541 id="flowPara5410"> ...</flowPara><flowPara 542 style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" 543 id="flowPara5412"> seL4_Send(...);</flowPara><flowPara 544 style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" 545 id="flowPara5414">}</flowPara></flowRoot> <rect 546 ry="5.2968435" 547 rx="6.4951172" 548 y="-29.640951" 549 x="973.61487" 550 height="41.752972" 551 width="127.65113" 552 id="rect3838-8-0-03-5" 553 style="fill:#8d65d2;fill-opacity:1;stroke:#8d65d2;stroke-width:3.30691814;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" /> 554 <text 555 sodipodi:linespacing="125%" 556 id="text3840-5-3-4-6" 557 y="-2.0301571" 558 x="992.13434" 559 style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#ffffff;fill-opacity:1;stroke:none;font-family:Sans" 560 xml:space="preserve"><tspan 561 style="font-size:26px;font-weight:bold;-inkscape-font-specification:Sans Bold" 562 y="-2.0301571" 563 x="992.13434" 564 id="tspan3842-9-0-1-6" 565 sodipodi:role="line">C glue</tspan></text> 566 </g> 567 </g> 568 <g 569 id="g5659" 570 transform="translate(-44.94982,13.169645)"> 571 <rect 572 style="fill:#8d65d2;fill-opacity:0.39215686;stroke:#8d65d2;stroke-width:3.42306995;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" 573 id="rect2985-3-8-3-7" 574 width="496.57693" 575 height="146.57693" 576 x="706.18695" 577 y="356.3678" 578 rx="12.493255" 579 ry="12.061083" /> 580 <flowRoot 581 xml:space="preserve" 582 id="flowRoot3755-0-8-5-2" 583 style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans" 584 transform="translate(569.94156,123.10888)"><flowRegion 585 id="flowRegion3757-8-6-5-2"><rect 586 id="rect3759-1-45-7-4" 587 width="453.89523" 588 height="319.20822" 589 x="150.84944" 590 y="259.05573" /></flowRegion><flowPara 591 style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono" 592 id="flowPara4980-7-8">100000010000001...</flowPara></flowRoot> <rect 593 style="fill:#8d65d2;fill-opacity:1;stroke:#8d65d2;stroke-width:3.30699992;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" 594 id="rect3838-8-0-03-9-2" 595 width="127.65113" 596 height="41.752972" 597 x="1050.368" 598 y="333.00378" 599 rx="6.4951172" 600 ry="5.2968435" /> 601 <text 602 xml:space="preserve" 603 style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#ffffff;fill-opacity:1;stroke:none;font-family:Sans" 604 x="1090.6738" 605 y="363.58252" 606 id="text3840-5-3-4-5-9" 607 sodipodi:linespacing="125%"><tspan 608 sodipodi:role="line" 609 id="tspan3842-9-0-1-7-3" 610 x="1090.6738" 611 y="363.58252" 612 style="font-size:26px;font-weight:bold;-inkscape-font-specification:Sans Bold">ELF</tspan></text> 613 </g> 614 <path 615 style="fill:none;stroke:#000000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Lend)" 616 d="m 585.48138,2946.2933 215.52874,-0.7298" 617 id="path5722" 618 inkscape:connector-type="polyline" 619 inkscape:connector-curvature="0" 620 inkscape:connection-start="#g5671" 621 inkscape:connection-start-point="d4" 622 inkscape:connection-end="#g4896-8" 623 inkscape:connection-end-point="d4" 624 transform="translate(0,-3160.6299)" /> 625 <path 626 style="fill:none;stroke:#000000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Lend)" 627 d="m 560.73667,3066.8079 240.36177,-83.2026" 628 id="path5724" 629 inkscape:connector-type="polyline" 630 inkscape:connector-curvature="0" 631 inkscape:connection-start="#g5688" 632 inkscape:connection-start-point="d4" 633 inkscape:connection-end="#g4896-8" 634 inkscape:connection-end-point="d4" 635 transform="translate(0,-3160.6299)" /> 636 <path 637 style="fill:none;stroke:#000000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Lend)" 638 d="m 911.90914,2995.3198 -0.22582,65.1269" 639 id="path5726" 640 inkscape:connector-type="polyline" 641 inkscape:connector-curvature="0" 642 inkscape:connection-start="#g4896-8" 643 inkscape:connection-start-point="d4" 644 inkscape:connection-end="#g5641" 645 inkscape:connection-end-point="d4" 646 transform="translate(0,-3160.6299)" /> 647 <path 648 style="fill:none;stroke:#000000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Lend)" 649 d="m 911.0293,3225.3758 -0.31702,73.0443" 650 id="path5728" 651 inkscape:connector-type="polyline" 652 inkscape:connector-curvature="0" 653 inkscape:connection-start="#g5641" 654 inkscape:connection-start-point="d4" 655 inkscape:connection-end="#g4896-8-0" 656 inkscape:connection-end-point="d4" 657 transform="translate(0,-3160.6299)" /> 658 <path 659 style="fill:none;stroke:#000000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Lend)" 660 d="m 585.508,3347.7765 213.91384,0.5107" 661 id="path5730" 662 inkscape:connector-type="polyline" 663 inkscape:connector-curvature="0" 664 inkscape:connection-start="#g5705" 665 inkscape:connection-start-point="d4" 666 inkscape:connection-end="#g4896-8-0" 667 inkscape:connection-end-point="d4" 668 transform="translate(0,-3160.6299)" /> 669 <path 670 style="fill:none;stroke:#000000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Lend)" 671 d="m 1126.7541,3349.3842 -105.1866,-0.4046" 672 id="path5732" 673 inkscape:connector-type="polyline" 674 inkscape:connector-curvature="0" 675 inkscape:connection-start="#g5629" 676 inkscape:connection-start-point="d4" 677 inkscape:connection-end="#g4896-8-0" 678 inkscape:connection-end-point="d4" 679 transform="translate(0,-3160.6299)" /> 680 <path 681 style="fill:none;stroke:#000000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Lend)" 682 d="m 910.29497,3398.6848 -0.52382,131.4825" 683 id="path5734" 684 inkscape:connector-type="polyline" 685 inkscape:connector-curvature="0" 686 inkscape:connection-start="#g4896-8-0" 687 inkscape:connection-start-point="d4" 688 inkscape:connection-end="#g5659" 689 inkscape:connection-end-point="d4" 690 transform="translate(0,-3160.6299)" /> 691 </g> 692</svg> 693