Camil Demetrescu  over 8 years ago

Commit id: 146407f9edd386ca2d7a4f9e442afaf426dba20e

deletions | additions      

       

%!PS-Adobe-3.0 EPSF-3.0  %%Creator: cairo 1.14.0 (http://cairographics.org)  %%CreationDate: Wed Sep 9 12:59:23 14:23:36  2015 %%Pages: 1  %%DocumentData: Clean7Bit  %%LanguageLevel: 2  %%BoundingBox: 0 -1 254 91 270 102  %%EndComments  %%BeginProlog  save 

/O 4 def  /S 5 def  /R 6 def  /parenleft /r  7 def /p /o  8 def /a /m  9 def /r /parenleft  10 def /m /p  11 def /parenright /a  12 def /braceleft /parenright  13 def /A /braceleft  14 def /i /A  15 def /o /i  16 def /s 17 def  /underscore 18 def  /c 19 def 

/sfnts [  <000100000009008000030010637674208f33abf400001764000001946670676de780f1c40000  18f80000008b676c796626fc7df60000009c000016c868656164dd7b15c60000198400000036  6868656110450784000019bc00000024686d747894d50cdc000019e0000000846c6f6361607a  659400001a64000000446d6178700452063b00001aa80000002070726570757906f600001ac8 6868656110450784000019bc00000024686d747894d50cdc000019e0000000846c6f63616096  659000001a64000000446d6178700452063b00001aa80000002070726570757906f600001ac8  0000055e00020066fe96046605a400030007001a400c04c70006c70108055d0204002fc4d4ec  310010d4ecd4ec301311211125211121660400fc73031bfce5fe96070ef8f272062900010014  0000054205d5000f007b401b09050b036f07620d016f000a0f08040f060e24080c1100240602 

58071005ed071005ed1117395922011616171333152103262623231133152135331123352132  1615140625213236353426232103d5466528d9b6fea0e9437062dfd3fda4bebe02f5daedadfd  7a012797909097fed902e5135b52fe456a01db8a51fdb46a6a05006bd0bf9ab1268f96968e00  000100a2fec1028d0614000d001c400d070d0006710e06000a1103020e10f4fcc432310010fc  cc3939300126021110123715060211101217028df3f8f8f39a86869afec16d01d90163016401  d96d626afe7ffea3fea4fe7f6a0000000002003bfe5604b80444000c00230055402c0100111d  030d04941a0d7a0f221e7a200a94148c1a6020820f9c241f2c00071a1735210e2c1d1000270d  302410f4ec3232e432f4ec10e4310010ecece4fcec10ee3210ee10ee1117393930b47f25b025  02015d0115141633323635342623220627233521153e01333212151402232226271133152135  3301a4938c8d91918d8c93b8b1016936a77bc4f8f8c47ba736aefde9b1024869c0c9e2dcdde0  cab56ba6645ffecafafafec95f64fe1b6b6b00020066ffe3048b0444000a0028007e402f1b21  0b1900100c017a1993088f13218e238d1e8f268c13600c7a0e02190500212d220d2c1a0f0027  0b051a22162a2910f4c4ecd4ec3232e410ee1112393931002feee4feeef6e610eef6ee113939  11391239304024102a6f2a7828c02a047a28c001c002c003c404c405c406c415c416c417c018  c019c01a0d5d015d01352322061514163332361311331521350e012322263534363321353426  2322060723353e01333216032fed89868874738db8a4fea43da06bb1d0eed9010293856e8210  5f60b556dde7014ee1767a6f828e01bcfdd26a734a46bca0a5b64979856462d72929db000000  0001004a000003d304440018009540220809130501000f7a110005168c0d097a119c0b0a0802  2d00102c1208270c2c0e301910f4e4ec32e4d4ec10c431002feeee32fec6c610ee10c6113911  3930403810001001100210031004100510151016101710182f1a400040014002400340044005  441540164017401815000100021001100220012002065d015d014bb0155458bd0019ffc00001  00190019004038113738590111232e012322061511331521353311233521153e0133321603d3  6a054e4b8891d5fdcda6b0016836aa7a2d630429fef64f4ebcb0fe1a6a6a035469bd6f6b0e00  0001004a0000075e0444003000a94041201a130d04062b0003071d108503277a299c25211814  0b05077a2e038c2316090019130a3d0c222c20082c0c27063f173d1927152c133f282c2a2027  242c26303110f4e4ec32e4f4e4fce4f4ece410e410e411123931002f3c3cee32ee1732feee10  ee32111739173930400b3f325f326f329032b03205015d014bb0155458bd0031ffc000010031  00310040381137385940132f0a2f0b2f172f18cf0acf0bcf17cf18c032095d013e0133321615  113315213533113426232206151133152135331134262322061511331521353311233521153e  01333216042535a56ea7a4a6fe02a0606f7b81a0fe08a0606f7b81a0fe02a6b00168339e647c  a603587577cfd1fdc66a6a0225a38abab2fe1a6a6a022c9f87bab2fe1a6a6a035469bd6a707b  00010091fec1027d0614000d001b400c07010008710e0b110700040e10d4c432ec310010fccc  3939301335361211100227351612111002919a87879af4f8f8fec1626a0181015c015d01816a  626dfe27fe9cfe9dfe27000000010100feb2041706140024005e4030190f150b0621091a1015  0b0520211d09730b00730115731371210a090c032505241600130215140100192019270f0525  10d43cec3210c0c0c0c0c0c01239391112173931002ffcecd4ecd4ec39113939111239391112  3911123939300515232226351134262323353332363511343633331523220615111406071616  151114163304173ef9a96c8e3d3d8e6ca9f93e448d5664828462568de56994dd010296746974  960102dd9368588dfee19e881e22869dfee18d5800000002fff4000005db05d50002001200a2  4051006405060502640102060605121102106406050f6405060502100002070807011008070e  1008070b0c020d100808074d02060e6f00100c0803046f06620a0311100f0e0d0b0807060502  01000d1309031310d4cc11173931002f3ce4ec1732d4ec1239304b5358071005ed17320705ed  0705ed071008ed071005ed0705ed1732071008ed071005ed5922b2281201015d400d28052806  280d280e2c112b12065d01210901353301330133152135330321033315019a0224feeefd4883  0214a8021593fde1a67dfd8c7da4021d02c6fb1d6a056bfa956a6a0148feb86a00000002004a  0000026005e3000b0015004940170309127a149c100c7a0e0003060d2c0c27130f2c11301610  f4e432fce4d4ec31002fec32fcecd4cc30b28f1701015d014bb0155458bd0016ffc000010016  00160040381137385913343633321615140623222613331521353311233521c7432f2e43422f  2f43ebaefdeab0b0016805712e44442e2f4242fb286a6a03526b00020066ffe3046a0444000b  0017002b4013008f0c068f128c0c6018031a1544091a0f2a1810f4ecf4ec310010e4fcec10ee  30b420196f1902015d2532363534262322061514161722003534003332001514000268949797  9494979893e8fee60119e9e90119fee746eae4e4e9e9e4e4ea630133fefe0132fecefefefecd  000000010073ffe303b20444002900d9404123220224213e0c0b1e1f021d203e0b0c0b4d0b0c 00020066ffe3046a0444000b0017002b4013008f0c068f128c0c6018031a1544091a0f2a1810  f4ecf4ec310010e4fcec10ee30b420196f1902015d2532363534262322061514161722003534  0033320015140002689497979494979893e8fee60119e9e90119fee746eae4e4e9e9e4e4ea63  0133fefe0132fecefefefecd00000001004a0000075e0444003000a94041201a130d04062b00  03071d108503277a299c252118140b05077a2e038c2316090019130a3d0c222c20082c0c2706  3f173d1927152c133f282c2a2027242c26303110f4e4ec32e4f4e4fce4f4ece410e410e41112  3931002f3c3cee32ee1732feee10ee32111739173930400b3f325f326f329032b03205015d01  4bb0155458bd0031ffc00001003100310040381137385940132f0a2f0b2f172f18cf0acf0bcf  17cf18c032095d013e0133321615113315213533113426232206151133152135331134262322  061511331521353311233521153e01333216042535a56ea7a4a6fe02a0606f7b81a0fe08a060  6f7b81a0fe02a6b00168339e647ca603587577cfd1fdc66a6a0225a38abab2fe1a6a6a022c9f  87bab2fe1a6a6a035469bd6a707b000100a2fec1028d0614000d001c400d070d0006710e0600  0a1103020e10f4fcc432310010fccc3939300126021110123715060211101217028df3f8f8f3  9a86869afec16d01d90163016401d96d626afe7ffea3fea4fe7f6a0000000002003bfe5604b8  0444000c00230055402c0100111d030d04941a0d7a0f221e7a200a94148c1a6020820f9c241f  2c00071a1735210e2c1d1000270d302410f4ec3232e432f4ec10e4310010ecece4fcec10ee32  10ee10ee1117393930b47f25b02502015d0115141633323635342623220627233521153e0133  32121514022322262711331521353301a4938c8d91918d8c93b8b1016936a77bc4f8f8c47ba7  36aefde9b1024869c0c9e2dcdde0cab56ba6645ffecafafafec95f64fe1b6b6b00020066ffe3  048b0444000a0028007e402f1b210b1900100c017a1993088f13218e238d1e8f268c13600c7a  0e02190500212d220d2c1a0f00270b051a22162a2910f4c4ecd4ec3232e410ee111239393100  2feee4feeef6e610eef6ee11393911391239304024102a6f2a7828c02a047a28c001c002c003  c404c405c406c415c416c417c018c019c01a0d5d015d01352322061514163332361311331521  350e0123222635343633213534262322060723353e01333216032fed89868874738db8a4fea4  3da06bb1d0eed9010293856e82105f60b556dde7014ee1767a6f828e01bcfdd26a734a46bca0  a5b64979856462d72929db00000000010091fec1027d0614000d001b400c07010008710e0b11  0700040e10d4c432ec310010fccc3939301335361211100227351612111002919a87879af4f8  f8fec1626a0181015c015d01816a626dfe27fe9cfe9dfe27000000010100feb2041706140024  005e4030190f150b0621091a10150b0520211d09730b00730115731371210a090c0325052416  00130215140100192019270f052510d43cec3210c0c0c0c0c0c01239391112173931002ffcec  d4ecd4ec39113939111239391112391112393930051523222635113426232335333236351134  3633331523220615111406071616151114163304173ef9a96c8e3d3d8e6ca9f93e448d566482  8462568de56994dd010296746974960102dd9368588dfee19e881e22869dfee18d5800000002  fff4000005db05d50002001200a24051006405060502640102060605121102106406050f6405  060502100002070807011008070e1008070b0c020d100808074d02060e6f00100c0803046f06  620a0311100f0e0d0b080706050201000d1309031310d4cc11173931002f3ce4ec1732d4ec12  39304b5358071005ed17320705ed0705ed071008ed071005ed0705ed1732071008ed071005ed  5922b2281201015d400d28052806280d280e2c112b12065d0121090135330133013315213533  0321033315019a0224feeefd48830214a8021593fde1a67dfd8c7da4021d02c6fb1d6a056bfa  956a6a0148feb86a00000002004a0000026005e3000b0015004940170309127a149c100c7a0e  0003060d2c0c27130f2c11301610f4e432fce4d4ec31002fec32fcecd4cc30b28f1701015d01  4bb0155458bd0016ffc000010016001600403811373859133436333216151406232226133315  21353311233521c7432f2e43422f2f43ebaefdeab0b0016805712e44442e2f4242fb286a6a03  526b00010073ffe303b20444002900d9404123220224213e0c0b1e1f021d203e0b0c0b4d0b0c  2021041601a100a0058f2716a115a01a8f128c27602a200b0c211d08172d151d3e0f08271546  24022d0f00452a10f4c4ecd4e4ec10ee10ee111239393939310010e4fcecf4ec10eef6ee1117  39304b535807100eed111739070eed1117395922b2202b01015d4058271f2720272127222723 

64b040515820c859212d2c20100720b00050b00d7920b8ffff5058041b0559b0051cb0032508  b0042523e120b00050b00d7920b8ffff5058041b0559b0051cb0032508e12d2c4b505820b0c9  454459212d2cb002254560442d2c4b5358b00225b0022545445921212d2c45442d0000010000  0002000007b97f145f0f3cf5001f080000000000bab24b8d00000000bac07fb2fe89fe1d0a4c 0002000007817f1c5f0f3cf5001f080000000000bab24b8d00000000bac07fb2fe89fe1d0a4c  076d00000008000100000000000000010000076dfe1d00000abcfe89fe890a4c000100000000  00000000000000000000002104cd006605560014028b000002f6004a068f0073057b00ac0606  0071031f00a2051f003b04c5006603d3004a0796004a031f00910517010005c7fff4028f004a  04d10066041b007304000000047b00660527004a051f006604bc00660337003b052700370233 007103d3004a04d100660796004a031f00a2051f003b04c50066031f00910517010005c7fff4  028f004a041b007304000000047b00660527004a051f006604bc00660337003b052700370233  00c9028f003b0485fffa05e1007105170100051f00660550007102b200d500000022007c007c  00e001320206028402b20312038e0400049804c4052805a005e8062806d206e80730079407f0 00e001320206028402f6033603ce03fc045c04d80504056805e0062806d206e80730079407f0  084808a20906091c095009ca0a260a880afe0b2e0b6400010000002100550007004500040002  0010004000070000040b055e00030001b8028040e0c7fe03c61303c5c42405c56403c54004c4  2403c30d03c2c12705c26403c12703c05d03bf7d03bc0b03bb0b03bab91405ba3203b91403b8 

%%EndSetup  %%Page: 1 1  %%BeginPageSetup  %%PageBoundingBox: 0 -1 254 91 270 102  %%EndPageSetup  q 0 -1 254 92 270 103  rectclip q 0.823529 g  197.039 86.865 213.609 98.785  43.922 -10.242 re f 174.719 74.224 40 -11.52 186.328 86.144 62.883 -24.559  re f 20.32 61.666 120 25.531 73.586 126.078  -24 re f 0 g  BT  10 0 0 10 9.6 77.664059 14.809473 89.584012  Tm /f-0-0 1 Tf  [(T f)]TJ  5.2 0 0 5.2 23.154687 75.664059 28.36416 87.584012  Tm [(OS)-3(R)]TJ [(OS)-3(Rfrom)]TJ  10 0 0 10 34.905468 77.664059 52.586817 89.584012  Tm [(\(param\){)]TJ  -2.530547 -3.777734  -1.25 Td [( A)]TJ  0 -1.25 Td  [( if \(osr)-3(_cond\))]TJ  0 -1.25 Td  [( )-3( return f')]TJ  5.2 0 0 5.2 77.080469 38.164059 82.289942 50.084012  Tm [(cont)]TJ [(OS)-3(Rto)]TJ  10 0 0 10 88.557031 40.164059 99.261034 52.084012  Tm [(\(liv)-3(e vars\))]TJ  -7.895703 -8.445156  -1.25 Td [( B)]TJ  0 -1.25 Td  (})Tj  15.6 16.24  6.290234 Td [(T f')]TJ  5.2 0 0 5.2 181.908594 76.066403 193.518064 87.986356  Tm [(cont)]TJ [(OS)-3(Rto)]TJ  10 0 0 10 193.385156 78.066403 210.489157 89.986356  Tm [(\(liv)-3(e vars\){)]TJ  -2.778516 -3.327969 -1.25 Td  [( comp_code )]TJ  0  -1.25 Td [( goto L)]TJ  0 -1.25 Td  [( A')]TJ 

2 J  0 j  [] 0.0 d  4 M 5.602 89.865 138.52 -80 10.809 101.785 144.602 -92  re S 0.4 w  161.801 89.666 91.598 -80 173.41 101.586 95.598 -91.801  re S BT  8 0 0 8 21.431638 26.641115  1.664059 Tm /f-1-0 1 Tf  [(origina)-3(l, OSR)37(-inst)-3(rumented)-4365(var)-3(ian)-3(t, OSR)37(-inst)-3(rumented)-5165(var)-3(ian)-3(t,  OS)-4(R) 40(-inst)-3(rum.)]TJ  10 0 0 10 9.048257 52.405637 14.25773 64.325589  Tm /f-0-0 1 Tf  (L:)Tj  ET  0.8 w  0 J  0 81.666 1.211 93.586  m 8 81.666 13.211 93.586  l S 3.816 79.728 9.023 91.648  m 9.059 81.658 14.27 93.578  l 3.816 83.584 9.023 95.504  l 4.652 82.447 4.648 80.888   3.816 79.728 9.863 94.367 9.859 92.808   9.023 91.648  c h 3.816 79.728 9.023 91.648  m f* 0.3 w  1 j  q -1 0 0 -1 0 90.064072 101.984055  cm -3.816 -9.023  10.336 m -9.059 -14.27  8.406 l -3.816 -9.023  6.48 l -4.652 -9.863  7.617 -4.648 -9.859  9.176 -3.816 -9.023  10.336 c h -3.816 -9.023  10.336 m S Q 0.8 w  0 j  141.602 45.666 153.211 57.586  m 153.602 45.666 165.211 57.586  l 153.602 81.666 165.211 93.586  l 161.602 81.666 173.211 93.586  l S 157.414 79.728 169.023 91.648  m 162.66 81.658 174.27 93.578  l 157.414 83.584 169.023 95.504  l 158.254 82.447 158.25  80.888 157.414 79.728 169.863 94.367 169.859  92.808 169.023 91.648  c h 157.414 79.728 169.023 91.648  m f* 0.3 w  1 j  q -1 0 0 -1 0 90.064072 101.984055  cm -157.414 -169.023  10.336 m -162.66 -174.27  8.406 l -157.414 -169.023  6.48 l -158.254 -169.863  7.617 -158.25 -169.859  9.176 -157.414 -169.023  10.336 c h -157.414 -169.023  10.336 m S Q 0.8 w  0 j  217.602 69.666 229.211 66.222  m 225.602 69.666 237.211 66.222  l 225.602 41.666 237.211 42.222  l 181.602 41.666 193.211 42.222  l S 185.785 43.599 197.395 44.16  m 180.539 41.673 192.148 42.23  l 185.785 39.744 197.395 40.304  l 184.945 40.88 184.953  42.439 185.785 43.599 196.555 41.441 196.562  43 197.395 44.16  c h 185.785 43.599 197.395 44.16  m f* 0.3 w  1 j  q 1 0 0 1 0 90.064072 101.984055  cm 185.785 -46.465 197.395 -57.824  m 180.539 -48.391 192.148 -59.754  l 185.785 -50.32 197.395 -61.68  l 184.945 -49.184 184.953  -47.625 185.785 -46.465 196.555 -60.543 196.562  -58.984 197.395 -57.824  c h 185.785 -46.465 197.395 -57.824  m S Q 0.8 w  0 j  165.602 17.666 177.211 17.586  m 153.602 17.666 165.211 17.586  l 153.602 41.666 165.211 53.586  l 141.602 41.666 153.211 53.586  l S 145.785 43.599 157.395 55.519  m 140.539 41.673 152.148 53.593  l 145.785 39.744 157.395 51.664  l 144.945 40.88 144.953  42.439 145.785 43.599 156.555 52.8 156.562  54.359 157.395 55.519  c h 145.785 43.599 157.395 55.519  m f* 0.3 w  1 j  q 1 0 0 1 0 90.064072 101.984055  cm 145.785 157.395  -46.465 m 140.539 152.148  -48.391 l 145.785 157.395  -50.32 l 144.945 156.555  -49.184 144.953 156.562  -47.625 145.785 157.395  -46.465 c h 145.785 157.395  -46.465 m S Q 0.8 w  0 j  53.602 37.666 57.211 49.586  m 53.602 17.666 57.211 17.586  l 141.602 17.666 1.211 17.586  l S 137.414 15.728 5.395 19.519  m 142.66 17.658 0.148 17.593  l 137.414 19.584 5.395 15.664  l 138.254 18.447 138.25  16.888 137.414 15.728 4.555 16.8 4.562 18.359 5.395  19.519  c h 137.414 15.728 5.395 19.519  m f* 0.3 w  1 j  q -1 1  0 0 -1 1  0 90.064072 101.984055  cm -137.414 74.336 5.395 -82.465  m -142.66 72.406 0.148 -84.391  l -137.414 70.48 5.395 -86.32  l -138.254 71.617 -138.25  73.176 -137.414 74.336 4.555 -85.184 4.562 -83.625  5.395 -82.465  c h -137.414 74.336 5.395 -82.465  m S Q0.8 w  0 j  [ 0.8 0.8] 0 d  17.602 17.666 m 53.602 17.666 l S  BT  0 8 -8 0 151.887094 53.745328 163.496565 65.66528  Tm /f-1-0 1 Tf  [(OSR)]TJ  ET  0.8 w  0 j  [ 0.8 0.8] 0 d  13.211 29.586 m 1.211 29.586 l S  5.395 31.519 m 0.148 29.593 l 5.395 27.664 l 4.555 28.8 4.562 30.359 5.395  31.519 c h  5.395 31.519 m f*  0.3 w  1 j  [] 0.0 d  q 1 0 0 1 0 101.984055 cm  5.395 -70.465 m 0.148 -72.391 l 5.395 -74.32 l 4.555 -73.184 4.562 -71.625  5.395 -70.465 c h  5.395 -70.465 m S Q  Q Q  showpage  %%Trailer      Binary files a/figures/overview-osr-final/overview-osr-final.png and b/figures/overview-osr-final/overview-osr-final.png differ        

rdf:about="">image/svg+xml  rdf:resource="http://purl.org/dc/dcmitype/StillImage" />  id="defs5611">  inkscape:isstock="true"  style="overflow:visible;"  id="marker4411"  refX="0.0"  refY="0.0"  orient="auto"  inkscape:stockid="Arrow2Mend">  transform="scale(0.6) rotate(180) translate(0,0)"  d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z "  style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round;stroke:#000000;stroke-opacity:1;fill:#000000;fill-opacity:1"  id="path4413" />  inkscape:stockid="Arrow2Mend"  orient="auto"  refY="0.0"  refX="0.0"  id="marker6019"  style="overflow:visible;"  inkscape:isstock="true"> inkscape:isstock="true"  inkscape:collect="always">  id="path6021"  style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round;stroke:#000000;stroke-opacity:1;fill:#000000;fill-opacity:1"  d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " 

id="namedview5609"  showgrid="true"  inkscape:zoom="2.46"  inkscape:cx="175.1462"  inkscape:cy="455.3959" inkscape:cx="116.20311"  inkscape:cy="439.13574"  inkscape:window-x="0"  inkscape:window-y="0"  inkscape:window-maximized="1" 

id="rect5061"  width="43.919998"  height="10.24"  x="223.44" x="228.39999"  y="-405.20001"  transform="scale(1,-1)" />  transform="scale(1,-1)"  y="-392.56009"  x="201.12"  height="11.52"  width="40" height="24.560089"  width="62.880005"  id="rect5055"  style="fill:#d2d2d2;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:0.80000001;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />  style="fill:#d2d2d2;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:0.80000001;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"  id="rect5053"  width="120" width="126.07999"  height="24"  x="46.720001" x="40.320007"  y="-380"  transform="scale(1,-1)" />  xml:space="preserve"  style="font-style:normal;font-weight:normal;font-size:12px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"  x="36" x="29.600002"  y="-396"  id="text4463"  sodipodi:linespacing="125%"  transform="scale(1,-1)">  sodipodi:role="line"  id="tspan4465"  x="36" x="29.600002"  y="-396"  style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif">T f  style="font-size:51.99999809%;baseline-shift:sub"  id="tspan4477">OSR(param){ id="tspan4477">OSRfrom(param){  sodipodi:role="line"  x="36" x="29.600002"  y="-383.5"  id="tspan4467"  style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif"> A  sodipodi:role="line"  x="36" x="29.600002"  y="-371"  id="tspan4469"  style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif"> if (osr_cond)  sodipodi:role="line"  x="36" x="29.600002"  y="-358.5"  id="tspan4471"  style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif"> return f'  style="font-size:51.99999809%;baseline-shift:sub"  id="tspan4479">cont(live id="tspan4479">OSRto(live  vars)  x="36" x="29.600002"  y="-346"  id="tspan4473"  style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif"> B  sodipodi:role="line"  x="36" x="29.600002"  y="-333.5"  id="tspan4475"  style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif">} 

id="tspan4483"  sodipodi:role="line">T f'  id="tspan4485"  style="font-size:51.99999809%;baseline-shift:sub">cont(live style="font-size:51.99999809%;baseline-shift:sub">OSRto(live  vars){  id="tspan4487"  y="-383.90234"  x="192"  sodipodi:role="line"> goto L comp_code   style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif"  y="-371.40234"  x="192"  sodipodi:role="line"  id="tspan3427"> goto L  style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif"  y="-358.90234"  x="192"  sodipodi:role="line"  id="tspan4501"> A'  style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif"  id="tspan4491"  y="-358.90234" y="-346.40234"  x="192"  sodipodi:role="line">L:  style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif"  id="tspan4495"  y="-346.40234" y="-333.90234"  x="192"  sodipodi:role="line"> B'  style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif"  id="tspan4497"  y="-333.90234" y="-321.40234"  x="192"  sodipodi:role="line">}    transform="scale(1,-1)"  y="-408.20001"  x="32.000004"  height="80"  width="138.52" y="-408.20004"  x="25.6"  height="92.000015"  width="144.59999"  id="rect4503"  style="fill:none;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:0.40000004;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />  style="fill:none;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:0.40000001;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"  id="rect4505"  width="91.599991"  height="80" width="95.599991"  height="91.800003"  x="188.20001"  y="-408"  transform="scale(1,-1)" />  transform="scale(1,-1)"  sodipodi:linespacing="125%"  id="text4507"  y="-320"  x="47.831638" y="-308.08005"  x="41.431644"  style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:8px;line-height:125%;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Normal';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"  xml:space="preserve">  y="-320"  x="47.831638" y="-308.08005"  x="41.431644"  id="tspan4509"  sodipodi:role="line">original, OSR-instrumented    xml:space="preserve"  style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:8px;line-height:125%;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Normal';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"  x="191.18945"  y="-320" y="-308.08005"  id="text4511"  sodipodi:linespacing="125%"  transform="scale(1,-1)">  sodipodi:role="line"  id="tspan4513"  x="191.18945"  y="-320">variant, y="-308.08005">variant,  OSR-instrum.   xml:space="preserve"  style="font-style:normal;font-weight:normal;font-size:12px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"  x="35.448257" x="29.04826"  y="-370.74158"  id="text4515"  sodipodi:linespacing="125%"  transform="scale(1,-1)">  sodipodi:role="line"  x="35.448257" x="29.04826"  y="-370.74158"  style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10px;font-family:serif;-inkscape-font-specification:serif"  id="tspan4552">L:    style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.80000001px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker5575)"  d="m 26.4,400 8,0" 16,400 12,0"  id="path5567"  inkscape:connector-curvature="0" sodipodi:nodetypes="cc"  />  d="m 168,364 12,0 0,36 8,0"  id="path5663"  inkscape:connector-curvature="0"  sodipodi:nodetypes="cccc" />  style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.80000001px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker5815)"  d="m 244,388 244,372.6396  8,0 0,-28 0,-24  -44,0" id="path5807"  inkscape:connector-curvature="0" sodipodi:nodetypes="cccc"  />  d="m 192,336 192,324  -12,0 0,24 0,36  -12,0" id="path5909"  inkscape:connector-curvature="0" sodipodi:nodetypes="cccc"  />  d="m 80,356 0,-20 88,0" 72,356 0,-32 -56,0"  id="path6011"  inkscape:connector-curvature="0" />  style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.8;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;stroke-miterlimit:4;stroke-dasharray:0.8,0.8;stroke-dashoffset:0"  d="m 44,336 36,0"  id="path6119"  inkscape:connector-curvature="0" sodipodi:nodetypes="ccc"  />  style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:8px;line-height:125%;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Normal';text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"  x="372.08127" 

id="tspan4444"  x="372.08127"  y="178.28709">OSR     style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.80000001;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:0.8, 0.80000000000000004;stroke-dashoffset:0;stroke-opacity:1;marker-end:url(#marker4411)"  d="m 28,336 -12,0"  id="path3429"  inkscape:connector-curvature="0"  sodipodi:nodetypes="cc" />