1 <?xml version="1.0" encoding="UTF-8"?>
2 <dia:diagram xmlns:dia="http://www.lysator.liu.se/~alla/dia/">
4 <dia:attribute name="background">
5 <dia:color val="#ffffff"/>
7 <dia:attribute name="paper">
8 <dia:composite type="paper">
9 <dia:attribute name="name">
10 <dia:string>#A4#</dia:string>
12 <dia:attribute name="tmargin">
13 <dia:real val="2.8222"/>
15 <dia:attribute name="bmargin">
16 <dia:real val="2.8222"/>
18 <dia:attribute name="lmargin">
19 <dia:real val="2.8222"/>
21 <dia:attribute name="rmargin">
22 <dia:real val="2.8222"/>
24 <dia:attribute name="is_portrait">
25 <dia:boolean val="true"/>
27 <dia:attribute name="scaling">
30 <dia:attribute name="fitto">
31 <dia:boolean val="false"/>
35 <dia:attribute name="grid">
36 <dia:composite type="grid">
37 <dia:attribute name="width_x">
40 <dia:attribute name="width_y">
43 <dia:attribute name="visible_x">
46 <dia:attribute name="visible_y">
51 <dia:attribute name="guides">
52 <dia:composite type="guides">
53 <dia:attribute name="hguides"/>
54 <dia:attribute name="vguides"/>
58 <dia:layer name="Background" visible="true">
59 <dia:object type="Standard - Box" version="0" id="O0">
60 <dia:attribute name="obj_pos">
61 <dia:point val="-4,1"/>
63 <dia:attribute name="obj_bb">
64 <dia:rectangle val="-4,1;24,26"/>
66 <dia:attribute name="elem_corner">
67 <dia:point val="-4,1"/>
69 <dia:attribute name="elem_width">
72 <dia:attribute name="elem_height">
75 <dia:attribute name="border_width">
78 <dia:attribute name="border_color">
79 <dia:color val="#ffffff"/>
81 <dia:attribute name="show_background">
82 <dia:boolean val="false"/>
85 <dia:object type="Flowchart - Box" version="0" id="O1">
86 <dia:attribute name="obj_pos">
87 <dia:point val="0.736,6"/>
89 <dia:attribute name="obj_bb">
90 <dia:rectangle val="0.686,5.95;7.3508,7.95"/>
92 <dia:attribute name="elem_corner">
93 <dia:point val="0.736,6"/>
95 <dia:attribute name="elem_width">
96 <dia:real val="6.5648"/>
98 <dia:attribute name="elem_height">
101 <dia:attribute name="show_background">
102 <dia:boolean val="true"/>
104 <dia:attribute name="padding">
105 <dia:real val="0.5"/>
107 <dia:attribute name="text">
108 <dia:composite type="text">
109 <dia:attribute name="string">
110 <dia:string>#disconnected#</dia:string>
112 <dia:attribute name="font">
113 <dia:font name="Helvetica-Bold"/>
115 <dia:attribute name="height">
116 <dia:real val="0.8"/>
118 <dia:attribute name="pos">
119 <dia:point val="4.0184,7.19"/>
121 <dia:attribute name="color">
122 <dia:color val="#000000"/>
124 <dia:attribute name="alignment">
130 <dia:object type="Flowchart - Box" version="0" id="O2">
131 <dia:attribute name="obj_pos">
132 <dia:point val="10.868,6"/>
134 <dia:attribute name="obj_bb">
135 <dia:rectangle val="10.818,5.95;14.79,7.95"/>
137 <dia:attribute name="elem_corner">
138 <dia:point val="10.868,6"/>
140 <dia:attribute name="elem_width">
141 <dia:real val="3.872"/>
143 <dia:attribute name="elem_height">
144 <dia:real val="1.9"/>
146 <dia:attribute name="border_color">
147 <dia:color val="#ff0000"/>
149 <dia:attribute name="show_background">
150 <dia:boolean val="true"/>
152 <dia:attribute name="padding">
153 <dia:real val="0.5"/>
155 <dia:attribute name="text">
156 <dia:composite type="text">
157 <dia:attribute name="string">
158 <dia:string>#broken#</dia:string>
160 <dia:attribute name="font">
161 <dia:font name="Helvetica-Bold"/>
163 <dia:attribute name="height">
164 <dia:real val="0.8"/>
166 <dia:attribute name="pos">
167 <dia:point val="12.804,7.19"/>
169 <dia:attribute name="color">
170 <dia:color val="#ff0000"/>
172 <dia:attribute name="alignment">
178 <dia:object type="Flowchart - Box" version="0" id="O3">
179 <dia:attribute name="obj_pos">
180 <dia:point val="0.868,12"/>
182 <dia:attribute name="obj_bb">
183 <dia:rectangle val="0.768,11.9;4.808,14.9"/>
185 <dia:attribute name="elem_corner">
186 <dia:point val="0.868,12"/>
188 <dia:attribute name="elem_width">
189 <dia:real val="3.84"/>
191 <dia:attribute name="elem_height">
192 <dia:real val="2.8"/>
194 <dia:attribute name="border_width">
195 <dia:real val="0.2"/>
197 <dia:attribute name="border_color">
198 <dia:color val="#00ff00"/>
200 <dia:attribute name="show_background">
201 <dia:boolean val="true"/>
203 <dia:attribute name="padding">
204 <dia:real val="0.5"/>
206 <dia:attribute name="text">
207 <dia:composite type="text">
208 <dia:attribute name="string">
212 <dia:attribute name="font">
213 <dia:font name="Helvetica-Bold"/>
215 <dia:attribute name="height">
216 <dia:real val="0.8"/>
218 <dia:attribute name="pos">
219 <dia:point val="2.788,13.24"/>
221 <dia:attribute name="color">
222 <dia:color val="#000000"/>
224 <dia:attribute name="alignment">
230 <dia:object type="Flowchart - Box" version="0" id="O4">
231 <dia:attribute name="obj_pos">
232 <dia:point val="10.8548,12"/>
234 <dia:attribute name="obj_bb">
235 <dia:rectangle val="10.7548,11.9;14.9004,14.9"/>
237 <dia:attribute name="elem_corner">
238 <dia:point val="10.8548,12"/>
240 <dia:attribute name="elem_width">
241 <dia:real val="3.9456"/>
243 <dia:attribute name="elem_height">
244 <dia:real val="2.8"/>
246 <dia:attribute name="border_width">
247 <dia:real val="0.2"/>
249 <dia:attribute name="border_color">
250 <dia:color val="#ff0000"/>
252 <dia:attribute name="show_background">
253 <dia:boolean val="true"/>
255 <dia:attribute name="padding">
256 <dia:real val="0.5"/>
258 <dia:attribute name="text">
259 <dia:composite type="text">
260 <dia:attribute name="string">
264 <dia:attribute name="font">
265 <dia:font name="Helvetica-Bold"/>
267 <dia:attribute name="height">
268 <dia:real val="0.8"/>
270 <dia:attribute name="pos">
271 <dia:point val="12.8276,13.24"/>
273 <dia:attribute name="color">
274 <dia:color val="#000000"/>
276 <dia:attribute name="alignment">
282 <dia:object type="Flowchart - Box" version="0" id="O5">
283 <dia:attribute name="obj_pos">
284 <dia:point val="0.9076,18"/>
286 <dia:attribute name="obj_bb">
287 <dia:rectangle val="0.8076,17.9;5.1644,20.9"/>
289 <dia:attribute name="elem_corner">
290 <dia:point val="0.9076,18"/>
292 <dia:attribute name="elem_width">
293 <dia:real val="4.1568"/>
295 <dia:attribute name="elem_height">
296 <dia:real val="2.8"/>
298 <dia:attribute name="border_width">
299 <dia:real val="0.2"/>
301 <dia:attribute name="border_color">
302 <dia:color val="#00ff00"/>
304 <dia:attribute name="show_background">
305 <dia:boolean val="true"/>
307 <dia:attribute name="padding">
308 <dia:real val="0.5"/>
310 <dia:attribute name="text">
311 <dia:composite type="text">
312 <dia:attribute name="string">
316 <dia:attribute name="font">
317 <dia:font name="Helvetica-Bold"/>
319 <dia:attribute name="height">
320 <dia:real val="0.8"/>
322 <dia:attribute name="pos">
323 <dia:point val="2.986,19.24"/>
325 <dia:attribute name="color">
326 <dia:color val="#000000"/>
328 <dia:attribute name="alignment">
334 <dia:object type="Flowchart - Box" version="0" id="O6">
335 <dia:attribute name="obj_pos">
336 <dia:point val="10.9076,18"/>
338 <dia:attribute name="obj_bb">
339 <dia:rectangle val="10.8076,17.9;15.1644,20.9"/>
341 <dia:attribute name="elem_corner">
342 <dia:point val="10.9076,18"/>
344 <dia:attribute name="elem_width">
345 <dia:real val="4.1568"/>
347 <dia:attribute name="elem_height">
348 <dia:real val="2.8"/>
350 <dia:attribute name="border_width">
351 <dia:real val="0.2"/>
353 <dia:attribute name="border_color">
354 <dia:color val="#ff0000"/>
356 <dia:attribute name="show_background">
357 <dia:boolean val="true"/>
359 <dia:attribute name="padding">
360 <dia:real val="0.5"/>
362 <dia:attribute name="text">
363 <dia:composite type="text">
364 <dia:attribute name="string">
368 <dia:attribute name="font">
369 <dia:font name="Helvetica-Bold"/>
371 <dia:attribute name="height">
372 <dia:real val="0.8"/>
374 <dia:attribute name="pos">
375 <dia:point val="12.986,19.24"/>
377 <dia:attribute name="color">
378 <dia:color val="#000000"/>
380 <dia:attribute name="alignment">
386 <dia:object type="Standard - Line" version="0" id="O7">
387 <dia:attribute name="obj_pos">
388 <dia:point val="0,9"/>
390 <dia:attribute name="obj_bb">
391 <dia:rectangle val="-0.05,8.95;23.05,9.05"/>
393 <dia:attribute name="conn_endpoints">
394 <dia:point val="0,9"/>
395 <dia:point val="23,9"/>
397 <dia:attribute name="numcp">
400 <dia:attribute name="line_style">
404 <dia:object type="Standard - Text" version="0" id="O8">
405 <dia:attribute name="obj_pos">
406 <dia:point val="20,8"/>
408 <dia:attribute name="obj_bb">
409 <dia:rectangle val="18.0217,7.12;21.9784,8.22"/>
411 <dia:attribute name="text">
412 <dia:composite type="text">
413 <dia:attribute name="string">
414 <dia:string>#no VFS#</dia:string>
416 <dia:attribute name="font">
417 <dia:font name="Helvetica-Bold"/>
419 <dia:attribute name="height">
420 <dia:real val="1.1"/>
422 <dia:attribute name="pos">
423 <dia:point val="20,8"/>
425 <dia:attribute name="color">
426 <dia:color val="#000000"/>
428 <dia:attribute name="alignment">
434 <dia:object type="Standard - Text" version="0" id="O9">
435 <dia:attribute name="obj_pos">
436 <dia:point val="20,11"/>
438 <dia:attribute name="obj_bb">
439 <dia:rectangle val="17.0053,10.12;22.9948,11.22"/>
441 <dia:attribute name="text">
442 <dia:composite type="text">
443 <dia:attribute name="string">
444 <dia:string>#VFS exists#</dia:string>
446 <dia:attribute name="font">
447 <dia:font name="Helvetica-Bold"/>
449 <dia:attribute name="height">
450 <dia:real val="1.1"/>
452 <dia:attribute name="pos">
453 <dia:point val="20,11"/>
455 <dia:attribute name="color">
456 <dia:color val="#000000"/>
458 <dia:attribute name="alignment">
464 <dia:object type="Standard - Line" version="0" id="O10">
465 <dia:attribute name="obj_pos">
466 <dia:point val="10.8548,12"/>
468 <dia:attribute name="obj_bb">
469 <dia:rectangle val="6.66355,7.33822;10.9253,12.0705"/>
471 <dia:attribute name="conn_endpoints">
472 <dia:point val="10.8548,12"/>
473 <dia:point val="7.3008,7.9"/>
475 <dia:attribute name="numcp">
478 <dia:attribute name="end_arrow">
481 <dia:attribute name="end_arrow_length">
482 <dia:real val="0.8"/>
484 <dia:attribute name="end_arrow_width">
485 <dia:real val="0.8"/>
488 <dia:connection handle="0" to="O4" connection="0"/>
489 <dia:connection handle="1" to="O1" connection="15"/>
492 <dia:object type="Standard - Text" version="0" id="O11">
493 <dia:attribute name="obj_pos">
494 <dia:point val="8,11"/>
496 <dia:attribute name="obj_bb">
497 <dia:rectangle val="6.8252,10.3647;9.1748,11.1647"/>
499 <dia:attribute name="text">
500 <dia:composite type="text">
501 <dia:attribute name="string">
502 <dia:string># cease#</dia:string>
504 <dia:attribute name="font">
505 <dia:font name="Bookman-Demi"/>
507 <dia:attribute name="height">
508 <dia:real val="0.8"/>
510 <dia:attribute name="pos">
511 <dia:point val="8,11"/>
513 <dia:attribute name="color">
514 <dia:color val="#000000"/>
516 <dia:attribute name="alignment">
522 <dia:object type="Standard - Line" version="0" id="O12">
523 <dia:attribute name="obj_pos">
524 <dia:point val="4,12"/>
526 <dia:attribute name="obj_bb">
527 <dia:rectangle val="3.2,7.95;4.8,12.05"/>
529 <dia:attribute name="conn_endpoints">
530 <dia:point val="4,12"/>
531 <dia:point val="4,8"/>
533 <dia:attribute name="numcp">
536 <dia:attribute name="end_arrow">
539 <dia:attribute name="end_arrow_length">
540 <dia:real val="0.8"/>
542 <dia:attribute name="end_arrow_width">
543 <dia:real val="0.8"/>
546 <dia:object type="Standard - Text" version="0" id="O13">
547 <dia:attribute name="obj_pos">
548 <dia:point val="3,10"/>
550 <dia:attribute name="obj_bb">
551 <dia:rectangle val="1.878,9.36471;4.122,10.9647"/>
553 <dia:attribute name="text">
554 <dia:composite type="text">
555 <dia:attribute name="string">
559 <dia:attribute name="font">
560 <dia:font name="Bookman-Demi"/>
562 <dia:attribute name="height">
563 <dia:real val="0.8"/>
565 <dia:attribute name="pos">
566 <dia:point val="3,10"/>
568 <dia:attribute name="color">
569 <dia:color val="#000000"/>
571 <dia:attribute name="alignment">
577 <dia:object type="Standard - Line" version="0" id="O14">
578 <dia:attribute name="obj_pos">
579 <dia:point val="13,12"/>
581 <dia:attribute name="obj_bb">
582 <dia:rectangle val="12.2,7.95;13.8,12.05"/>
584 <dia:attribute name="conn_endpoints">
585 <dia:point val="13,12"/>
586 <dia:point val="13,8"/>
588 <dia:attribute name="numcp">
591 <dia:attribute name="end_arrow">
594 <dia:attribute name="end_arrow_length">
595 <dia:real val="0.8"/>
597 <dia:attribute name="end_arrow_width">
598 <dia:real val="0.8"/>
601 <dia:object type="Standard - Text" version="0" id="O15">
602 <dia:attribute name="obj_pos">
603 <dia:point val="12,10"/>
605 <dia:attribute name="obj_bb">
606 <dia:rectangle val="10.878,9.36471;13.122,10.1647"/>
608 <dia:attribute name="text">
609 <dia:composite type="text">
610 <dia:attribute name="string">
611 <dia:string>#abort #</dia:string>
613 <dia:attribute name="font">
614 <dia:font name="Bookman-Demi"/>
616 <dia:attribute name="height">
617 <dia:real val="0.8"/>
619 <dia:attribute name="pos">
620 <dia:point val="12,10"/>
622 <dia:attribute name="color">
623 <dia:color val="#000000"/>
625 <dia:attribute name="alignment">
631 <dia:object type="Standard - Line" version="0" id="O16">
632 <dia:attribute name="obj_pos">
633 <dia:point val="5,18"/>
635 <dia:attribute name="obj_bb">
636 <dia:rectangle val="4.2,7.95;5.8,18.05"/>
638 <dia:attribute name="conn_endpoints">
639 <dia:point val="5,18"/>
640 <dia:point val="5,8"/>
642 <dia:attribute name="numcp">
645 <dia:attribute name="end_arrow">
648 <dia:attribute name="end_arrow_length">
649 <dia:real val="0.8"/>
651 <dia:attribute name="end_arrow_width">
652 <dia:real val="0.8"/>
655 <dia:object type="Standard - Text" version="0" id="O17">
656 <dia:attribute name="obj_pos">
657 <dia:point val="7,17"/>
659 <dia:attribute name="obj_bb">
660 <dia:rectangle val="5.5612,16.3647;8.4388,17.1647"/>
662 <dia:attribute name="text">
663 <dia:composite type="text">
664 <dia:attribute name="string">
665 <dia:string>#abort #</dia:string>
667 <dia:attribute name="font">
668 <dia:font name="Bookman-Demi"/>
670 <dia:attribute name="height">
671 <dia:real val="0.8"/>
673 <dia:attribute name="pos">
674 <dia:point val="7,17"/>
676 <dia:attribute name="color">
677 <dia:color val="#000000"/>
679 <dia:attribute name="alignment">
685 <dia:object type="Standard - Line" version="0" id="O18">
686 <dia:attribute name="obj_pos">
687 <dia:point val="14.0252,18"/>
689 <dia:attribute name="obj_bb">
690 <dia:rectangle val="13.1999,7.94798;14.8001,18.0501"/>
692 <dia:attribute name="conn_endpoints">
693 <dia:point val="14.0252,18"/>
694 <dia:point val="14,8"/>
696 <dia:attribute name="numcp">
699 <dia:attribute name="end_arrow">
702 <dia:attribute name="end_arrow_length">
703 <dia:real val="0.8"/>
705 <dia:attribute name="end_arrow_width">
706 <dia:real val="0.8"/>
709 <dia:connection handle="0" to="O6" connection="3"/>
712 <dia:object type="Standard - Text" version="0" id="O19">
713 <dia:attribute name="obj_pos">
714 <dia:point val="16,17"/>
716 <dia:attribute name="obj_bb">
717 <dia:rectangle val="14.6668,16.3647;17.3332,17.1647"/>
719 <dia:attribute name="text">
720 <dia:composite type="text">
721 <dia:attribute name="string">
722 <dia:string>#abort #</dia:string>
724 <dia:attribute name="font">
725 <dia:font name="Bookman-Demi"/>
727 <dia:attribute name="height">
728 <dia:real val="0.8"/>
730 <dia:attribute name="pos">
731 <dia:point val="16,17"/>
733 <dia:attribute name="color">
734 <dia:color val="#000000"/>
736 <dia:attribute name="alignment">
742 <dia:object type="Standard - Line" version="0" id="O20">
743 <dia:attribute name="obj_pos">
744 <dia:point val="0.9076,18"/>
746 <dia:attribute name="obj_bb">
747 <dia:rectangle val="0.0674425,14.7401;1.66856,18.0506"/>
749 <dia:attribute name="conn_endpoints">
750 <dia:point val="0.9076,18"/>
751 <dia:point val="0.868,14.8"/>
753 <dia:attribute name="numcp">
756 <dia:attribute name="end_arrow">
759 <dia:attribute name="end_arrow_length">
760 <dia:real val="0.8"/>
762 <dia:attribute name="end_arrow_width">
763 <dia:real val="0.8"/>
766 <dia:connection handle="0" to="O5" connection="0"/>
767 <dia:connection handle="1" to="O3" connection="11"/>
770 <dia:object type="Standard - Text" version="0" id="O21">
771 <dia:attribute name="obj_pos">
772 <dia:point val="3,17"/>
774 <dia:attribute name="obj_bb">
775 <dia:rectangle val="1.4556,16.3647;4.5444,17.1647"/>
777 <dia:attribute name="text">
778 <dia:composite type="text">
779 <dia:attribute name="string">
780 <dia:string>#detach #</dia:string>
782 <dia:attribute name="font">
783 <dia:font name="Bookman-Demi"/>
785 <dia:attribute name="height">
786 <dia:real val="0.8"/>
788 <dia:attribute name="pos">
789 <dia:point val="3,17"/>
791 <dia:attribute name="color">
792 <dia:color val="#000000"/>
794 <dia:attribute name="alignment">
800 <dia:object type="Standard - Line" version="0" id="O22">
801 <dia:attribute name="obj_pos">
802 <dia:point val="10.9076,18"/>
804 <dia:attribute name="obj_bb">
805 <dia:rectangle val="10.0541,14.7368;11.6555,18.0508"/>
807 <dia:attribute name="conn_endpoints">
808 <dia:point val="10.9076,18"/>
809 <dia:point val="10.8548,14.8"/>
811 <dia:attribute name="numcp">
814 <dia:attribute name="end_arrow">
817 <dia:attribute name="end_arrow_length">
818 <dia:real val="0.8"/>
820 <dia:attribute name="end_arrow_width">
821 <dia:real val="0.8"/>
824 <dia:connection handle="0" to="O6" connection="0"/>
825 <dia:connection handle="1" to="O4" connection="11"/>
828 <dia:object type="Standard - Text" version="0" id="O23">
829 <dia:attribute name="obj_pos">
830 <dia:point val="9,16"/>
832 <dia:attribute name="obj_bb">
833 <dia:rectangle val="7.7988,15.3647;10.2012,16.1647"/>
835 <dia:attribute name="text">
836 <dia:composite type="text">
837 <dia:attribute name="string">
838 <dia:string>#detach#</dia:string>
840 <dia:attribute name="font">
841 <dia:font name="Bookman-Demi"/>
843 <dia:attribute name="height">
844 <dia:real val="0.8"/>
846 <dia:attribute name="pos">
847 <dia:point val="9,16"/>
849 <dia:attribute name="color">
850 <dia:color val="#000000"/>
852 <dia:attribute name="alignment">
858 <dia:object type="Standard - Line" version="0" id="O24">
859 <dia:attribute name="obj_pos">
860 <dia:point val="5.0644,19.4"/>
862 <dia:attribute name="obj_bb">
863 <dia:rectangle val="5.0144,18.6;10.9576,20.2"/>
865 <dia:attribute name="conn_endpoints">
866 <dia:point val="5.0644,19.4"/>
867 <dia:point val="10.9076,19.4"/>
869 <dia:attribute name="numcp">
872 <dia:attribute name="end_arrow">
875 <dia:attribute name="end_arrow_length">
876 <dia:real val="0.8"/>
878 <dia:attribute name="end_arrow_width">
879 <dia:real val="0.8"/>
882 <dia:connection handle="0" to="O5" connection="8"/>
883 <dia:connection handle="1" to="O6" connection="7"/>
886 <dia:object type="Standard - Text" version="0" id="O25">
887 <dia:attribute name="obj_pos">
888 <dia:point val="8,19"/>
890 <dia:attribute name="obj_bb">
891 <dia:rectangle val="6.3764,18.3647;9.6236,19.1647"/>
893 <dia:attribute name="text">
894 <dia:composite type="text">
895 <dia:attribute name="string">
896 <dia:string>#write op.#</dia:string>
898 <dia:attribute name="font">
899 <dia:font name="Bookman-Demi"/>
901 <dia:attribute name="height">
902 <dia:real val="0.8"/>
904 <dia:attribute name="pos">
905 <dia:point val="8,19"/>
907 <dia:attribute name="color">
908 <dia:color val="#000000"/>
910 <dia:attribute name="alignment">
916 <dia:object type="Standard - Arc" version="0" id="O26">
917 <dia:attribute name="obj_pos">
918 <dia:point val="0.736,7.9"/>
920 <dia:attribute name="obj_bb">
921 <dia:rectangle val="-0.24883,7.84842;1.66919,12.0757"/>
923 <dia:attribute name="conn_endpoints">
924 <dia:point val="0.736,7.9"/>
925 <dia:point val="0.868,12"/>
927 <dia:attribute name="curve_distance">
930 <dia:attribute name="end_arrow">
933 <dia:attribute name="end_arrow_length">
934 <dia:real val="0.8"/>
936 <dia:attribute name="end_arrow_width">
937 <dia:real val="0.8"/>
940 <dia:connection handle="0" to="O1" connection="11"/>
941 <dia:connection handle="1" to="O3" connection="0"/>
944 <dia:object type="Standard - Text" version="0" id="O27">
945 <dia:attribute name="obj_pos">
946 <dia:point val="-2,10"/>
948 <dia:attribute name="obj_bb">
949 <dia:rectangle val="-3.6236,9.36471;-0.3764,10.9647"/>
951 <dia:attribute name="text">
952 <dia:composite type="text">
953 <dia:attribute name="string">
954 <dia:string>#read op.
955 write op.#</dia:string>
957 <dia:attribute name="font">
958 <dia:font name="Bookman-Demi"/>
960 <dia:attribute name="height">
961 <dia:real val="0.8"/>
963 <dia:attribute name="pos">
964 <dia:point val="-2,10"/>
966 <dia:attribute name="color">
967 <dia:color val="#000000"/>
969 <dia:attribute name="alignment">
975 <dia:object type="Standard - Arc" version="0" id="O28">
976 <dia:attribute name="obj_pos">
977 <dia:point val="0.868,14.8"/>
979 <dia:attribute name="obj_bb">
980 <dia:rectangle val="0.073501,14.7494;1.70816,18.0599"/>
982 <dia:attribute name="conn_endpoints">
983 <dia:point val="0.868,14.8"/>
984 <dia:point val="0.9076,18"/>
986 <dia:attribute name="curve_distance">
987 <dia:real val="0.7642"/>
989 <dia:attribute name="end_arrow">
992 <dia:attribute name="end_arrow_length">
993 <dia:real val="0.8"/>
995 <dia:attribute name="end_arrow_width">
996 <dia:real val="0.8"/>
999 <dia:connection handle="0" to="O3" connection="11"/>
1000 <dia:connection handle="1" to="O5" connection="0"/>
1003 <dia:object type="Standard - Text" version="0" id="O29">
1004 <dia:attribute name="obj_pos">
1005 <dia:point val="-2,17"/>
1007 <dia:attribute name="obj_bb">
1008 <dia:rectangle val="-3.6236,16.3647;-0.3764,17.9647"/>
1010 <dia:attribute name="text">
1011 <dia:composite type="text">
1012 <dia:attribute name="string">
1013 <dia:string>#read op.
1014 write op.#</dia:string>
1016 <dia:attribute name="font">
1017 <dia:font name="Bookman-Demi"/>
1019 <dia:attribute name="height">
1020 <dia:real val="0.8"/>
1022 <dia:attribute name="pos">
1023 <dia:point val="-2,17"/>
1025 <dia:attribute name="color">
1026 <dia:color val="#000000"/>
1028 <dia:attribute name="alignment">
1034 <dia:object type="Standard - Text" version="0" id="O30">
1035 <dia:attribute name="obj_pos">
1036 <dia:point val="1,23"/>
1038 <dia:attribute name="obj_bb">
1039 <dia:rectangle val="1,22.3147;17.418,24.8647"/>
1041 <dia:attribute name="text">
1042 <dia:composite type="text">
1043 <dia:attribute name="string">
1044 <dia:string>#shutdown: <detach> [unmount OK] <cease>
1045 shutdown: <detach> [crash] <abort>
1046 unsolicited: [crash] <abort> #</dia:string>
1048 <dia:attribute name="font">
1049 <dia:font name="Bookman-Demi"/>
1051 <dia:attribute name="height">
1052 <dia:real val="0.8"/>
1054 <dia:attribute name="pos">
1055 <dia:point val="1,23"/>
1057 <dia:attribute name="color">
1058 <dia:color val="#000000"/>
1060 <dia:attribute name="alignment">
1066 <dia:object type="Standard - Text" version="0" id="O31">
1067 <dia:attribute name="obj_pos">
1068 <dia:point val="10,3"/>
1070 <dia:attribute name="obj_bb">
1071 <dia:rectangle val="-2.7908,1.48;22.7908,5.28"/>
1073 <dia:attribute name="text">
1074 <dia:composite type="text">
1075 <dia:attribute name="string">
1076 <dia:string>#ParentConnector interface
1077 state machine#</dia:string>
1079 <dia:attribute name="font">
1080 <dia:font name="Helvetica-Bold"/>
1082 <dia:attribute name="height">
1083 <dia:real val="1.9"/>
1085 <dia:attribute name="pos">
1086 <dia:point val="10,3"/>
1088 <dia:attribute name="color">
1089 <dia:color val="#000000"/>
1091 <dia:attribute name="alignment">
1097 <dia:object type="Standard - Text" version="0" id="O32">
1098 <dia:attribute name="obj_pos">
1099 <dia:point val="20,14"/>
1101 <dia:attribute name="obj_bb">
1102 <dia:rectangle val="16.7148,13.12;23.2852,14.22"/>
1104 <dia:attribute name="text">
1105 <dia:composite type="text">
1106 <dia:attribute name="string">
1107 <dia:string>#no HANDLE#</dia:string>
1109 <dia:attribute name="font">
1110 <dia:font name="Helvetica-Bold"/>
1112 <dia:attribute name="height">
1113 <dia:real val="1.1"/>
1115 <dia:attribute name="pos">
1116 <dia:point val="20,14"/>
1118 <dia:attribute name="color">
1119 <dia:color val="#000000"/>
1121 <dia:attribute name="alignment">
1127 <dia:object type="Standard - Text" version="0" id="O33">
1128 <dia:attribute name="obj_pos">
1129 <dia:point val="20,19"/>
1131 <dia:attribute name="obj_bb">
1132 <dia:rectangle val="17.6042,18.12;22.3958,20.32"/>
1134 <dia:attribute name="text">
1135 <dia:composite type="text">
1136 <dia:attribute name="string">
1138 exists#</dia:string>
1140 <dia:attribute name="font">
1141 <dia:font name="Helvetica-Bold"/>
1143 <dia:attribute name="height">
1144 <dia:real val="1.1"/>
1146 <dia:attribute name="pos">
1147 <dia:point val="20,19"/>
1149 <dia:attribute name="color">
1150 <dia:color val="#000000"/>
1152 <dia:attribute name="alignment">