From 78caeb691c902cc73f5aa72cf3201e11b3897d15 Mon Sep 17 00:00:00 2001
From: alpharush <0xalpharush@protonmail.com>
Date: Sat, 7 Jan 2023 08:52:16 -0600
Subject: [PATCH 1/3] track type aliases at top level

---
 slither/core/compilation_unit.py                      | 6 ++++++
 slither/solc_parsing/slither_compilation_unit_solc.py | 1 +
 slither/solc_parsing/solidity_types/type_parsing.py   | 2 +-
 3 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/slither/core/compilation_unit.py b/slither/core/compilation_unit.py
index d97b7fbf5..2144d4c81 100644
--- a/slither/core/compilation_unit.py
+++ b/slither/core/compilation_unit.py
@@ -18,6 +18,7 @@ from slither.core.declarations.enum_top_level import EnumTopLevel
 from slither.core.declarations.function_top_level import FunctionTopLevel
 from slither.core.declarations.using_for_top_level import UsingForTopLevel
 from slither.core.declarations.structure_top_level import StructureTopLevel
+from slither.core.solidity_types.type_alias import TypeAliasTopLevel
 from slither.core.scope.scope import FileScope
 from slither.core.variables.state_variable import StateVariable
 from slither.core.variables.top_level_variable import TopLevelVariable
@@ -46,6 +47,7 @@ class SlitherCompilationUnit(Context):
         self._pragma_directives: List[Pragma] = []
         self._import_directives: List[Import] = []
         self._custom_errors: List[CustomError] = []
+        self._user_defined_value_types: Dict[str, TypeAliasTopLevel] = {}
 
         self._all_functions: Set[Function] = set()
         self._all_modifiers: Set[Modifier] = set()
@@ -215,6 +217,10 @@ class SlitherCompilationUnit(Context):
     def custom_errors(self) -> List[CustomError]:
         return self._custom_errors
 
+    @property
+    def user_defined_value_types(self) -> Dict[str, TypeAliasTopLevel]:
+        return self._user_defined_value_types
+
     # endregion
     ###################################################################################
     ###################################################################################
diff --git a/slither/solc_parsing/slither_compilation_unit_solc.py b/slither/solc_parsing/slither_compilation_unit_solc.py
index 7bae88c5c..201cc48cd 100644
--- a/slither/solc_parsing/slither_compilation_unit_solc.py
+++ b/slither/solc_parsing/slither_compilation_unit_solc.py
@@ -330,6 +330,7 @@ class SlitherCompilationUnitSolc(CallerContextExpression):
 
                 user_defined_type = TypeAliasTopLevel(original_type, alias, scope)
                 user_defined_type.set_offset(top_level_data["src"], self._compilation_unit)
+                self._compilation_unit.user_defined_value_types[alias] = user_defined_type
                 scope.user_defined_types[alias] = user_defined_type
 
             else:
diff --git a/slither/solc_parsing/solidity_types/type_parsing.py b/slither/solc_parsing/solidity_types/type_parsing.py
index b62f908d1..91e320a42 100644
--- a/slither/solc_parsing/solidity_types/type_parsing.py
+++ b/slither/solc_parsing/solidity_types/type_parsing.py
@@ -243,7 +243,7 @@ def parse_type(
             sl = caller_context.compilation_unit
             next_context = caller_context
             renaming = {}
-            user_defined_types = {}
+            user_defined_types = sl.user_defined_value_types
         else:
             assert isinstance(caller_context, FunctionSolc)
             sl = caller_context.underlying_function.compilation_unit

From 3646ea4bb8fc2bc360ad801f2fb2a08b592b4479 Mon Sep 17 00:00:00 2001
From: alpharush <0xalpharush@protonmail.com>
Date: Tue, 10 Jan 2023 08:32:50 -0600
Subject: [PATCH 2/3] add tests

---
 .../top-level-0.8.8.sol-0.8.10-compact.zip       | Bin 0 -> 2592 bytes
 .../top-level-0.8.8.sol-0.8.11-compact.zip       | Bin 0 -> 2589 bytes
 .../top-level-0.8.8.sol-0.8.12-compact.zip       | Bin 0 -> 2587 bytes
 .../top-level-0.8.8.sol-0.8.13-compact.zip       | Bin 0 -> 2590 bytes
 .../top-level-0.8.8.sol-0.8.14-compact.zip       | Bin 0 -> 2591 bytes
 .../top-level-0.8.8.sol-0.8.15-compact.zip       | Bin 0 -> 2592 bytes
 .../top-level-0.8.8.sol-0.8.8-compact.zip        | Bin 0 -> 2584 bytes
 .../top-level-0.8.8.sol-0.8.10-compact.json      |   5 +++++
 .../top-level-0.8.8.sol-0.8.11-compact.json      |   5 +++++
 .../top-level-0.8.8.sol-0.8.12-compact.json      |   5 +++++
 .../top-level-0.8.8.sol-0.8.13-compact.json      |   5 +++++
 .../top-level-0.8.8.sol-0.8.14-compact.json      |   5 +++++
 .../top-level-0.8.8.sol-0.8.15-compact.json      |   5 +++++
 .../top-level-0.8.8.sol-0.8.8-compact.json       |   5 +++++
 tests/test_ast_parsing.py                        |   1 +
 15 files changed, 36 insertions(+)
 create mode 100644 tests/ast-parsing/compile/user_defined_value_type/top-level-0.8.8.sol-0.8.10-compact.zip
 create mode 100644 tests/ast-parsing/compile/user_defined_value_type/top-level-0.8.8.sol-0.8.11-compact.zip
 create mode 100644 tests/ast-parsing/compile/user_defined_value_type/top-level-0.8.8.sol-0.8.12-compact.zip
 create mode 100644 tests/ast-parsing/compile/user_defined_value_type/top-level-0.8.8.sol-0.8.13-compact.zip
 create mode 100644 tests/ast-parsing/compile/user_defined_value_type/top-level-0.8.8.sol-0.8.14-compact.zip
 create mode 100644 tests/ast-parsing/compile/user_defined_value_type/top-level-0.8.8.sol-0.8.15-compact.zip
 create mode 100644 tests/ast-parsing/compile/user_defined_value_type/top-level-0.8.8.sol-0.8.8-compact.zip
 create mode 100644 tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.10-compact.json
 create mode 100644 tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.11-compact.json
 create mode 100644 tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.12-compact.json
 create mode 100644 tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.13-compact.json
 create mode 100644 tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.14-compact.json
 create mode 100644 tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.15-compact.json
 create mode 100644 tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.8-compact.json

diff --git a/tests/ast-parsing/compile/user_defined_value_type/top-level-0.8.8.sol-0.8.10-compact.zip b/tests/ast-parsing/compile/user_defined_value_type/top-level-0.8.8.sol-0.8.10-compact.zip
new file mode 100644
index 0000000000000000000000000000000000000000..38be57cf8b764ce6d560839cf81911d6d57919dd
GIT binary patch
literal 2592
zcma);_dgU41IN!gnP1_YGwv(0vm%le;mF7c<v7XataFJZN7mU+vJz*N6?N7bS@|MD
z>db6so|SWDKYgFypV#a8ynlHA^7#Ya7A6dgIskeAC!p|_jIGR-!}S0b0O0aX06-D|
z0HFN?<dAN`Zb&&r`RjiO@<%$kg#`Gc&`!=M7f-KXH+k<Me?JyRCV(RVfB^us;^RG(
zPm}}kqeBfE9Itx(yu{m~G09c}+JBD+weczK!TyRV%|zIZhXJ?(cR*`-T-~MQo6l8Z
zHiYtfB4PRnNoMz@_g?stlL^HYcbcdpF{)nESGPw69y5F2-%`L+;eB02`wND_%2##^
zU4m*2hPjMvlc`>M4dp$!U9)*3%rO#`-FG_l+z=|$YKFY4Su3Nsnv;){IvA(}_j&Vs
z4~ow=XXKGuO8Fk&81F;DQ#G6<KlVo4wr%UzZB*N=O)8#B8R7bn0dMJ;(K-J39Gobn
zwr|n}>LVAI0)M6AtR)$bFaK3rkaN81KCEpYrz}s`>+<|jIE|5>);#65{YIO(O|jpb
zC5wZdG(bWnWf_7{Zrj-w*_$|*B}o?!^NCeJ!RM1at=ew0N_2vDL?^G8xExns5ID9~
z2FAk8BBe_G^4mx<Lm7C{mF}%H!7sU-a05C@!3wgQ?-|!I%1vQJjMCs**xPf=t<UD-
zgn^Al3SOLS)l%SsNsdT|mob9}-6`ntqkFf4?3hazw11vZHdY9s0l^LR`nm)3gDC17
zX=e|KStfmHH6@;yV&X@ups1^M=;xaYLoh@gR>ff@>FhSLn#=b6gfLLh@Ceywb#3F_
zGzZ@J$3u1C*8yG@l>N;a`RZ>M43Ks8d64Lsn$Glb&|<*QX|liakmb}^Q2aL))NbRa
zaZZS`dUm%ql58DDMpoq}#aQ#p)mvPjzR2}zStVv}t1~e8O^OL8!DfaGrGd3(XGurl
z>E=(qccwEl%7gj>1Jb9EgAu)qK+ifOaLPemJH;gNB%Lk5&d@rDr0>;R(iP(#lIe~R
za_5p|K~~kTdu5b(lw60ND70YXG3;k|W?b+2>pXofL1Gz-AZ45tye&?cWpx7#G}1vb
z0;eU`i!v*X%4MKpqkghDqQroz6es$7j5m+^+1BLH_a1fC8giD`tG9xM-(s4ZDjI3p
z2WTeknUC577VOz3#GLbKP|2z00f$H&M{Zt~OC?XX%!_{d3&dWhTCs-yhX`i&3)851
zgtsS%;jeuO)7}Q9q~?F9#Xe{u^Ji^7^5?KSUG4i>`()XJji3}r<eZUa$6g2*_fjUK
zW5iHv_q)LFl_CN=%cn1hu5Fn_27%noyzDU2TrDuNK)tj5GD)p6O>uLGqx<g5j5#&@
zSdH9L4}ym}kdQ1gQeznfF4qX#hN^m)oV7gub-xSoYhst2cZBiXCd^4%`R2T+c=`;<
z>+iW8p0MY@(yWB)Vk%j+s**HTg_pFXX+1lz3#TFc%dl&858A7)FEc(K`eL|Ubj9;k
z<*Mpg`r|^-d}|L~6*Vl3{nRzWyNW1$L4no$_0SUz%>D&gM|zK}iGKWUSlTuAf$|m#
zQf&P&6jFSte0SWhI`1%H`}IG8&L@^BcktY~4okpcxF+B7H;fFdf5h+V;KIfDQJ8bn
z@8}8K@!tI96yYXg8!Q2;9LvgsdF{N{E5T4at;aW8$k0(sNz{x-TZ*)cGHzqDVAOlu
zN7&Ff3G!0%@{Huz{+c)^qdspWzi%fi-%m#Z{D2F`9>Ph>wZ2w%P$Zb8x0Iu4i2rbE
zW&F&3$Np+{mS&+`V><{Ji<LkD(oU)SXey7HyDb`JXELCef_+4FyxXoIRKrlx5Y&*N
zWsp<ULgIpB=;U^`uGlmx5{GCF|3tFX9_3Uy=e-M0T(ka|V`u<KDsErICf^$eTFuOE
zL;E;8eSXf}<o{(|sGV@QNoZsD1SXBwg+(7qT_Vy$^rMcePRm+sxHcRrfDA@K=GF$y
zY*FMDqh={O+#ypUFUOZ+y0glCgzzQHO5v|1u2&?Mw6Ah^LX67BKa3@}sxF*RjXEyr
zo~aUb)!AkesdT?>5|hJS#a0|1N=9WFI6mPk^H-aI83R5S1~NIs`Oi~yC;iBp0fiN`
zO!i*>G~00XR#6_g4Hhe{hE*x}S3dALK7LWuh<1w>IxTFK5%uW`uPEonXD@<aqIz?x
z8&z5_C95&&8e1GZCl`?46k(Dp^;QykH6Ocn6d8f5K^lmQPuEk<L&iXwZ?33gXVR!!
z8tFbqn0>0lFQ@lfW5e9W9n5iy2(1=Lac8-ClS>6oS}ll4L+Xo>4SBl_Ms~*{{i7Pq
z^kqJ%qn;WzzI#+i+T?+AU^oc_4XDUYA-?Y3IBz|Fc>xge`{YTg?xQ}pJ3o;-ll6XW
z_Y@}fu;2ny^9UEE6Ifp?ya%!wqvu}gyB$gig(wydYg@N{XL#uRRa};hKoK2{BPrln
zJ`BL{x0>)nrxU@9GheXhgW$~`&+_qMy7El7zK+tD8oKSEg3q-pzO1Z*^vk%34l;@)
zdJc3?o{LkJ5O9^(x#au?2jWZOCf~;Co0>-7)u<R$oWUy*XKK{)$F;UW^7)@e)!&f>
z1!=`oyr+W&LYCT6v3_EUEpdqNiXi~uo+l?5U;}&MK|#Rl2&pL>IF&VQ;Oi-=SKJQY
z@e_QbddC#p%r&xYp`0&F2*`2PS9Vd+Xd}i+c_@I?-$u?;kUPAvmsG!H<x$AQ8IGB-
ztM}+xk19&&>4eLV@vnq?Pfw*KT-8bfAfAn+aT~7(b}p0TZ?Bc^%xg%|-Xl}fMRscJ
z;V**?BQ#^JvWf|rtA|VX`(s;2<bu3%;};wP`qn2nn>$%`R6ZA&mQ4HCTyA%#luRF4
z&PjHtXxyxD#|eexIqD9mDCn$$yo)GaBX>6gwf1srNCGT4>~i)}vppU4dK&V5uphTY
zLZy?~qqOFE4l>(nzLh(#4F4_h(|&5|WRlvGi>>T`OB>RTEg@?oRHMsN6+E){t<zGt
ziMo+K)03aoZZWO=ZV4R>9V7cNa0q`oG#}O+Xtj7+_i$<?5CNVu110bZq}R~*!)R%q
zVRc<lb%(9Ti{(P;!&{r-Y*%I1P5*`kq$aJk<vg{%ab50W_v78>jHoGJc}R6ACf@7?
zxCKvHFY+lnW-a?MbaZ4Qv;%?5Mmy+k?JcB#xZk9#bG8s0w4-dZvnIcv+#Aj*7PS)%
zePw_vtU~d>JqRD@GJvG-m0)%jVW1UESG1$wgb25vTAGTkil>$|TA5~gmcT^MU?xf(
z%^QsC>$g>@iTZ+m5ZUwzx+mxnj^<Z`Z5?}U+pNQnf9P|ByB~Pmsj)J*JP$z_0W3`D
m=ye$Wceed0xBm`9_pkoXh_f(Z0{(la`-9CN*Z=820N_7|{^@%F

literal 0
HcmV?d00001

diff --git a/tests/ast-parsing/compile/user_defined_value_type/top-level-0.8.8.sol-0.8.11-compact.zip b/tests/ast-parsing/compile/user_defined_value_type/top-level-0.8.8.sol-0.8.11-compact.zip
new file mode 100644
index 0000000000000000000000000000000000000000..e6a5439a3f2d746837cb450431eeb82a8b5332b4
GIT binary patch
literal 2589
zcma);_dnE+1IOPu9HA>K+xZxgl@%hRLO5i_b;gOa-668?j_kc>k?}E#vyya@{jqn-
z-YIeB*?jwafB!xn-`Dep=P$26;Ax~s1yTbj0Vbf}zL<IBrpZ@#Isgz<2LKTO0G^{U
z5^fH@4sH_Cl8S%uM!VTK_+ijq&ux%i&zzin9VA`6(H?XlYQPErZ~&kh73C;<ChPfT
zbg<zrV_v6+vrr3fc)T&^J-$irX13cq+E>F%(ygCN1_BUI66<;{q`hQSJxnhA7x$}9
zy!HcY5n9x8jq{u0vv1OCD6)Xn$I$mG?i!tPPs8Ud(T_Quq-yFbTGFWc-{w78Y~#Aq
zpp^r<@;%X6v!T2*WgE7jm#iQSJN3|U@h~3$)}kG-(uyr16O-#fTI&h3ljLjKl~!A9
z<M&`~zD%Y9#~oe$XRLx#nflgm(L6FV-(e^mxl+WU#zN_*=`Am}A{e!(c2g#P(5@3{
zQ?t&OyX2UeJaiQJp*R2Cpr8+l!P;7Y<w&!cbIa!o@t!j?h1-%TaG)iz6&ZwOqHla)
zT+ufKRUsso((M)SI@W^eQ5Uyr(Jn%k?Oj6<=-c_kzk|rpCcP80+Sq)yOzcAM%M^&@
z9-jLcDBr#QlCk0`lRxbwlf=93e?Dwrzs$V$ig3T8n2J#$catV!yi*1P&SOXKoapmq
zO=zruiE6Q@+gZoHiXW1nFn-ph*A?gi4vMxprzU>GnzA|@9OYHBS8s#*eg^i1nG4mm
z?wECm1enf_ZQ0zcH;63CxF)d$ci;IZF4<!7(BajxV=@_2HIy&Kv8k(PXCT9y;zIk-
zv3OvM84?=6Vak*@zY!ER-RB?Y#|Mfu<C0k`{ys5GD?Bu_f4@5FM(meUVg#Y*5e)RY
zVXv~{*3_e}CFnfOeR~cidY|V-1-{H02R_d=IH1{x+jUTTp0!VDZ!AS8)_)TRgI_#G
z_x|E_pq-vysllXcK4N22D=c6?-8YF(tE@t<gfv3g>GZw79f9qQ(X&Bk$YTkjUk~>k
zlWjO+(ydh4XR{iH*b?s@cCJ>$2HYqZy<2d|@)10B*py-XhM%i9*r1bL9rF^LLqDqe
z>?$4lG3Y^~5hn>}SNOB>i!0>S+1z1u+C6ZJz<`?RO5(KiYWF+&Pm$N>{%S1P7K=S^
z3BNwRr_|QuA}D`s9?*@E@o?j)8hPT1E?JLBTcX5VNCAUIn^rnH(<yho2}AGks2?_E
z^&L-AbXl`?=zPEhIDGh3f%X@Ta2iQ#1rJ7>5SEL&)}UL`uC5E*0eiYULa|rpv4TWG
zKEKap=AKIFVG!@}MKNzfd<N4s2EKe0Ta5v0>@8*P<}#mB>4FXVr7{os#^Eyxdb3Mf
zZ(o)QGnFsRa~&55)mS^t(rBwwBgPaqpSSFWY`eSj1LQ@63~XqI$z2gAt%Uj|4s>u|
zW)^E6d=1aAcEqYM(LDQA8V}t~P?d&v+`Bn#s4F*&oHTmNusGIi(1MH+$ZkHO6+jHH
zO(dirF1q&eM)NP`%G!+(#=GUdRE1|WE(V!X(aaEp74O6?(lQ@MNibfpW6G#M|Khc&
zEJTfIaN%Ep?JU|m>LZtJ-5Z_G4`v>H)o3Tv4UFAAOx?LO^v_}JdVS|X!my0tc!o?*
zAvMFD+?~sVN`A^Z4cE`1qZJVi;{Q->t4+Z?TD^x-jo7)6>hG_2agT(F*A34a2|E|-
zg+@zWj^~+pI`Y?4d2Ar!N;^zc5Vbg|HGMIZYzXV|j{oa&e}b{Tm9T2m9!98Y@;PIo
zTyd^fLy?nD_j>^Q9v!y*xJ2eV#`=x=NJ2~~j*^lfZBTv_z02zYY~SvtmiX?OrMYRn
zF!=!NeZRXsBwq!z>QBwrdTf#8FZDp^R7>dW7yo$Eso2Y1k>zWnpeJ(7a_oEI%lQgg
zh?$!;Q4`Qkj+L~C+T+*!!ea|STk`ZR`9k&ZK8=_Btdo_oocA3%64XidJDTY)M$*U`
zCl#ZySLlT)%Rg!h8KHB7v=E7>>2Reed`7mynyu0|pJ6SV<BHN$2jl(5*LzP(datNn
z&81kIX{mGTm%=G>3N_CAtD7i`o<WT{lHVoR<=l3Cqr9lSqmx+Wy!I@JTF737J*0A7
zU9Xm1Zn9tiREpq^<zGf-7`m2uJxkU)DO!74RvA?@R@slJqV%5s%R`pO*4uTx0tqNC
zsz4)E4<uP~Z!oF>&u>KM4;VWljmL#EHZ%yXZ<B1hP_2awEs*lPKKHZ*<ciaX6GNPF
z@xt>ChGVG}CpO$Ch$lbC#Yk$kd)T3x^8vA+ZjPEg1CgW?ED!5T5EU`3ciL1aG+@FB
zWHIyidb6$TYEoUD{HQk!aPsSjT#u<J0uS*(k9}u;Us$UgC3cw6{d_#?N7{~<7fqUr
zNSZi03Htl5{PKqiXTxBm-w!O`+$maoUN$w~{H9${k9fqJ*mmm^f7b0&sP&_G&_|$*
z+rpw<kj*xQQ9O`T-IQ$0TH)!`clkkls+CbU=8W{prN0X|JU_FyN&yz*aRL1nfldWu
zoClCSxNi%ECT|5zsUQ|+(?UC``#D9QX(}JyCq&cK=??nwG}I*#GtVv2C$t->?fYFX
z6G(*Q+c&^eqAw9}RI?H$dV`XN^;*L;8J<&U4G%2OUD2B(TRrMXp&C!0m8<$XqIEsd
z!A7!Mm1P4JmyK$>Llkr&2$S_-0uAzpVph`IepjoivnXMoMY|{Cb`|Jf4Nn~bUJ^-Y
zC+|!xk(^*1K@=6qeDKnhLUxi;n}~>q*+V{2s@%x4Xzs3Fb2VpM`4E{s_Qc>Lcw>Ja
z7R~j76iU_Z%<*oeei5g8b|DGW71$47SoOH!N9jIP%A61h0||-d3uBf|L4@(&`GMRM
z%#M6JD*&9KH|kTR@~7fve|4;GULGX)Na}qQmu%eEgM4dpAU;>)Z+*~g;|1aRLY|c@
zecm&n$P$)yCGdF^Xtk*(X@6&MPBM}h_5%NFix!^a&aJe%fyHZ*LSot<TVV5g+E|iE
z$QZ18*pK{E)H16PB>Id^#cim7`lw&En^yvl$>{R>HBN2;cQ8Nx)<s!<zFf3ZE2b#L
z42i9gx2%oU{9q#Mz_@Rx9KZDSm&5!G9H;!Hs=V(RwQ_ccnVSkRgaTGX@uM@3ELPe)
zWIG-50Qqo;hSV6pU~;r{Gr$cq-(!D23?ViZw!mfS;x0rqQ#ky2J{U1~YODm#mCgul
zobq!L|6#HHDXZ;!m&+zTrBH}mvLR<@qpuE+h9{G03j$J960MGM(}SVTa-qApixmA#
z1zH#}#nJ^H!|rm=Gn_MSQmhODF#T4);)@q-H5`F_Hep=9xhsLnLiGz@p8DNeFw&!-
mRHORe&GskT{yQASzxqE5&Pb1%=HENTAI$!^_D=)?z<&U5*WgtE

literal 0
HcmV?d00001

diff --git a/tests/ast-parsing/compile/user_defined_value_type/top-level-0.8.8.sol-0.8.12-compact.zip b/tests/ast-parsing/compile/user_defined_value_type/top-level-0.8.8.sol-0.8.12-compact.zip
new file mode 100644
index 0000000000000000000000000000000000000000..8f3c5c654cba1652062eefa28aa5245a41a651bb
GIT binary patch
literal 2587
zcma);=Q|sU0*8Ze>@Bqt1RX|jQL2emvr1!z*n7o_)Yej?MyVP_jG{)Z+PkeiLQz|l
zqV{U6nsJ<-`~5!8{k<RFFTX$FMe0xhl>p=bMnK*J5fd3r_=P(S03f6c0Nerq05~si
zag3v%BSu^jCjSRtFO0QgfVUSGXKjnMcX9P|gt_^8dC~wW0hRzj7yy8XiE)-DN&DoF
zk2KzA$nN!Y6>f(_B^Yok^3C{u0!bZcGDQ`oS)pcv0n9!`j?FCQ?xHp22$`sD-kjcW
zO*N}qe>ttxxaJp<W+m61PN0@8&l}(#D!nr1Q9sPQ^toLmYU<0{Qz^cbXQP(8c;p&2
z@Ibn6uUu6dOM8>|b(i!ow|mk<H&n&8WBGsQ8E{5Xtw{Yy$53nun9ohC$3}OR3bxVc
zm>e{v>MCNyroyp$%LWofGmp%$0VJw!ZuT^RV4x4lcr&xe09CosW^<|Okt!724sQsS
zzNeJJk(06Bwc`s@tTWZ_Lq8u)9!#K_HM0?ZXu!?$n;xfH*IL;y=Y?w(Wzx?ZNCfvG
z-B_SY9!r9_z}DNxJm&Sk*y~oibs3q3!)h5LxruTqxs)c%G*FyYI4mH}vj6wHm~7V$
z2CX4(O1P};%t9D_0u{BWZT-#YH8OS~d(=l$C4+Dc;7$||xJX&~1|xO=KVV$qu%i@u
z2;tq_&HkAe@z^4DHST&b@Ws@eEWs`#d1c|yJ(ofd@V8Ee?Fuv;Oq2VKS5VeCg5Nth
zk#NTR3gU=Wm_G_PQ@bwfcdEKGUiAJzk?yvC<D>;eNr%W_edI^B?L`JDR5d_RcUNc#
z@zu@eOGqWUdE7H@gmDWpu-9CYMMX^;U_-ao$_7#w;NYH8hB{-ff-1KoQt%@3-L))M
zqy2i6s}cPg?~RyYgK^pyut~tIWL{o0eg!-@CJwe%YJO$&)2&HH%O$fIIS%h9G3xuO
z2b@#{$5f7WR-`4XX(BRE>Q+K@H^V#U%U4P)?)$fz-Z&x&+~Sb&33g%#QGPH-cdx16
z^yYEJnsqzF94TkxE^-*Y)frK_P=1!G=}>+j@B(e*iT?iPVxvWPVa2_b(~@?wy9*ZQ
ze{no}$oOHJukgzyuoD*lTb~~IE~=8G=3?f3QHDA~jGpnbfxp(hLyI#*VbUJY6fE|O
zK{93s@Xs-AIx;26AKu5AgqKSompgyYziczBIn9Bevl2vKDk!|{?PO$9&Y0#JLU7An
zhOjyUxsV!x5DRSubKa&>H}%8V_>=;Ye6{34q`KGH4ta?^LtRq$rF2jKTL`1^P|cyM
z?{cWhQ3w^*tH}H%Bo<i1A(Pj+R$M6X!U=b*5V%nzw_*xBnVLrTAo!s0^hKn@lL4l5
zu`T@#;Q;u-2AiSf8CB4{#U2GRYde;DBKc{q$BOG#*{*oYDxi4NHk91*PH-oIwZj|>
z<z+dTtr`cHPST?u+nkPG<eR6TFj*$XI8p?T!j+10?#_ViZ+mL;@$g$66WO<eTSIz5
z#hkANA1O&)b@U8b7?BeC&PI*~R~<peXdSY!Sg%jAV*QfIM@RjUth#2@r3UmakMI4Q
zR>r?^Gd9V45#8x}t*0nZTZn7*Z}(}e><Qpyrqo$a%*oz(9_LtcZ{u|*PHC7+M6OhM
zhn2aqh{({t7nncZaI3pYn(NkRTAUrjs{HFV?IoE$1K^ZK?#Q8PgmjR+Z^1!(aZ0L~
zi6{Lqj?1*}C+_?j{yx#wQxG%7FG*Ed6<RDOKhOd~o~cf|mJzdv*Zk<QfWTe7o+;<+
z_S2w*o#CQaf(Lx=Dj`i-W$`vz)eTS;NfzQ=tMj`Ik;}dV+fCGYxY?Xzp;)^W*8HXs
z3AfCwj<?;1Pwonf>;C7=>>2nXnlK`{Ld%JGWP(eg9-S9^qNOdYDJ>r>Y_0d2ETrhX
zo!MGr@9{dCq&~43g!0RL+viI-vqPzz-sY@*J-n(&zTEO9tkjzAV^RrrjEU>_!^Z(f
z$I+C?fRmsfK1)UiV1h>dC1cUmYO0e;)^lgy{%<jk%MsKQWG+OcY7iByP*DvngkBC&
z?U%j|)e{s}(5QFd!RlW(0v;+faTtwPS1%GKfB1v=dncWAs8|Y5-d7t=4CSzAZpwbp
zbsT@b|4Z%J_}9UJBW>^bMk@HZC`qm@<U6E(U%I!Kq_EFbdY~Grp5(f#sI2_x?1OW9
z$tdj&`jZP`t?4)AvEClGYsmO_?+6JeJhUQILJ|V)Y^mo_Q_sH11b?G**HdhcH(Ik2
zXSD&b7bG9e-l=ecLEGvBU;1+X`lJSEs+|Yfr2*RT3#g!vY)U*aI#T1IgC-L{MHXr!
zWQl=0DzaKF1x3|QeRJlNXQ2aWFZWKu$GSuVuSDKh%QJCfhTE&lklB!`#tZx#r4Ki8
ze`~NuKUGj{@a&G-f=#W4LPX-NRjxP_k_HL0x<1%g;89A4B+^pnj?;Hhm82NG%;Hl@
z--(j;(dlIE`o=?Yb@7(%)v3G`g!E2<_uqD$`=I!@iw?;QKK6RV)mHDa`~z+fqHuE3
z*7nqK+)k1vUC&?2eQ!QhsEcg(!OY<&1Ln3QR%X!;t?sTlLNDGyUK_brV+qvQDNZ6r
zDJmJ-7CAfvGt5AIRNumdyX^K|xQUolE^Rn$7O$IK2A9V38&h+Zxd^MGwc~!BSvI9t
z=;Ze#WHuOdO-JKt9BMheYNuK3F4Qh*y!luqJUmX59GoM?5%xY5St5d*Pi8Gj(@Z|2
z)|8?tTqbl~FxT_6N&Z!SKcD)uV(??MQw390f=>iRp6v8NqZ7-kMxBl)aMcFhJ@}_m
zhEjjcNiSd=EqTs2%EN+}#_l)e7>b7)`B^qu2wQg*mV#p&95cuah-)l{4{4K_wh<4$
z6r8Kbsh583HK{I^0>bK^ekx;fhAQ4(r4*WYPtuV-@&L!+w+S*$piG;LhuMm<MlEva
zdH!}tZO|*S=s_NhMDDv)uV`~k?#~`9fn^pw?h7zTsw6cz@#R}-7eWMq_(+7NY?k>V
zlE$y`If~MtVD%ZipfFJe6j6T}Uqa4an=5i+T)!En+stXR%u=?JRfh<#IFbFBy!&a?
z&x8;~KvbOD?{6e@e9y;JD%iV!Hfx;nUjUFVt>hLPwj*1zSZA)jJZe_x9D+hP8ac?9
z=iHjNaG*YiByFR&dWRS;VMw<`JaHQ4zt;jjZnMn=GUdq^(0tE+l+w*eDH{~f5~YAo
z5$5q6VUJq+C2qQFv+rkSfW`}n9el>{7G$i}WEJ=5hu=gcqBxgyY_GUiZq(b+fhp23
z&!p!{2hFVJ)+4ZQS$T+?YkvM$3C$S3GbBoPrZl%Fm}_zU6rgy08Y_E<)FC5RqWIs%
h_9xo@yD+kU^?&voQiqc2-#ghKjQ_a$PXYn}{{U7((U1TD

literal 0
HcmV?d00001

diff --git a/tests/ast-parsing/compile/user_defined_value_type/top-level-0.8.8.sol-0.8.13-compact.zip b/tests/ast-parsing/compile/user_defined_value_type/top-level-0.8.8.sol-0.8.13-compact.zip
new file mode 100644
index 0000000000000000000000000000000000000000..4f8ef1b383d2dc2f625e8d28e4c8713c311a9458
GIT binary patch
literal 2590
zcma);=Q|sU0*8Zy6ML&jwPsOi?Y(NmR-^We8jT=!5H%YbhuSArt(t9>ialzTnsw}1
zG^lx^s;G*(J@@;4p8I=0ykCBQz-w+y1Jndi1DF9NIubUuOGSJBU;sc^3jnwU002VJ
z0We?BFi&5Y)E%YY1fzXjJ;MXgK_RY)pofo;VV-w<g3<n9APC?L0K@_S>QA3~%Ti<m
zOQ$|It1=Z1_#;KS`EjY15RDu2!Cl<aNBS(diX0c)c`Sf6@Q`b#fVID3ODjPRw+DSb
z5T~!}a*NJu<1MnZoU$PG#p_hixh=j)&F|iToFi`49&G`6boXuJ%kFHNu~&t*pZoX}
zo8kFDhQ&0bc5}@@=2z2o3ju@x;qkV%<R1R!Nr~k(9PNhmD#4d#SHN*;P7j~hS0mH`
zHnurx$u`ySm7I+WGW%?Kw_@JJJ}8_*+YjN)5x@ciDb_oA6_&QO+Z}Ef`hMBM*lx8Z
ztgNzT7T5FKFMa#LcQlB0hJz0A6PY8a;01d(5hF_o-w9)gHnF|7X$c+Dew)RjWa!!T
zL31BA!F9iNp^%7nvG072jbu*ZX1^&jt4M4;<0%Vd{g2b*#1F2t4$J3=YP|NajNfBC
zN5txt$#+(cU=2eVy{XpB5`N``;%2$C1e6hR&|*>BuXtufw0>HETy$P(JvqEiXDyzW
z^}(}wA2EDxtSp{spU<be=J|e9erGyo9-yTd+>MguEv(ZaD~zQt#b8FO6jsC^?)4<Z
z<Sv8l2sNWA{5Q?}ze}HM>FJZWVW6%(OXm_nnN(0YGfMXcfA?b`@+-<;^GvR1VB}9^
zlFLRTSu_%}rvH#+ZT2>>WP7Fq8CkM$Cw{fcUik+^{Jkh`k(X0^IB+U#)iUJ)xrjR=
z#gZD>SC_i>GQH#h?89pSg@9?~_Pd}C9v@DemMs{Q&tbhXt!D<03#G_ISenijczeJZ
z6r^>Rq|H!c%svkBwBSWbjSQX2DUCUA@-<W?KK&q7)g63t8~6+?9fpL$pX;^CI4VK|
z^{UGxu<NS7Y6uO)X0RaabOjsbofvf-Hm(D+qvr_~R_pRAR9I^|B9+;OZqwRx+Cu9-
z(f#Zpr`<7_n0bwXe<FigpG8^oz@=I$8&#>v3VBAhYU23J%M7_WyaXqc<(b3OA&?;D
z9>=d91Cw}REW3a2wM~8P!H-_{Sq_r|yfzk(7^o0WjFN}YdAnAosl~!{^D6&(#Rt_&
z39MN@u%~~;f%&5R>raPJBt~3pkPmtxv^*ZgHiOkR>^=W$yDB11PHaS2$n?_WYc!8Z
zd!7qCY^f}<eA<RBx|oj#!{FbylRsY8cWx2Y%4Bl0$ZwvP9?!MfQ?9d2@?UaEeDo^y
z*P_`)d1A}oO`TVG)oCoNFlGjJ)GNAUqY2nFjCRcPkmu)Ok)-v<S9&!FCh4S+N+lk<
zSZ}rf9A-|evLr1A%{<iwj;VwSI0ocuS6OUtJST2WJ>0lOYpb+$RqsY}KDj8C+<Nsh
z)pc%n{hr85uSAnisKz95k4F?f{EuI^=x~U2y(eP%^=75@Y+u1`lE|Ukvr(F&MEA%d
zaV~1Xaa;Wtl%G1r4%c(z)L%ZcSnMBcPnSW-^_5Bd72DJ*$-!}~#Ww#ZL9bQMe+u!I
zLd0k9>MMlnUs;>fzLqAq)_k*#8Lcf}r#f2M>|IZ}ay}k#+O8Ts2{gx@Db!P(TjNon
zJ*?2m@CX#}sd2#sH5F92KyYfEJjyA<47FfYxo|Af!I9fTV+;z1p}yR{<m_UVo!oa`
zF<w4!Oxw6mCI`Dr!AW|K6%Sl`?09KVDL_&52+bI{tJ!v48<^QBWQI#$+D#}=;^ARq
z%sX(Y>uy48pQEY#Vk6`&jp~J&PO2BSr66@$-@qb=8UM^&3m9IUsJ7p^3jV6zG~y9l
z=|$1+UZ_Z)N1hlMDj0^`;ExH9v|%3dRVgpFFuW{cW#2vfS+;eTg4F)CQ+df&5VF6d
z?Bfvud3a*6y58sYar)=|wRUxASD$CW){Sjt>91m3e*`F~5R(KOBJBIYZtr1QqP;w^
zg42Qmap*#Ls7`xrU?-&1NG0Gi`)#*TaI!qkDb55svo^;gpgjEC8w88oSb}_(9(;Vl
zK}fqd>VP)w*+YiK7<_{8`>c<QF)_l}F-0D+KQcPlvAZKXP7zz=&gmb6teOLwsfXMC
zy^pxybGb~OVc!)OLs9NPbln;SGt?zk!YCeArG?B*oix5AnXlj|9nOrZogV|0NS&CA
zlfV*&TOmBGl<@Kfe(XoMck2U`Q~mv?B1d|K^RqS95_A&;!K6h03CV8t&)@NF1hb8x
z*Gwo28_>8(vv=fRzEj&kc?MGyC)b9C1=oG)VFC->R44I@hL&Gn9{%?|jVu4RGeM?q
zPD#6=w|Ea=ntfN6{hQ1s%iy=OEuZO1l|Hc6CuE&|>Z&c==sE-pSq*1qJ&_-9++;tk
zSk7wdmA02#lux3O+-D#&QxtR^v~tnc$OA~4%78~_DjG4Z27ae;pm2Q$?sSlTp3)w|
zq#Ax)EDqc|3J1zHi`iw_;!qb8nZ;f&@Qf3Ni`|pdyAmY&6o-XZ(Vb!e-yT1Yw+mq6
z%5}<b?pQU<Z2%EGJ3^mHt3xl311ERWZY8T=ggv6I!4VB|A31L-IZGsiCTQ$*UmnF~
zHF!xh8T;W%{Ak~AU96CPme!nY>JW$a4mz`ssDZRGhgyV=HdHFHw%F>O`rWE}y;+J^
z*V1u11?#$M$e(|m+p)7xS8Zom1xlKY)=S#4sp<MyD9t3^ATg^rKWoO>B3|3kUKMV>
zdtyWyrKjp~`@1XZ08PIsWO!b^;C+%&T#&pd{*9&o$q!}5fZ*?Hg1@q+J=}Gednp#n
zW+1`#X-xFk?at(kh;o3M*%%MoR}Ljh?%wPqhBq=-`;k#EEQ-9g%AhvnuA};9>iiaD
z+niZ-Y5+>hDi=t%gKl`U<0_(N#Y{C?jStCj=u=^*;g0ow@}(qL@eShk@ieTmQ1@Mw
z2b5QV7>u}IdBxcfZ;UM$o{lFS8=@>pF-4bLG0qyL+{<ZoNd|8oRkv`u->H{|GN&B}
z*zo%eZ4~8P3r}T3{Mb}Jo#ivCnPxf+V(ynLb3LCg?+5wsnX4)V&$zGkAg7)VBQ_Qc
zAJ|^cBW_+s#P>?A#zG{d0u(6ob;=oo)r3i%T^A59ZVoY-M2SYTxAXE1)lM9Y$tn2e
zpBtLsw2zT>fu3aF&`Cs%kHu{EcVvuZuIIHbyFxKrlgvx>NE-CrAFbfKvODs$(2YUh
z6#|6*2VkJ74#%t0R+y+gY)T%Ne?re}mtd9s%Z-8QlE*{eAQpdqbupfkZf;CPtx5C0
iqwROM{dcic|LXrtICEnV?Z0=b-&p@P@plCR0RI8r@!P2Y

literal 0
HcmV?d00001

diff --git a/tests/ast-parsing/compile/user_defined_value_type/top-level-0.8.8.sol-0.8.14-compact.zip b/tests/ast-parsing/compile/user_defined_value_type/top-level-0.8.8.sol-0.8.14-compact.zip
new file mode 100644
index 0000000000000000000000000000000000000000..12359abb509f4cd30d41c6bb822542e0a1b8b125
GIT binary patch
literal 2591
zcma);cQ_P|1IEwF<|ONE$(|WW9WLWSaW--GIdbmK$Vehw_DuHPoh>UfGvsWSy>};~
z_!jc(`}_a*Jiqtz$NSIw@B2I-m_7xiI)EI&1jyHvFmDEJ5iqm>fUpJtAPN8gd@xvP
z6v7vQl9rQE`HMFOWry&`V!V9p9K4)d-Fy);PrWf{T1qMa8~_Lb0Kk!vNQDap&w|O(
zrhAOp{b;vaU3|DWV~`sE7w-;s`R`C>T*+Hoi!XrypywgmZWge&WJ@DV5x38i)Bg&p
zWh+YUvQg(&P<$~fx9xH&1pg4)c;5rkuV{^1w!#>JTxIJT@LeesBNf>eYdzd|nshQL
z>E{yM9yGn{Pd<9QYSMX{B3MTI@Z_E#5xbe>hZEJd&k2i=6Wx&Iu$sSE;<1IMqtRmy
zJrA!<tS2y=jE8^vl(q0y`3#90Q^9hBrSeWl>~X^|6|ZZ0OrzCd;QW`5K&oqK@MSa0
zMcwD^pIr+#Jm!AW7hWI|<H0^0B>(mPC!Zp>XkWW?tGpXjZyA+XV~nhLZ07@+7eqUb
zZV`i6duH8kwdif`f8-dPeJXO-c!Jj|NHk4x7t*cxiS%RAZcn3DE=%DTJufm0-rs)?
z@_N8G!^uZg&s%EOK+L0qNSqxZP1aZ}zZSD^u2bhlMQ2WptbXqj_NbN#laflTXx}*)
ztl6+Q4?p3Rxe!(4-?6b9^SD_`=XS1R8?P6E>Dw_%q#&PRnV5|`xFST0w{baaC}#%C
z*@v4ZJH3XrJGWg>k&KTx9VCy=zlc2SKJXHlU|*RE%7aq$$neE1m0<aJIZc$I@!BOY
z=u2frjw7C*xpF)Ab&6Gm1VQO89q<&$+3tQ<rEk5y9w)5|BDKXUV>dA&>S=eGqz?_7
z=k`JBPeumGopHJQ3ogIqP2AVR6&lNtJLsUP#BR0;s#AlZe296c;6!wcVEh|z%L#MD
zo<J;|mCS<sMe9V-`T%lteqTZohpA4`1~vULK7S)!;Vdx4BpoIFoL(*k(o@3hmAh?S
zdR|o2yM4))Mkshk+?bCYlgxcqa4PeDlh2-T)oHJxI;Y=~XCwl;!hOcV`o!CtiDfrN
zCa*_<DBaAKquY0K>!)?A4$IpbjrI<G4SmZ4F5n+T9JbgMu%xHHp`N(BB@^rYf0`~>
zUT*nmFo(#tYHl>qryZ*9F2+Zb5~@$zKrv9Yf%WP4oSFe=sdIt<Aj+?^RL<sjSLP>X
zB`a_6<%|l}q8AI}*55!~G`Yp27mwjV$L|97D;fh7R;wtZ!pshx^)hEbC}+c>mc2D6
z4MFr>_vQ?(T%LlCk<=d~{IXq;E47^J2&ccZ9(L)(slQB5R>TY>sR--7e14~Z+{4y>
z%e!D$NY+t<O_Zo1)zS)IiTJR)zUDyKyh$suSkJF#>gceSap<xcw9so6aKAH`mSDN=
z)$>Os8Xj<V>c1kkUx;Elv#PkmBf#E!&Ch-C%y!9R4@XbTVVIxR`K4<8?38RoM7g8X
zcDXO)lB%AuWKhoDh_!7h>Vr~fhjU6W$EsKg$~5jf!&@&FZMEnbS8nLbLUO<mcMY8Z
z`fiG)xE`q}K_p)h%U4sU=1pVt{8yB&?|VxvDiq!}aF)XPO?uF=Fm=v%fLOUSA8%_x
z0x6^zBk1-8fi$avj&~h-M_4C+KG#9arr9f00d6q#Qk3YNqv49U;`2^?)UpWhBaTU8
zw+1Ig!6{%In^DLc;bBgWNo&E~8f#a7omH44B4z`=zrjKXNWUbp1~$G0#8jQtW|!Tq
z9GG^y(UpD`p!KnqvTiXw;B?qNR7yrdJ{-@gG~#C3_vFA2=x2LE8}t$r)DbRUbMV5z
zi!*~`;_LM>JrFF$+$Zo-N!gjtI;*iXh!vIzWb`yVAxI?ZpoM}DPK0Z>#iELf%Hw~n
z!I%r1%f5-|YBM#sg(OKQgmpFw`!+`%sPB{Ki>XQx<80{VE2Kd7rHAGjHlOe#I^-!m
z?x(;Pka>T8O&R-#Yje~e?MfBmkV@``x98cL@JT4#1YN~2WY4{kGJtFpe$1)t+C>ly
zo#tph*j*`;|M4c47sxJUQx9#A-myiZo`R^z#y;cwa{4F6Crdos)AXRF3T~`Uq;HO+
ztRdVtO?9Ts=7#XpL*EzP&o{Lya#*rxUvHF;6L!sk?4#u;fVr8q*`v4AGzPuXiLT(T
zX3<9zxX;hGYyi`8j#QEr&=!@QkN0@8WW_yYxRh)f9@*DGv$f{Uzsn8Wb<{`!O8-I3
ze_^Q@N_x%{OcR-(y;~I~gj47iN+y}oR5A$@a@Arr`bZ^uudFObM*>j_Lop!`8cY?|
zc`$gB(q9S&aJ^&Qzmn9D>MF6iqWK%c{7<BBRBqj(d0b70u#2|baWq0dLOMEy;~3I_
z1izI;i{(5OAe2UP$W`Gb{oQp%#3WPyA$u(Yc}&L_`h&TuV6+;>TDo^uB<W7Ko6MhT
zZRhWiet7jDrt9|CRGDGo;&SB}wO-UFEz8Yd9d@{7-D;)o<O<VRxmGY4By@SO)bJH~
z1eMe`_UYROWP|#8aLGr=6QUh<A@_xA1)NcMfOqCuS=O?p7T4rhG+H{I?ST|HUkDM9
zo~Hvu0m0wOX*XWch=q^12;9=T?f--o6@KL18t`@yPb4inKTd!dnX?@BeVxAN6(1XO
zTI7!QYcXc!a(b_MVZ$@NL?{;1Y+$ZKI_8Y7oQCK8q#){AhkMa}{Pn%<VeSymAK?Q~
zkwEWn%{7~bY<r5;T>&6!jzQjZ(%*HYg%*OCDvt_OsI?Vy`f)#L{K=JYdhzIN1tmK<
zy{CsRl$>GN!Y;5J|DtUYk#IDlaHHpxybhz}fQ+hRyy)Au9d<YERe!+ARb-l`<WoiT
z%}5FN&9AkfLwa<zvhp*5?{<3cp80g)Q=l>9)N{ra#am^5zGO86ygNBdOO!E6svQHS
zuRSbEn&!PQTgo!t+>Z^!b^Wj$sOmodw9d~PUzO;)uPDWD?<Z2MdOaHDg9rX}hzv0c
zelm-^#+dCFY<I_8tww1UI4oNo^9K6?v3O%vw!QZS{(#E-GQ`+YnSwrjuS+AA>A{!9
z0xSbpwj(3NVTjd4W1p;n0qiL3n}hEwYWmZIISlq!k6Ge|ts5KooPB#2yC82qz=knf
z-~ylmel$hrPl_M5VR<-bcrxQJL(Xo-h1=?evdSc8J9G7?1<@=$BN%pu7)&!7BAl_!
z{0{GHw0E9#^?X<aAA4X5(e=s8bYZ_wt^C|frjG7hCY>-ng9DF;Nf`ugt6Btu|8Hjw
zjz_zIzXx`jrwI|!rgGR91sA{L)hUz$qlW#6O^7j|+7X8Z>1!*~JmG3Tmk$QhCnHy<
k_}|v{SKR)a5VC*k|8zK*KGn5<=VX5|``ZnFH4p&!4?A(sy#N3J

literal 0
HcmV?d00001

diff --git a/tests/ast-parsing/compile/user_defined_value_type/top-level-0.8.8.sol-0.8.15-compact.zip b/tests/ast-parsing/compile/user_defined_value_type/top-level-0.8.8.sol-0.8.15-compact.zip
new file mode 100644
index 0000000000000000000000000000000000000000..4de1fa4acdce41528672f04ea2066612bc71c962
GIT binary patch
literal 2592
zcma);Wm^-B0)|JINS82akw!wAfuszCQPW9C4W_^dX?TIbP&yo-G)Rq65~JJEBb1PK
zv`VN*D0O_#_j6t6xj)=ro*!_VgDEIM0CK=}K%uUL&F}~Ahu(AmfQU8#AO-*co+G`b
zJzN7^J*4GiRQ}?J^l)$u@<#eTcX0G|c1Hxb$~^T$deKo*0qg*PNB}_d<x4k(a|NHG
z594@s#$19ILbUrPI?3XO7XO@IC+D3XhD_+v414HYD1h1LfMX|zxxaK%J6aL_l`oGF
zWvFK_Mgw1ehbSsJ|0K5sKNhlUMKx)7>JStkqgNgwAvfG*-!)ctV<^UOxlmFcuQJ{s
zo04HZ1#u6LC8U2h{cHoi#0Zwt86Bz%&U$a81)|0DpX5cqkP};%<$APmzRYKD_}a^B
z!m-bYdTK3&$#ODga4=^v<L-$YdP2pUS5vCsaF;V_#9YOf+UTG6U))mkEJ;2pg<YNg
z(+nXz5n#;=GeJoDlbBS2jUZ5)<yoO=^aREP`H&K7Ic?KOU|n>cy>@8Y+sH58k;mA3
z^M0!x%L?qLnS8ip*xVeG;z6b^l05DnGjj@X!Anmezu&XQVL6Bp852(qk{gQ{`TgUY
zI+mDNchz3E*3s)x43tJqMkiV~ccJz{GfQ24Aq>qtA4Nf;_;oD5*n+0KOsdwB?$UrN
zbmfTpxJuA6&9J$M?FusYg{aymN`2GKXp!XGZfm5zDHu!Kx|y>wT%47T6?y0Tu;;bC
zJ8xbz<&fQ?g?5B8aj<&k+2^Js%c+cYeMD1AaZ8pezvBH5w>Ih{coIU!%3c4UM$tNg
zbkG|fz0vHQlD1~XW>`Tz`Q>^9>;{pbF{|&qE7Q3z)N;tK=cKL(#J0UNQxCwS$Y{cV
zX!m=hw^?zg0^|pTNQ`%xsTyxg-;ik4heoKY@F{MQ0<I{?&QpH&%h{_6!fCP-!|Gu{
z))aswnnC$7rN12mKpDPaFN0CCFEpJ`mLL(~+8%L|6b-?J7s6S|mM0HoTrDajr)<(^
zD_1U6niP6%Zqqvy(+>=pQccNkPt6XN{wOF|VN)CUTpe*T6EoAykxd*sjIIIRb2|h|
zt|q4zXzOzrI;CcHk9*?;3*2h7HjS`D5d%nw#ut6)T>SnXuq}jRz(QSnOX4CWtJ4@m
zp}#dCsL9<56RcZUl|CK$j+DPXoy-uqMaZz?zJC$HUU})%U-ALYd-A;LtzWzReQ|t4
z_{6v#;!T`NvWr|pKH~rkNIO}=7dXwMtQkE0gyR8C{j^q>tjlo;x{99Wl$Kh2dr~~o
z^B_#Mm$XocVZ#><vCJv?248S$A?i1cNxB#f_I3E3(QY*N8CXh9z|q)y>kmgH2WFdT
zgF@uWQ6enRTgdax=e5dKhclkJmj`P5q)wmGgA~ak(4U_9Wrqh6)@7o0qL0%YL&j*g
zcfM9KFfTw=%&+7#pOoRZ*BwH9^^f}bT`5!u5JPu_cz;RqW~~V=r0Zje6sB)tsKQ!>
zGNpx*QcGq~?S1MPr$DXdUD^rx>r-1;Eg_PF+EVN0-m5D4Rpp99zt|3?_@ffINP)KD
zQ3-MTJO<=4HJV#NdHb-NU*svl8|1XZ8~yzpD9kVlEVRl1x4q(ov!=dcC2zNp<8GG&
z$nlsa*hK;1DSYlxZ8)+yaiv?TggQwFk0V~uOc#|=NSUWVVA5{r!9lyHz7=*{APwij
zcf0xy9F`Uli?>O=tyu51T#YZJO5%OMV%#)A3=rC<u1*Tp?X9sZ(E>H4k3y9_qy1j5
zt2rZb;_S$HlDIdn4GX?ZgV~yvvI-TR+hg4wAA^OJTsG&#S|>8OCgTs^KH~0PA(DJu
z&WS<%D?6!oY7*Ci;@Kz99>SXmc%vzBU=GblGc*EfK8s`Q1@Hl;cI;Tp`*Sw=5LQvo
zI%~^q^XATIM~B%y^>@37fRujZ8t40fsuXq2x9g@7!!3ZLXCYsCfkbxX-k17ASchZW
z@8|1RM$eL3BzIxAlE+(1f(H0^(Z>UguZN7Pq=-I4L<maaZuHk?GJh8T)t!J*iMtqa
zlMpX2@e>!vWi8ZGl`d<owjB+~=vlc$puf2_Ix(M$E!v#{nd^ovpVGrEaVaRb(Hh(7
zj7yigs;|b!ko_90dk|_->vpLjM0NA$wpQ^B-MbT`n~jNHp(Z8x6E(x)>~zTPREOrZ
z9Uf<c-b&2cG-7W-Ki-gcBE>|jD;#tg)^I@pjEOA_N|t5tFe~VeCw<JEj}p|qN2kO6
z6e?<ru0N|G3atuNw;*VlKF!Y<cCUoKG9RQH#aUxpgQSW!K8_Qm&{{(w1zhzauoElS
zL5*^TP{*#KLEHWT2s>|@#Hzb5I}_z%_6UCuTSpJ~Jxht7u-JJ$n??HR9-kC<W3n5(
zhPPc=rTUxG8MWfFp1_)%?)Lf89OU2)i?55*uA41ZqdHD6NE50RzuUx%+ga>rniL2t
z9E@K;T+8!HRE-w(^Fs!bTveG*7WOQT_25Iu*azB+5p895uRdLGtdnxoj#BOVsu^JX
z5vb#GNtUO8p!FTTu>!wdrmfWG+{3<)Vq@vB9<(M``Xkxfp}&8}8GB9&qE!Azvo6-`
z*wXe|Y8-{Y(3aS+c_+O~(A;)>ZSGGKb3}jeK3ro#^6jMK7vd|L@N7)2e=sThh?Dm_
zSZCSAK+h+#O8Nwa-!i)#aB@yu_8j)&$K%R&*ERviCR`zxBJHEsejjIcZI|jx8mW5v
zBRIsSZ>@DFRjgBsB?th$b6cd{&@9H;1>a9ssDp+yWsxHDeU(j(VNm*xG2B3ON>9#n
zuxwo&{h7@XH_Ayol?7X;4}(Bp8+{skG~kZpTimCrHX4cbGdZt)^Yuteh^$zHR1^7N
z$or0~Gqszx^SI#b+;9rHj2O)ogJfxX=WA+KiRfVu5sn0Agl@tJ7A($(%cT3P9=%zw
zae1X;FUnz)=(0Q@yy}aw|5>;uoV7jzj(L<=6;hGaMx11Sj*5vbh~~~U-H5PyYw#<Q
zrkh&Da&IdR>Rx&4nQY@lJG|=IW@G+kvj*&?ju$7X0TfPxzj6QO@on0D&rkp&jGbL=
z4$aI@YOXarn&cO4VB<WtK8@Nb!?K<;VvOsf5a602dJ}v?I7;lrQWVZ7&`*Ntq{8C8
z%SKnpH<n3y_v5u6dmHi%Z$oTsC-o38+?%9t{u^mB^PnTTRVhCW*$goXnckeNI3JUd
z$TLpS<MW8($e@g-_s(0X3^=P!#A6+@TqVn#%L*Zi53LP0ddL>)T2-UGfF^t>|J31&
zgy6mE`;NuZ+bA1nb6G+8-(Y8&`#;<IObsGuL_x0+EL81tDt8)lpIvFobOOx5WaJ=<
j|DA1r%k965B>PwYXT+I<si^<Gll{f|ubcjMAOP?m9v9b6

literal 0
HcmV?d00001

diff --git a/tests/ast-parsing/compile/user_defined_value_type/top-level-0.8.8.sol-0.8.8-compact.zip b/tests/ast-parsing/compile/user_defined_value_type/top-level-0.8.8.sol-0.8.8-compact.zip
new file mode 100644
index 0000000000000000000000000000000000000000..8e1d0716a1fecad6623ca4c7cfd0debe538cf95e
GIT binary patch
literal 2584
zcma);`9IT-1IOQPst+B8+(!s8$6OH+azxIMqs1I^%(0oP7@}p4oGntQ%o?%Ww{p&v
zO+u39%0?)OoZmj*-@lK?_x1eY`OE7Mc-mUAu^R%c054E{Me)Y2S8}^Q4**aN0YDxA
z08~h*a*z+&CrDXUMdvTbkf2*WQK2E>s9U$gz5U^6AC&-P2!e;51MmO<3;<lhV*NDs
zHNr}0BlUX!Jn2EeWjn-^)9r-~Bqoq;0%||5@+H5_^K_nw1x|*ogO&?VcD-D@oCHZ`
ziWc=GTs85O=klE=!%JT5PpU5Y{+9M=O03flHtK=6C4X@Zu@m+OlWSjf<gyKso;cIr
ziD=iG6|f(l%7h!&6MJ$v>q+O{Ip(J_Qu4@gzg^%hCSd+k8t{otJ7(fg<nyZ)1<h^~
z==I2ccp%MoXcMg)gCPn@)ko)vgd?M}IS|!vQ457(eb2PSh|zLEPpq+e`0K1IlZAG_
zT#cL1Jg)Ls0+F#RlB>w;lbiHVE}7g_T8Hs(BWuNg?@-n`uB!gLS|#SYyLUr7$osP4
zyg=}Gh#ICjH+#%U+|C2fKJYcI*Va(}uuG1=H~!fvu28{N&1Zz8bcMU!eq~@qC0b&P
zeD=+!w8_0IK&WY5r&uVsu;Wn)wqD6dK3s|RY4HUqKXSa_QIydyym|1>TjXX#pbj(Y
z#7Tq*oAv6nY|k0t!U*p-4f=?ctj9AIdSAOq%cMpoe1T+>r<e5<P*J<^g7D2YzgxrV
zDITW`2^iIdY(PG}7Y%Qs2DZvtJIkl8rW13Ib`-$QokNHImI9oGWv^!w_IE`Z$=379
znVPGll5byv1dO+p0%v*$wWVG~f5-LRKLYs?K^f~lA4M5!-y|#%kob4>d5fwLu+@)#
zQoNUYj^u8HlzRF!c_CgLwl1mvvxsSqwWBTEwD^UsJSX3ppA|TKY3~A?_Ho^@NDwu^
zEr2@7W*98WX+HBIwtbjzcdOg<9a@0~BuGUsba~vNPuK}ro*16zCD4!bEv#cbw*sPn
zA5R#>9>1{0WFq)Wf?{Cc8pzsNcd%T8T}mxfo=E`bIJEG$#3aAB(ODPCFfLckhwW;$
zPqH**^<O-0ApSBuX$hM%f(=El3)dlA&TvPdU^ZE<cP&XX=bE_sRzQO96s)(pevI@P
zC+@>W2^*Ry*@xrBSyuDHqO_VcSkRGwFL@AIutcmPHhRp_sn5ctZ48}G*+-o|i@wHU
z)9@-?@)t}D>v%B&Ah=x5h`X5G2icoT(EWao@FvlA@kkxI;rR=tw<nHo;uH7n>+Vn~
z_wV(p1l{A%PJ!xz98{42^tAUKUvDWv34_9Bxh&jxK$88f2Gu@S<^FutZ?g$Suqf`?
z0qMg^`zaRL#thrBI2Fs_v@f$#Rg06w5nGQ&+zvzo1U0uGd`?i%Z1e6DGGLv<9o%2z
zRlF{8>)GI3bpfSPA2n<7g3y~dQjBznnHjCzI>u{E@6@31d`Yb~WMc+G1}Vmmqip@j
zD=2Y`N1N&vPtRMjU)Mxc@J>SvvKbcXP%p>xVLfNAA@I|iwftTu^_vwDFECF<7mJQ*
zS(f)-La#<beTmfJ%#BY!y?PWdMa`@c*vJRcOccDe1s}OQbC2Yi-smn>`W)(h-=7JJ
z7j9%>=y-);4JTYYi6jce!|@AfOthn}Dd@}%-thR3O@V*#o0@2C4n`#>wVg<$WHWdl
zo?1(7WZ^#;Q08aqf>pA$F74)4iTa%UCloEq*QJ#3DMHy+0PxIS%8;RgkEEuT4xw<-
z>iy`F)m6Z=2p79|_bLyAhc(F~qSho6)nu7VxaH5M`bh5qC4nv0KD?N%rYd~wX6J^`
z27XNoMcx)9(e2L!S+luh)1aUA9l!K8>1hi}bk1zv20@97|AY^kPPa{njZ-TgBQ~Z+
zycDxn2zKJ%DVFpj(@u8vIu4)9??#;P4^q(a(w~F|EoW%4X{Mb<vckr{F*IwB`-RzG
zsi)2t-1kqd<;m~9XycBTp9=3NkZ?B}icWKk)f6x?&^e*x>6zqiDVLXG9{NU!{*x1F
z;#+3zW3ct7DFsy3lqmDl@gl)&v{9(j-lK7}OXWOYNj2-~gb5DK46TQK4{FkOx&5C{
z)@>ECEz~Sk3ho+?>o|MJE-af5GSz;FNRD+?%<8>>dDnV9ELd8~(R7-Nq_t{Q#(tev
z{t|rwSKBJ*`)df3qmduaEA%Sb-7B8__71sBNeW)y^LW>3VN3MKi8qEsq8wTVB=;Oi
z1`k;Bq2gUO0kcC644aV2IV~e@-fPYl2A{c9xdsqoOue-6Kbzr+-FBfLlK2{c?oUAv
z9W2LMISvMI*QKiasztiDO@|2*VX~&Tj%7NmrA*Wvk8kc^RBg7;^1sd#92-w}HVlb9
z-T~FgJKz~&PNl$nm?p13>z}w;JY6B5s!h^@x5@DMUGZ{7GjavWdC^POQoFtCCT@T`
zrF=sjPAPpRR1#a@<tS_v6S>c}gO1dxc4SZ=;)c9Crsr>`$ktZkU~>mE7du`}a}i7T
zRIGwb*v*9*QGalu=J%zv6>tmtR?3xn0(tg*qdP-%JLvec6~~OT-a}CWen*+NDU}2H
zhy)d%<z)xJRbZvl3nE=!mK{1ucSZ?Dm+P7SK{i4;7mrHWAuXo2e`_EmY+d$uq{;JD
z(t#eP*RSaB<Z(M?BKq$--NV`#ojXj{ahAG<)?uzeHMa&iNF1f?SdZ9ayLbE-ufSp{
zgKwfH_WKTuV^p&JR<BebB<7N7$?r{AK4_K+;*m{@2i~DnNU1Y)t&VP#hEjY|Gy8GM
ziqC3M&N%DPEDgIf%0F}?j{a&<aoH>NaZtH{9ADctE7?dxw+r`#%&b8DZS`?0FJq(a
zbZIYw8`2zk$MGcst6x6~CJh%CDV1&yF8UK<c-$$9IWEhJ{3^4P3uyW6+5R=j+B>3P
z(QSL0q(s^H<yWom-h+}EJ9{{#w|G^_U*6(<oofU7S5JaNNV^3Xv52Lwm~Edfn-*$^
zK*iAHdiBg5PT2R4rW>GI-%>T2>P~Y>=cS?#tRJE9E5E12ith(!=G80;MB@-~X5zmS
z8O<<COp->NP@>P1hHDx2R2sanbV-KGm^;)@=M0TLg4s!;@;yI%Z7U<Ad0FlCLgaNB
zx6Z;8*4NX^)^-Q^mk1RXv@vl62eOVgWT2qb5wrLfGR}4^OtfA6@G*Yv{m#84t|!WE
zjzwYHVu&BJ!!ox5t$Y=T-y4b;051}U^gBDlJzpHCn;yM1e6pMAD@G@rD!B=f$|;<C
z`xIBry{53R6;;++;pTt~{o`rAA08jblG$Yj^=_fgv`a(cdyf8SW8d0Zv9KDl{qJ1+
fTWtRwhUH)VpYdjE#liXSo#ii1e_i>v{{Y}W^tt3m

literal 0
HcmV?d00001

diff --git a/tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.10-compact.json b/tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.10-compact.json
new file mode 100644
index 000000000..c8211c636
--- /dev/null
+++ b/tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.10-compact.json
@@ -0,0 +1,5 @@
+{
+  "Test": {
+    "set(StackTop,uint256)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: INLINE ASM 1\n\"];\n1->2;\n2[label=\"Node Type: EXPRESSION 2\n\"];\n}\n"
+  }
+}
\ No newline at end of file
diff --git a/tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.11-compact.json b/tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.11-compact.json
new file mode 100644
index 000000000..c8211c636
--- /dev/null
+++ b/tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.11-compact.json
@@ -0,0 +1,5 @@
+{
+  "Test": {
+    "set(StackTop,uint256)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: INLINE ASM 1\n\"];\n1->2;\n2[label=\"Node Type: EXPRESSION 2\n\"];\n}\n"
+  }
+}
\ No newline at end of file
diff --git a/tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.12-compact.json b/tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.12-compact.json
new file mode 100644
index 000000000..c8211c636
--- /dev/null
+++ b/tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.12-compact.json
@@ -0,0 +1,5 @@
+{
+  "Test": {
+    "set(StackTop,uint256)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: INLINE ASM 1\n\"];\n1->2;\n2[label=\"Node Type: EXPRESSION 2\n\"];\n}\n"
+  }
+}
\ No newline at end of file
diff --git a/tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.13-compact.json b/tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.13-compact.json
new file mode 100644
index 000000000..c8211c636
--- /dev/null
+++ b/tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.13-compact.json
@@ -0,0 +1,5 @@
+{
+  "Test": {
+    "set(StackTop,uint256)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: INLINE ASM 1\n\"];\n1->2;\n2[label=\"Node Type: EXPRESSION 2\n\"];\n}\n"
+  }
+}
\ No newline at end of file
diff --git a/tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.14-compact.json b/tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.14-compact.json
new file mode 100644
index 000000000..c8211c636
--- /dev/null
+++ b/tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.14-compact.json
@@ -0,0 +1,5 @@
+{
+  "Test": {
+    "set(StackTop,uint256)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: INLINE ASM 1\n\"];\n1->2;\n2[label=\"Node Type: EXPRESSION 2\n\"];\n}\n"
+  }
+}
\ No newline at end of file
diff --git a/tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.15-compact.json b/tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.15-compact.json
new file mode 100644
index 000000000..c8211c636
--- /dev/null
+++ b/tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.15-compact.json
@@ -0,0 +1,5 @@
+{
+  "Test": {
+    "set(StackTop,uint256)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: INLINE ASM 1\n\"];\n1->2;\n2[label=\"Node Type: EXPRESSION 2\n\"];\n}\n"
+  }
+}
\ No newline at end of file
diff --git a/tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.8-compact.json b/tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.8-compact.json
new file mode 100644
index 000000000..c8211c636
--- /dev/null
+++ b/tests/ast-parsing/expected/user_defined_value_type/top-level-0.8.8.sol-0.8.8-compact.json
@@ -0,0 +1,5 @@
+{
+  "Test": {
+    "set(StackTop,uint256)": "digraph{\n0[label=\"Node Type: ENTRY_POINT 0\n\"];\n0->1;\n1[label=\"Node Type: INLINE ASM 1\n\"];\n1->2;\n2[label=\"Node Type: EXPRESSION 2\n\"];\n}\n"
+  }
+}
\ No newline at end of file
diff --git a/tests/test_ast_parsing.py b/tests/test_ast_parsing.py
index 0d6118601..af5a978c0 100644
--- a/tests/test_ast_parsing.py
+++ b/tests/test_ast_parsing.py
@@ -418,6 +418,7 @@ ALL_TESTS = [
     Test("user_defined_value_type/constant-0.8.8.sol", ["0.8.8"] + make_version(8, 10, 15)),
     Test("user_defined_value_type/erc20-0.8.8.sol", ["0.8.8"] + make_version(8, 10, 15)),
     Test("user_defined_value_type/in_parenthesis-0.8.8.sol", ["0.8.8"] + make_version(8, 10, 15)),
+    Test("user_defined_value_type/top-level-0.8.8.sol", ["0.8.8"] + make_version(8, 10, 15)),
     Test("bytes_call.sol", ["0.8.12"]),
     Test("modifier_identifier_path.sol", VERSIONS_08),
     Test("free_functions/libraries_from_free.sol", ["0.8.12"]),

From 4206739517778ebd48f0b676d01deec968091df4 Mon Sep 17 00:00:00 2001
From: alpharush <0xalpharush@protonmail.com>
Date: Tue, 10 Jan 2023 08:36:16 -0600
Subject: [PATCH 3/3] add test case

---
 .../top-level-0.8.8.sol                       | 27 +++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 tests/ast-parsing/user_defined_value_type/top-level-0.8.8.sol

diff --git a/tests/ast-parsing/user_defined_value_type/top-level-0.8.8.sol b/tests/ast-parsing/user_defined_value_type/top-level-0.8.8.sol
new file mode 100644
index 000000000..7021d3744
--- /dev/null
+++ b/tests/ast-parsing/user_defined_value_type/top-level-0.8.8.sol
@@ -0,0 +1,27 @@
+type Operand is uint256;
+type StackTop is uint256;
+struct StorageOpcodesRange {
+    uint256 pointer;
+    uint256 length;
+}
+struct IntegrityState {
+    // Sources first as we read it in assembly.
+    bytes[] sources;
+    StorageOpcodesRange storageOpcodesRange;
+    uint256 constantsLength;
+    uint256 contextLength;
+    StackTop stackBottom;
+    StackTop stackMaxTop;
+    uint256 contextScratch;
+    function(IntegrityState memory, Operand, StackTop)
+        view
+        returns (StackTop)[] integrityFunctionPointers;
+}
+
+contract Test {
+    function set(StackTop stackTop_, uint256 a_) internal pure {
+        assembly {
+            mstore(stackTop_, a_)
+        }
+    }
+}
\ No newline at end of file