From f7d126214b088a491c28c7973c9a7f1dd28a3ac0 Mon Sep 17 00:00:00 2001 From: manus Date: Wed, 9 Dec 2009 19:34:23 +0000 Subject: [PATCH] Author:manus Date:2009-12-09T19:34:23.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@369 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../AutoTest_Interface_annotated_01.png | Bin 0 -> 39781 bytes .../AutoTest_Interface_annotated_01.png.data | 3 +++ ...tween-ise-eiffel-64-and-ise-eiffel-65.wiki | 21 +++++++++++++++++- 3 files changed, 23 insertions(+), 1 deletion(-) create mode 100644 documentation/current/eiffelstudio/_images/AutoTest_Interface_annotated_01.png create mode 100644 documentation/current/eiffelstudio/_images/AutoTest_Interface_annotated_01.png.data diff --git a/documentation/current/eiffelstudio/_images/AutoTest_Interface_annotated_01.png b/documentation/current/eiffelstudio/_images/AutoTest_Interface_annotated_01.png new file mode 100644 index 0000000000000000000000000000000000000000..0b5c77bb1353d5e3ad7874887f9f6f0fe7237a2e GIT binary patch literal 39781 zcmZ_01yCGK^e;L{f&|wDcS(?7!8I&yixWJ!yK8_za18`^4-nin!QI`1E$$9)^4$M+QeX(p84QV= zI2k!w*gIR;*#fvIl+<7x^oxO*ng_*fC@Dp>04~$~`7j-l-{MVGi*}}#I;JU^{ z0Y5?c_lb&~sk57*qY0pE|NO7{tN#ve;bdfO2sU*D>N{$p!7%c_u!f+U3*Y{lc=fM5{Y4*|1#>T|f8MqosYzJd6|20#!aJDu9ijF4e0e}LK78g}@ zPdjM!^TwNQeSXeJUPhNr1W*ic;GtqS*y1QsB8)d`Z^M-Slx7h=+(A!$Z7oXc)fN|E z_$SmWbsE~*tw}4#%rG1LpA(A3S(V6|p~A>GSrpi4>t+TBx1@>72M;_u_r3G!=|e*! zBeoyrm;XL`9~dPII{CJkeHgM@-Dw%+C80nLpy=xeRJKex0{nkEtnO(WVIhiQ(Ig)% zd;8_7M77l*h+-k`p|k4*3^E!w1feB;bYc>hsn6t{*O+;yy7cH3UhSPZ|K;CtiZNkS z0pOdUPG42<7{(N0$ZT|uBq2@Tz@T_xCx7lTz01uX*Y>F+Tz+rmW<|^E&_mzi-}FzX zhVxDCmo?9qWAYqAb1u6AggkOSnB?yCr#9$}UIvG*fcxV;#Bu?Fl?&+DFWvblS;o@L z5C&r_gmb|LuP;=gS+Qw~_Ewyhf-y{tF<(GY7lUQ8pYaX62%at?@Pnh(eg_KhptY@- z?|-RX)Ylh$7Smq)k|bn0anm7-F6?*F^Dfv#;FoK&I@24yiX>9Rt+911#4kG@Q;>h7 z!AB}|I-{kPBR8cXQgE;qLL8MZrA@d1&z*$%e4EQHbTZKkoSaMAwKRI)lp_omB&VhZ z?g@;(3W$k~U3Y9uQz&d?QMb{71Dq1u-xME~M85kuYAO8bZ;ciuIAC!)3y;bL6bH8r zahv{|YxIh~&xFrUIK7>R^{j|8IKy$=r~A43!?Z*}Yl_XXThgAq2= zUrFEiy_hXg|QN(f2N(lYD>+df{ zA){@2XO{6ACb`8kvgd4SVglzsxfhf%H2MB5t@ssoq(=lV6dM~+R5`IR+WTSgScmo` zP0U}p;lBKKYio=AsE88vMTusTNoNtg+YEXxM(9K-uY0}s?FIrd^_JbWbbtusdQFZL zBi4(bi=V%I7}7%Y@7KUEHHz%XB1Z0BwkO$fYy>DcI8^Yuzio!Mez6_H{*{XlcFD*5 zII?db0Ohi5B(xzvTfHI*Lf;?xvA7=PwK_nGP@9xL&SbH*qr(4Eg`qtu529#H4L!wMIB26Y@4V~9D-z(B+xcVvhkpr2^zK_&v!9&WYIO#=L*+7Kmp4=@SAoGhC*=t@*bqs3j~WDJeE7H8zS9Wnc``4l=C9j(J`&R z&IDk?dOF7lvZ|rTVHs(EB(H0K_Pd|J`-A7!dE+ExmYS)8XK#Nopd-WD^UEIL^Is{O z-U8tab6XU^pW?*UEtuluW3chB7eTxjV((B2Q4`>`2VzOxTjLl8zW7hgGai*&K77_c zFRRB}`OyA;-jqs8xKoF){d_liBz>^$w1@n0$If@W_vK~GaeI2HY@?&OUJ{dwv||#} zJ#C|GVl$1F{Ox{j@x=qj+Hms8Y&(Cn&*Am$w;Z6?N#ien#k*wpvU~F?d0E*9-`jNI z^e1aYTmX$sV0Yl1)A>2lD|lAq77BZTQ8ss>+MrmQ`vG-Mx}dkHYIr#ed9~ASSJsQ& z;VaC?8NAL7hfnylx3__DHcaeFeWbkGCxXkqk<(s={a!oTtQpdY(xF}A|6O>7rzN+@ zo{Hk((@1VBZKPA(DAn-E-kD%4v@ucTkeRxw8kymI;B1xOd;4fl!}e~YA^t4r3=h%& zCh1H2+{7DX#3r%VNv25t`|k#f%C559x>T>(fQA?@i&?_IRr)X2s;YvnFd(se#VQ+F zqJc8KnEe}k8+G0tXTp9w4kt?QMxBg$(B3hVt~;VA6t3ALV<532%V8(87o@Q$4@|`> z%iw<1C7q^T*ZV;zmRz)RUdt^ZL=ucHg^;7kZC?m9fUhkR{j3Nf$lGG!-CR=XID3L@ig z14y|nJv~PyuaGcnQQ?JsJjchfleM&1k_N#Mz(6{-M;_8w)$LJ@gVdetjA{PLk}EFx=}T7~LYl^tM)|DDGx+ug15ti;)>r+~!|(3y zY_G>*__BZrWUai?CLkE`VSWn6F)>@(bveDRc-o2Ne%dWAbOp!3=l-g9rY!ZohqyhR z(?VHWd-3V<{yd}^cl!M$Tq{}>t^MO*wU8f;VZFh60vqPCZPoM)q5gsQ&7s|s?R-?o z>eF_i)$T;&tP(1>&^<(P0S1F9ETQ>DU7J@!s&yFGDRYt?~nF z4T<27`|RvcLto?gg@$_h zt`(Qf)WUnN)*aaEYm=0V+$V5RpQcOtar!;ox$JNM`*Z#J9)&UptFG1|C(Ac0U4*#P z!;C8bG_E2QkBt}6f0cPLo6c8_SnluMjcTb^Jy0rG#JCtefMKj<&xfx? zK!P#9zNTfVr{@YCAFDQ7tW*1t#X=X``TLdSr>g_2TW|gI4E-oS6l>vqoKhr$+Dj!b zj8&DQu+Li+eu6HrsQ}?}1b;VEp#(q4r?l_yWS0Pd|LBdK^PAkd{Nb@u?oOifhScYW zVb%i0=aK!2_KB7GVg|Sm?sQ=rw8Cn5wA|eFJESF?00jb8R$-@uO;_Hj>bVKz4NXv; zL^7Mv%CP~GiYVZ2e9b+bmRX*?>fVIff$yd*M@Sv|SuyW)ZN9v?D~qMQtDm%l!S=Sr z=e$?*W?(I2gWaLv%4+~m{G(l2|;AXbFx9#cKl9!gu(kS0% z{PI*8r_e>2Zsi|mC=1J%oVXXS2mt?`jKU~#;Wp=yGy_i?-B4m!YhB5Bqw^K3R+9NS z-5kw^K;*2xpU*%7qm7MC5LV`BA%hGA^1|zmoZpoRjud z1K*jVbAXr0q5txuN4e8zW2G4jwqL5w`>B?nKKDo%^oqK1G;!&NL;~(HgS0&9q7XEf zoGN!!A$czZjB@!9`l5(dUs9b2riY!7Nclsjoz?> zEfq7COaZUkspP@Jm49}w z_10%5#y)F*mfeGZ`hD-9INDjv7ydIWy`qYS>gqjHEfIlZWX0BUSD0Af_5p~A=jhvV z1c!s!c)2i}FuZx4E1SFj!>2$PV-;a_q(@9Zhn0&U^=~*JJt>byTY%yXZ1nYjVuR@k z;__Vku$k`CvrX9+P25|}%vyiQQb+UUuh&3UNr~l18ZWSR>W=!EdphdZe5cscraPL% z6a)fwJzilB%V7w^$Hx!LQPt3(XIGB~3IX)TY($~J)=}|#y=$XRsU#X)RAsmIr{yZr z1v1sdvy;VDM9XqLs5aEF{dI>N-sTmdeq%kh$YW*Z=ua$W=DUsIJPYXHCkdEjEK+%$+yVG+kG32`l+(`<04!zk zt^g<{O<2NN(1|4tbE@UUP63tSOH9_AlFbv1!w@Te48LjLn|hOHbc1WHLR2;KMH2GM zO_|;cQqX@DOI$?^{g_zqX-?tB3&?2Wv5P3ue`n0E9&1DY1OFIiJ+dqCAHk&5M>T5Ke z33v1`{iWATd?-)%J`yX30nh&zx;@_4NYpHuNnO|%nal(~dZ{ZQ_~QVtg~w))Y<#~ZOsuUp z_^U4#Sn;n9l6ISrdvX9UI3y3jnF0>MDo++H=G#H)%~g=kL&)LPaN=Ps;B0UU(q>g>AIfY?L0Zj zK>zzP1+1^VqLdm5O;HlL0=s+X7DL)Ic% zmg-GyU*4zpipMII=q5?-%!;w=Xp4{Ln~pNg)@XH424va@>{E3sfBK^-F<=yHe*Tk- zMGw*6lht~(;++G+)J)~Y-2$co3D9vRQFPsG*lChZo<{S>?FT2$d@LA600uzw=GG?$5%j))TlB3}6FniaPgbdf# z){c*1dR>a#v)PuDL7JO%2#IKAibe~KO-^%PkyiIgAB|LKzN}N%5$hWq)O7ZO?$95@6Bp`fHnaq3l)n#AMxqeD~4=UI2r#qG*P8* zaqA0vjwV-mWjr%NwWGC1xhi&y{L`=)MtbD;Oz}|zIIS5KUb$s0OA(Oz-m8}Asmq1A zU2gQ?ho%wZE-P?a+gQfh8_yfR9O;X-Eh|I@J|!D3ydkp1hYr_KIUzDlt3>MQWXP!#G!`$(0sH% z-B_Bv`u3;RY^&yQnZHc^!J&OzMUJPHRCs*#iuP#@ip>0Cq`LFR#aF$b%%+m4{>Uq; zpD?*NCfV9Jdw4Vb2euY z29(OMKIz~ET+qsqqQ~QT>Ehk{KNW;a2^$=!ZI?>OwMw*y{*bS0UHx_V_%a+V1xU2t zv8;Ck`34W6yl^w_r;GVV;Jwdfh}{Y|(b}Y$tcGonJf`sdaITf9B=2B|bL`Hjn%WVP zKR$6(c`~}a>t<`cfOhq>IKpVOVNTz9N6!mYd`T1Wm=(HHvgu`6TjF2M0*gq;%AQVF zo7a|r!5xQivmGY@4Eb(fZUKO#VrHbP`rvLU9RRd6I)2{!6PjO7;`euVyeW5d=%{p1 zWW$i+VTTlX)?C!{nv+UOIayQSQ+ezs1!oPM!_!8rVLJzI@aAP?jsXA7!hFt*~%&CgCFr@&g!C5aX;Y77`;o z3Hc$j_gJd+G>q>=R3(PB-lGGS8IPyr3b9j#FiE01FbNxGI zn)@*^WOQnVthCJMlANocBif~+VU86GP`a#fxvurw}(sbAgsxCHF(eP(N| zwV2j?PzX01u+(gMTeNG&sAiRV*`YECWNkNU(}192+kI1&4dm+VSo%v6)Q*cRrc zs9lbhJJub2ChcXWM1{`!^zPf6(;;M-el;HI@@9-L+@7w+(ia?asP<;RP=|@(L1r7n z;=WO|!h=_5pB3cqdh@>Km(5AOR-kJ0YqvOSuAjss0l{Lj>xlXwheYzbo4)8>cQs#zYfO zx!BMsFp!0q?_^Gq39iukChMeP|G_BLs8Hzq>Jqoj`gCaLC#yc$ClVM_3X~th;*68O zrs7B|lVIpg3(GK43TSf*yx=ZYLa_gFQz@&22a*BZo9`=T*Rg=LsbUqg5fb^jX=I$Q z8hUqHRr2rYlOK!7eJ-Fl+LA9Zrl$)t-9O7}B<1jhA9SC09v1!h8}wO8MT1alhjCKu zu=bacSP{bjaI$>-bZj!{>43|L$VN*ydhE68S9Q&_N6FLn?ZPiCJOoa}tWX#$MwcaI zkTyJr0$D(WM?h_{FvYSAIkC1 z&y?#fE+$?ePC@dX<1;fkJRCb?sWUjt7Gz{45#a-VQ=SWuqqbrrenAz}#8#0b5G776 zQ7|)Z?fl};6c$F)pHoy*bJNsBQ_r8TR3qxbOCv6 z#W~?5y@mJuLqBZ6|pW}Np?J7JQTpSbg3lAcA73yVRE z2J?AHN?06=xqlUfL~@kizA;Jumg9I^<$mXE<#cY6G+60*X|u~jg%HNXeVXPzxFa|| z<^CgIr)fx?B6z;O1y?_v4pbPXv=*ZE$(EeJH%-?!L>!Q50V@mf7_tplv!8mcYoYXY z&dxX2hy2>AoX$f(vRRS>cX&mm`gv42#3+k9Ln8=TJ@@yujkVzXCCQStKk-q`zoe2P z@2Vw#ysvY>HHAgtn;?U9{m6**ODFaeaS0n<2R9`sCdkLkaRXQ9pm8wP%*W(l;ig;3zmIx6WUP$ATAx0QUx#>1btDWdnn2 zY@Ar@#Z$WVWl!`+lvOfA{hn$9mZlNY`kL(3xvr|(l~1&f{a!BT7U z%04>HVj52}MMoQzL^s1A<#WEdv!E5}?=;d_;d$2goDhrNfO@$sjei@7Hb!bPC*|+t*RwO&o0tXH zEwi40$rt)e++4P)ZJE5t+f0%i(R=A%y_4S)9yg?zrtBCN7tnrSKivMv zPl9$VO&ywC7<;3SNcj_@aEVd-SOm=<-`pD-94sld@;vR<1&7;eBrVS4yk|67B>?W| zpK>;|uK3(&{D7Wgr$soM~a5hv;>?? z9jr=^AFr)eeXf7?PToG<*B-a)Yb(WYm?`vcbgR6Fk%IiZ3$n8>&sm8d3mLz5D#MEr za-JpEhpAohP^!E>Pi|=%ZtnfI`|{@Fw*8V)MGbY|TBjYh=)&{EdQ9-DziezQb%$3x zZFAGF0W_e9Fkx}72X)&Rt1C;b4P~KstAyye9=FrT;K8{-zcxlk3-M{VkSk`|`rK|U zv$nT*Z4bTM8Ge_}Z3mAbLWLZlIaW$6g^#zQs)VdkaHaQ3REe-TyD6IA%~x0JR?X#- z5hyAbQq%Q;eI*pS+ve_F^*+Bz<_M1mGa7}|KmBPO(>xtb@Za4HP<4o( zuq7F4MFB+igx-3uCd6CGjT%yRzIee4PTc;w7ost6 zNJu_Hg2Fx)7U)GsxgUHS=g0O7c67OI8YbrpOBJ|3xZ12b9Q|RmGsgW>Fd3wFwu6pW1_rD%c;c53YxI4X5Eg!@likK%BVH;^f7AMnM|M?39($&JfwS ztlr4Zw7lQbpw@OZ0UjD7(@_85AOWHRmb(kNXw;^=kWCOs?MvC4iPkk{15*fbtTp<2q zUB4~S9#y`mE)60wWtf=ZQOgXrHQ@tpX_=uzN*yZ~;a)*jbGHxp_5W|2QUhkp$Xku9H$mZtt- zNKC|FWf>VBayB*QNmJNJl0QjrpF{1N@SN)WVqmmAr?AP~kdFqQj zqLw6zo~pCE+YG%wekWbm5AJNWl?ZWzXMC0}p_}u;gRtU?eZKbc{iWT%6|HpFO?!=} z=pwGJGIn-C=zvi#M*G=7%TFf4$?gcW&OK+a?-VBi9p~O-Dt~V;VkGFof)KBfs6pi@ z)`V&>jNxrg5f2G`uLHGY6L0z2SoV45p+$<2&CTB`%Ki@|qA^b>u+IU|`^2YIt}6oUY|Vav)p(d+YPlXC*ujq1TST z@z^fEvej&RHE@5I&ZS{gp!Ygu($>>c|6e5bN~yI7s1D{O*#jN@)$;uxa>=`R4Mrk) z@vE0=YgbZIq7oBNrZ8LpcGgjs%jv+ufhAtvalb532}A@od$vrBd0wJBq7nTi;p|&? z{OS@Lnqz8@Jt0a^+gT*)7pwesFm2mWB<>pxW1P4|G}*$~nD55l{C4uwxkd|c?N{P> zS9$Miuga8@K4x?VRxmL%7~Y&%2$1`x)Yp6?_ggwU?PVq@4m#ZYd_$QrJ+pg3(u zfXT6?d~GCMzd}nTIiBMiIz#Z^7!3$?F}kEl%VLcg9@vG%V&#BaHc>`=lBg3d46?NG zl_RgGTYce+v7g4oQ2?;yJSqQgdt6oadUvhfAk${CPRnd}2KW2GtHdi}nTmkS2m6Ov zm-J@g#)gUlEjQPl5hH##GEhkoPIFj3(Zc`TtG8vkcYpN(5OJ*wm+v=lEP9*syE8;b zLJzBJ0y(QGf{`HxmXTu3CyWwGrG|&m^rBe#GG`7^9x!jR$9UFJfvfwByf#T){O|Oj zy8J`Pr^$tkBwHF|Q`V^`X`89J^ajk(;1tVlq|FlCzaF#(9NqPLekN0wXL1GPp9}OR zC}IVS;HC~%lo&}7{)QG~CG@CHL1sR7K0)!KJi@}ncokeo<}a0nkb50S@@e{msgWlt zM0MrpczH(_w+TVf_5@UX!NkOO9lP1Eod~4%jnWA@k`xK%!+5Av&_oT6@1Hj7B!})s z2K`R1O5N~}JWh#ApU~`gDli0uK6;@6C*9#&%{wonjYRdMeQL0|NhI;V+LK_40PY#| zDJuqJLD>0O9sf@IEhk(<@$f@X;Jb)xocO_DITqs2&g32$PCV|?RMusH%aoGO&h0Nv zRCs!1Y|@V*Dj;>Ap|(Fp%5D8rxcK~twd7L0=G)ejc+2({tgi>Gv1$?s0(=+Zu!-1bZ&MG25vM-l>nh&?hWsUX7~eyUsTN5Cx; zai@rjS!iO63(M)(jKW>cZLIr`M&f0UwtY)@?71~2_W$v|(Ymkx`TE9XG;#HVpQ=LC zJFFOfz9trZjK6=;HawzsM2Q^+2z-rx+XY}vVP|LrIv~2PIio7z?KxAFGj>+rR{+j2q};Z;#(K|n_(R_aAqAtWa*C0ZB+cnZ2L zpbU65k#8=XQb2uWxcKRD9G(Lw#h4fV2+@)NtZe=o#+B0aG<=jSi^_OqwKr$RO}@9z6J z_YK>KW$GRUoaNqx%cRMGf6rOH6DvX;E}T!7%r~cpYVoTxY3WZx<=jcpFV{X2^_;hO z>UgjA=stv{W|n=~B8Fvv+|X4dekx$l9Sl-O2p#j>>PuC1+l{kA?RLWlO6b2HEXoyF#B)=iCPNaGc_ z3Be8{J$Jlrrt_w_7bhEt58eIi7R9}0enkC2%1dE`vYY2*O!sP8P6>~ zed0Yz*u_hurn`|SWVj3@u{nEEe$gV&IA?xS@~8{}`EqhW%d0L6rRsLm!_rKq=UHMv z$gA#Pof}U5q5LYDSd0rxOv--#jg25Bg87N_d(3;D5_bU+^eKUROVEDEmzw5rEG-TfbbJvZ7V3UWUdW3K49 z99KVI5LkP2gI>y1Q zEqgbH=Q$mvk4&DKd0uso$_>pP<&3^)UII_X30uE7IRDYo+JBVq)`%~MQtgg1qAs54 zCE{zDrV_r5!<%BK+K>9auP&fVR-zf3uaOxS6TgD+q^~(n^&$Z2Y0{7X>=o zWXc@P^JAHt&_x)g%WKoE_X9Z}ET-#yT{JVBj9tGn;nu|m=M+6r6|t&VMw1=mv>(`n zW8Z_%O#BWzO3EOY(}Gl6nHURnG=t>w*FxT0CtlUG{F)JV%xJ8nzA)${TrrW)O>DWd2^?0@@|j)v3= z3T|#<0HngS=niP5!+vM8Obt7K<+f(}{-G#VT<&3x>n*AYtZ&2Nhc?ONg5bYRT|m|1RzsU83K*N3;DR#V306&`3ohlR$!iyCHff7J&H@ao3e*WDyO-dr9oz??!7qj|PPVtl0t_jUtJkdul&%TL# zmC_Q}X!`zZA%WCoWk_}o15Y~q;z7pYQK~fuu0PTDfjlT4ex~BZeg0rl_kVCTioaZ; zF7h9exXU5`uAJh!?8zwQ;V}+s?AG&+yCAK@Ln06^j}Hl%>@RJa6F%Z_dh@YKibneC zp0^&j;om@xu_sUTry zu)ZZ?ceT!#Eao9;`Q3RgkXaC0#K#%F_%-D9Xy!4GM->-V%qvvK3_su4L0XzcxqtnH zIzz7$BHy|cd?w(c=bxcV*%sGfS-;&OEYniaQd9GTsh0Lm^152D^u-2}VhBY&hNuv@ zM71-;CngRSD%5(m!T}5{BR=b2`OnUs;%q3ut4wBSdRwNY2c(;3M8NDc1yHO8ViMCq!C#Vet|6GXjY`t(?)-Azj3X*T>#NPS4vs+W^ zSC(~WKotl>5s-)kGDeJ3;|-RMBF@foCMK{^DsC_K>LQ7+NqHyw#4A@%7ObWZva%=& zTUvIHnhURbmOsY$Mt^7NVWa)cpj+^H=C`=Gtgr7#zzdW9Ix0bMPTRFQF;%7bTY+5kmVdnnj7R&K+h$ii;Fx@`wQ?`O(12j3F_Pl z{}0GrryA3tBQdQam&=>=2|C46H!?Ho#CKa-F+$Ee;qzC@$mOz_P=Dz%K65F~Iv$$_ z9R#9xydcZ7`e4cpM3C}747@w9s?w1o+$_>-LRuiHU0XAV!APBZM}&XZ(K=T7>}N;WOFEc4 zT3$PCb0#5J`>{w<R$m(pJto@7_QU?ZN_No2M@;lB!<1b z8eA#*{G_KdLv67L@s||Vkkp?{^zle)M78Aewlo1)i4w?m2WbKD#pTg`1?TZG49bx8 zEbW-LYOG=MV{#?)$Z;QNhV&yWaE%IOvug&q4!C5#U}fRqy>N$5fQS0W*i+5ENWVcK z+zQT43cT8tRrpl;RzN}~&Qq|&5fe1v48fB%ECggB6u^))r;0GNDcAg{~N;{{XGj+c+uRsYkk6%`@#d|2Tp&RLd>< zsY1|1O0>UEsK@#)i(x(BQ?$I`3~kDGgsKj{@Oy@wa^FPr1VLx2Nw~ViNY@3SLYZ%M z;nVADAG_vlT%Wl!gdEo_0Kk0iVyr%cADGNox(o5zxWIW6KmpbTVRUYVW&f~^B$lVj z=41-lC8v^FqH)h;Oyz}OGgz?Qg$H#MDYE+3BR?7G3v$jRS-WozHXo0}a@2d|*uEFt zI1idKrdRchV@)g;J>|?0{^g0<`GVeV(M#0a{5@Fs1HJ49q8Ybvh2dlv2p)fJS}6M5 z-20J`@}2KFX;gU24!a!(vu0+1n*QYD{|$lL(FdRJ2hGa4M~g#VWR=8nF@bC;BjH4M zO=uw`W{Sq~TFH(|S_JKhia)sL?s=|`lxQCgz_3k1!IE$Ahc#UW!)v`OhnP<1{jd~? z3y>fZ-668!A9;ua^&u)HDAK}`YyLatQ!h@~{8tv^r{NiRCtid#qHl1()2vaZrPcXGw z?fd=j!V%k+>qIlFt4#B?+xcsorS6J`+j%0*w(O(idBAK{(=KDO!J0Vr7qS3mkaN5U zo*1GuGRkE4j}L4FkSrOeJk8X*B)?Iix2S!nXv738uch4&+%iAW6OF=@b4*2El9)x! z{%3yJNKKi_EgbDS7}t;oilBO)B$+=|9d3|3RTpS=}Cbyl=D-rJZAko<(YCheKn?Cw1VQaFa@~&`8S$f{&_8`szN@%b<})aeGNfjd`pH2{0Abx zGy7HdQ57EH*T}pJJD_;OjVXFZSrp#aAy!CRGFOzk9J2Bs>VxUYy(!L-ZaM0eoMC;% z4So8n&%LC}ARR`7ztXy1p_piu!s_R_AM90bkgqO4%J&g}Fl`}eM&PQP;SWWkAw7<0 zjHdKL+aIeGsQs+#L&>3N~yE7xJl*|h{AI2!n4}I;`+K zpiN=chu~JxvYOI~BK#+%y0vy`HbT*fD4Ja=+s_dfY@98*KAIoU1dB*Og~^sPNEFG5GR8C9J2r%P&sbkZ;jN4@0pzD#+7yBPG#`ux29C9Ipxb8jkd{2)=9|{I) z`v)9)yl7m!L1XPO3X6|K7r8yHp$?dC{$1#KcmG6VU~HPUpZyg#ZCu_jc@E8&paG-B z!Km0-6urZ6qqiIiWl)hMi2l9wIlfj88?I(SnHQEr!}w2R>U4(|Ff2qCO}w%RV$M&n$mZ*(;Y<%?Kt(|`Mt)Qh!TJ-B zx0iE-Vmv;IyGqwnYGX~^GGlFKbl)92Rrvo8#pW^o|DaegwqwsCt3hL#b$A)l&Hg%o(I}(j}H>gk6Go)$u!z0#8$Cs$2reRW@eO zXKJaY_Son|`a8so<5UIjZ5Zg<1#u7sV*M=_!PLl+Ms)4@qsyxo<|=n5cU?u$VmTrR z^z>G|UBAg&OTecIA2@2*gyp>srr3jc?tb=8eVuyeS~`67?gJ@1Cv#L_xP|2Z5xSW# z_zYacbr+ZPe$t&9i5+9&j_1@hei`H(`=5V9&u;Bx{rro+@+ZEHwtG{W?)Qk&tZ}*F zKGmUYb1Nx4ab5G^FtJAqu+MJp{VW%9Ia#~S$)Pmr-R4aX``yV;A~1RmLOBv7utE}k z_OVsFO{t^sD!qqYJVxsO2=6-C5v94~vcele*(Q1$bh^$*SwB@5RF#xGO%c4fyD@O!kV-Sutm6z{G_|y2?6c+as69?8wv+rc$CRUC#%uEDs z)`n4$Gw$hNO#e^#(# z#efbNofdaS&we3#Zf>u=iQ>V;??$VP0e@tOcB#P9z89|s2$&eGtPce2vpP3J+Z@-* zbzKS->(2y)eeTSoHsRs4pi+{Ovq}1%Eh}Kfp=RCBr9HXtWpc~^g9rORfE)=vXz%im z%gn4c5Y?Kp{<)72l(*J_7L+&0eL-U&j?9&0eT&M-GNM~=i>;6-8S{h)7UYTNm6ux# zr(gnWC8cMPgeTN;D%1?oyO zXmj|epdL@Rn9(Gs;I!Et|HzmRmNi_t^D*Yf(-R6jKjeVM5o2P|erOj9YeHtT{XDd$ zUao5H;dhl*jlqh8J}lWW_E`{BhfCse)=Zw}8cJk9mf_;m4L|EKY6`I;Zh zg{70`ft8I?AO2Xz4HL(ufOTPQAX;@G(a_`x+Gzw0Tm1Zwz%Og9TjA$(>$F>cipNyW zv2IN$gstdX8sSP<+QnLC%4h1MN3Lx&-?8{FZ=@nIsyALV_6D{W}T?ar;9|;UqZjghbZcq?pqWN zVBta1sXpc4zs{Ze@m491>hxBkBxsJwmcGy>{R($8YloYLu?Vi{V~8mf6$DDyVh-#t z1JD>IJ`x_C%&89#TUrIdytA z*bLrM&>@Zs1jMsp8Fx%zx?rnXSRWj51uy-P%IPE9@1elk++3-lp3+>(L9ubL5!HRE z62e}x1}RaAOdo%<8ZRDRTIcjpIjDYB=$FYLAdYm?7!6UB;?jl9CzO-nM;rR3aLY;ure6bOd5VnQhyoeDD7;njB-N(v zf4l&hjJPre-r)W42YZG%?%(tcO-TBLZG`2LR65((%X!xm;7xBba{j-vl z%D{rbQVfNsRl0`*z*7x&b*bI6DWFNafGx-G!hto{=5c*-tXBeLirk8o3^h}#AAR~y zCvf}^Z(T0+ib_l0F*D2Oq$A^inFp*x+1@TFple^vOit#tn4pmo^o!LVgadS!o7-y} zYju|7-@nRkj`cD65Qj?AR;YyEJ)r;W37aZ@;irQH91nRjJV!n7zSBr-fCF5YINCV> zvRC;y9vq`$Sv>{)cF@7muJ2zMi`bq%O=(Kp++bN076Jb&fVrh*%Ku%gn9Rcd_T4+U zj{Qs6LwClmq<8n8WeKX{ad!1UTlzxU!e$#Au{0$?k_Z&#esrU8r+BkBn$<*@jW9{% zf7N`gwx=Y|=T*EX6K3T?6CP^?7?6nB>bL2lfN2B$a_ zNN}gcf)uyn6e#Wzw8e_MYjJlEayIufo^#&wo^gJDjEq5&oxS&3Yp*ruyrx{s*|{b% zhv=P{bQ=44a<~8uAs<*T3M^TyWSYaP_%u+k%bGr*{1@1*j**hOnBXuDiPW9$#+X{G8M|fu_KCOW=o!@$c3_1x_{upZ5K0 zL(`Ep&E0;J;HYjc^WM1HT3(5ep-pvyAKBRfYX3YJaM{zQg;cjqTNLce?uB-33DPPG z(c4XCFvPy%Zyl9-?gU$y;*BNJ9pRiz$7EAjjX;2d`me-4bnD6Bv?lT3;06FY?)7mIxc z?d4*m01tdccD96S+|G_QYex*7JaccCpgl2T{=ji( z!Njb?AMSiBrsEmX8l_xAr{y+(5vKh3dSf3`prmL8Z{tlu+ydI+B#JoD=luwFoA&#Y zlV$5_LAojx{v1Qgz3FNOlUWRF+df45WcEn`7TCHIT0i2GjhprwJSwX`!g=F7OR!Ke zV67q+D>a-?XHz$$_Q#J2PU;#?e zvKc1F$LC>FkRD!o%Ha&jn86z>a!_1-pg~ULeuT>5SK^kg)=_`?Fibk>39#r4Q66eB za@=RhsxS*q0sfW?wAKeyaJhq&-)&|HLwQZq5KEnH8T>?~r9k4pWjdCnMK|hs}TRcNCLJu9r@;a&u62c?S*DKkBlU_&wiG| zcc;ptpw<)bnW8cNV<8CCi|v>;?&we#0>Oyqc%d3o;E+sTB99je1d?G_+I9>)t*G{T z&(Q0fnWo5osPfr`f^AaY6>i5p?FRQ)ZsMy@)82~ZR)O@Wvn|xwiU}wy~e4#ChZJ7X=C^FC2|FEbE#s{5F|{63}}QE z6)khyw|EKN3=xHc+vzk2nWX>61n8%1iS9Q-M-(!rjAh#__)z~?(B*FC5{%uOe>GOf zY{s+WO0exCjZhGR=~kO~3m{C#DiM<`_D;Dr;U4?ZJKUWcOY{L}rZ-uvPsLRTU}2V_ z7jnj4)=8rOP!on8^3~jYuGX1XQrZ>Vr|~DAOK#MSV{zm)xuqib@QA|YMQFc`|8tqZou|kfU@DnW~bu)H02FVOqRNQF2aQ> zN4?FV9Oy!Cec$Z@z91m`*C^nVQ$-T4zEN{bt?3+xB7}`;uB|WFxJGe8P*cV&3Vh$X zY(?0}0Gb#;E(*g~Ma#=B{PhrD3C)f!kDEn|iiw}@;+I|cG8AoG6uNK%Ut{3Wq*>tH&pp^ElN%$bUHzyhyC+Z#;%bJ~NifG(?c;b_FmX&iJY$rWF?=4})J6-*nG_t3k z_+})+m|JMn-9tR~Ct)eCty(YVwDT+QAiI;km_!M44K6~Eu{_tF-)N}YzPbLay2?Ev zs2F@$L%Vev9Y(l)e_roO!OxQ3S5wiNEM$YzF4%gNOp38)tU7)0Rmma_XYKCkv@-=8 zRc%7HP4*Kb&Ny0H)d(ca!~p}CJ^xp#N7fr)#&(|3jb<9%@QzE4b}Aur&k29j z96ui|%4EGD^1cX>OSI5IOj~7Cw`5oIQhxA=_aTW21J=VE$N#-_BH2>ZH8t1IJ(>;J zK=ljuAnkIa50w!T0NaKK#W>h`qdz&;7XMYQ;c7$DhG)L75E=4L^VO99~*{ z`lOV?{bKZ&;o77Vv}U6HE1>iJ!082~uV~-0tJ;#+${+t)mpp3jtSC_m@93Bv9v`1L z9_-ZVb97AHr!txc5S+UDSgu@bDPpJabaTjNjOpLMCHKv=-rj%g1l8l}w~ZZxl!n4# z(uBeqQn@%r+0&v{i7SD9-G4pdhT59%{T}J z^3CTbEw1QcCWqPoq|^-MpEK47M6|q7InCR zqZK63_%l3R#LlSr62cLxOhDP6<4Wm@_2QTmrA|Qhw2ajLbIo-XBsN;7nsXs(c5jJl zQVsg-JKKNU)BxLH>)0(%A$fFiQu_JvwHHu}tf8Uu&x^O+kreP;I8l{p?yONrqPhrBIWUD4_r{d!r-27GWu)D~89 zg-#Z1(@q)Tf=qf+@}DYiTnUCBVcF#<60%xaiKUVgPfH|{{`oo*3Rn=Tw1rA(t<$G3 zqwjlfPv#8WU5P>UpdbZ*&BJ-Oc;v=pkqeA6s8qWCG~qCd;R37Yyjh{qYz!A01mr&= zEJw1<^kPsS%c|vK7=X&^j~W^bVQLV_z*p@`vrw>(kYs2cBT**}Pws9-_}bbG6$baD zk+nsxHf4_7^UC`+c-igx3kynx^{X4lFZj!&99!03gf@K-uN&Ct=Meq@N)gmnxj!vQ z?*#0^4yHfV1`n}oK=4$O4H__ug`IcJU`_MscjsPQ&Q{zHApk4)>askepVMIYC zpkBkmUaAtz){GGz2&1p zIO%QO`p5!AQ(Sd6m72lt_G}vgdicx~M*Z~LY*v0=ChJqsD~XGPg+9mcZ=TC>v_a3X zJsG2`X&537g^zLSvKXj8jDoQ>Re+F3%%W=;UdS2Q$9SVI#%Gc6m@y?L zgdj{nhe@zHlt?`g3VUtG&P&`Aq^(%#E=gTu&up*jo*SgVhTd-Zrhnq& z6`C=GJ&y^4MMG$`RJ6#G2;(<-%3Vg1L2VMd^l7CMc4oo6 zXYJfqbTMC}_32F01m)Nxq(gZ|Rtop$zsX{e9(v`@DzxUvCfYW=&EwIl#^$}1MP8~; zy|ktc$bD*+37=Hwr2h3=vHkRhg^)wLgR`+6O*RK* ztQkJiu9H}CR-hGQqIZX30C$@Y>Hku73+!*DHskG2R02$8H zOhM}HCjhJlRHIz&i{~+)p!fh|4js=wnW)xcpvT&A9qoE+F=?i^K-@lCK-U)+G;hy$ z1AlJf-@W=TZ%jgpbpe}zf$r0Ck=D{h3>Xadl{zWzQq)mv6s<)NKcd$2}&K~4P zaT(5r)evr*L5`eTeT1c-$rC#!?J9Y>%Uobhd8O<1^?errw0{ChNlAI9m@+;&S?l}Y zlLrq6v?u7uqnUA?&B>-g8~n92Pay(N+hV>m=XGE%2V6e0;LDxG@%-ud@oINsWkwS4 zO>Joh*7@RRgMSz;5d0FTCIcCtMO&`0% zM<56|99NH_E-vrG0G<&rBO%yvC|x8hdu?OGnnH%6&@&ewT#__05oZ;|>zw=j6&^|2 zD&bG1oQtH%pH*CV#}lMA{G6FafpCEJfEf)`P*`XZh)WsOE%;P(|2sG3RwPSrVYh;3 z_9W>~x7?uWlf1lX2ie4iy3ifQLZyr%qvnY1>B9}IvQGjZsjI#LO zv@k#7UODYeb6`L;Mqn>edZT_CN#VU$?+LXIf~8eVnnLnx-;Ya3$^0L{#j~_|9K1p^ zP|8$Tkkn6&alr^Bv)q+Ge$@X*fbmY(v;uyOPy9A}7VM?e=c(##qIRD=9&Lt%0YOE* zP>uO)LZRen?v*xw6o7kz$+7*mOAX}LN!R~@nXwUTu>{@k#t}A0W(;ss0GxltAxb^W z1cO_|uZ4J7!jdimUe8q?l-CppTT4dka!}Y;XIM(*OGk5$YE*~cf9D0e+E(d~Me0B{ zT8K}8^uUGFz~2AgYAGB`h{jB%xjY#Bl_89WhsSjRrlnv$A|mms>wkdc2VYMIN_sHt z;6Y4tVy^$}%^bUJ7`q=sHs+g5zdt-vA$n);4?J=71@U0V_0er4YWQGh~J&x;Qa$WQ^jVX`KKjn+4^ z9(QL?^H>cgf0xk4icx4s-f6l#du8Q!Gz~I>e1>m|2!^IjOqwVEc+u*gCZ`)=QDUV9rKNRV zp8Xu|XB~2HmYEoiR=F5rPzQYIF~^{oC`Wnpl-#^sG`R6Cg+=g>T2oqDQ;CU(ow0vE zmsdlVuZ{!XDUo+9n#CGJ%#xIpG&KiiYxM4KH`6M#$%n4)S{9p6CEpqjr9ZpAzQ4Wo zW2QH-c-v>xGV`>9tARx#v6CGWf==^c#cyy6feW|d;fVlVSXdR3!8^M<*<^eNi}j9t zAcbT#PSdWf(NX^fR;lhlShTSq;BE;9=*4gx<52xR^K0wtPv{nK-M-BQKy{=9xG{&%3H-;o+u6ep7EYm%DQ?NB2n1s5{tgz5JwYL?9rY9_ zP#YQGQ%+$wRw;##MjJi$NR~NI1i2?RS-OA+?=;t8WyQuJ9c}cy{5F(-dSN%)pRrOF?)~6rvQ~o${$;6_K}HSol?<xdTRawd+}}-CUio@BVy48MA@#-CkAjW~IhH+0 zTew*JSP25DR?hehFeVzRykcN@{zXC#!tKENPZ;%BJ5S!dTqUL)F-KNNwgRU>8}%0= z7`Fr8J1XS~?l|er!zm5TQzTD@a)LQ2NIGJN81v?0PvCaf(1C%4V!F!02fJ@#@ZTBz zo2krpsb*K)z`$tjPm8-dFo}WpZwOAF1&SUIQX@jE1HyjGh;?P=+umOz8R1J#gIgUB zZh!qTZukcNobbeoreFQ-CvTR}|Koj{0^ewQ!R{?L819(0bDr_g?duS{U1V@~?beuT zNjc2L&xk14tsKfPvOc-z09mG#T6xIHmCept!eDo^H5vWs-k+4<)207u7{0RYQ@^*8 z9vkb|l5c$()-b+$Wqr#aQvJHFj;KodCi(Z?M1uHkyDlLbrA6gWMzjCYgVi8ik!#ym ziyO(TcL^1w+D?~$r#CUyI+8F^QSd;1L&Pty#lMNmie_263ln~(&{Tyga`k(5y;g!@ zwyS6=YVv5F$H$#5R<1Xm@Aj27d?IfQ-+o*rgW{T+iZEDn_8&kdVW7r|i@!ki^7m8r z!kqBJ)AS4czMqG#s-8}jHDvp8){F``2bJj7P-a30Z@Ss`4`YOGO~Kpby`s^P zB9~TV?}ofcmt!>7UB7?g6N;AqCm^v{=NT71BmK*DKlOujJh=qR@mozX39Q7sdjiOp zIC@95`w4DI)m%6I7<0%lxSgFqk*i?aTU3A?8*nu+y)V=u9{Yt<;83st!79qxzxZSg z(WgFTWD2AG9tW=IFoJd+DpO)amA{kLG2{$aYblH~djYB~LmVY&G2Que9+r8X6MZ0f zvb>&r70yxXEyrzJU_13d7!B$E z;N?|WSE(N)G5-rG+^`0cMUWSK~yYVodmfzhA zxG~eufo-uJvD$29IuDg=8wJjzWibY>zcKg4ER})8ArOKj?ngDY`9T$AcqCnv=f)Qu z1Xg|H-O|BtLplAhCN6%AG^3t@iRh=d-sQpz@Lxq`1-Wgz}xa4-g($w{eL}WcyCeu8zUr-vIPuJr z^-A+OP$u-3&AL!;pKEagIcWLEOkW)uF#C_`m`S)EYADv%L!q^rUR1J-0rCf=_%mnS z!M(BO9V;k))Tv<%`Bras|M9zS;wX(BYkaMiUQIm}D~Dc|^Ed`Ev`!fP#~jBpqp~Ok zS8$(WQu5q83(k(A8@HsMyP7-v-y#6)NE?R6nPio!)Lyq-_kT zxYGRJ)0qRdgS!JJkYB}S8qc3YbU#K6F{D=(DF*$a*8Of=e*+FT%>l&quEAUnKb{(S z7q*nrxXgC&aJ26PBJmtLu|Wsol6lNtd%fp;B8js2c%_T+5AOR$&y0q3HY1u_y)Xow ze|CQES>VB~y1JYXG5_wgDq=ddl-MuP)W9I>ZQ6p>Jq!!{*m|5uR-awZo5EHepo-#Nn& zF1`y4a;foRZ^Q|&kPJ1h5Y2SpN{*|Z&ecLbncIODp@3q zcIQZ#2WVLX;SMKU58C8aL62ikpTMC?!WRoKN(koc7ZZRnqm3ETk^;miH6W0U1Bsy5 z)$m_FVGPhJ(GoW}VU3ZGg%TZ<5tk+cy*kQj4}O5MfWjM%X5XMbIJW&a7eFo{ip&WJ z(I-?|wFetE9C&hcGs>qoP2O5>9sM2atp&B!RF#P-DR~qnJ5zC^o|_-f^hn7Pk%I&5HY+*W6;g7Y`fa?O-M<8lColiiDU zc155nOw4B`R8cbcf|Z4W1REU#BXFT{^Vw5Tk4r^{wJPBiHp{mnn7>V}yT#`vQCyQa zm(CKdY;423O&sU#-V?#81n_>AL`+VAZESLcTr|8d7ygpjCw*Rx7%Y3Yb=Gu$v#Ztb z?tBWLYQ5^!1HF+`d-LjfaC@`o<-u6KGC%poraeg>{LM&U$Qs*A3vFB>ycpWQ>OVJR zMidozxyQKODB_Jtf{bGTSplFS1w6p&13t_B28I;)EC=8i;Pbl|fU;+&@WUa(Hn@61 zflVo#Bf{vg$7_ti;}tC`{Dj%Cu$pV4XkM=X2#rZhT5(#&K@*ZHr;xWsEcn4+W=L4n&w z-7aW3)j0Mj z+B`Ap4`@A@e?05cOF~5YSuTU;4gYel#XZ6Z6V#^pa0(p3Q0DtF$_|B;xm_g61Ck@@ ztM7mAb33F70`1!ChP$M^j`pKny2b$ zTW|UTDoj$gF=F~V*=-+tCn5(U*bwOv31e}l>7wbm%!w3+Nnr2)c_DP)z&Q1eU7;`F z{qqfNtB}R4(p?0rRZ8R>8;SJF(EM*v7*mjlq1`i(HnJ*Kif`l8;erGo{b?KNh4i9|0XA|*J-WM~ppwE@_Ki>TO`g%DbPm&8mG5nNLvArk4+&iAGf{_;Lxb_nt zkty4cu)E)pIT)%T#2hpE)@n%%R^+1X`9_N zJC3mi!+<)A(iA}@^$CRvv=tIDFC$0la#`}b_Yf^jERe>)E76@$WykQOqhDwBd4(6; z$8%rON_)aWtUfW{ci3!1xgXq@{MV#Ne8{>j<>Dlgsur$MvA3GVZI-O^hAGMmMw_6& zf#p6>jF~;Bf@-Rw`c(}I+DzJ=0yItw`edUq(1AR&S7Q#ts?T`_R0wqWCtwuZiZQe( z;(VCpdloj=5z^$r`|1Zi*Em`i%Gc8HP7vs#`Ks|el*?DY>Hxu!h}HkfCZqHT$m{;R zZZ>KB5cDQe@W*yV5*ldfVD`P&_)(}LOQgoK#@jr=W@HgMP?v|!}*73azc%IPB{J6BE$2Y_9_my@mGss51^auz@ z`&}mQ*h>6X`mEJOP95QVGx0US3;g%q@p|epkAFeO# z`qJ-_;X+C%SKTK)&XXwmEjxjY0GF-z5Sv#4`SOY8Zm_V=_1zpLVzXh4vbDO^ra0SF z9#s3`T953#kJGleUo+c4)8`2n5}wT(ovg+Cq%8Z%qs`h9l@|{<9j*^8RX6TRVAXK z1qFA{m0TDEO4WyrD)_6RHo(fpCsrI4 zHDQ`Re2?31nNl1VlmYVMbag>@r|mU?-6zXydSw(PfTM8%!~D{rI||ITu_X99(@S&4 znUK^Z;-NE;3uJ^W#GqGZO%uNUtvUC^s0&7XuBGXHw#^0l7jmtQ_5jE;{Kx1>(*0eK zAL(%r@p}cBDok_VcLZkAF)F}@0=iv8kb<>eLKI|_nHzUJ{*lv!XmTh@UaH-WOf7nF z0$>f%1m)E6JP}w8J5zWjS0VgE#e04fdNZb>$u+0io!5b)IMyj$cNNVL!LoQKNUF1y zJp#J#GaAKbj=&r{AmM*Q1=`uo$-4qvJm4d4%?V2s*HeBas(s&_2j|lhj98uU@8>7I zr^v#>+RY!&qI}Rmi4bQWL(Pe>!PadFpvuMHoNeDR^haTepvU4|9~*v4>gD*{sdTC# zooU4PIQ5d3Eml{HF&aa&f++V2yNL0fhsKi=FCue_AjrEFbdwx>OT1buj~|r@Lysfp|NI6obZvcoyCP+>FT^;dCpi}WaACiGurLAGa7eGp zA^N^b%x_*26PvMwohk%!3BWWKg$D8wJHLe+RIY)=EI#vScx}Z2`{=N)n22+~j_N#8 zMsB1ArsUy}>QBdmIcR3KObFg!X9lW1X;H6=?TYO4M?qH-KJEZQ^9~D$8i&L3Ztd*E zdGZ%ht81m9MG@TXqhA8E&QnW1U;m7VH;~m?7Hm^8}2($@E523potwuL~ zup!^m^C@(~XOUtpiN+w&)WX7-rFl1AVMFwQr=+j)8VP;_HZ$H6ACCR8f)U>D8P?<3 zGh!)>r%LwP1bH#x1th!&8GjckS*kz*%x0g)cVxb*__?a+!yo#NZthWC2CC4@Ez@&e z&dSk?MIut;y9jU?eij!O|NJ>pZE0$nV@y(^UCe7@nKD^rF;q;Xp);4nyV}p#X|3=3 z_s640R+{?wZ#$e@5l~s+=v-Wg^r=D4>ETVXOXO9%lvhN?HS#;)3>r2pE-1L)DUt*l z!%<<`^&`;9&eM|~Xbid>U`%yxEg7FmDATk+NcQZ%uOE|NZY^3l&G+{9s^&;jhDUNkTQAIh#+^)dcn%D~POx(EyyNBPEvX3zechTWqLDt^ z9-~)?TD-d3VtWUXz9BS~C;fKAuYB_336xF!c`|=_)9^$kDbYje8;UbLeyC zZ+U;12`K?!`}?-m znytxoug$JSen{9YI8ML?Cvu3ak`fP9J{#e-YY)Pz&}JrrM^K3wj8!Y9@`mCZ@t}L+ zrl>GXN_2gF8`usf{(dt#hg@`XKFpFl2OpLTP zZUW+%@8Cr>Vbr?_|Iz2an>n0GRq~@L9AaL~NtH7T#@@${u#2lMyHZjvpqTB`^z1Ljo)FJUJu(Fv40eqCPN+VX1+es+nYm@SzM{D+V*eRvX&+eJr(1&$LTW%}jwaaJ2B^x^ya=vDdpmZVJYKLr}PP?wZ=&pB44RjxI(d}O@fWG8F!7zaaeOQHoo zF*;)u(R=?ZikISQu2B=Te94smebiw%Gd%`1BI5nsC^j(=m@5Lr67VWf6s8=lb6AX% z^Hw68Yt-ZOl_v$<0e-;6k`l5C3mq3u4SgGm&_FjA`!1t$-hm(J@Z|QWWTQqkwD|Vs zT+iD41)G=>5;ukH^bbQ&EDbBFM((4mXMS+4rAMf=S$WzUZe8$Ak;RerJOLg#B#nYe4~j zlh^gb!L;fNkcj674#{VQH_LD-4X-+K5V_#E3S>bA0*RvXykO=(Y>M?ciH${Gtdp54 zU?=g~y>63ZeS)ZFHE=m@NQ8KmCN|TP236z~c9A(8+|4z{7Z#!iw%p%EF*0NJR(`3& zBYRzqg1%E&M7H9H)gDDQhdg@$zG_>`x_fZ7^i?XcK+x82W($3UtS!ZJVXl7t{d+YS zr&W-x3yT?|EzwxIo5@(!&^-$1=@UaoM`NEBDv-5Jj!cwvB&A&k z2Q4}F{gw>9K6Ip~J&169+9c1;O3A^YxqdMbEp1BG-74Bx_mwVU8&zu(SXCJwF0P7- z3Ng7rfYalmp9_;8T5!KLBCV-doERzm6S<8arX=zse~GR0b<5)MP?@t0*H{8~eqEix zJh7qsZY6x^JV_(5rS%VcxGQz^6$YE;?cFNCru6*E!9r|w+S#3 zLpb$2T`O~{vEVBno*ng}gT;!|=RR??KeOH*tKXTT6DcH*2QMiPKshV72DV*#?Oqp0 zVvgNkTaNjkvwf7Jb`;Fn6>Q1cFwDDH#|lqUdNFiD666SM6?6Rc;X%&{AJ;1r?Q-2H zY49J6t!!@$+F3pl+tdR=!88-MAY&)&=5Z{sivz;%!auL79h`^qYKz-XB$ zqPjo-V-PP~>m%vAO$|*R(Po#+sipCNhQG*;7vQE?+_4{){z&-t#rQdc(@c;BNnZSw zy~AA~lS@INsM+Vg9mmbr!1ZiKpQbH3DlZg&Z?$db!W?@|E>ymJyNx1~F&ax%V2t2& z!pQp?NwdIQeHFdE*p$L5+|F({)UbJGp=yTUA2=rli%14X4Ni;c9;l3-Fp9YXnE>t8 z_)R<6;OdU3$lZcSDmg}qA+ATC*q~Jp;6nnuV%uB)^^$GEG}we*b797^c$srRf;Y}C z^gF@iP{-M7s{w^LV-lhNe*H0QuK134$@8!|kF?{_qeekd#7a5;;I6c11i0OjCUXi; zWH-b?ZAh!fqa`2K7k^b0s2UQNIfP7&OG72cFf}K*6{m6vap960T-lCRJ96FW!Y)yC z_MZ*c8qND|hEfQrROc@e>JY5hp4MM{Ub!s&vS$FAO-xP1^Ynw&c)edK5|gF?gCxlR z!RN}w=lbAKiP9!Q57-ASVSmnb!Kp77-~kNB-w#E<1Y{e^ zqwABdc9DJ@2xL|ZYpGRG>24)6)8no{ONTh9Pk$M)lVAo(ywyqYJd1%Y2;5Ao=2&y@ z4>TTFyR8r&dwr06C3g~y-lRjgp|1c`F-GaCs_3a^9umt5$dJ(rTH_CWb zg*QtBL&EyOTe9iR-Wa!Hf_XbTsEz%XsZIin0+W5u(OZmi$#?jTcC$y{#r~n#^;-S@ zT$CZAT2xGT_|@&kpirIdlBmyU?kW*;L9nHb_JI`z49Eq)h_#t4KE|60@l!>SCcI+n zc@xnLSNH0@xJ7-Hykl=B#5l6Ef?M^aSS$78jPl@#QI$Xy6v}=*lfnQDji%+J{Pwzdv@HydTo?EFb3ZKyZ@=ZTD^k zq^Ef5g+g84iJd^ z2-WT5>|uxC52)1eTc)4|5a~{;^0c!YrhVHmyb;h#K;N1sv~gJ`#eD zO5rhaCVbnz(wK_hq$$MF_sjL%kh3`uGI9}KVxF%W$gq6(lF|>W06jxrNaxqW{ml+@6`&n-JBjmb-1(I2D z1i2vtFy1wvsuk%TXc9MLWD!!(VqvNilEng>No*G3;BKcxgW#PI=Cj!>{7qT3@MYsdsie&yS%_$_H(qSf;!s z?XqgWVDf3GeOqXAtjtG&0?O&qWQu7uD8WKvN;XuSs0|4BkcuqO$!wCsk zl=SFOEg1co*xknLgV{dagYid~d_}O}*bPGai6n?}%EW^Lw1uD?+ufnoy%e8?jpvZ@ ziQZjrE)cA*IS*k`y6Vs0{(QW3f2?wg(}X6mPfKh3B3_~nar3R)(lg1xKYHm2%E=$8 zwGf>iz(h^{#`cOe4x55|B_%8>%R0rSo)sGul(*_%8ki>}=IVTQcNx{ON_??513X_A zoJ?utW<&-zqtDuN@knSzayc~+=74?}6yQ6ltBWd>4lK03+V#;%7)pQ5hq*9(wu1(l zGWH!c{J=(XZZ+U(h^sn|n|GmR@vEwZ9AAv8(l;LIIUGO1Nimu(yt*JuU zUl6v}##@_J=oH)ittqmXT_Cfv(g{g;*U8nmyS&18alSjnruB|P!KQqFZr1lBH#R8= z<*4BchL@l%U8A9vK;>p#gI6)E$m1=2vMmr0r>SNHa?`N*&X*wQbjA$V)+FikB2Z#b zlar4x=%Y;D>Cs|7y02wiX}WH1?)O2m`OE21{F__%_DH&-C2j8ATXLO5qDSMz?w>FQ z1C0P*I{Gv{yr39%zn_4KFfvoSyL{0c-A8{xt*U?0ua&=WI~Bj%it1=#phltAqg z2NR{IP_Q(RwFg{72H4p-ET6xe_848|WTM=;Fer=rV77)S{}ZPI#?j?NQHzm&mRlZF zc9G8FjC7Xm`o5NoO=Q2%;nHE@UNKc~Q(8-3CO$zHWW;Q}lR7N2Il9I?EFsIosaHiO zmtEJKe-QN4ZT6TpjSur%F6LW1fjlf}D_sc_R-%qr*2AK@T&ucY=@3D(N*+e<3AqD@ z=_MbqFJ31fl{fTkYveAy6$fOH^x1SN<1Ec-OtAp&+iY@GUNY{2XLh=BZ`)qSPs)^a zw_H)0Ad3fL#tUHK@NA=YaBP;k^cl^GZZMxC);#Co2}EKOD;scIwSi;NhGlq&PSL~V zheVIhFI~e)dFlu36yy(J6#_RS)mvTEfnV~^%eB`RlsIzT<`t^sHknr&!G!wN!*~mH z81iaHV|c_|M{O~2@-EZ~^UWFD;c?^?HeDt$i7(~)z;x{8W;bWsAQksc5kv3uiEu`B zyiM1G_b=KH1S^t);uI-of*c$L!x$uZVdf+6Zx|@&95HA5V_AtX zo&y(Yh7asD)ra4UWS;slGwE{k7Szwd9~!yP-{sMFBSKJ`;hu2^w9f_ql8n*`HJXHu zFouhi6UUMVn%h{MR`kzwV)Xhr3cOcAFes9p$w~-IU*e65C?3+Mir@5dR30TzCO@ky zIRKa;R~SKwJxo_x( z!%(ZoLa=S{>WaE>8}Sxn4x8!K(CMyE=e+xfpPPP(P590+xlVG>d|6Ijd&?&VR$5*e zQ)Y~qNO&yem;+<1Q;0X+aAn){7gUNIPx1iE^HKT9eX9iq3>TaQ%@caJzb#0-zI@Q# z&3RGN>TwJqUre9nFVPiGLlgz#(FMJKHiLPd9Fhv4)ovbWQy=HbtUA|k%zuej3){NO zGsR{+AhoqEm{NnO!mUN;-Cuz~)X^czqb&=bTS@lU4HcYN`|`vrbz^%^$Q_ylq%W1Y z&ifZ=WoA+K-Vqa4xZyK3Y;X}i!a`qF zPlpNG7U4yX7MRLjZmqa?f1_C0pmrMk^2=svp10zx-v0Wn@K{b1uQ+zlOCVfbl4mjP zb}*3k<~m>Z{2}{9Xid1OV?NIriqF zp{>JkRSpH@wGP1?B^xY~mF9osU@uxan5@boxt%1ozp04d56t4Qedo3A|FasejRlg* zvA!Pk_Pt-WnIQ)5d{&FwS-kZHG5vkhvhwAOLW-4zy_~Ch`Rb?fPjLwe3HCg_eSJWV zcmJFwqaozKoM`l)b#sM#{3aq z(WVU>ngMTS3HOZ+O%5Mp?%2!Tp~Sl6 z&?Vg`1a=dfBXPD}EziYshmU(nX>@)`DI$$f-fA@9K;v&y$c!P~>fOM?wgjSSxkP}p zCd2UZw55Y0X>xk9p2bynV<3#83csQiZ*sNgBe}7g;mU>oC8E+YzMIcAAHynY{mSlR zqaE{#cc@;ZOBOs*?+Kqp<1*BrVyxdq%glAedNnPf>NjUJaT#a#rOBLf9(=Sq`WyFz zDU|K)!q}NlB@56KbuK`B-lc6Ta)|~T)a3j&U*CjB4Aq;@l~i7yKCG2rOSM{F3RKdQ3E;;f%B^8xiI)gR?oCezmPWi@Am+L z#vD^M2C~UWf~+9Gct5%no&cSG%&-ai_rDb@m8N~YXZxN!r5G}&7ptN6t8vP+e`l)m zb%9fRpabhnt*NJGl&ihBg>~tGanh$>NIX|t&K3*$RrutrZPm&+pJbjFU5m+pQ_LV4 z#Mbn0vBHV=+Y;0;6X2|Bw1OqHDprqad1j=ZQd6tO?7I1<$PpHY)qdWbi|cmhy!fqQ zB;KPy7_3DML`7P|w5($4zRi1YgUjBRDlrBI%Ei+I=(6FY7rqNs_-|J! z(?S*8FL^y#F-)W0E5m0N657 zq)(Vk5@{D&I*5mmbA>RWqnt-mL=-SZ7JGMUYlq^=k#M_Ocp1sN1xM-FwjMU9z^b{{ z8uSx?VgMh}g;(VZ?p6uTfE(A%GjRT;(3n%@|JB&H|1#Av11oaHb@SqEpzQf5x2R8zH|_ngYGOYkTsE`lDY-y-6LzETyVq0b~2~UM2%$?Dqvlv`51K%<ZWy8jEw6dLJ4AtJe=ZJ^5wokQ$)=?mTPlxnA6vC3SAx zqx%u~8~V(BV0Fb0gmD$lQq1vRvjteA-^0t7HC0bPUwutgT$y>l`Tqqm-rJNf6Md=kT~B7Py0TmKd4ISYYL_+!!p?g zziZ1KwvIT9)lmHZO`ZbR|CgD!|MkxWC*OuSz4x4+*;~{1 zfTD?`f0CEO-bv=RwJSdjc_}0QAe^l}fK^#+UPk-)!q`CNoyw7b5KOAS#rx*CK2|^V z=1Mkp9Uk=5EU@rCCSK(I!=@Lu=QVC){h7o^UKcomtCRJb=u=OV8T5>|?`{}rY|VRl z4A0Iq`}*i_Xo>hgW%`yhRwyR0ji{IOFf(aK?Jj=P20pqJfcB_MHs<8Xw&WjpbisT! z6b-xwG&$#YCMv|`W$e=*rxX?OULjw>*}#Ob8J~OrF)FzkjGP~3<;jXA&*PQny9t58 zk7Lw|w)S>c&iQ4m5@!@_W~3?X5vc+wJdpYG`R;e*6b0^|84O&>A(aG!>Z~ ziWcbDTjJ!MP_dAXihc|9-bo}9#6WpRm>6bVY_WfF^xg|Qk|uh@ zV(Wc+m`d^|UZ)$~ukKm>2Vm^*a^inidn7$SU09#Z3RI;NA^}>50YZ-<0G`(u&!iip z_m?2spIM}C)CZ?sC?dwB!TsA@VEYAoe1Xl}3{|ZE_1b);f((&_0i237wdxyF{~bX==x$d) z4Z~%QBk~9HQj#ZJO4_rtadB&x zKaFP-7dR0%L@jF6ke=Lz&u9fDc+CkU!e8<60IrXax6K5)~PUL?rsIaqEIJyj&Qk5T| zJ4{DVf#m}@2q)g2H@;5BE^1 zN6t-aQ*%A;z zD!w+4KBk)2Ho;gxs}&hhuE!YxxB~FMg7?;nGjYFnCOYKLa7H}YwjCbq-+F(I%{%!>S%~1Mpedq|`Ok+U147_?;KS?rH=!!`jzE8AH6h*>l$}1oS0@1w#DB5w70e9?88+TrDptrI6Sk>7vfXGD>+1WUw^P@85G)4*aRR zQy(!?>>Jk@Q1se%3ee(^6a6|jN5AkR`M6S!si|o{-iWF*eQ~h?e>I+8(oYSl7 zxbvmaF(oEv##d6e%rCJpLo;Q--qzOEh+SnLSBjzET3Gt@TxQ%?r^C11NHl%4%t=cd zy+|`Va&bZE$O&ZhL8(q1>HQ7Be&osQWZRAGu3<-p0j?<1w*32tCtC|+dRA6e4U2V) z%(}XbjSYuf$kCWjon7hs>g($l7Z>SlZHf7WKUZREJ)M2UD;EWJjgp=xXz&HDj;1wl z>Hy-zmI#@A+OR^7&w+92qyWdn^RS~B?@vap7D4r9XQ8}Rdp1tla62F1Ww=gc(-uao zbc^W)+_DSn?jd(vHOKzP#glTH1_n)KWjq5KOH^RKhry8U!4}~=Y$CD-0FJ^WKJr9( zmwNp#gI2AfYH{4f>pC-`S3=8=f!~mk3X}|&?kY8SuNq7y3%kPSiI2Fe_d0br%A+9S zUD`}-Wk;o6Q@G(t%Ou@w$F{5os?2~|=V8bT$I{iT(yKy;8H*!PSJ6H$=~ z&4FjAU&S6O-)zlx#?K9?&xFeCzqY=%<_`8yYjz(^tOer+eIpri+}{0*yddzdH!v7u zPfvb}`Cw1?czDfTd`WHezSk`t>!bKf9y{gk!c9sG)1!*bmPTNROY;jeLO}I=b;q};{>D~CMyA1dtn+0kDb2C8t2~0INe$ynrt%S0x>^Q zr}H}A#I*-AgOw8(V({ndb2Ul*1POxX&2hZ!^^8`H*S5Vf9w$I^7ZLPB6TAar1&T_e z%{efpqcJ}#bbNAha(LK1I9N5yuExy}Dk>RdTkz@q&EMD^1wjV{1I7&isw3Ekhpenr zZ@hLN0*3+bH^Mg z!>d=}n(vV5=302a&Q2HLh-_?Za5$We4R4~?)xlgL&m<^lvs~U^{*thS&g9hk`Z_xq z?Mtd|>lyFj^$GBN`R0w}wH}&2zPd$R81Vuti~ZPBkLDmoluyObe~iwp)9^T$O2T=oVj?O9af!X%-3ZuzVcR7!oVXP}hJzqGe0B}JhX2&!7%GGprI{TT_<}m~9Td(TJJe|HUQMIW+R9!7az88;1bJ)skC|0}s}rPw+YN_2 z(LenYY}8ysMvQxcM=}zlqWoY6?R+E}_FOOfsGR8M4N#7K&u7EH%ehQPF;EG0vPD6q zo;V&?V}k}07z#OiG>*>eJAgL=V^7J6zyXe+(2wKo={b+f@NATlj0f1L$z6MNax$D9 z*zr-4$Uox&j_6NM7yl-k^97-FV;~cGzPGpKF=|62(jmZCTmG8eL%&hN(=q{s?{82qmfPpcCNEkWZxxsZGkFPQlIREMYxVVWN(S-IP-Y&T(}!_fi`)jFT;in z&d02DVPPKvct9b3QZKIS=3RDI%!wA@J#2An7l{3Tw2ui zovWoPPhb)!cx6RTRFQ6~K}u1o!eLPAg{jWN+MY99pV8VE!4+u9_Uy<7*MNo1&1vD; zr(K6H$Bv>F&c!X1Vx66{8jwtFx6dzUx)P0d?~h82@6@o^k!o48t_$BzJ(yP?l+2PJ z0}W|KP_jyI?o`wD)tSu{w>_F!H>tS2hCDhJ!OZ%zZ>XPr(7+&Xmbai;C438v3amgK z7(uz*(|QXPDRG0zBQL8PI2{HP&~krfjrVbHoc#f2=XHHoyLDc>Z@;36T42Q*rn;L~ z)E~fL;gB4!^wX(`C{kj9n_#b!>}B!TDzauPOb~ZY?EyS;!C2Luha=lMuP#4KBjZ;p zcLfCkyMH7@{6Dr>2}5tOulAw_N>vgl#0zm@fhD6{5j}nMzPN*GX!X&s5tB41 zj7c(fM%)c~IYOw7hePk|7KxbaU;Mj zrs6cG>V00hIn9V?6+eT%Pm^*G)om%Ulz2{=o;M32=Qw-xo|4&pI-j6a%XEwnIy&}@ z-a>vLYD6;gsMH0SXZj+X7k%v!QklB3qUYLoItx$i3Tg-4jr|O0pDL3Znkp>Mewlnu zsqdK3Q$wL+v}yKGC!kYah+qO(AeOLx=mMtDCtX=-whR)LLpELh0FZZceyq zYfIq{M~-nS{1+`6CMMP(|Hx_dsD};YQdytZfV0c}Yk&92*cKVQrzQFD06#R!&92cF GOZ*=bM{i32 literal 0 HcmV?d00001 diff --git a/documentation/current/eiffelstudio/_images/AutoTest_Interface_annotated_01.png.data b/documentation/current/eiffelstudio/_images/AutoTest_Interface_annotated_01.png.data new file mode 100644 index 00000000..07338a43 --- /dev/null +++ b/documentation/current/eiffelstudio/_images/AutoTest_Interface_annotated_01.png.data @@ -0,0 +1,3 @@ +title=AutoTest interface annotated 01 +author=halw +path=content/autotest-interface-annotated-01 diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/eiffelstudio-6-compiler-history/major-changes-between-ise-eiffel-64-and-ise-eiffel-65.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/eiffelstudio-6-compiler-history/major-changes-between-ise-eiffel-64-and-ise-eiffel-65.wiki index 4dca389e..5b26a258 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/eiffelstudio-6-compiler-history/major-changes-between-ise-eiffel-64-and-ise-eiffel-65.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/eiffelstudio-6-compiler-history/major-changes-between-ise-eiffel-64-and-ise-eiffel-65.wiki @@ -5,24 +5,43 @@ ==What's new== {{seealso|[[Differences between standard ECMA-367 and Eiffel Software implementation|Differences between standard ECMA-367 and Eiffel Software implementation]] }} *Added support for transient attribute. A transient attribute is an attribute which is not stored at runtime and for which its absence in the retrieval system has no effect. Only implemented for C based storable. +* New loop constructs implementation per a draft specification of the next ECMA standard. Although the compiler support the new construct, the library counterpart was not included in this release. It will be available as a separate download a few weeks after the 6.5 release. ==Improvements== +No major improvements in 6.5 as this release was mostly focused on quality improvements. ==Changes== +* All the void-safe project configuration files have been removed from the non-experimental version. The rationale is that the usage of ARRAY and SPECIAL would not be void-safe and you need to switch to the experimental version to ensure complete void-safety. ==Bug fixes== ===Language issues=== +* Ensured that code generation in .NET mode with experimental compiler worked properly. The current limitation is that manifest type instances are not unique unlike their classic counterpart and that {ANY}.generating_type cannot be applied on .NET types. ===Compiler issues=== +* Fixed eweasel test#incr313, test#incr317 and test#incr318 where removal of a convert clause was not taken into account by the compiler. +* Fixed eweasel test#svalid022 where conversion to a target of a detachable type was not accepted, and also now the compiler will verify that the source of the conversion is always attached. Ensured that the source or the target type mentioned in a convert clause is attached. +* Fixed eweasel test#svalid024 where using an inspect clause with static constant access would failed to compile in a descendant class when `full class checking' is enabled. +* Fixed eweasel test#term156 and test#svalid025 where compiler would crash while compiling code that needs to be regenerated in descendant classes (e.g. code from precondition) involving anchors or formal generic parameters. +* Supported tracking changes made to a shared library definition file to trigger freeze automatically when there are any modifications to this file. +* Fixed bug on Unix platforms where spaces in project/installation paths failed to create the necessary symbolic links, when using precompiles. +* Fixed eweasel test#final083 where compiler would crash when inlining certain type of code involving generic classes. + ===Runtime/code generation issues=== +* Fixed eweasel test#final086 where an object test could evaluate more than once the expression. * Fixed bug#13969 where an Eiffel generated DLL trying to print something to the console would cause a crash * Fixed bug#15553 where querying {FILE}.is_socket and some other file properties would not work properly on some Unix platforms (Solaris in particular). * Fixed bug#13852 and bug#13816 where allocating large arrays would cause a memory corruption. * Improved runtime protection of certain routines if a signal is delivered to avoid either corruption or memory leak (Fixes bug#13851, bug#13842, bug#13849, bug#13850 and bug#13840). +* Fixed bug#15241 where finalizing with assertions enabled would cause a C compilation error when freezing later in the same EiffelStudio session. +* Fixed a bug in CECIL macros which would cause a segmentation violation on some platforms at the first GC cycle. +* Fixed creation of manifest array with an attached actual generic parameter to not throw a precondition violation in void-safe mode. +* Fixed eweasel test#array006 where creating a manifest array would trigger an unjustified invariant violation. +* Fixed eweasel test#final084 where compiler would generate incorrect type at run-time causing some memory corruption or a general failure. ===Store/Retrieve issues=== - +* Fixed bug#16395 and eweasel test#store026 to avoid mismatch if the metadata stored in `eskelet' is simplified or not (i.e. for class A[G] feature g: B[G], and then having A [INTEGER] could either describe `g' as either `B[G]' or `B[INTEGER]', even though different they are the same type and should not yield a mismatch). +* Fixed eweasel test#store028 where retrieving an object whose type involves a TUPLE type without a TUPLE instance could corrupt the retrieval system.