From 5eee87acb9f7bc98d6daec7cd7c73cfd64845b64 Mon Sep 17 00:00:00 2001
From: Josselin <josselin@trailofbits.com>
Date: Sat, 5 Mar 2022 18:41:30 +0100
Subject: [PATCH] Add support for string.concat

Fix #1075
---
 .../core/declarations/solidity_variables.py   |   1 +
 slither/slithir/convert.py                    |  12 ++
 slither/slithir/operations/member.py          |   2 +-
 ...ts_and_global_variables-0.8.12-compact.zip | Bin 10273 -> 9664 bytes
 ...s_and_global_variables-0.8.12-compact.json |   3 +-
 .../units_and_global_variables-0.8.12.sol     | 119 ++++++++++++++++++
 6 files changed, 134 insertions(+), 3 deletions(-)
 create mode 100644 tests/ast-parsing/units_and_global_variables-0.8.12.sol

diff --git a/slither/core/declarations/solidity_variables.py b/slither/core/declarations/solidity_variables.py
index 9ce031499..225644cb3 100644
--- a/slither/core/declarations/solidity_variables.py
+++ b/slither/core/declarations/solidity_variables.py
@@ -71,6 +71,7 @@ SOLIDITY_FUNCTIONS: Dict[str, List[str]] = {
     "abi.encodeWithSelector()": ["bytes"],
     "abi.encodeWithSignature()": ["bytes"],
     "bytes.concat()": ["bytes"],
+    "string.concat()": ["string"],
     # abi.decode returns an a list arbitrary types
     "abi.decode()": [],
     "type(address)": [],
diff --git a/slither/slithir/convert.py b/slither/slithir/convert.py
index a1ebef063..91c7394e9 100644
--- a/slither/slithir/convert.py
+++ b/slither/slithir/convert.py
@@ -944,6 +944,18 @@ def extract_tmp_call(ins: TmpCall, contract: Optional[Contract]):  # pylint: dis
             s.set_expression(ins.expression)
             return s
 
+        if ins.ori.variable_left == ElementaryType("string") and ins.ori.variable_right == Constant(
+            "concat"
+        ):
+            s = SolidityCall(
+                SolidityFunction("string.concat()"),
+                ins.nbr_arguments,
+                ins.lvalue,
+                ins.type_call,
+            )
+            s.set_expression(ins.expression)
+            return s
+
         msgcall = HighLevelCall(
             ins.ori.variable_left,
             ins.ori.variable_right,
diff --git a/slither/slithir/operations/member.py b/slither/slithir/operations/member.py
index c835f58e0..7dca0cf79 100644
--- a/slither/slithir/operations/member.py
+++ b/slither/slithir/operations/member.py
@@ -22,7 +22,7 @@ class Member(OperationWithLValue):
         #         f.h(1);
         #     }
         # }
-        # Can be an ElementaryType because of bytes.concat
+        # Can be an ElementaryType because of bytes.concat, string.concat
         assert is_valid_rvalue(variable_left) or isinstance(
             variable_left,
             (Contract, Enum, Function, CustomError, SolidityImportPlaceHolder, ElementaryType),
diff --git a/tests/ast-parsing/compile/units_and_global_variables-0.8.12-compact.zip b/tests/ast-parsing/compile/units_and_global_variables-0.8.12-compact.zip
index 53f9c93b5768b91d0905d30db2b979710ee51399..0026bf0dc1e53c522f52c87c760c17daf3ff00b0 100644
GIT binary patch
delta 9513
zcmV+^CDz)ZP{2zYP)h>@KL7#%4gma=WmMe<glz64003uj0RT9Y&?h1RFp)lfe-RHO
z&4>tJ7C3TEA=|sp*-%F;TtjCXP6-^SM6sUdrvX9eHN3V;RIN~~rh&ki?{(+mxeY8>
z^?Y>?;^FkRZKw?-qfWD091n9p|I&^tBZ}M6%!YfowbS`|4dTdwFM+jfq&sh~c-N*9
z+ki7qDElAdu53@Xnjw509Bz9Rf0Wl7Z0d5)6DdHD5H1tx*x~Z}tknI6<A#pFpQ!`9
zdef-po+rz)fhB>yEV?3?3G-u;8E@AOId#nOQyhLYFNof6y-|?(uuVUDMRrwzEWe7w
zUDQYiK}ZbP{$n?eS55wE&KMS!c^qGcs$URc$1!;U0(RrU96dknYz+5Tf5q=OZX$pU
zW}G%Cmj$)?s!}2P^~>3Oe@M&)41P*pjbL3$7}I7(PM>DZzCtbAM87A|ghxoNT%Pvm
zv{8Zy7O;2Mv(m1|1ss}c#2zP`8*Ziy2ZGNc5gUR1g=T2NfdK&s!ksxQI~PFdxjd0G
z9fJ~9`;*8MS{mhqq<(csf7e+9Gd<3-De|AzWL66Iv5Z*?G-Tw^Mx`VS#EVqcsThqv
zd2vNO6!BTEjyN{K&LpEDi^=#sHUWgMGOh&2uZWGBM0$tkQBG%7{|UD&TJ4B5mXxgV
z<-e4e=X~H{nJ17x7Z5pm1&j03@I6eo8<xq8dzs9eM_DsKmbiAue-4%afz68hms3sV
za|`{1xki~pCKT@cFyW;<lv*ihQ^pRLW5+A|zP|gzkO=*{Ig{cazW+O#Sjau^jTqcz
zLi@HWUc{-7iRl@(&Z+}y6hZ`9B+g0d=eB}BCm*}<sOWC|y-s(Q-QgZ!)4P^k<2u~j
z1|ee2FOqc)@~PQ7f3DdDBxV0UCDZ+dA~4eaG&G|d45q^$C{Q-1aUQ9{fA_u(qF6?7
z`N5EdQxBVRXZz^sz|=iBDuVm_NI{3Vra59|vk(vX-vNkS<43PAVVQdVr#%v`*$R@+
zIBHRCUX}9_uW8O&4=3;QLv&84(IiVy8UwP^^tHcZ`{#2re}Y$8>zxZrPzU`4#xfxC
zqg#Ik+in%j2|u~`X^l{Lx@WA0z;g{ZQHuLk&&|RBi4O(x`h_2-s&+7pYRKi5xkkwF
zH81h`uVp*^_I#=5DMzeMhvf@}XaN7n1#BaOO=or%F1>caNj;Zyih@73b$?@bvP>G<
z?tP6+*NN|me?!1kH=mF_bVF}`-01y%s->}H-miZKF%O0(dyKG^vlL8k`Z=cszyq>0
zm0MIB4)anrfBeGss$qUfx8s?$kTf(iah#5V`wIm`m_mw1>SB@KGJBQjeZiHnF~YIA
z=aX$3`Il1|Pwq28vz(y5igURlSb$5lKKgMtG>Klde@8=X9__ps5i3+%gY}R)*8FOu
z!DoexAdM|a-Su_7+eI(-M7UcFn#efXbEqa7*I}?S7oO#%U;kan#+_yk9A}}s>Jv(6
zQHet}no89!6yPXlh^JsqE1;PXZx(u}>vep$;`M(2i`zt+oQ<5qh`3vUusmY;3`%t0
z)6n!cf7ANA5+$$xYz~ODXSV;aEMnrmVr@`SYrIM^lxq%+9FVBZthcSXpoqP$S+7c<
zhy^Vs6S<GqDQ94@evciiETCp&ycyh|wM3G$&W_HYXRo}znCSRfreD`LdK6<+_I@g#
zUx8=I#geZhLe**MG|W5{DM5KB3AI<cY*taxf02Jey#RYN4x-QZj$O#i>&CS@VFB3g
z{XqFtS`aaoL`CCMrk>=`^koP2`OxvUauLWpeG|4i#Osbk*q8CipEbRtsc74%A_w@g
zrd0rvbGN|8c#=BAkWz_fA5|_hMU=q^vfpw3hX7c@a65MlM@33O@B81GfwmVKR|R(&
ze_nk$SUPf?9M%{58QI$8r;iMDtxBvnp`a<gh`Q)LTvneH&m4&=KMVmjDHr);nD8LG
zHj4dT#4^Lg0IVA^<B}}()zM%H&P$4xCT2P22`p=V3c}E`Y{vr=2AzU)W$r+t*@83Z
z=n~4#PoXEmlZSNbl#S@ZlM5wA)#AyMe+J2#2k<$f-H8yHj_G&{iC1bE<T%pcYp+l`
zM@KO9l8QN-f2>2?X`8IoR-?P{B)$7Kr97T^;vzpx!v*=?Vx5fIDXsZfrfvJcw=z;`
zWUp4HbjS^c%r#s9QgMNSIYCmUJ$m<?rR7WlY3mh_h~}mHvPFUT*l0`4QNHx;f6m;G
zuP_tkBS5*HpoW_Ehael7#IG=pR81Ow{`xk?tw3TzkXb_ndvJuIYyYX+B%>%&wIRp_
zle|N0EO>+GNalootkyD@+cjtdR}|MauS%z-y2;#|*yKotVVS9~Ch!*mz<zUuj__v4
zLc!F;G?Bj;Xgd_gJm_-rzu=!te=cN3yn&|V2J)cohiTR7-t*-Y^*UMA+vi%sb2pS!
z&Ab`EAsJ$3ZyZ=hzyOJ*vF;%3F!xj`u70>QqfcvbJS}KZ;Z~HHUPq}{8zF?d$**0X
zw3fS+f{mjdM?nHokxU@EtuJ3+LT>`6iwu8@wRUro+hB*YdgvhTk-SWge^zpgm`YWE
z$^K65G~>t-q78*c%RYbK_ocibq^m1X3c@Z!pRG^eKuMp8kEUpxdAn>fj-^#T;^`h+
z(dPuQpg$Sl+Z3_ZD{oW88()nj>vX(+3kxk%Cj@%jOH9;d7>MNvqM+T3JiiCYRx?44
z7Oa_a4H~m17vC*AK0>6ef69x`6Anz*y#?ff<La*%olN1xG}k;u`RAT}es#YZ{dywe
zi*w}7{f8i{_6IZPh#-_rCguwvS*9NQ#T1(E!5~#sHklYM_=2=)g|i{et-&^*&HBn^
zwj|~D<JO{NXMwY~QZP|-|4q2Tf1ZI|N&}Q+;P0yb2sI6U5Ng4ze~_s;eh&x-x=2!~
zi$_wY`}>pypt)cQ<2P9qwGBCHmCX7W)pe+$fv`jLUhfeZzFV12_Dum*5-fQC`y(YB
zDCE?`zg<SzpOu`<U$D9Yw9aJ^ww5g>Vc^#4p#Cbl`0I=tP7Q7uHub%eH%t{$9P8bx
zZdW|Cgzyt=Er!Z;e`X9G$4g6ecvrz?)#|;j$G_i={dXby25%3k(iOSC08Mm%;_N>y
zDbGZKnYHDKT?@h)uwjp7tZT_wCqLf|lZ&YTUnWM)+h!19Rj{$$2yURn;!y~uz2QbR
zKu0vd@g3G&Ne+jqsJ}mi{r<a^5%kbRs=Py@HyXv+{BTqze*n&A=Q@Z?`sBRC<0HPe
zG4Muivku7%Kg&}1-f)h;IWh)Vg_<)%=|lrSNw)cK(&UQYs?~wn=$s|i#TjbuEAPHX
zyPYByT%b9u8?97kw}$ED3t!e#hNyNQ!n(Lzm;v)82O84ZSsKo0K9L~X!~Fbm=yiBi
zaqBxg=BF&nf56Dv<ZkrHNNYXWZ6?R}@l@Eu*M*GOG~t3BASoVf0Et<(;GofPo{<$h
z$8#*ih!`Y*#Hu1M>Jye47c`4`ZV8yDTK9XTwn?BZ0w((WHJI|>SZ}sbvS!^>oP=mv
z&yj$3hpLQXOBo@AH;I~ZTw_9K2<v^f%{;Zdww~OZe?ns8)`3PBlz?zbEh{HJQJaXE
z<zS6>kBoW%azMsd@V4?MxmuY4Vqg^Sxi_!sB1b$NXYyUj=Z3VL`qOHK2k33&-kq*F
zywdoA@s1kc>3<XwvcBulU*MzlD=f&hJb5pUs5=B9k$DfQw8C&?8vh(%Bbi$~{^Opp
zT0LAff9b*PAZXtFg~N2Bgu}+ih6FJ$!m;EgH#foq4n>$19Qv8E<vnJVwy2%8U3b!>
z2}Mr1EB^*s)~%zZe{`G0r>*#-3w<w>$wznvCjvYyOVmq9iqG#1uz9;wvXRI6bz|0y
zpH@~qd}PG%6mA#giL(QiqDUJn{|`S+{948ee>ZKkKd-hA|L`-dR7>2C8H<G5oj%b4
z3mS`9U#qSHow?Tzu#&cN<RtjSfWDd}S8DZHOqvAAG^|6ZM?(X|mVo+Ui|}d|rd$J;
zb9KI{C%n=!FZ|JL#89>)+CcWk(&DU;21)R;SUo;_o{nQq!=0FNFum!eE(Y&~o;n2r
ze`^P$>gPajNDzMXAcgKR=l=8O1<Td;o0#z_T3EJu<E4xY$lolQTp!O3>>Fdz%|rHH
z7;8Ea&$Xiq4|dSVZ}crAC&{c^Cr|SD@Fbn+^EOLMQ5~cpaog4R|Cds|hBbNv8_2-_
zi{IYW%ifgm*ZpmdsIn|R9ICSfhB4-Wf67FaV>^3F5+F27$TIS_TXa5~p@xpEgHys$
zq&^Jf2I1-4Izb%6ftX+Sl2rv2!t|Ye^d*}*EG3X9M1T7vC3dX!bdT}7F%4|@_T!7Z
zIsy3N52AFeAjc!>5-AW6KG9b)tp(R_zA}G<-(8XKa0xZGL_!wtGh5mGmjQGme=ppm
zpY(HF!|M5A&rGpJ>2<@qPnlGm=F%e&B8pW>ikIqVRxF9i8xC(W|NU7QmB+-#OwruB
zVU}wJ(SKROz5ADS(_oq~qs9?oCzhDU1Tt+WrNj8}R50JR|4Mx^9fb@b_v*yi4W*<E
zRu780mQU*c_J101za0wz8TN2%e`WB@LN&#NhdafFda4e>)9NVF1dmV2JCaXfyLEtv
z>(SI8te?;%Ww7beBOAqjF=?U&qbN_8$ot&DNp?dXDQygWwJ=urSD|pvGGV*KhB#Z{
zoiU30)V2NcrKW@*aH{0c&Zx2;HINB`@Wf^(kLpCq@Uk%yC>2yLh<*xTe|711C%@qq
zK@Lgt0Az~E{L11pK!eI`y&5fVSEQ92^@#E3*J5sN7*34mBvc7GUnS$bwcO+rr4)lt
zQz_zQp~EEj@Mu&o+-p9GOVZ?i{XHgupxb-^8C@qAKQ`6in%GWWW{vjw_4#z}#_0Da
zVac=K{qTA@uGv;Tlt?wye{fdj#?j`#MNAs<Pf*;8q+(uTPR#f=^92nWmvO=!6P=9Y
z2y-!($y~{|sqe%F+C{O_2+b7<^^U5ThhQcnyR~0uOz7jy^zAnS`>B0Ni~&MUVH)%~
zzYn_oW+pnj3h1eD=^plAJ;aU!n!y$@t#5w=RPo~YER3%EF?=Qne<DyU0KTU525k;=
zmfP;zxV${u+Y|q&=($5w9boplqV;DwjGNk0Syc~>?xjCtW0<1BfuJ#&9Hq)mg+)bm
z$o^U#T*<v}^6c}&y?7e3gggX{m0?Vk3ho(b>gKVw*}=)1<#@I&m*8ynQY=<q6U!^r
z)J3Hm8Dk0(jnPy=e-q3m*6$CifJ3eX`}mUa&j2HlySmqiM>WR3QNVDrR$7L@S@d!+
zgpV9jq8(E<@4k=~NoB@QD)Gii=-EAa<`TDAqvLux1T{p*dd?NfA~d)g{7@>YwTk=Z
zS&*g_;(M?{cFXJJEXPokYsY6#j*OtM2fZv6t9F6LD&<C2e-4VaFI%(3lfY$zeUVeW
z?ZS3G)5dI-dI6H?^No|&O&2sBhY>!Os%Ndxr!k+BaNzv}Dk|G;li7K1nnjNq61{~x
zv<FwCi*}PH@V-otmm|C8LDlHQi*rV$pL_+Nmy8BpAsZ;P=XIHgt}-`VIrQ*^x+AIi
zYn`NT6$!(Tf544e*Gvw#(qB4uf0uZV`JQKHdyY|c8PUe*hjTQ!O}1K;GP;FltVuCu
zC^6~x^KN_lXH6=Ne`8SRBFJL=DXOKkG!B08zho$Tfn~{)(F0cZ8T-3NUCaa4cF6g;
z{f7lQ%-$gc)xZj)&M)M#n}eRTUommq>dq9TnPBH*e?0gX7;IIgb1w&wfP)OuG!&5w
zWqfSv*fzflbL*x<V1eaX<e8<q77-5I0>QuPx-xV7Yh()$qSB62vg-RZK*rrR*eNIm
zFFKWfr&B0(#`h{`B9=LtHPOPwlC+C39>1<^&ix-o+!N*3-AR|bqcYW88zUJ=Mwk9i
z8+cMaf1CE81{!!WB37IAdQ;$~w4i%{FyINHEGtKGLg}#}`HO2iD#|ED(@9g58Bb9?
z=Yf_$VZ41U87Gmmb<N-0V^y6l^CHUKEoUvF;cghmcdW!wpGpnXKcXdpdS|yXswhC|
z-ebRPL-o@Gc)Fkp;dtAsRmRSh=vbaW{oJUZf7G_G@?`ev99OFVYmu9?CGf!HPBOr|
zVKu_kuwH^u#p~5lBvjqe2X~RSZ6wGuphwqb&8<;pZ{~whP!AR-QC7F^3kLJMQF`u?
zZ5n_L8?aK0A*ZIR{_<Ku-BOoE)XHp)ZHu=e$#t#4T{&gr`9jC%zt^+RcW5W<zTLRM
ze?O#U99kevrarTov3oa-($WPsH|3cP8pOMDO0<+b5a9xZ0ba;`vFklfj$gJ`e`py&
zMXRet6@R)IvaH?6U4E2;d*uu@A!b2zf)zOVfxvFpI0P|?Jcp0xGl=8wuhKUm;v&|<
zmB<>L37lTKI`Vf_cQ<uR;?MXxvNf&Pe{oNN<GZGMW{ps}n`e+(#MLCV>PA~xYAhU7
z#L6ffPPvHkpfbW_8XufbLFXAfqG+WYkH3OXK__VYGfIl00bKwZSxOEjA^MPSV8UYr
zH$KjfH5H=roY~F&NQ4HVOpO0Jk=3k4Y}9|4xDk(>ehOW_ss!+5EG(S;FR5IDe;mR|
z`dAw$me^T1+vhISP)6<b#Vs_{ce-~>@aldJgy?@@A3kj@2#r=e#^ch)(a091%BUL+
z`c+-m4Y6D*Z;^AW5RBrP6^Xb;Ej$sh!6j5f-xUz>q99aL{seL!=$j&9ZFb%yxo_nF
zIQ*6~r|%XCtv-TYX-(sE?ydY>f5k|7%4;6$)x+RO*lK%S0@GVfq)ud4tg`Z%v%oqQ
zuu@7%)V=-|tj5L9oHf-1rrknDghH@5v;<?`quvVku?J?gLQ;qhQ?v%Q^9kRMAASYd
zv>>OEGbe%4sDl27|M?1UTrhp-`T0rCsPKxUL~RAN0^Y5ikBMKVcA-fce|l-8M}>Kc
zT_3|!NMIHq{e>9pH?W%#9)2YeO)P<$_r}j44+F1@X&O}IQ>Ra*9+n|PN?Ul2v=}|#
zHc8qngc=wA^`Uc0c&iaSZ@%s0p@h=HT*}o{^J_PIMaud&%}ur$0H~T!0hk;s5w|_6
z{KYh}kqoFZ&{kKj-gt$-e@kgwEx;?UOX{Mxn$yM(Sd^zG5$@eZ%F98__hDQO9!GQ}
z6Vd<1j=|gVy3`x>$CpfovK-%xr!u)AnZ$T@bzsebINVtMncD!8Kb#~<GdUIS;~6Xp
zHOk$<c)b<4O0Fa6wzpbAR{g#lwxDS4(*<X3xJINEz8Vj+Eu8?{f7$C)=8OB<&lu__
z>ngV^!+Ly(+2)YrV!o-MpJc&q2l;|zBa_D=ws@W}_Fvly7fO4=7{olkgOkfFp_#70
zAHNgLgKimn-=mV2s%dCZs|i}lx(gC&W)t(F)enT)Q^=Rp_hfm+^Bau9-%_o@w<F+2
z!K<0>Nc}o|9*($Ff9bM220(wV%dTp(<r5>d?0u>3h}c3wuLl66YG;H6+P-K<dnc@x
z0%Htf?evp->ZIaRSYr@_7M5H=>omNPFz`drTs#lHD1LPe$x(af&fBsm-BNASN45zK
zP@w#{-Lx$brT}QAMX9?Zgn4Jr-eT2#HiZ!nxrPW>NG%0xe`LD}mD8!)4q>VHlkj8J
z<3?R6*uDDGZcVn|hdFo60Z>rr9{Ai<bs*Dj(Q@D2memK1W{CY@ZVPJznwmt(L_&}V
zHpb(pu%dlg<eeGxjw;q#_*xhTa_iuGZ5eka2DZ1lki^|o2oAZvL_Ajn_gr1(VC>Up
z1E2HJ-p!Cgf4|2|jSV&v>okIr!(snSlnXT3`EoetYpAprccfKaICVsI774+@{z4AV
zId!*Xt1g?`K%*Q2!m#<)ytKuU&oYcl#;L{8mFyq_fTqBuvhaLs+R(~@`L-gbk)SUE
zpoEqwvk6G<fEc}iiewV~8agRn(8+&Xx%Y11$6n_he~Y`Nn=yIIf1c$~)Y6jcT7Pbp
zUq{}8S@P~@&lJrY#FfxszSxldwuK#pszF+()|x3Ov3O`rLD%a5bjY+HB%d4qGmt9W
zI#*$`ZuB1IIv=ZqPH-F1N#Dn8j#Gs~Az$?%q2yMKt&MQi!V9XI$#bjyDf83B#&gC?
z_;Z4He;pI7Nc4H9vk3vCXNTn1dgxxk&GdII0UBTp<eTMq>cFAfJcf>_kVzRFH{E4w
zA%3~d`^sS{_DA2B;`3Qk7Yr4eU$b_}p?aY~!jChMKe<B`Uw%!G*}E)hHLXXe@M}tm
z*Shzi4Emaj8!rg67DV73<4@1WURnE>CBC#-f6*IaS46DXI}%KWQIS}xU1>q-!K{XK
zuhTg+*9F(J$yayyPRj09<{EB^hb!tkOQn0w09qagzt%bxjB_p^5Q!lc9G3rur<cdK
z2aHNs009x-iHTpJur|ba$)<%~(!*apcAKc^k|~WW2Wba|^`NZ;0|}%Z#F6?L115n%
zf6m~F<x|R!D@yN~p+n)Kn6UF<(X-aw#Rmwgg`DB&fu~Ogd>9@)8C(jf>Ho~q!qaGv
zu?!ydVv~8V!>@t1c^TpenM2&_6C(j-C#qIRynJVwECB4<)v^oli-~sEfb`3J_ulh#
zmqkRjwi$l@LR!832zQFpz}E|d)`Nw~e>d_j%tM4rX61c1(7x{4^GkwYJ@QsovO?9C
zOy<eKW!0Ecn0EZwVeAwk5O#?C=)QVwz-?znvr=n_zfN)8KiTPO_>pPg(@EpDX{|n|
z<b)bD0u3ovA3SqyW;fj8dbKmw1pEx~ktP&3Hmga}a84@PdV(opqeE7@5(7jdfBBzV
zZy%_=-nRVPozcF|`<`Bf5QY4G3uxlJYzBkSFdSYFxjRxTzs!*(KghfbOAOroG;RJ9
zJaTGCwf!6h7$Q;l$Vxg)sxNKa{CSRsIj4t+_R6zJ>n);69`r#oHd-^43v78@QS8UW
zvJ|(FE%gP1>!7P@W8KIt^FBz6e>YBIpU6HS59Dmv^p1M@jLhO&tpqFVsw6dCyK;-5
z?s@Y0=MYl}k6vvVC3m38+?kQiD%!wG>)hFVzt9zZ)rA0*^^S`BqgFzVLJqPGj<56G
zzzS|9&9$m8oUa=0>&mM3ZFmH;+{I4{*C6<B3oo(_B$x8h)niUE;IrThf4Tx?`IKMA
z>gU=LCo<ZUIgr>E8TgzN9nSVfF%S`M81_F6$e$bGe*YKvObOh=xNctW&G=Y&oxJLF
z?VbejfFvY4d}G*JH}|WBGKK&v0)2@v$#K*Tm1l&~pwldrOU|M+<Xm{zLcipIxsWTy
zTP+5~8A<L>rHuwmwZQXPe>P%56LPJZZvK`jsWr^>>(G~i6KA5j_r0$xd_Yp%j>4Qd
zPVdY=FIEE%hxD~hyV0c%9OcHY2CQ4mH#NMY9==H}3E(LXNW9jn<Uc@-+`0R|%GQax
zXsT2c=yC`QW@a^^cRflqz6sTX#(dlGm28PkD@JA6VUMVH{^KctfAFGtg3T{56K5{+
z`!ZupW9#k550TkD9cqHHtv=)3@xV1(vdl!$k4<ICRIOq%F}nMTq)er1342jFx`_7z
zOQPiHhLkc&L9nvv4+265jlR>z_6To`8wbxcie-5<hD303$@S{J+7rY;uyc(@BK_!O
z7u2x%Ze;)0)X!KVf30LNZf1Sn`07ORVgDB|cH$WZDHzl%Jlj3;x==;eQ>^-ps!wEI
zT_BWI<Q@_WHNj(RAAca2-#(Sv`~Q`;B#YJ(8Z9?$+vN0id$JAhZu|O^Fn24=Cp{{)
z*ARs~!ZE5hzg1ws<EwLX{LwH#0|1_ahv2p2Slu%#l4Rmfe_j0oWX7o&=&2kish_tS
zinr+di(nEe)#vyIR130{!*$~-|KM)OWT@IAw-k(-j9N?!j&1Fg=2G2KKc^^QicE5N
zONP69#@)A<J<W`M_>dq<Gv#GCB$Sgg*?<^TDrS4Y!GcM-c)6=2X2T8m@tu-;N$Dux
z?w@`ytx`F%f0~FFFz3ks6HU-MF<<HZ$h!M8Fqa_~64|hDq%T9!noa+)Msugpgthom
z^Z2##^GL&i1%u$TNy$i+C!mUO?~P3|kamOV_=mv78snM=3UTD&0PFK-2(rs?${YZx
zNzEJ9--~whdb_pE9I2(8Z{neZ7+e>sLf5LU#<)Uqe<9md^vMjkDjq~!L_(Ee0duR)
z8=u!^pUKC=Yw(rll%&Yq<j>Ie^O70X{CP~TOZ+m{H1Y0@on*b4k8+1&el>#cs3FV;
zH9|md3<}6`c?XSfaREc9xVC;~Y=i1ZiMcTPQev93wdkTu*2HnCiSN1c51U>Q+OUC{
z=!o}ff6nYJ(#B3@m-6>iS_PG$p<g~+jRd_x4Hi4%A7K6F&pEHQn2s$F)d+j`)i=?S
z6IZkYV&H`W9uI0ynCgPGT$u{pR(D!>`II-iYW=Zp)U1zpkzfn3ohht%4{~a^_6`No
z6@YIzUWq2Lj0;?wKu{=aq;d3Ub5_z*aB}I<e|a#3tGPhbI{s>%V6f}EX7l%+J!lw&
zELCaz@g^LOk~EjlBw}tq?2>BQy@M-|Cv~wRI|BSKZmcjOOpO0QC#|+q+`x7W&sZdF
zIA0Tgp6}JnxOGp?oOu7F2`XF`X`4kP`MGB9w!Mu0lt7cYRs_!Rlb?*h3fL=h>Hrw*
ze<eBpCwpx8?4IDn`qVD1XZq0Sws-|c;AX={|0c<@(_JO42H)?_ii}z=N)htyDdlG1
z$?gKBwt+rTXf}gK#`9G$C0QDR=iDvq`Bo1A*nMv{jqvTjo}?erVRV(csa0@EH1FD_
z(_F+ecB8H|t3PpB93z8@BVvE(H-;`1e^6g2-08`%oZ0r4mP&T;B%DoKA$8*@;6{zM
z3{NwI&TzLzY6ubyeyrk-1_73v$ELgxpszn21P!F)$>)PmMg^$iuyXSbB-<q7!yQl+
zla`0?;35qpdu^N2$lLW;D@fe0RDpq|cH@1I!}@*TZNXB%@utkR{ov%Mth_sHe{w5i
zyFH<V1qnp&B@)Q^RhO`5(_~ag7U<Pe#3_%~KQGE2EsO~4m^pU{`~Ka$dm;owdAUIb
zS2yw_64{B$)x)4dtzfgkwS$Av5?wAk2f4trm1TQt<tf;95P&Uh+@h8U7@}|;7jR*0
z1IXV0giZ}!CyRg1k2*au-`YbHe+3P@K9mo?|7Btdj(|67j%7ctO%L~jqd4DeYv_!U
zMlN(jrtkX8&0mnZw!uvmUYMcz;<kB$mcrzFRRF6Q%~Lsx*1Tzhnyr&F@P<Zrh$-sZ
z%&4B?5Q2VoKG4D9eoaJ+N^Kaw_(!jgiGkiRZosQVZ@{ICA|CqLS{N)re<bPgKA7l*
z1itdKdggD#m6E}KBBtx63e8gvfC-+~;^lbDrVD1Yqo9ujqcjMh8xo2!l+;l|YE`rU
z^8@+onksoXMp!15AH9SZGR-MyeaGGd;?gUjfOO<N7~U_bSOo!J`?)1uJbJyt>9qd6
zB@CZmalXDFfbz(l;bzfle*&;@MIgIh^Y(srG@IgMeb%8XqG~lq$nXQn7RV~P+8qtN
z=UUE-l=iJpKb;>y0a&Ik+0=b-%toCuk+Q=XRIf3w-;nf(_lz&X*$;R%Bt*&(6g4mE
zn30X69l<2jR<NCRQ_Q;k%yQog)6PaGJ`c___*>E@)C>oW3Qt=<e^I#f(DA70boZ+4
z&Qq`^W>;%7@pt8z;lErPVrrF0VObA5?#E`q4w&>ZVzpqhwS>;>S96_-1H^B?8R-{x
z8Ooz|OdlJ?(IrR@#DHg6K?f>wS9SR<O6r4{TEyQ<>#2aZKzMVzuW_yxbg*8Y*WmFj
zJyMk!9I>;4*von%e?~nZI~j9y=3xMK&aEu7>loJ#^Srr{sZ!7__!);(x`m*vGvZDG
zg-EK5#ah1Rwf{6KLQU;fO>_?-EAy~nND6LCK0iZ)6H!_xWaQh7odXz(>4A7IxUkrt
zUX2YITU%_lFx71dBN6;KwUe|AKfT*7+o=Hady%$%6RY*Ze+XKJ3!RH-occYp=1f8{
zY>kjIScxL;T2Y%280PogvHh!n7h4+!9%(PS&5dJ{=_{G#O?)VYg_7f5OldQ%_COOD
z^@@6O|KE3@%JxdcxZO#}pBMII5wQDG%;#HR@Bm%<VBfB`0tA%B6<&c|srv0hF*S}F
zi`pnyCYL;ce^Gu}fXvo%w!R(!fw|ihx;FEN=q#wpE|^TM)L3Qc{@d3IPCC1*?HhsH
z^TYu7<oK|^C3jy(QhG%IDNfrQr`&XtJ;?S!aniGP4&vgz;a3ebBp-Z6V;LFx@Tu6d
z8l|CZM}-!(*_wxw{u%#7T>p;`<E;(o?j0e!<D2UqYu7Ma9{H75v_ggWQqI+AdA~jm
zuhNc2^z5ywU$S4ipoEHxD757QVQ0rDRl(h3Zdp%)-e#5RY&RzgUQ3hB+sl=CwZnnl
z4yA)AAO99AegIHQ0Rle*KL7#%4gma=WmMe<glz64003ujlfNf30Wgt17?TSq5C%jg
H00000l8Lk-

delta 10127
zcmV;ACve!nOQBF3P)h>@KL7#%4gf1^S5(Aye~nKk004W30RT9YZzUoDH<3Pme-N=z
znMmrag!HDnxDF_4Y_!+(1aRnw*}~g$2{kmG*rwrz{Oj+iQ_OgnZ2^e|Kws>;bf-O*
zm5R88)5Hww$gQv4JFz@y2B5Pbr8ZN>+)s*6b&;hdV2agd)6_M46^Zk^&|I{%Bh<n$
z!6<s$+Uezs>R%95RWIJ;S<#Spe~s4;nk6({xi3xdB<O@1pKK!;+OL4|+TI7FD^=t3
zI!BXc>FQ-!BJig4X%*b<(eI}p5Go4};8JRD8!f6Ejkd4T#wr7PMj3|D0)=Hr=XWwZ
zRfy=^m;(T3Xew4~AiT(U14A{HM6qzq0Uua)c*nRl3%y(ucSuOBii`Yde}CO))dqx&
zwyfAcUdf_F)KvkJa4=CC{ve>X%^y$JXvH+x>b41HV;7+K)UHn4ov)T9F<o1ia_DW`
z-ky4@!mW*B+iSrE362Fp724tE6T*gmX|?XfXZBg<rU&Xj@@eMAb`@w8k!2HrlpyFn
z)j($cph#J&CU$>FsZ$4_f8-mZ_W#y0LTwx)v4M~?>MNqRN-_YmOVy#?Tr{7WDkEJj
z>#(*3pB{8)XhhOoKPLQ)Vvffc&~4BQBv8PtEMss>^9#L`?vIp$Q6DZe!tO*!G9K?r
zXG=)&U7hZDw+HG+x3_HJh5*~pk;>VU<{5a<l=o&4aFU{M75-4we|d3nV(MG)ycQjd
z!O$?yk*FkPn9bbVg0_14HS`U(6l-BqP^6}&eTPa}Ij!Y?l1LEU9G_t+Z40bDt+lVE
zj#5drG)IJ63AjNTTMj?@vIAbc$0kJ{H)teC%+O<{Gb$5pS&Wc5_#XZSk(yBA+1|>@
zHWA=0x&dPt0o}29e_v0^(Po#6SYru|_r@)%mOr_50MY*mZcDL@AWt@T!A%kqqL(rp
zG!DD8jR65{Kq?I1pYv!v0X^FL&=avn;c+(ySMp7e^T=?5jZjipcmhpq4<0H(Rc;XV
ze6X%e-#)v1*awMBmt!H5l@8B$HUqmEIq$k}z`Tqt63b7!f3^oT(yOF>`bAa|QvGiJ
zL}+ilgRDE+Dd9?}qT80)l+1Zuu)l2aNifbb2yv)_qKF&w1v>>1;NQ0CCpox|7NDbe
zd+i$hjbPS}Ldm_5KDCF&g7mmJQ5@MYKP!f#hxy9C^O~hKN2CUY9gCKENz6?{jikyj
zDUc@+WpW65e|Zf>QR)cP)nz9@8HTL({FprI=#sN283|>?9hCOFX1X+>_2EnbLq~V&
z@5!|g1wRLOQLpz{;fS$&yK)&au>cvS&dT_2_3l|k%519vBD+`qi@6s35D?}=jE4|r
zGV1Q^T$Dlzl&4L0dxUldeMy!>xgQLLc#nnjDrZeZe_BGL^1?lC^p*7<PiM>HLQ%=$
z57Z9f$=lUhuj+OArMY?0uNx?kTDxQGI(SLVV-!g+<Yp9&OOYIy7_^C90JjxYkhNtI
zo@4kw1u<zs`D}$=(~u{hpevljd#u9PTsSoej%mP8g6!tE4s0{_DE%F1?sa}z_veRV
zCTpW>e-R<-?>njzX5q>15*60xfxTRSN__G{HWOIFoq+nIQ;`o{h&kzkFi;3QKSS2=
z@GQ1P5{pjmldIKzrWbf@S3v_c#RHJCJgBFNFZt7p9MLy1f*!-@CrC}CdBIT<s)378
z^Yh-v_6U!KdRVI<eByc&RtpM})(DO8t!Z70e_M>DB5Z6YLwxM*wxNE4&t=Kj5(z`^
zeY%fc;Ga8FMB)5GD2gjvY!-`wv38%YN^)?*?QC!wgg$tOwgS25+i~5qno^`g?pnJo
zu9z?c3cNE{{Otj@c?4$C^+)K(Usmbj8$oK-SB*$EPi9Y#bm$>c%S3Da7iRmRs7<pu
ze}oTTkn)SDQ<%-%MkSC}If2tA<2z`Ni1YPJYE^1}g!Fp={e1=lLwi4j-}DZI@4u&W
z6=24(gR)g^(7lHgk}7aFHjn;_h9<DZ;*(pU|MR>oz03-$p$WXEkHU*Y;#!5sph_VS
zPPm7~Z>1Gjoa*dD6Tv_l5RIQJTn|1De{EU3jU>lMq=Xe2-aRz#HFA<!2lD1(n#Zw(
ze7Xoi;z&DrMu_=-<QX?|ljfCGM+Gt2a_7~R#sJiikVar{T3Ym=TbMh@`gq%7hTGN7
zltzk)K_TX9p&+xdv-kam<>6as3`l+QZ(}wGS(#fWyrSgYbY{wneTrT*o!(#he=Ah2
zG!sbcsPPu=eCWX19cgs7(P?S@Pbx2GQBye|f8bJeO#EHt=(5xN=rNyxO66lyYWsDY
zTq*f#?N;n#ptmMuj#;y8Uy#9J7gJ#B@<_i35zf#diqTez>bc7#wDK2#%#nv%r5CN{
zbK}@jsGjW+(VA>3-qls|?20;!e|s?F=6Ti;X?(`fz=knmS`2#84S;M$+#jN&5<YJQ
zedPZOF*3hXQ6A=T3+p^Ff$6<ueVxL^mN)#H%C<%m%+q?#X7Dgoo=fx*t0Q%9>y$wq
z$tV&$V@}Pvz`O-WkX}Q`KRZ0pp#*#G7L(Rq!Bm8^@-dfszX})uo&267e^2&+a}0zb
zV|^lmEx5?M-4={;Vy}+jh<xe3eb2!g<6mYcqSTTQKkojys+;_}VfWm$tJ3<Bx)*iT
zAe~xSbk5<%K>(nj^qTas5*wi6_FGLnxzHyK7dLes<5Nb?ubt@Pb~u838t_Q>pA|GH
zxnzkB7g(9oLM|(r4eaK>e_rrv4&`E2XlP`2wN%~eiq(ZkzG--*MS*{2TR+Vk*Xn`x
zAPq0mhKJaUN2j-Zw$L-PeusAlw0t$a(hTRR@3G$+gH}*Bhk<-Vq)q&2?x4gE_=(e|
zXVCOwpy=%~zEDg8^sOR%gCF~>PIQ_1GxA?wbm+oC0@OkleFXvje{M2+RM*;t%YG-F
zs*9}VF&|@^z5q{~<RcXmnOk{4Mrdi|>!MO(`XuP^P`_I$=Hn!{$&VvAvkJ}6ZCn3k
z-A(c;V3g-ITh3Q|KAv%&=q9Y$W?fDYgY3F_Idz@(hEtj2=hGs?VAtiC48YUwWNWh1
zS4j0xUZBRdk1L*le?m~xy{HZL!N^jq%kh!ry2*XBD-IXX;s0;FRN%)-TDe<8>kHLo
zP0PQ^A#ow!=)S{Ictk@Uo1HTJ|I*gRN^i1v(JEkl;?b5}fz!XcV6lGpi>Q|!2@ycq
z|2YYo+r;VZ&hrj~ud&s5(;cyNaP_YHB@y47&UjT}&*>`(e-~z)jHAer%2U6N<A;(!
zc6)qE3NA;-i9a{yDq6_x88H2mIG94dI)bJQ6aLI1XQ@Tmzy5=tv*6K3wyc;zH$@Ep
z2z=`-`rO1{WZq>piI11;>qw*Ypz=b#VS+FjRabwl0{SU-e@9iL!jb{-L(=#+ycE@1
z?(_dfs)R$afB4;IeE0JiIi@x0xBZHJLZ|@5Ls}@ey@6>)UCLTt`Qi)>T5yoia_yr4
zT?|)H5P$i!S}v_ZLTYmSr75ieE1P1{@H2r%alcM~Mx($1Qu1SGsY~JgqEyr*SFxzF
zJBh&j*5YjRwR?ReC6HHHv<HWIM4=jxh{$IXmf5-6e{s)6i36`YmJ>dAn=i?{bDNM5
z+o(9OI0zc)yfqhmi|~1>zZRCdfJ_P6DA2!m)?^KNAHw%Y<CPD4MT&vA?6VF!kc}$B
ziB+E-+|FvQmfwg_43(r%koWxf3vQlw=WRm3Kc*sJfTAhpy2dUFO&ay%t-nQ>77o0Q
zob8e*e?v0a0RvG#qHIE)VS*Kx;^H;E|6}f?qSj%gEqMXd_RulS=_+C$<`OI**9{v}
z2=w9bZs>orxCWS{Ko^*$2J6Mjz@xj*^jn}~JgdH!E;F;8TG-(wamtyRRJtn1@9@n0
z-evUJ8TP_5sSwoO#J6{2W!RLhmVjO>{UHtOfA6SN0spwRp$~C|$B9%S+A-Fwl~tt&
zRbr`oVylD+tegR-tArv1jm}+1vEx;$TbhYR^DX{k?WC=@R?0y5TC5Qb4{Egz15fCR
zxnDL7om2<D=|E`1ul}dHM3T%qc8K899h5cDDT2NBni1FZbT5i7*L^g480@D0E!ryl
zf9T?$@s{D(^Uj{l{=1;KYrxU?&Pfp%sy=2S6?CC5<is@;dRYt4u1%mVsgI$P@{DP7
zrAe~s?Dz9f`s!_IQaiwlHcw<}<b`(?JlnLqzh2<bU^6q(o^0itd+wdh8wuLzS+0bP
zL`pSk#R&od4VzH=l09`{0Dt0h`5wr6e_ucubn?t!DZsfe;!mV>nQ-=5r8No9FW7o6
z>i-Mg`U8H;g5G8hkgebEbx7cVm=U7Q{XqHj>kd0IOFi1I3zFuianZ)67yOTf+!G~>
zMi@B6uWfwPoVG6124B!RV@k$8+eV*HF!0t`8QitN>W7lr`s`nC-M)g=zRm?Ve+i~K
z4j>n{U-fX<-w<9VZ(z6p%XeGbar^+(MV_xw$Uj~qrZwn6o;SFjTVYO=l}He%V2w_L
zA>N++1Axsfk)Y~M)gzs#;M=Bion4akaXtW*C;}BGu?HK80CnushZxps&d>#VldkB}
zR1Q%0tRLXG7B@j%xg+s7XlV2Xe{37W<67~qMc6Kf6X-lx=NruDsN$>5pz??OA+rp9
zgZ$RB<CDu$%<%HLK{%vW65|&v$I8qQ*Cd_tQ^LKE6(=S5UqY}TGC>A4Jmra+ry;bL
ztA_3NoC^`2GKAInZRIdTXgk%pFUUl@K)C>V4*W2CJA7F~Pjz4Hw|Bvbf5qk7+I<EU
zV&5y&4rrN(2X}r3y|^N2zl7<QKPq<gDK4(cfPyJbuNozqwLT5KfK_LhzY$pTx=pJo
zZsGc6yOh4&K%EC3vgvQBo#YOOnS_U*>8W6@jfx(+Tm#Z8HSyibqi28Md2IOQK3np!
zP^8$)tASlUtA2X<54UB_e}>tw8e5_Q%>Z%nGk5Ec)Htl{)N|SypD_dgadRbxh^1QK
z!+bN6NfA>;ot+G7e-z8Bcpr{Edbl^~(0oxY|1yHT`i-7IF8pyvQ_3qJvV(Vq%g7Fs
z{Z^HT5ZZ~TArD?H$7@ocwLGz9i*&YP#yn+<1{Pt<4}|l$kxyJJe+x9=nyHT`tNr3W
z2ICN1A^K2ellZ_P>q0@}_Qy_H-5Yq!ZDw&W!XXskduXrrwD+Rp^+3(A;XhC{!MEi`
zAK>+VA^>GHHo*NKar%}AiNylLQpwmR+}<$;8#s&<HBzm6h#yB|`_CE+M!s}oYf)^|
z`V=M8hISM#$m-U>f7u2&eFWyqMnQ)q*z>^Ev9OkCT1hp{4FejU7yb*_Qou=JS8CJ*
zkHW*>S6%%@uAdL)f7|xw0ggq^^d#h4X|Fp{IV~=B9p)Mvf)8<%em6oz3<T2|SK~y?
z9#1=b3xn<z0BN&Q=4s?K__hu<XgjM)fhBG_E8rb|m?}w&e?5}69#lmP{X1~$RYIqI
z2D@hVD0nTnL{#xp)fHPxCD4Nio|%Bh8BX;OYtMc5E7Q0w{}@mBN9-niZu^As&2E4*
zW(EBh{bB;<z83WX@0^o~j-7$;kF8S{-u}GsUeOrlI7ix8QiL2w+A~N^K6glK{WHFt
z(3JHP6K-9)e}HJ2%;=zfO-c#WF?)VmbwSu>Qt0q@TDM-K=6vpb+RRX>Dot96WbnxQ
zg3Sp`SFI4TPD*y#MDI$W^lPzq6pvQ&8I}AYq`!gIttb1{*Jtanfs%KUg2LJZaP1<J
zz>Vim>JgvD2}fVEXjKKy7B=!g9h))PEGX4_jA{Z&f0d_+_|YYYp)wg*U0==rsi-WY
z!%FSrL3ZDW6)7>^Ejb_N{?6qy{#`hl-RtV5SwiMjZ14kZ?MiKA$u5pjq!fjF5S@<l
zbW2)3^;diX9rBK0ITZ=myJ2l3=d!bJzN^69EUv#R_%?Tl&QHaxK_Vh;)&X{8Bg6sd
zcA7_Ef2oJzbj1zhPm@V_&@n?ii)-9eREuZS586h;6|NV9{Ywr`!1_NObqcNkUh)i3
zh=%OW{_HM*)naE!K2sK(7lWGowU4Hvg)c)~uJ${ON|6^j`>~_m0T{#p<6GjUFm7fx
zb_Qc#$IfT3S9*_2L!8+od*C2b8V4xC;Mon#e<ZjJZNj+_0Y_bpOQGixYMvFvTZ`+;
zbj$d(QT<XLIZ35-OL+|TMyS9rxdh5q!ISP(kKWYlDi8pG4j)x8fjYSHY943={AvI2
z`&iOyo1&Bxg_JYAVT<wswBywSSHf*<c1=qj^v=0Zr916|t5l1wD*Ui?@wc~1w*WNz
zf0nKhDd)n7^^wY<!An`<FcJqM@!|7Hig^;b>Q?zBTN@<?_E^d)Cwg7m1m?cNDMjlb
zF0j>)kV77wb?FDCQxT0W1}KAo^|UJi8I6mgY952<%Z#l}^lk8D^k=Q$p>W&nuSmgQ
zp(dgx1gdD);z&b1zsu#uX~@J-?Xj^zf0Q4Cp@0Riis&KoORCPbZ(;WM86obpR(O_-
zzJl3|%d5qb0(kaVWNh@mvo%y2_QnrdSN1Hz<RLr-r9wramh`w+2rSm^b>%ivJ=CkA
z*m+K%18Dk6g-4=~{JTfX2NDiIQ@_a8nKmX2D+Ey;$M^+|Ok+#OCgB=%W^js}fBsM}
zR4YH^fxFVST+jc>&Jmu)i^;SorSDZ72jhB0?GuheKoDXkC70V|%Kk^N)#}t4!pclZ
z`N(vF(&%Ajd64L3(yTfGrh7hmrzFssg5<u?K2sv_e~1fUUIq^UIp3L}MdMK=Yghjo
zEPIRu*W959%NI;TJLLd{hORJ2e@mM=Vf24OgJybm+5;Y|Tjig3;r2g6haw7u28`cf
z!$$zc_YdpCV_LH`>YSrVM`Emw4n&&ilve^q1J_S*uL=arYSZ%*yN`T-ZZpYjX>nSC
z=Uriz%?t@~wqZhvP~yZYgC2Mj=}1i$xdZ-T(19oB$z9qv8l<Gdj#@@%f7;b+9LR?&
zT%IL4snmrI{F~kj3#5q>;97vc_XS``^ZA7>UOf|}d<7y{w{8F#EW-P1Svx2cA}p13
z5|<EtE7<<UP-Z8qTYAv0kyJISi2dVmum#T{+)H@L<q<wCdvNI;4$x?SHmf<f$`cb&
zi^eGZg2~}IXnn8vqP++Cf2*xj3tjb`%(Q~s&0YA#F&k!CV0@_q!Fz?VJJ`-SyWT`R
zQ2*PA(eBLf9x<XYf%H-y(!{y3GD&dNHx*U>$z@c9SCZhhPNIobRFnuEV0CYGBQyva
zRk>!{m^mh?{S97m-Y>-7s;)ez_*9>ZDUVF~Mgs>Vh78yEiI7p<f9cMnxcrf0Xw0^$
z;$#aLlc#c+5@B52gKQGk$X?P-c(Wq}#xiYP%rhP;jvT3?!_cl8l@V#!5ojfI;JU%-
zQdacCe99I;9o_S!^2^@%04K$r(}~C+@$!NvZ_@9c%-r)o&D$YHE2eBL?urW@QONze
z-w6(eElPTL+R)l}fBbYEB-Ha-o=ZiLovr~2u*_X?VfxxIkClo8<i8VeYmK2|*NX}p
z2M%r&cWln3u(fG36;E)^@>VR{$(&boKxG^7VLC@psDoe)W&jqHq6v6Co@I9#nmj}&
zQ9X|>#Vc%DM9{kV?$k4nr2(^7DbK0$*eB_ZBc{j8TR=(?e~LY`?n~FBR#rVVd0`-<
ztwr>i>YINjLnOR?gFGuT@rUX))nsoLLGl@n-%fqIh<d`c6h>Xdl_BA#$VwATsmm6t
zek|drOAQ^oI78YJ1TdItGGLkI!V1ku0GJ>NlcSx;>W0ICtK0TKhIXKQ>iRHOBZ{P5
z>_Y+jK_nsBe+cQhg5B>$hXIP^VGKAit)G3+LLl?re?7T*E0r=(%tDEz0BbvBt4(m@
z)%jg4q9u@&VZt%s19GpS{a+SK2XR@K-)!J`1wI$FNskR~#sK4g(^lana34kBHhijE
z;$c%<QZI39#t_cVi7xAPhWVx8Kq6l#JtIzQb`N=~e?EpSM`J1lDoTxvLh7dEcJzlX
zl!+j^_sk?FSAXwODcUHgfs4Y?Dv`1_Y`(^ri>c@|x0`q^o!{--(Es;v<Z2kdU|8%e
zINLC(ei6271lEkJhUJFD*rj6gs@fI5maq$9R-`4|bV4}qjQG0<Yuc$S-HkGmB5AgE
zaGx=ne<D8};?lWS($Sy927r5`7j-pDtl{M3He#_vW2#C{T0?vYB(j1UkKhxIOcF`5
z^{;>#7T+b?atOqi!XfE!8Q!%kSmAqABSnt>0FLS0ixayPCdSI+n>kHNaumg>SiOky
zbYMgQgq?<ckY&}PS`r2O$a=x4b;A}{M?d)~e?(CRea)a!C9WjQjvcsRu*vWHiKBJ4
zb7-}$u~(>)lWk6AaXnhtKL^#OpIJ!i>)8s7I-FVD2!MjA8zzf`-(HE6NT|y5ns+#T
zCFpBDG!+8<tg_Wu0gDGSxJQ^<HXBB0$(+K*;44ZikQbeEj$a2s8Bp~he_40{({1w!
ze@WinB2Y@&P@oJftz<VJe#w#L?<Z3%$61za3Z7d$)siL&xsCp_@H<7+2b5c(<cr)6
za`?C3Iq9?qlyhER?*4aw^eqUAiDm-VPDsD5a$<&O9Bc<IHygVvuLtpEAcqUqQS;77
z9%B}H?hpk$4ItbJ$X5Gr`iQTFxPk+#e~`N`eJga^)ypN|+q~kOKhxF4%~+Dn@|=|P
zl$JvBFW%pnlhPFZg0IQ@VWLuogAFCsPv+U-87c0kYtquU#oN+`==@^}3_Qn-++b<Z
z<T~xeUYRgMdyi0&=F)9~J?ho)!mbidWx}KZkPHNwG3%1sxz`V1Eq;H3(?xx}e<a_7
zf@%U)1h4@(SdTT2zkUMd#o=Yv*Al5Tz4!AocPi$2==;F4zczfVn>gxx3a@7*W^T(q
zszi9`SN1ZmnoIDq{bw@v7jMKCsqCWHo;!g{0}gs7>v&&Bu~-|hok9?v&O9_@^@{8X
z=16n<CQt}YjDdBqe+=Xa$_4ZPe=@x@%JVBSFi%fwDt4Dd7F!LIe#7DE#+j(WlH6@I
z!;75+|3V*+cvC44vs3?33Xp=*U|}>~VOe+5J^}+vFA88@e&mF_-0SO^Fw3iGi2%qx
zuB??Q3L!5&JwY<7@x|o&GBTb_vNlmBZU~26@qojw{`u1MnW{mT`ETfIe-9O9^2dT+
z4B=qSYzIh0B#GY7+z8Q9{GmzgBklN#Cyo!o<eyNT7x`9}0)*(G$@k!&u}wG@#h^W{
zd(~P_hYta%Bl3R7eu%|^HW0)~A66hrA4_f)XP@Y5!+BDi4d)nxAJJoJ3B4_Xeh}G^
zMfS>ThxA?^*-OQ{hW-mbf66@(?!;U=?m{OIF{Xb1P^wfzDDRz;9RKdR65>!<3ZCQ}
z{m8)G_8gxn!0kcU1%<e|WDY$eSL)CSMjsu-Zjj;~$M0Tng3`sgFaEg>X#gg%Y-T04
z4;ipmgmol|UY^Dhz(D4eOoTL{dm&%^=Ku|$%#tcpQe|X&QFzw>e+_89Pe`uj&``&{
zwn;fPI!Ylg{=|VNa5TDHl`j{E>0T<crRAGbLa3*+Bw@1|wZRU@jsQ%|ef_~I5J*kt
zic-Oap1hT;?MiYTqGaj;dK8&TJBo_VLIh)!ZB|c&Lv1w$f!L8cFjOjAUkN1oVCcBM
z#_eWtSMIiHMtfj{e>znmDn*E#9o=|=_+QOH7r&rw6G3D1vqtay>e=O9H!(h<@cwHS
z?42Gy9{3cPPO4Y}rQzWs!_p`RvTksM3&+dxXJW$h0s>f=67~=2+nRZIt_O@{?fMPU
z0<aV)V^1!FR{=`H*ye_So<<I1+VCK>iFH8eZkrU@(1>p(f6Q6V<0rGU**BWkOQije
zora|#z*)C(7X&H_Foyilwl|v@m-#9r>}+obODaj~{FXK)k+ctLTfHrV{;);a^!<h%
z5X^k5UY*SlYi$Pv6*Yy}sG~w+>iirTiq+!Ga(tIR@NZm35NAn}d18y`2AXX6rW9>>
zVM1OWSnq&le`!Wx)SZe60jdm)e-XM6=lRkv?>=ZlHNgkxK-W)B&~`o@<Lv!ohV9x9
z`?Y$atn_FNf}=0upDzsCuRU+tcF|%i-$6$cU0-%YX`t$MMD2#t|8sixV_cE#Lz~75
zUvR?(9S4N_U1(v|mJ9K{ZOH;G&t5&_S@fvNp1Cw*e<aO||2p%ur*C68t5$@6t>AtZ
z_!pm}7V~ShdY*d0%>sKTkmxYx8+*^la9Z~wE~oTXubu6>vblJV(Q=RFoE%}Qfw`1`
zJ7w*Rm*gk96dgsJ+U{%qr!y3~|Ir_L!0K*zT5y4uUKC;QxnhR~pKEX$Qd9K{u?3C8
zs<u))f2cGDDM-+s)1TY@C>*S!$~`acvh$sh=PpKjVP3Z~eHJV&Ci}ofd$-$+d6&6@
z{}XjThhWR4ki7i^qzTp&LqO<wkpl=LDghaDbtt}3gg21arUC7DSkNvXVEpw9!@)o0
z41D6CTFMoB$NB&3ByFbtQrk_CMvas&AVqxEf0%CSP}b#jDNk*lEPCYZmFXz5vQfvp
z8wB-YX3)|aba2~?Nc1xnBP<Zzh2FiOM3o>c@XClhjbM+Aa37;}hX3-)xaG{i_Oy4D
zq#^V@)v8Ol(n$G##y;&daNrt@1Y(Le+tFI4y*7zu(DfU2e-|s1i1fTe&uW(ZV@84@
ze-??=D(Wx4t}nF#CS7vHUKc_nPaJK-N|~2ee@j@$a)l*ek<{U=BBjNkWOq7vM<!{4
znLwrQ22}Os*{Tj)FG~HdJCGsYMzXjX=P!JUuwDnMJlh*HxF7HU9*Q79@PE0&NE}>n
z!B>y{F*mQ-VHFrI>`5z;DzsB9oyw8%f8a{Tw&pZBV5`~eOdq#URbHDnN9HKHqvP_q
zjYO~LHb8MxOc}-is&BTqy15b9Z5Wu0n3C&FY--|V(Z-gjNLBqU#q%TiQAy0U`V-=m
zxWeLtc2I=SRQW@~oHY=8U52^=915F4oR(ZOLc19_tsimE2%sw8UCcCX9}(Lpe?x^7
zDiRM+$}0X{62kDGRrZyfK-dw!lRZkSrO?n@Qu}U}SazaC0pAD)FUFPc45nIp6RJY{
z!X850Hc_AYw0;}y(MrzNPocDA+v0lvfuFWh6E35Z7!dW}qrPVI?A){!XXg7YRcE6-
z^Y%ZS>qo5nL%;VgMbZ8-6_)Kxe@7)x4+I&#(p$BKZ86}G7CF}WLVX<EsG4?!njx~4
zy|wI3%7$en5`7xgsX6XijKGB9A|}^*9dRF7AHH1VJH!J2-`C@r-K`(8Q3p#!Kbzqe
z-uc^?q%uOgWuX7Cq$Q;tlDEpi&nmc_KW<>MsM*M+YA=JBmX))@M%8O9f2bL0Lv|ti
zLU@U=s{uDI{)ta$>aa}$g#0G4>k&rf#S6*&-N9jQ$MQup^>~Z?kT)*&&MmXc8PHD|
zi4z-jm~vgp^97GFM6;?JW6@-s|KL}ZP_LF%3U_28xO-($MXa$j_b{xJKhJX<g?{5_
zZ0!zV%Aqj=A5dZ^NQa{rfAJQ%Zh#OJhU2&FkB~naC)9<LdKf2JX2;9gIB1!%=Uj!(
z6R64E$qZ9zO@U&UOT612wADFlv>cy<A^0)}p6~-3jp=;1Q{Jmh8q!K+&cZQH)5qo)
zvBLYnyL=P*%*To{`vR9g<;${n02xqX3T15W$cYc?lcQBY6n-Vyf8%8tW~rq1PWG-6
zYn8wBjHd5{8Q0!{XX<ot{0k;o&~JsAy6R<jAPfh+tV2bV--MHobdbJS-*ki*Y$q$y
zNS?zresSmdR^zhNL-BNPhU_$q`!q{k00i|1(G(c)V1U>P?R23veLxb&QH{5vG4#Ve
zLh*(5O74Wf4I;=lfA$88yfe!CO-|3kj<5}S&sV4+fif_LJhX3>c}{pago*>;)K%mW
z%d%WuBI)Af#eYj*ev~Vj3(PV@LGY0sPIw6BYFRdp%YpWV+|+n4E9E14MBe+dv$<qL
zR|F?V1o|OEs!Jdzke8dXT1_y;9d+c(ehOsXgJcWA6Yjx=e@!oc6DQP>|6*t)D5R*`
zZ0YwDr4%X}3edN9E|Qhm>2k%4G9L9JaA?nL|2*5vM_llhnr3lR^!|RL5gH=nIjo$6
zKD2qZ3$V(%=|5w+fTrLKQ2Eeg#-#N|R8U=CO9|a*Wy$$@uBvY8hu3iqGEN}nX^Cod
zmW~*(ZN(xce-yX!;zg`1X{_ff&c2nsp&F4-EZm`@<NVCMEEajs0p)kaG1(<Lb4*_P
z>%W*gH2;<o=#tJ(oj6#V(dQSVytR!p{uc(96#ckV9|9Y)Vq^`Dpeon&?8xY$gl~H3
zqa;0Sr*!HXpxS=X4@7xI(Y`pWbY7p4rK(;Cp_4`^f6o?M5g^i|0jIPR4!YAhU0$v-
zX+9CP9mRfvM(}4dCVrL=T~EM6_)=t)-GYCe8Qc08Py233>?REJO|xLNu|9{0?eqdh
z!XKd5R?w#gzG(Jbx$ae;zhx{(zCEh<*ZodcDNgE*cSZ_#Jb6DE$TXtPh}&6T35(lS
z3KFmBe~8L4>(mnSxIM{thQ@d(O9N-G`1aQ&&HQH#FxCHAi&xNlTMZMg{Ncq$q3Gvq
zG;|c*FsTSEqwlN$I>d}*RcEl`S_Reoi#oXY4}l#NZH6ePmdv1uES?}aGDc~MG3*_R
zvv`aBD7Q)bCxtvE16@sxm6%s`ijkq(LAvVie^HJ0q6o#4Wmv;Dt|>Ig5Ft7)8yaOc
z_ac$;k}kExeESCw<kJ!kU07~40@$1P{CBS_GJt=rN=8<av|m`-D>QtxOO0>NSVM^0
z*8iZLZ0t?+s3tx4^#P;|M#^#{{Q-iedrF3V(bi#xho>!y?LGF`7~gVE5c9&~_>3vn
ze{C&iGQ(3Gvl?ZdaF&dS>dE-xtvevst$E-;)B2|Wb?3HXG51x?d6mJl>rQlT6h%>V
z@w!=b#zg$){lvm!^Qf_TV2d>=PkN}+*Fyv^)K>T7@`WbF*$wE-gW@XJKy0{2pXjiK
ztfxUs5VdcdcSldVnQ4mY`{T`)k}GK0e;A8zBpC#XLSdCdZ|ou0fW+#{j)M^>VA28`
zOVx#TChe;5T(XnfGI_JOFIx^~$H+7bTtm?Bl_Z+f4N-U~BtR<w+#E?*=e0D{xyKSr
z62uk+dWP{gd<I2|pI-v=?tG<YBE;|5?wv>JCj9bau`O|-e{C}N)hTiR>#BjxQ3cE8
z`X+C=3}5&9tZ0O$qD1_er0tyn;%#re*J&Fpwaqr-S%B{gdV8G_Tq*R^Tuk2o82_07
xP)h*<KLbAi0ssyGD{5C%#CCs;PbUBXdxw)=B{Kmxkv<rcswEHxr6&LY000l7$xQ$N

diff --git a/tests/ast-parsing/expected/units_and_global_variables-0.8.12-compact.json b/tests/ast-parsing/expected/units_and_global_variables-0.8.12-compact.json
index f1a57c142..74226bae7 100644
--- a/tests/ast-parsing/expected/units_and_global_variables-0.8.12-compact.json
+++ b/tests/ast-parsing/expected/units_and_global_variables-0.8.12-compact.json
@@ -4,9 +4,8 @@
   "Test": {
     "ether_unit()": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: EXPRESSION 1\n\"];\n1->2;\n2[label=\"Node Type: EXPRESSION 2\n\"];\n}\n",
     "time_unit()": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: EXPRESSION 1\n\"];\n1->2;\n2[label=\"Node Type: EXPRESSION 2\n\"];\n2->3;\n3[label=\"Node Type: EXPRESSION 3\n\"];\n3->4;\n4[label=\"Node Type: EXPRESSION 4\n\"];\n4->5;\n5[label=\"Node Type: EXPRESSION 5\n\"];\n}\n",
-    "block_and_transactions()": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: EXPRESSION 1\n\"];\n1->2;\n2[label=\"Node Type: EXPRESSION 2\n\"];\n2->3;\n3[label=\"Node Type: EXPRESSION 3\n\"];\n3->4;\n4[label=\"Node Type: EXPRESSION 4\n\"];\n4->5;\n5[label=\"Node Type: EXPRESSION 5\n\"];\n5->6;\n6[label=\"Node Type: EXPRESSION 6\n\"];\n6->7;\n7[label=\"Node Type: EXPRESSION 7\n\"];\n7->8;\n8[label=\"Node Type: EXPRESSION 8\n\"];\n8->9;\n9[label=\"Node Type: EXPRESSION 9\n\"];\n9->10;\n10[label=\"Node Type: EXPRESSION 10\n\"];\n10->11;\n11[label=\"Node Type: EXPRESSION 11\n\"];\n11->12;\n12[label=\"Node Type: EXPRESSION 12\n\"];\n12->13;\n13[label=\"Node Type: EXPRESSION 13\n\"];\n13->14;\n14[label=\"Node Type: EXPRESSION 14\n\"];\n14->15;\n15[label=\"Node Type: EXPRESSION 15\n\"];\n15->16;\n16[label=\"Node Type: EXPRESSION 16\n\"];\n}\n",
+    "block_and_transactions()": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: EXPRESSION 1\n\"];\n1->2;\n2[label=\"Node Type: EXPRESSION 2\n\"];\n2->3;\n3[label=\"Node Type: EXPRESSION 3\n\"];\n3->4;\n4[label=\"Node Type: EXPRESSION 4\n\"];\n4->5;\n5[label=\"Node Type: EXPRESSION 5\n\"];\n5->6;\n6[label=\"Node Type: EXPRESSION 6\n\"];\n6->7;\n7[label=\"Node Type: EXPRESSION 7\n\"];\n7->8;\n8[label=\"Node Type: EXPRESSION 8\n\"];\n8->9;\n9[label=\"Node Type: EXPRESSION 9\n\"];\n9->10;\n10[label=\"Node Type: EXPRESSION 10\n\"];\n10->11;\n11[label=\"Node Type: EXPRESSION 11\n\"];\n11->12;\n12[label=\"Node Type: EXPRESSION 12\n\"];\n12->13;\n13[label=\"Node Type: EXPRESSION 13\n\"];\n13->14;\n14[label=\"Node Type: EXPRESSION 14\n\"];\n14->15;\n15[label=\"Node Type: EXPRESSION 15\n\"];\n}\n",
     "abi_encode()": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: NEW VARIABLE 1\n\"];\n1->2;\n2[label=\"Node Type: EXPRESSION 2\n\"];\n2->3;\n3[label=\"Node Type: EXPRESSION 3\n\"];\n3->4;\n4[label=\"Node Type: EXPRESSION 4\n\"];\n4->5;\n5[label=\"Node Type: NEW VARIABLE 5\n\"];\n5->6;\n6[label=\"Node Type: EXPRESSION 6\n\"];\n6->7;\n7[label=\"Node Type: NEW VARIABLE 7\n\"];\n7->8;\n8[label=\"Node Type: EXPRESSION 8\n\"];\n}\n",
-    "member()": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: NEW VARIABLE 1\n\"];\n1->2;\n2[label=\"Node Type: NEW VARIABLE 2\n\"];\n2->3;\n3[label=\"Node Type: EXPRESSION 3\n\"];\n}\n",
     "error_handling()": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: EXPRESSION 1\n\"];\n1->2;\n2[label=\"Node Type: EXPRESSION 2\n\"];\n2->3;\n3[label=\"Node Type: EXPRESSION 3\n\"];\n3->4;\n4[label=\"Node Type: EXPRESSION 4\n\"];\n4->5;\n5[label=\"Node Type: EXPRESSION 5\n\"];\n}\n",
     "math_and_crypto()": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: EXPRESSION 1\n\"];\n1->2;\n2[label=\"Node Type: EXPRESSION 2\n\"];\n2->3;\n3[label=\"Node Type: EXPRESSION 3\n\"];\n3->4;\n4[label=\"Node Type: EXPRESSION 4\n\"];\n4->5;\n5[label=\"Node Type: EXPRESSION 5\n\"];\n5->6;\n6[label=\"Node Type: NEW VARIABLE 6\n\"];\n6->7;\n7[label=\"Node Type: NEW VARIABLE 7\n\"];\n7->8;\n8[label=\"Node Type: NEW VARIABLE 8\n\"];\n8->9;\n9[label=\"Node Type: NEW VARIABLE 9\n\"];\n9->10;\n10[label=\"Node Type: EXPRESSION 10\n\"];\n}\n",
     "address_related()": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: NEW VARIABLE 1\n\"];\n1->2;\n2[label=\"Node Type: EXPRESSION 2\n\"];\n2->3;\n3[label=\"Node Type: EXPRESSION 3\n\"];\n3->4;\n4[label=\"Node Type: EXPRESSION 4\n\"];\n4->5;\n5[label=\"Node Type: EXPRESSION 5\n\"];\n5->6;\n6[label=\"Node Type: EXPRESSION 6\n\"];\n6->7;\n7[label=\"Node Type: EXPRESSION 7\n\"];\n7->8;\n8[label=\"Node Type: EXPRESSION 8\n\"];\n8->9;\n9[label=\"Node Type: EXPRESSION 9\n\"];\n}\n",
diff --git a/tests/ast-parsing/units_and_global_variables-0.8.12.sol b/tests/ast-parsing/units_and_global_variables-0.8.12.sol
new file mode 100644
index 000000000..11a467304
--- /dev/null
+++ b/tests/ast-parsing/units_and_global_variables-0.8.12.sol
@@ -0,0 +1,119 @@
+pragma experimental ABIEncoderV2;
+
+contract A{}
+
+interface I{}
+
+contract Test{
+
+    function ether_unit() public{
+        1 wei;
+        1 ether;
+    }
+
+    function time_unit() public{
+        1 seconds;
+        1 minutes;
+        1 hours;
+        1 days;
+        1 weeks;
+    }
+
+    function block_and_transactions() payable public{
+        blockhash(0);
+        block.basefee;
+        block.chainid;
+        block.coinbase;
+        block.difficulty;
+        block.gaslimit;
+        block.number;
+        block.timestamp;
+        gasleft();
+        msg.data;
+        msg.sender;
+        msg.sig;
+        msg.value;
+        block.timestamp;
+        tx.gasprice;
+        tx.origin;
+    }
+
+    function abi_encode() public{
+        bytes memory m;
+        abi.decode(m, (uint, uint));
+        abi.encode(10);
+        abi.encodePacked(uint(10));
+        bytes4 selector;
+        abi.encodeWithSelector(selector, 10);
+        string memory signature;
+        abi.encodeWithSignature(signature, 10);
+    }
+
+    function member() public{
+        bytes1 b1;
+        bytes32 b32;
+        bytes.concat(b1, b32);
+        string.concat("", "");
+    }
+
+    function error_handling() public{
+        assert(true);
+        require(true);
+        require(true, "something");
+        revert();
+        revert("something");
+    }
+
+    function math_and_crypto() public{
+        addmod(0, 0, 1);
+        mulmod(0, 0, 1);
+        keccak256("");
+        sha256("");
+        ripemd160("");
+        bytes32 hash;
+        uint8 v;
+        bytes32 r;
+        bytes32 s;
+        ecrecover(hash,v,r,s);
+    }
+
+    function address_related() public{
+        address payable a;
+        a.balance;
+        a.code;
+        a.codehash;
+        a.send(0);
+        a.transfer(0);
+        a.call("");
+        a.delegatecall("");
+        a.staticcall("");
+    }
+
+
+    function return_addr() internal returns(address){}
+    function address_edge_case() public{
+        // For now slithIR loss precision on this edge case
+        // And create a Ref variable instead of a Temporary one
+        return_addr().balance;
+        return_addr().code;
+        return_addr().codehash;
+    }
+
+
+    function contract_related() public{
+        this;
+        address payable a;
+        selfdestruct(a);
+    }
+
+    function type_related() public{
+        type(A).name;
+        type(A).creationCode;
+        type(A).runtimeCode;
+        type(I).interfaceId;
+        type(uint256).min;
+        type(uint256).min;
+    }
+
+
+}