Caml1999T037la1P'C2Value_rec_compiler*ocaml.text&_none_@@A . Compilation of generic recursive definitions @@=@9@;@@a@@AV5Y4Y@)Not_foundZ#O@@@A^=a<a@-Out_of_memoryW#W@@@AfEiDi@.Stack_overflow^#_@@@AnMqLq@.Sys_blocked_io_#g@@@AvUyTy@)Sys_error[#o@j@@A^]@:Undefined_recursive_modulea#x@@w@s@u@@h@@Aon@:Continuation_already_takenb#@@@Awv@&Stdlib@@ K The surface language allows a wide range of recursive definitions, but Lambda only allows syntactic functions in recursive bindings. This file implements the translation from generic definitions to Lambda. The first step occurs during typechecking, in [Value_rec_check]: [Dynamic] bindings need to be compiled as normal let bindings. This file mostly deals with the [Static] bindings. The three phases in this module are the following: - Sizing: we first classify the definitions by their size, which determines the compilation strategy for each binding. - Function lifting: we then apply a transformation from general function definitions to syntactic functions accepted by [Lletrec]. Examples: {[ let rec f x = f x (* Syntactic *) let rec f = fun x -> f x (* Syntactic *) let rec f = let g x = f x in g (* Not syntactic *) let rec f = let a = ... in (fun x -> f x) (* Not syntactic *) ]} - Compilation: we finally combine all of this to produce a Lambda term for the recursive bindings. Qjmo@@@@@@Р&Lambda&Lambdalqvlq|@@ 3@@@@@A3@@@lqq@@ @̐ ( Allocation and backpatching primitives n~~n~@@@@@@3@@@@ఠ*alloc_primhpp@BA@@)Primitive+description@@@ +A@ h@డ)Primitive&simple)Primitiveqq@ qq@@$name&stringQ@@@ @@ %arity#intA@@@ @@ %alloc$boolE@@@ @@ C@@@ @@ @@ @@ @4typing/primitive.mlif**jeu@@FP@50@@-+@@@ @@ (&@@@ @@ #!@@@ @@ a@@@ @@ @@ @@ v@E0caml_alloc_dummyIqJq@@LqMq@@P@@@ 1B@ 3B@ 2@MA\q]q@@T@@@ /B@ 5B@ 4@Qภ$truenqoq@;-@@@M@@@AB@@A@@ @ @@_@@@ -B@ 9@@@@@A@~p@@@@ఠ7alloc_float_record_primws  s  @CA@@@@@ VA@ :3@@@@@@డ&simple)Primitivet  t  )@ t  *t  0@@@@@@@ E@@ D@@@ C@@ B@@@ A@@ @@@@ ?@@ >@@ =@@ <0@Ȑ6caml_alloc_dummy_floatt  8t  N@@t  7t  O@@@@@ \B@ ^B@ ]D@АAt  Wt  X@@@@@ ZB@ `B@ _T@Ԑภt  `t  d@@@@@@@ XB@ dd@@U@@he@A@s   @@ @h@ఠ/alloc_lazy_primxv f jv f y@ DA@@0@@@ A@ e3        @}@@@@@డ.&simple)Primitive w | ~!w | @ $w | %w | @@,@@,*@@@ p@@ o'%@@@ n@@ m" @@@ l@@ k`@@@ j@@ i@@ h@@ g0@D5caml_alloc_dummy_lazyHw | Iw | @@Kw | Lw | @@O@@@ B@ B@ D@LA[w | \w | @@S@@@ B@ B@ T@Pภlw | mw | @@@@W@@@ B@ d@@U@@he@A@vv f f @@ @h@ఠ+update_primyy  y  @EA@@@@@ A@ 3@}@@@@@డ&simple)Primitive{  {  %@ {  &{  ,@@@@@@@ @@ @@@ @@ @@@ @@ @@@ @@ @@ @@ 0@1caml_update_dummy{  4{  E@@{  3{  F@@@@@ B@ B@ D@ȐB{  N{  O@@@@@ B@ B@ T@̐ภ{{  W{  [@z@@@@@@ B@ d@@U@@he@A@y   @@ @h@ఠ0update_lazy_primz} ] a} ] q@FA@@(@@@ A@ 3@}@@@@@డ&&simple)Primitive~ t v~ t @ ~ t ~ t @@$@@$"@@@ @@ @@@ @@ @@@ @@ X@@@ @@ @@ @@ 0@<6caml_update_dummy_lazy@~ t A~ t @@C~ t D~ t @@G@@@ B@ B@ D@DBS~ t T~ t @@K@@@ B@ B@ T@Hภd~ t e~ t @@@@O@@@ B@ d@@U@@he@A@n} ] ] @@ @h- {1. Sizing} A  A  @@@@@@3~}}~~~~~@z@@@@A+*block_size{AD  D  @@;@@-Regular_block|q@@@ @@E  E  @@HA,Float_record}@@@ @@F  F  '@@IA*Lazy_block~@@G ( *G ( 6@@JA@@A@@@@@D  @@@@GA@#))E  E  @"@г+#intE  ,@@23@IB;@@@A@@@@@@@@@@1@@@@3@#//F  F  @(@г1#intF  $2@@83@@@@5@#11G ( ,/@.@@@2@@A@.@@.1@dA+$sizeBI 8 =I 8 A@@;@@+Unreachable@@J D FJ D S@)ocaml.doc  Non-returning expressions, like [raise exn]. In [Value_rec_check], they would be classified as [Dynamic], but some of those appear during translation to Lambda. For example, in [let rec f = let [| x |] = ... in fun y -> x + y] the inner let binding gets translated to code that raises [Match_failure] for non-matching branches. Tracking [Unreachable] explicitly allows us to recover the size of the only non-raising branch. K T V R  .@@@@@@@!LA(Constant@@S / 1S / ;@ , Constant values. Can be either an integer-like constant ([0], ['a'], [None], the empty list or the unit constructor), or a structured constant (["hello"], [Some 1], ...). Integer constants cannot be pre-allocated, so need their own classification and compilation scheme (See {!Compilation} below). Structured constants could fit into the [Block] category, but we choose to reuse the [constant] classification to avoid sorting through the [Lconst] definitions. It also generates slightly better code. T < > ^?o@@@@@@@8MA(Function@@(_pr)_p|@0 Function definitions. This includes more than just obvious, syntactic function definitions; see {!Function Lifting} for details. 6`}7b@@@@@@@ONA%Block@@@ @@DcEc*@L Allocated values of a fixed size. This corresponds to expressions ending in a single obvious allocation, but also some more complex expressions where the block is bound to an intermediate variable before being returned. Rd+-Sh#@@@@@@@kOA@@A@@@@@VI 8 8@@@@nKA@#gg]J D He@T@@@heodc@cc@@@c@c@#__nS / 3]@N@@@`v^]@]]@@@]@]@#YY_ptW@H@@@ZXW@WW@@@W@W@#SScc@>@гU*block_sizec V@@\3@;@@@A@@@@@K@@@I@@\@@@@^\[@[[@@@[@[@@A@W@@Wh@3@@@A+,binding_sizeCj%*j%6@@;@@@A.Lazy_backtrack!t/lambda_with_envC@@@g@@@h@@@k@@@@j%%j%a@@@@PA@@Aг.Lazy_backtrackj%Qj%_@j%`@@г /lambda_with_envj%:j%I@@(3@S=;@@@AE@@@@ @@@@)@@@&2;@@@A@@@@@kbbn@@@@QA@@@@г6$sizej%Kj%O@@>@@@N j%9:@@<@+GGkbfkbu@@;@@&lambda@@r&lambda@@@llz|lz@@7RA#env@@%Ident#Map!t@@@F@@@H5m6m@@NSA@@A@@@@@=@@@:@#%%=lz@@@Ш@г()ElzFlz@@/[@@2@@m^@-@#))Nm@@@Ш@г,%Ident[m\m@2_m`m@@6dmem@ @г9,binding_sizenmom@@A@@@L @@O@@I@@@@A@y@@x@3rqqrrrrr@@@@ఠ,dynamic_sizepp@TA@@@8@@@D@@@@@#D@@@D@3@@@@࣠@%param6AĠ"()pp@;I@@@N@@@@A@@A@@K@@@@"3@1pq@@@@@@@డ$Misc+fatal_error$Miscqq@ qq@@@&stringQ@@@!@@!!a@!@@!@.utils/misc.mliYY@@$Misc@@@@@@@@#@@#YG@#@@#=@@ (letrec: No size found for Static bindingqq@@qD@@*@@@#G@#G@#P@@:L@@Q@ZMA@zD@#T@A@Q@QP@m@ఠ*join_sizes7 |JN|JX@&UA@@@2@@@#D@#@@#@ D@#@@#D@#@@#D@#@@#D@#3$##$$$$$@@@@@@࣠@%size19A5|JY6|J^@NVA@@"365566666@1=|JJ>@@@@@  @@%size2:AI|J_J|Jd@bWA@@*3JIIJJJJJ@!9@@@@@@@@@ఐ-%size1_}go`}gt@@@K3_^^_____@"B@@@@@@ఐ(%size2n}gvo}g{@ @@N@@@@@_@U@@#@@Ġ+Unreachable~~@;r@@@ @@@@CA@A@@@@@y@#/@@ఠ$size;~~@XA@@z@#<@@@@@@@@#C@@C@@$size~~@YA@@@#T@@Ġ+Unreachable~~@6@@@@D@#@#b@@@@@@ @@#i@@i@@D @@@@@@#p@@@ఐ@$size~~@?@@@A@@3@|J@@@@@@@@#@@@@@@#@@ @@@@ @@#@@@@@@#@@@ఐ,dynamic_size  @@@@@@@#@@#I@#@@#@@ภ{@y@@@@@@#I@$@@@@@@@A(}gi@@3&%%&&&&&@@@@A@D@$@A@@@@ఠ7find_size_of_alloc_prim=9:@RZA@@@h@@@(D@$@@$@Ƞ&Lambda&lambda@@@(D@(@@@(D@$@@$&optionL@@@*#F@*@@@*D@$@@$D@$@@$D@$3kjjkkkkk@Hg`@a@b@@@࣠@$prim?A|}@[A@@=3}||}}}}}@L@@@@@  @@$args@A@\A@@F3@!T@@@@@@@@@ఠ'same_asA@]A@@@@@@(G@$#@@$$$boolE@@@({G@$%@@$&G@$"3@'3o@*@+@@@࣠@*other_primCA@^A@@3@.L@@@@@  @@ Р)Primitive @@ 3@%:@@@@@@A3@@@ @@ @3@@@డd&String%equal"@ #(@@@&Stdlib&String!t@@@&@@&@@@@&@@&c@@@&@@&@@&@*string.mlirrr@@.Stdlib__StringK@'"@@@@@@(o@@(n@&@@@(m@@(l{@@@(k@@(j@@(i3 / . . / / / / /@K@@@@ఐƠ$prim ?) @-@@@@)prim_name F. G7@3)prim_namem@@@ K@@@ @@@ 3*prim_arity F@@@ @@A@@5^6^@@zK@3*prim_allocD@@@ @@B@@?_@_@@L@30prim_native_namef@@@ @@C@@I`?CJ`?\@@M@35prim_native_repr_args($listK+native_repr@@@ @@@ @@D-@@[a\a@@N@34prim_native_repr_res: @@@ @@E6@@dbeb@@O@@@h]i]@@J@QI@@@@@(J@(c@@ఐܠ*other_prim 8 B@@@r@)prim_name C@a @@@@@(J@(}@@@@~@ @@3        @@@@A@ G@(@A@@@ఠ'int_arg RX R_@ _A@@ !#intA@@@(G@(@@@(G@(3        @6/@0@1@@@ఐR$args Rh Rl@%@@3        @@@@Ġ":: ry rA; U d@@U@ VB@AA@A @@ PĠ&Lconst r@;&Lconst@@@ @3structured_constant@@@ @AB@V@A1lambda/lambda.mli,&&,&&@@@@Ġ)Const_int r r@;)Const_int@@@ k@P@@@ _@A@@I@Arvr@@@@ఠ!n +r ,r@ D`A@@c@@@(P@@@ 3r 4r@@3@@@(V@@@L@@W@Ġ"[] RA; Q@@@@AA@A O@@ @@UA@ @@@(e@@@ Hrx[@@g@@g@@@ภ$Some Or Pr@;  @@W@ A@AA@A c@@ ఐ3!n ^r _r@2@3@4@@3 _ ^ ^ _ _ _ _ _@=@@@@@@@@ k l@@@@@@@ภ$None s t@; $@@@@AA@A @@ @@@@@@A yRb@@@A@ {RT@@ఐ䠐'same_as  @@@@@@@(@@(@@@(@@(3        @@@@@@@ఐʠ*alloc_prim  @ @@@@@(G@(G@(@@% @@ j@@@(G@(@డ )&Option#map  @   @@@@!a@)K@@)!b@)H@@)@@)@z@@@)@@)@@@)@@)@@)@*option.mlioo@@.Stdlib__OptionI@,'@@@@^@@@*%F@*@@* @@* @@*@! @@@*@@*@@@*@@*@@*p@@࣠@!nA  @ +aA@@#3        @@@@@@@ภ-Regular_block  @;@@@ @A@AB@A@@ఐ!n . /@>@@@@?3 / . . / / / / /@)@@@@@@@@@*$@ 9 :@@@P@@*@@*G@**G@*(-@@ఐ'int_arg M N@@@yd@@@*G@*.G@*,@@ @@C@ఐ 'same_as e f@@@@ @@@*3@@*2@@@*1@@*0\@@ఐ7alloc_float_record_prim | }'@l@@ @@@*G@*=p@@" @@@@@*?G@*:v@డ &Option#map -1 -7@  -8 -;@@ڰ@@@@@@@*eF@*G@@*JID@*cF@*D@@*I@@*H@۠@@@*F@@*EY@@@*C@@*B@@*A@@࣠@!nA -A -B@ bA@@'3        @<@@@@@@ภ,Float_record -F -R@;:@8AAAB@A4@@1ఐ!n -S -T@?@@@@@3        @V&@@@@@@@@@*d@ -< -U@@@Q@@*\L@@*[G@*jG@*h*@@ఐD'int_arg -V -]@p@@0e@@@*YG@*nG@*l@@w @@D@*WB@ఐ{'same_as ^h ^o@K@@@ H@@@*s@@*rt@@@*q@@*p[@@ఐ ./alloc_lazy_prim 5^p 6^@@@ _@@@*|G@*~G@*}o@@" @@@@@*G@*zu@ภ$Some K L@ภ*Lazy_block T U@;5@@@@AB@A@@@@@F@*@@@@D@*@ภ$None e@@@@ F@*@ j^e@@@ l@@]@ n@@@@@@@@@A@5D@*@A@@@@ఠ3compute_static_size  @ cA@@@6@@@P D@*@@*@@@PD@*@@*D@*3        @(b[@\@]@@@࣠@#lamA  @ dA@@3        @,  t01@@@@@  @@Aఠ7compute_expression_size  @ eA@@@%Ident#Map!t@@@5F@+@@@,GF@*@@*@@@@NF@*@@*N@@@GFF@*@@*@@*3        @<H[@?@@@@@࣠@#envA  @ iA@@33        @D@?@@*@.@@*)@@*G@*@@*G@*@J@K6compute_and_join_sizes@NF@*@@*@$listKKF@NF@+H@E@@@EF@*@@*NF@FF@GF@EF@*@@*G@*@@*G@*@ - y  . y @@ FfA=compute_and_join_sizes_switch@#Map!tr@@@*@@@*@@*H@*@  Š@!a@*Š@ &lambda@@@*H@*@@*@@@*@@@*@@*@@@*H@*@@*@@*@ k!%!+ l!%!H@@ gA1size_of_primitive@F@*@@*@+)primitive@@@3F@*@@*@>@@@NF@*@@*F@*@@*G@*@@*G@*@@*G@*@ "" ""@@ hA@@@@@@#lamA  @ jA@@3        @@@@@@@@@ఐ#lam  @@@@@3        @@@@Ġ$Lvar    @;$Lvar@%Ident!t@@@ @A@@V@A*&&*&&@@@z@ఠ!v  @ kA@@@@@+!3        @,@@@@@"@@ @@ @@@డ#Map(find_opt%Ident % *@  + .@@/7@ @@F#key@@@@@@O!a@@@@@@&optionL @@@@@@@@0typing/ident.mliTaiTa@@+Stdlib__MapV@0&@@@#@@@+@@+@pi@@@+@@+m@@@+@@+@@+387788888@e^@_@`@@@@ఐl!vH8I9@ @@D@@@,8L@,7@@ఐm#envZ:[=@@@"@@f@@D@@@+'@Ġ$NonelCKmCO@@@@@U@@@,X3pooppppp@8@@@@Z@@@,Y@@@ఐ,dynamic_sizeS[Sg@Z@@@@@@,f@@,eM@,d@@,c@@ภShSj@@@@ @@@,mM@,q*@@@@+@Ġ$Somekskw@Yఠ,binding_sizeɠkxk@@A@@F@5F@4OF@4WF@-EF@-MF@,N@,]@@@@@@@@,^@@@@@,_@@@డ %force.Lazy_backtrack@ @@@@!a@3@@?!b@0@@>@@=@.Lazy_backtrack!t@@@<@@;@@:@@9@8utils/lazy_backtrack.mliTQQTQz@@ B@,'@@@@ J@@@,L@,x@@,{F@FF@,F@,u@@,z@@,y@( @@@,w@@,v@@,t@@,s3@vo@p@q@@@@࣠@Aঠ&lambda56A3 ! t@@@ $@@@3  @@A@A @ @A !@ ఠʠ @ZAA@ ,@@@,3DCCDDDDD@&@@@#envNOAఠˠ@lBA@ 1 *@@@,@@@,@@@^_@@VF@,O@,@@@@ఐ7compute_expression_sizeno@w@@@@@,@@@,@@,@@,3vuuvvvvv@Z<9@;@:+(@*@)@@@@ఐ2#env@ @@ f@@@,@@ఐU&lambda@@@}O@,%@@1@@&@@@@@@,@@,M@,M@,c@@ఐ,binding_size@@@@@@@q@@@A @@H@Ġ'Lmutvar  @;'Lmutvar@!t@@@ @AA@V@A+&&+&&@@@z@@  @@@@@+$@@@@@@@@@@ఐ f,dynamic_size  +@@@@ a@@@,@@,K@,@@,@@ภ W , .@ V@@@ s@@@,K@, @@@@'!@Ġ&Lconst/5/;@@/</=@@@@@+'5@@@ @@A6@@A6@@@ภ(Constant/A /I@; @@@ACA@A  @ @@@GA@Ġ&Lapply.JP/JV@;&Lapply4@,lambda_apply@@@ @AC@V@A1-&&2-&'@@@@@@JWAJX@@@@@+*b@@@@@nc@@nc@@@ఐ Π,dynamic_sizeOJ\PJh@ (@@@ @@@,@@,FK@,@@,x@@ภ cJidJk@ @@@ @@@,K@,@@@@@Ġ)Lfunctionvlrwl{@;)Lfunction|@%)lfunction@@@ @AD@V@Ay.''z.'' @@@*@@l|l}@@@@@+-@@@@@@@@@@ภ(Functionll@; r @@@BCA@A q n@ `@@@@Ġ$Llet@;$Llet@R(let_kind@@@ X*value_kind@@@ !t@@@ e@@@ i@@@ @EE@V@A/'!'#/'!'^@@@l@@@@$@@@+43@@@@@@@'@@@+5 @ఠ"id@lA@@/@@@+6@ఠ#def@mA@@@@@+7%@ఠ$body@nA@@@@@+83@@@`@@,5@@,5@@@@ఠ#env͠@'CA@@Q^K@,@@@-K@,3@fC<@=@>6/@0@1)"@#@$@@@డ #Map#add%Ident23@ 67@@;<@ @@:@@@U@@T@!a@?@@S@ @@@R@@Q@@@P@@O@@N@@M@9@5F@* @@@W@@@,@@,@P@@,@W@@@,@@,[@@@,@@,@@,@@,Y@@ఐ"id}~@a@@y@@@- L@-k@@డ &create.Lazy_backtrack@ @@@!a@+@@B!b@,@@@A@@@@U{{U{@@C@@@@ @@@-oF@-9L@-,@@-.̠  @ @-pF@--@@@-+@@-*@@ຠ&lambda@ఐ#def@ð@@ @@@-;M@-<@#envAఐ  @O@5@@@@@B@@@@F@-4@@ఐ#env@b@@I@@@@@A@ @@ఐ]7compute_expression_size/@@@@\@@-@I@@-D@@-@@-~3@@@@@@@ఐ #env.0/3@ @@n@@@-@@ఐD$body?4@8@!@@#K@-#@@/@@h$@:@@i,@Ġ'LmutletP9?Q9F@;'LmutletV@@@@ !t@@@  @@@  @@@ @DF@V@A`0'_'aa0'_'@@@ @@o9Gp9H@@@@@+>3qppqqqqq@@@@@x9Jy9K@@!@@@+? @@9M9N@@ ,@@@+@@ఠ$body9P9T@oA@@ :@@@+A@@@D9U@@!@@!@@@ఐ堐7compute_expression_sizeY_Yv@@@@@@-@@@-@@-@@-3@#@@@@@@ఐɠ#envYwYz@@@@@ఐ7$bodyY{Y@@@K@-@@+@@ @Ġ'Lletrec@;'Lletrec@$listK +rec_binding@@@ @@@  @@@ @BG@V@A1''1''@@@ @ఠ(bindings@ pA@@ @@@+G@@@+F3@H@@@ఠ$body@ qA@@ @@@+H@@@<@@8@@8@@@@ఠ#envΠ@3DA@@]jN@3X@@@3K@-3#""#####@q92@3@4' @!@"@@@డ$List)fold_left89@ <=@@@@#acc@/@@1t@!a@/@@1s @@1r@@1q@@1p@@@1o@C@@@1n@@1m@@1l@@1k@@1j@(list.mli000o@@,Stdlib__List^@/*@@@@QK@3@@3&@@@@3LK@3 @@3% @@3$@@3#@@3"@@@3!@i@@@3@@3@@3@@3@@33@`@@@@࣠@'env_accA@EA@@*s@@@@ Aঠ"idA3"id@@@ !t@@@ @@@ 3#def ;@@@ @@A@A H+q+s H+q+@@ b&@@A G+a+c G+a+p@@ f%@ఠ ! @FA@@@@3M3@>^@5@6@@@#def@!@@@^@@@3P@@@@@jO@3J@@@@డ #Map#add%Ident@ @@@ @° @@@@@@3]@@3\@@@3[@M@@@3Z@@3YQ@@@3W@@3V@@3U@@3T3@OWT@V@U@@@@ఐ^"id%&@ @@!@@@3O@3@@డv-create_forced.Lazy_backtrack=>@ AB#@@@!b@@@MY!a@ @@@L@@K@XXYX@@aF@@@@F@3O@3@@3oF@3 @@@3@@3R@@ภ(Functions$t,@@@@P@3`@@yz-@@XF@3d@@ఐ'env_acc.5@@@q@@@@Ǡj@@@3yv@6@@@*@@3?@(@@3>.@@3=@@35.@/@0@@@@ఐ#envop@ʰ@@@@ఐX!p|}@@@@@ఐV$args@'@@ F@NF@NOF@NPF@N4F@N5F@37@@G@@8@Ġ'Lswitch@;'Lswitch @ Q@@@  U-lambda_switch@@@ @@@ @CI@V@A 3'' 3'(,@@@ ^@@@@ h@@@+V3@ @@@ఠ"sw@tA@@"@@@+W@@@@@@@+X@@@7@@ @@ @@@@ఠ)fail_case@GA@@ @@@@4K@4@ @@@4K@4@@4K@4@@@4K@33@J=6@7@8@@@ఐE"sw@@@h@@@3@33@@@@-sw_failaction @3-sw_failactiont@@@ &optionL @@@ @@@ @@D3,sw_numconsts c@@@ @@@@A +_.F.J ,_.F.\@@ 3@3)sw_constsa@ u@@@ @ @@@ @@ @@@ @@A@A C`.. D`..@@ 4@3,sw_numblocks2 @@@ @@B)@A Ma.. Na..@@ 5@3)sw_blocks<@ @@@ @@@@ @@ @@@ @@CA@A eb// fb//3@@6@T@A ic/N/R jc/N/o@@7@hZ@@T#@@@3@@@3g@Ġ$None!@ @@@@h7@@@3@@@3@@o>@@@4@@@3@@@ภ"[]%'@ `@@@@Ġ$Some(2(6@ \ఠ$fail(7(;@HA@@b@@@4@@@@@i@@@4 @@@4@@p@@@4 @@@4 @@@ภ"::(@(VA @@ (A@@3@.'@(@)@@@@ఐ4$fail(Q(U@ @@@@@@K@4@ภ"[] $A @ %A@YK@4@@@4M@4"!@@(?.@@#@@@A0@@@A@2@@ఐ ؠ=compute_and_join_sizes_switch `f `@ ܰ@@@ ڠ G@@@47@@@46@@45@ ՠ Ԡ@@@@4{J@43@ @@@44@@42@@@41@@@40@@4/ @@@4.@@4-@@4,343344444@8YR@S@T@@@@ఐ W#envD`E`@ @@ @@ภO`P`A bఐ"sw [`@Z@@@@@4}@4x+@)sw_constsf`g`@1@@ "@N@ @@@4L@@4K@@@4JK@4sK@4~K@4yE@ภ`3A ఐĠ"sw `@ @@@@@4@4]@)sw_blocks``@A@@4K@4K@4K@4j@ภذ`XA ఐ̠)fail_case `@x @@K@4K@4K@4@ภʰnA ~@oA@"@@@4K@4@@vA@),@@@4K@4@@K}A@0e@@@4vK@4@@`@@ k@@@4IK@4r@@@@K@4G@@@ @Ġ-Lstringswitch@;-Lstringswitch @@@@ @&stringQ@@@ @@@@ @@ @@@ @@@ @@@ @@@ @DJ@V@A 6(( 7((@@@@@@@@@@+b3@ i@@@ఠ%cases()@AuA@@:@9@@@+e@@@@+f@@+d@@@+c@ఠ$failCD@\vA@@@@@@+h@@@+g.@@QR@@@@@@+i6@@@nW@@ 8@@ 8@@@@ఠ)fail_casebc@{IA@@@k@@@4K@4ܠ@$@@@4K@4@@4K@4@@@4K@43{zz{{{{{@ ]V@W@XC<@=@>@@@ఐI$fail@ @@<@@@4@@@43@@@@Ġ$None  @.@@@@Q@@@4@@@4-@@X@@@4@@@44@@@ภ  @y@@@T<@Ġ$Some(,@uఠ$fail-1@JA@@{@@@4>@@@@@Π@@@4@@@4F@@ՠ@@@4@@@4M@@@ภ6MA@ 7@@8@@3@z0)@*@+@@@@ఐ6$failHL@ @@@@@@K@4@ภ &A@ 'A@sK@4@@@4M@4 @@50@@"@@@A2@@@A@4@@ఐ =compute_and_join_sizes_switch&W]'Wz@ @@@  a@@@4@@@4@@4@  @J@@@5=J@4@ @@@4@@4@@@4@@@4@@4 @@@4@@4@@43NMMNNNNN@@@@@@@ఐ q#env^W{_W~@ @@ @@ภiWjWA|ఐK%cases sW@ @@ .@@@ '@@@5@@5@@@5K@57K@5?K@5;7@ภW%Aఐ5)fail_case W@E @@&K@5KK@5SK@5ON@ภ;Ae@?@WwA@@@@@+L@+z3DCCDDDDD@ @@@@KL@@@=@@@+|@<@;@@@+@ @@@+@@+~@@@+}@@+{@ఠ'handlermn@xA@@@@@+L@+/@@@pw@@ 1@@ 1@Ġ(Ltrywith@;(Ltrywith@/@@@ Ġ !t@@@ Š:@@@ @CM@V@A:)X)Z:)X)@@@=@a$body@yA@@^[@@@@@@@+c@D'handler@zA@@Am@@@5@@ o@@ o@@@@ p@@@ఐ 6compute_and_join_sizes@ @@@ @@5h@ @@5g @@5f@@5e3@ @@f_@`@a@@@@ఐ #env!@ 5@@@@ภ#1Aఐ$body '@" @@ F@5y(@ภ*)A ఐ'handler 0@4 @@K@5;@ภ &A@ 'A@p#L@5{@@@5K@5J@@0A@y,F@5t@@@5xK@5S@@":@@ F@FF@5vF@5wZ@@f@@@I[@Ġ+Lifthenelse02812C@;+Lifthenelse6@@@@ Ǡ@@@ Ƞ@@@ @CN@V@A9=)):=)*@@@@ఠ%_condL2EM2J@e{A@@@@@+3POOPPPPP@ @@@ఠ$ifso[2L\2P@t|A@@ @@@+@ఠ%ifnoti2Rj2W@}A@@@@@+@@@Aq2X@@@@@@@ఐq6compute_and_join_sizes{\b|\x@u@@@s@@5@o@@5a@@5@@53@ B;@<@=4-@.@/' @!@"@@@@ఐ#env\y\|@ @@@@ภӰ\~\AఐQ$ifso \@" @@K@5*@ภ\AȠఐV%ifnot \@4 @@K@5=@ภհ &A@ 'A@-L@5@@@5K@5L@@0A@6F@5@@@5K@5U@@\}:@@F@5Y@@e=@@Z@Ġ)Lsequence@;)Lsequence@@@@ ʠ@@@ @BO@V@A>* *">* *@@@@@@@@@@@+3@L@@@ఠ!e  @$~A@@@@@+@@@)@@<@@<@@@ఐd7compute_expression_size@&@@@c@@5@P@@5K@@5@@53%$$%%%%%@r#@@@@@@ఐH#env56@@@w@@ఐ7!eBC@@@&K@5@@+@@k @Ġ&LwhileVW@;&Lwhile\@@@@ ̠ @@@ @BP@V@A[?*A*C\?*A*^@@@ @@jk@@@@@+l@@@@@@+q@@@ @@r@@r@Ġ$Lfor}~@;$Lfor@!t@@@ Π3@@@ Ϡ7@@@ Р(Asttypes.direction_flag@@@ ѠD@@@ @EQ@V@A@*_*a@*_*@@@G @@@@%@@@+@@@V@@@+@@ @[@@@+@@@%@@@+@@@e@@@+@@@B@@@@@@j@@@Ġ'Lassign@;'Lassign@!t@@@ Ӡ~@@@ @BR@V@AA**A**@@@!@@@@@@@+@@@@@@+@@@" @@@@@@ @@@@@ภ(Constant @ @@@@Ġ%Lsend    @;%Lsend@)meth_kind@@@ ՠ@@@ ֠@@@ נ 9@@@ @@@ ؠ@@@ @ES@V@AB**B*+@@@"@@%  &  @@$@@@+'@@@@@@+,@@ @@@@+1@@@%@@@+@@@+:@@@,@@@+?@@@E@@k@@@k@@@@ఐˠ,dynamic_sizeL  M  @%@@@@@@5@@5CK@5@@5U@@ภ`  a  !@@@@@@@5K@5e@@@@f@Ġ&Levents " (t " .@;&Leventy@"@@@ ۠&,lambda_event@@@ @BT@V@AzC++ {C+++@@@+#@ఠ!e  " 0 " 1@A@@;@@@+@@ " 3 " 4@@@@@+@@@* " 5@@@@@@@ఐ7compute_expression_size 9 ? 9 V@@@@@@5@@@5@@5@@53@+$@%@&@@@@ఐҠ#env 9 W 9 Z@@@@@ఐ?!e 9 [ 9 \@@@K@5@@+@@ @Ġ'Lifused ] c ] j@;'Lifused@!t@@@ ݠ@@@ @BU@V@AD+,+.D+,+K@@@$@@ ] k ] l@@@@@+A@@@@@@+F@@@" @@&G@@&G@@@ภ(Constant ] p ] x@ @@@*P@@@A@@,3@R@@@A@@P@@E@=@@E8@@E@@EF@E!@@@@@@@@@*@@@*@@*@@*3"!!"""""@C@@@࣠@#envA1 y 2 y @JOA@@&321122222@A@@@@@@(branchesA@ y A y @YPA@@-3A@@AAAAA@Q8@@@@@@@@డ$List)fold_leftV  W  @ Z  [  @@ @@@@AH@E@@E@M@@E@@E@@E@@E@ @@E@[X@@@E@@E@@E@@E@@E3uttuuuuu@5Ad@8@9@@@@࣠@$sizeA    @QA@@'3@@@@@@@&branchA    @RA@@}3@%9@@@@@@@@ఐ*join_sizes    @<@@@@@@E@@E@@@E@@E@@E3@)@ @!@@@@ఐ?$size    @)@@b@@ఐ7compute_expression_size    @ݰ@@@@@E@@@E@@E@@E'@@ఐ#env   !@@@4@@ఐa&branch ! !@>@@A@@   !@@D@@S@@E@   ! @@@@@E@@@E@@E@@EI@F I@F@@ภ+Unreachable! !! !@@@@I@F@@ఐ砐(branches$! !%! !$@@@@@@@@A@@ @@F @@@F@@F@@FF@F@@@4 y {@  @ѠШ@б@г %IdentM!K!dN!K!i@Q!K!jR!K!m@@V!K!nW!K!o@ @г,binding_size`!K!Wa!K!c@@@@@*3baabbbbb@@@@@@.@@@* @@б@г%$listt!K!u!K!@г*$list}!K!~!K!@В@А!a2@*$!K!t!K!u@@@г12!K!x!K!~@@8@@@*3@@@@@ @@*: @@@S @@@*?!K!s(@@@] @@@*E6@@гE$size!K!!K!@@M@@@*Q@@@@@*@@*V @@@Y@@* @@*[a@@=@@*_@ZA@@@@@@+ @@@+ @@+ @@Y@+@@@@+@@+@@@+@@@+@@+@@@+@@+@@+ @@*@࣠@#envA!!!!@ TA@@Q@@@F^@@@F]3        @H;@@@A@@@A@ !K!T !K!U@@@@ %SA@@@@@@)all_casesA !! !!@ 2UA@@@$@@@F~@@@@F@@F}@@@F|@@@F{3 2 1 1 2 2 2 2 2@0G=:@@@F\@@@F[@E@F@@@@'&@@డ$List)fold_left N!! O!!@  R!! S!!@@ @@@@5J@F@@F@M@H@@@GCJ@F砠@WM@F@@FM@F@@@FJ@F@@F@@F@@F@@F@@@F@h @@@F@@F'@@F@@F@@F3        @Qukj@i@@@Fy@h@@@Fz@@Fx@@@Fw@@@Fv@@@@@@࣠@$sizeA !! !!@ VA@@P3        @)@@@@@@%casesA !! !!@ WA@@Y3        @9b@@@@@@@@డ9$List)fold_left !! !!@  !! !!@@ @@@@M@F@@F@|@@F@@F@@F@@F@ @@F@Ԡ@@@F@@F@@F@@F@@F3        @5A@8@9@@@@࣠@$sizeA!!!!!!@!XA@@'3!!!!!!!!@@@@@@@nA@ఠ$_key!!!!!!@!/YA@@3!!!!!!!!@*!>@@@@@@ఠ&action!%!!!&!"@!>ZA@@@@!*!!!+!"@@@@@@F@@ @@ఐ0*join_sizes!=" "!>" ""@ϰ@@@+@@@F@@F@@@F@@F@@F3!H!G!G!H!H!H!H!H@3<@6@7.@(@)@@@@ఐ[$size!Z" "#![" "'@@@@~@@ఐ7compute_expression_size!i" ")!j" "@@r@@@@@G@@@G@@G@@G)@@ఐ#env!~" "A!" "D@I@@F@G@@@G<@@ఐl&action!" "E!" "K@D@@I@@!" "(!" "L@@L@@[@@mM@!!!!" "M@@@@@F@>@@F@@F@@FN@G*N@G&@@ఐ $size!"N"Z!"N"^@@@V@@ఐ%cases!"N"_!"N"d@Ͱ@@]@@@@@!!!!"N"e@@@o@@F@m@@Fs@@F@@FK@G9K@G5#@@ภ+Unreachable!"f"n!"f"y@R@@@K@G?Z@@ఐӠ)all_cases!"f"z!"f"@d@@נ@@@FK@GEK@G@o@@ @@G@ A@б@гг@ @@@F2 @@@@@F4@б@ггВ@г@@@@@F5&@@г@@@@F6/@@@@ @@F75@@ @@@F99@@"@@@F;=@г@@@@F<D@@@@F=@@F>H@@B@@F?@@F@L@]@@@@@@G@@@G@@G@@@F!@@@@G@@G@@@G@@@G@@G@@@G@@G@@GF@Gs@@@"z!%!'@@@@@@+@ @@+@@@+@@+@@+ @@+ 3""""""""@@@@࣠@#envA""""""@"[A@@&3""""""""@@@@@@@!pA""""""@"\A@@-3""""""""@8@@@@@@@@$argsA""""""@"]A@@13""""""""@A@@@@@@@@ఐ&!p""""""@@@O3""""""""@E@@@@@Ġ'Pignore""""""@;'Pignore@@@ 8@@@Bo~@Ayy@@@b@@@  @@3########@<@@@@@Ġ)Psetfield#""#""@;)Psetfield@L@@@ 4immediate_or_pointer@@@ @@@H3%%%%%%%%@/ @@@@@Ġ.Record_regular%%N%X%%N%f@;.Record_regular%Types5record_representation@@@L@@@@BC@A0typing/types.mliDSqSuDSqS@@@ @@@@@f@@@M(@@(@Ġ.Record_inlined%%N%i%%N%w@;.Record_inlined@#intA@@@L@AABC@AGTQTSGTQTj@@@%@@%%N%x%%N%y@@@@@MH@@@@@@@@ML@@L@@; @@@@@MP@Ġ0Record_extension%%N%|%%N%@;0Record_extensionF@$Path!t@@@L@ABBC@AGHTTHHTT@@@O@@&%N%&%N%@@@@@Mr@@@@@@@@Mv@@v@@e @@@@@Mz@@@ภ%Block&&%%&'%%@; @ A@CA@A  @ ֠ภ-Regular_block&1%%&2%%@ఐ$size&;%%&<%%@@@!@@@MM@MM@M@@&F%%&G%%@@! @@@MM@M@@(@@@Ġ,Record_float&X%%&Y%%@;,Record_float@@@ABC@AESSESS@@@@@@  @@@@@M@@@@@M@@@ภ%Block&n %%&o %%@Hภ,Float_record&w %%&x %%@ఐ$size& %%& %%@ڰ@@!@@@NM@NM@N@@& %%& %%@@!Q@@@MM@N@@&@@@Ġ.Record_unboxed& %&& %&@;.Record_unboxed@$boolE@@@L@A@BC@AFTTFTT@@@@@& %&& %&@@@@@M@@@@@R@@@M@@U@@@M@@@డ +fatal_error$Misc& &&#& &&'@ & &&(& &&3@@ @@@ @@@N@@NN@N@@N5@@1size_of_primitive& &&5& &&F@@& &&4& &&G@@ @@@NN@NN@NI@@& @@^J@@@A&%.%6& &H&S@@aM@Ġ*Pmakeblock& &T&Z& &T&d@;*Pmakeblock@6@@@  v,mutable_flag@@@ +block_shape@@@ @CBo~@A ~(* ~(Z@@@e@@' &T&e' &T&f@@@@@H@@@@@@H@@ @@@@H@@@-@@@@@@@ภ%Block'0'P'X'1'P']@ ภ-Regular_block'9'P'_':'P'l@డ%$List&length'I'P'n'J'P'r@ 'M'P's'N'P'y@@@,,-@>,,@;*Preperform B@@@Go~@A#<K ) +#=K ) 7@@@$r@@@  @@ {@@ {@@ @@ |@Ġ(Psequand-R?,,%-S?,,-@;(Psequand U@@@Ho~@A#OQ  #PQ  @@@%u@@@  @@ @@ @@' @@ @Ġ'Psequor-e?,,0-f?,,7@;'Psequor h@@@Io~@A#bQ  #cQ  @@@%v@@@  @@ @@ @@: @@ @Ġ$Pnot-x?,,:-y?,,>@;$Pnot {@@@Jo~@A#uQ  #vQ  @@@%&w@@@  @@  @@  @@M @@  @Ġ'Pnegint-@,?,E-@,?,L@;'Pnegint @@@Ko~@A#S  #S  @@@%9x@@@  @@  @@  @@` @@  @Ġ'Paddint-@,?,O-@,?,V@;'Paddint @@@Lo~@A#S  #S  @@@%Ly@@@  @@ ) @@ ) @@s @@ * @Ġ'Psubint-@,?,Y-@,?,`@;'Psubint @@@Mo~@A#S  #S  @@@%_z@@@  @@ < @@ < @@ @@ = @Ġ'Pmulint-@,?,c-@,?,j@;'Pmulint @@@No~@A#S  #S  @@@%r{@@@  @@ O @@ O @@ @@ P @Ġ'Pdivint-A,k,q-A,k,x@;'Pdivint @%'is_safe@@@ @ALo~@A#T  #T  2@@@%|@@-A,k,y-A,k,z@@@@@HJ @@@@@ p !@@ p !@@@@ q "@Ġ'Pmodint-A,k,}-A,k,@;'Pmodint @!@@@ @AMo~@A#T  3#T  G@@@%}@@.A,k,. A,k,@@.@@@HM ?@@@@@  @@@  @@@@@  A@Ġ'Pandint.B,,.B,,@;'Pandint @@@Oo~@A$U H J$U H S@@@%~@@@  @@  S@@  S@@ @@  T@Ġ&Porint.*B,,.+B,,@;&Porint -@@@Po~@A$'U H T$(U H \@@@%@@@  @@  f@@  f@@ @@  g@Ġ'Pxorint.=B,,.>B,,@;'Pxorint @@@@Qo~@A$:U H ]$;U H f@@@%@@@@  @@  y@@  y@@ @@  z@Ġ'Plslint.PC,,.QC,,@;'Plslint S@@@Ro~@A$MV g i$NV g r@@@%A@@@  @@  @@  @@% @@  @Ġ'Plsrint.cC,,.dC,,@;'Plsrint f@@@So~@A$`V g s$aV g |@@@&B@@@  @@  @@  @@8 @@  @Ġ'Pasrint.vC,,.wC,,@;'Pasrint y@@@To~@A$sV g }$tV g @@@&$C@@@  @@! @@! @@K @@! @Ġ(Pintcomp.D,,.D,,@;(Pintcomp @&82integer_comparison@@@ @ANo~@A$W  $W  @@@&=D@@.D,,.D,,@@@@@HV @@@@@!" @@!" @@l@@!# @Ġ-Pcompare_ints.E,,.E,,@;-Pcompare_ints @@@Uo~@A$Y  $Y  @@@&XE@@@  @@!5 @@!5 @@ @@!6 @Ġ/Pcompare_floats.E,,.E,-@;/Pcompare_floats @@@Vo~@A$Y  $Y  @@@&kF@@@  @@!H @@!H @@ @@!I @Ġ.Pcompare_bints.E,-.E,-@;.Pcompare_bints @&-boxed_integer@@@ @AOo~@A$Y  $Y  6@@@&G@@.E,-.E,-@@@@@H[ @@@@@!i @@!i @@@@!j @Ġ+Pintoffloat.F--.F--%@;+Pintoffloat @@@Wo~@A$] | ~$] | @@@&J@@@  @@!| -@@!| -@@ @@!} .@Ġ+Pfloatofint/F--(/F--3@;+Pfloatofint @@@Xo~@A%] | %] | @@@&K@@@  @@! @@@! @@@ @@! A@Ġ)Pnegfloat/G-4-:/G-4-C@;)Pnegfloat @@@Yo~@A%^  %^  @@@&L@@@  @@! S@@! S@@ @@! T@Ġ)Pabsfloat/*G-4-F/+G-4-O@;)Pabsfloat -@@@Zo~@A%'^  %(^  @@@&M@@@  @@! f@@! f@@ @@! g@Ġ)Paddfloat/=H-P-V/>H-P-_@;)Paddfloat @@@@[o~@A%:_  %;_  @@@&N@@@  @@! y@@! y@@ @@! z@Ġ)Psubfloat/PH-P-b/QH-P-k@;)Psubfloat S@@@\o~@A%M_  %N_  @@@&O@@@  @@! @@! @@% @@! @Ġ)Pmulfloat/cH-P-n/dH-P-w@;)Pmulfloat f@@@]o~@A%`_  %a_  @@@'P@@@  @@! @@! @@8 @@! @Ġ)Pdivfloat/vH-P-z/wH-P-@;)Pdivfloat y@@@^o~@A%s_  %t_  @@@'$Q@@@  @@" @@" @@K @@" @Ġ*Pfloatcomp/I--/I--@;*Pfloatcomp @'80float_comparison@@@ @ARo~@A%`  %`  @@@'=R@@/I--/I--@@@@@Hf @@@@@"" @@"" @@l@@"# @Ġ-Pstringlength/J--/J--@;-Pstringlength @@@_o~@A%b # %%b # 4@@@'XS@@@  @@"5 @@"5 @@ @@"6 @Ġ+Pstringrefu/J--/J--@;+Pstringrefu @@@`o~@A%b # 5%b # B@@@'kT@@@  @@"H @@"H @@ @@"I @Ġ+Pstringrefs/J--/J--@;+Pstringrefs @@@ao~@A%b # D%b # Q@@@'~U@@@  @@"[ @@"[ @@ @@"\ @Ġ,Pbyteslength/K--/K--@;,Pbyteslength @@@bo~@A%c R T%c R b@@@'V@@@  @@"n @@"n @@ @@"o @Ġ*Pbytesrefu/K--/K--@;*Pbytesrefu @@@co~@A%c R c%c R o@@@'W@@@  @@" 2@@" 2@@ @@" 3@Ġ*Pbytesrefs0 K--0 K--@;*Pbytesrefs @@@eo~@A&c R }&c R @@@'Y@@@  @@" E@@" E@@ @@" F@Ġ,Parraylength0L--0L-.@;,Parraylength @ @@@ @AUo~@A&j&j@@@']@@0,L-.0-L-. @@ )@@@Ho c@@@@@" d@@" d@@@@" e@Ġ*Parrayrefu0;M. .0<M. .@;*Parrayrefu >@ ;@@@ @AVo~@A&<k&=k@@@'^@@0KM. .0LM. .@@ H@@@Hr @@@@@" @@" @@@@" @Ġ*Parrayrefs0ZN..#0[N..-@;*Parrayrefs ]@ Z@@@ @AXo~@A&[m&\m7@@@( `@@0jN...0kN../@@ g@@@Hu @@@@@" @@" @@;@@" @Ġ&Pisint0yO.0.60zO.0.<@;&Pisint |@@@go~@A&vp&wp@@@('b@@@  @@# @@# @@N @@# @Ġ&Pisout0P.=.C0P.=.I@;&Pisout @@@ho~@A&r&r@@@(:c@@@  @@# @@# @@a @@# @Ġ*Pbintofint0Q.J.P0Q.J.Z@;*Pbintofint @@@@ @AZo~@A&t.0&t.M@@@(Qd@@0Q.J.[0Q.J.\@@@@@Hz @@@@@#6 @@#6 @@@@#7 @Ġ*Pintofbint0R.].c0R.].m@;*Pintofbint @@@@ @A[o~@A&uNP&uNm@@@(pe@@0R.].n0R.].o@@@@@H}@@@@@#U@@#U@@@@#V@Ġ(Pcvtbint0S.p.v0S.p.~@;(Pcvtbint @ @@@ @@@ @B\o~@A&vnp&vn@@@(f@@0S.p.0S.p.@@@@@H(@@@#@@@H-@@@ @@#}.@@#}.@@ @@#~/@Ġ(Pnegbint1T..1T..@;(Pnegbint@5@@@ @A]o~@A'w'w@@@(g@@1T..1T..@@B@@@HL@@@@@#M@@#M@@@@#N@Ġ(Paddbint1$U..1%U..@;(Paddbint'@T@@@ @A^o~@A'%x'&x@@@(h@@14U..15U..@@a@@@Hk@@@@@#l@@#l@@@@#m@Ġ(Psubbint1CV..1DV..@;(PsubbintF@s@@@ @A_o~@A'Dy'Ey@@@(i@@1SV..1TV..@@@@@H@@@@@#@@#@@$@@#@Ġ(Pmulbint1bW..1cW..@;(Pmulbinte@@@@ @A`o~@A'cz'dz.@@@)j@@1rW..1sW..@@@@@H@@@@@#@@#@@C@@#@Ġ(Pdivbint1X..1X..@;(Pdivbint@$@@@ <@Aao~@A'{/1'{/j@@;@@$size0@@@@@ '{/A'{/V@@)Bk@'is_safe1@@@@@ '{/W'{/h@@)Ml@@aA@@@@@1@@@1AA)Pm@@1X..1X..@@*@@@H@@@3@@$5@@$5@@@@$6@Ġ(Pmodbint1Y..1Y..@;(Pmodbint@$B@@@ :@Abo~@A'|km'|k@@;@@$size3@@@@@ '|k}'|k@@)~n@'is_safe4@@@@@ '|k'|k@@)o@@bA@@@@@1@@@1@A)p@@1Y..1Y..@@*@@@H!@@@3@@$q"@@$q"@@@@$r#@Ġ(Pandbint1Z..1Z..@;(Pandbint@)@@@ @Aco~@A'}'}@@@)q@@2 Z..2 Z..@@6@@@H@@@@@@$A@@$A@@@@$B@Ġ'Porbint2[..2[./@;'Porbint@H@@@ @Ado~@A(~(~@@@)r@@2([./2)[./@@U@@@H_@@@@@$`@@$`@@@@$a@Ġ(Pxorbint27\//28\//@;(Pxorbint:@g@@@ @Aeo~@A(8(9@@@)s@@2G\//2H\//@@t@@@H~@@@@@$@@$@@@@$@Ġ(Plslbint2V]//2W]//'@;(PlslbintY@@@@ @Afo~@A(W(X@@@*t@@2f]//(2g]//)@@@@@H@@@@@$@@$@@7@@$@Ġ(Plsrbint2u^/*/02v^/*/8@;(Plsrbintx@@@@ @Ago~@A(v (w;@@@*'u@@2^/*/92^/*/:@@@@@H@@@@@% @@% @@V@@% @Ġ(Pasrbint2_/;/A2_/;/I@;(Pasrbint@@@@ @Aho~@A(<>(<Y@@@*Fv@@2_/;/J2_/;/K@@@@@H@@@@@%+@@%+@@u@@%,@Ġ)Pbintcomp2`/L/R2`/L/[@;)Pbintcomp@@@@ .@@@ @Bio~@A(Z\(Z@@@*iw@@2`/L/\2`/L/]@@@@@H@@@@@@@H@@@ @@%S@@%S@@ @@%T@Ġ,Pbigarrayref2a/^/d2a/^/p@;,Pbigarrayref@@@@ )@@@ @@@ @@@ !@Djo~@A((@@@*x@@2a/^/q2a/^/r@@@@@H0@@@@@@H5@@ @@@@H:@@@@@@H?@@@3@@%@@@%@@@@@%A@Ġ,Pbigarraydim3b/s/y3b/s/@;,Pbigarraydim@)P@@@ &@Alo~@A))@@@*z@@3(b/s/3)b/s/@@@@@H_@@@@@%`@@%`@@@@%a@Ġ/Pstring_load_1637c//38c//@;/Pstring_load_16:@@@@ '@Amo~@A)9):@@@*{@@3Hc//3Ic//@@@@@H@@@@@%@@%@@@@%@Ġ/Pstring_load_323Wd//3Xd//@;/Pstring_load_32Z@@@@ (@Ano~@A)Y)Z @@@+ |@@3hd//3id//@@@@@H@@@@@%@@%@@9@@%@Ġ/Pstring_load_643we//3xe//@;/Pstring_load_64z@7@@@ )@Aoo~@A)y  )z &@@@+*}@@3e//3e//@@@@@H@@@@@&@@&@@Y@@&@Ġ.Pbytes_load_163f//3f//@;.Pbytes_load_16@W@@@ *@Apo~@A)'))'A@@@+J~@@3f//3f//@@@@@H@@@@@&/@@&/@@y@@&0@Ġ.Pbytes_load_323g//3g//@;.Pbytes_load_32@w@@@ +@Aqo~@A)BD)B\@@@+j@@3g//3g//@@@@@H@@@@@&O@@&O@@@@&P@Ġ.Pbytes_load_643h/03h/0@;.Pbytes_load_64@@@@ ,@Aro~@A)]_)]w@@@+@@3h/03h/0@@@@@H@@@@@&o @@&o @@@@&p!@Ġ2Pbigstring_load_163i003i00-@;2Pbigstring_load_16@@@@ 0@Avo~@A)24)2P@@@+@@4i00.4 i00/@@@@@H?@@@@@&@@@&@@@@@&A@Ġ2Pbigstring_load_324j00064j000H@;2Pbigstring_load_32@@@@ 1@Awo~@A*QS*Qo@@@+@@4(j000I4)j000J@@@@@H_@@@@@&`@@&`@@@@&a@Ġ2Pbigstring_load_6447k0K0Q48k0K0c@;2Pbigstring_load_64:@@@@ 2@Axo~@A*9pr*:p@@@+@@4Hk0K0d4Ik0K0e@@@@@H@@@@@&@@&@@@@&@Ġ(Pbswap164Wl0f0l4Xl0f0t@;(Pbswap16Z@@@io~@A*T@B*U@L@@@,@@@  @@&@@&@@, @@&@Ġ'Pbbswap4jm0u0{4km0u0@;'Pbbswapm@@@@ 7@A}o~@A*kMO*lMi@@@,@@4zm0u04{m0u0@@@@@H@@@@@'@@'@@K@@'@Ġ/Pint_as_pointer4n004n00@;/Pint_as_pointer@@@jo~@A**@@@,7@@@  @@'@@'@@^ @@'@Ġ,Patomic_load4o004o00@;,Patomic_load@@@ko~@A**@@@,J@@@  @@''@@''@@q @@'(@Ġ'Popaque4p004p00@;'Popaque@@@lo~@A**@@@,]@@@  @@':@@':@@ @@';@Ġ(Pdls_get4q004q00@;(Pdls_get@@@mo~@A* "* ,@@@,p@@@  @@'M@@'M@@ @@'N@@@ఐ.U,dynamic_size4r004r00@-@@@.P@@@O%@@O$(L@O#@@O"@@ภ.F4r004r00@.E@@@.b@@@O,L@O0$@@@@'a%@@@A4"" @@'c@] A@@'@@O@'@@O@'x@@O'r@@O@@O@@OF@Og@@@5""@@ఐ(V7compute_expression_size5t005t01@(@@@(S(J@@@P@@@P@@P@,@@@P@@P (@@@P @@P @@P 35$5#5#5$5$5$5$5$@(3@@@@డ/#Map%empty%Ident5:t015;t01 @ 5>t01 5?t01@@5Ct015Dt01@ @(!a@F@@@L@'.@'*E@ @@((@@@P#F@P-F@P+@@@P*5@@ఐ(Ơ#lam5ft01(@((@@(A@@Z(@@(B@T(@@((@((A@(D@PB(@A@(@((@(٠@ఠ3lfunction_with_bodyp5yv115zv111@5fA@@@% @@@PJD@PD@@PE@-:@@@PD@Pg@@Ph%@@@PD@Pi@@PjD@PF@@PGD@PC355555555@)))@)@)@@@࣠@/xAঠ$kind5v1145v118A3$kind%2@@@ -Z-function_kind@@@ @@@ 3¶ms "@'!t@@@ 栠@%@@@ @@ @@@ @@A@@+P,s,w+P,s,@@-u(@3&return%%$@@@ @@B @@+Q,,+Q,,@@-~)@3$body.-@@@ @@C)@@+R,,+R,,@@-*@3$attr7-2function_attribute@@@ @@D4@@+S,,+S,,@@-+@3#locB @@@ @@E=@@+T- -+T- -'@@-,@@@+O,Z,^+O,Z,r@@-'@ఠVrWVU@6gA@P@@@PK365566666@l6v116w1g1@@@@¶ms6v11:6v11@A[ఠs@6-hA@_@^@@@PS@%u@@@PT@@PR@@@PQ$@&return6-v11B6.v11HA_ఠt@6KiA@%@@@PW5@$body6>v11J6?v11N@g@6Bv11Q6Cv11R@@-@@@PZD@$attr6Mv11T6Nv11XAmఠu@6kjA@q@@@P]U@#loc6^v11Z6_v11]Asఠv@6|kA@!S@@@P`f@@@6jv1126kv11_@@F@PHk@@@@$bodywA6xv11`6yv11d@6lA@@36y6x6x6y6y6y6y6y@~@@pm@o@nSP@R@Q41@3@2$!@#@"@@@@@@డ4*lfunction'6w1g1i6w1g1s@$kind@@@ d@@ c¶ms#̠@(!t@@@ a@&@@@ b@@ `@@@ _@@ ^&return&@@@ ]@@ \$body.q@@@ [@@ Z$attr@@@ Y@@ X#loc!@@@ W@@ V&a@@@ U@@ T@@ S@@ R@@ Q@@ P@@ O@,66,7W7b@@.Q@RQ@@O8@@@P@@PMK@J@@@P@&M@@@P@@P@@@P~@@P}G&U@@@P|@@P{E.@@@Pz@@PyC-@@@Px@@PwA"@@@Pv@@Pu&@@@Pt@@Ps@@Pr@@Pq@@Pp@@Po@@Pn377777777@@@@@@ఐ+$kind7+w1g1u7,w1g1y@@@@@@PG@PG@P@ఐ(¶ms7?w1g1{7@w1g1@@@@@@@P@&@@@P@@P@@@PG@PG@P8@ఐ+&return7`w1g17aw1g1@ް@@&@@@PG@PG@PL@ఐ$body7tw1g17uw1g1@V@@Y@ఐ,$attr7w1g17w1g1@@@@@@PG@PG@Pm@ఐ/#loc7w1g1@@@"@@@PG@PG@P@@ @@ @6A@#D@P@A@@@ 777 {1. Function Lifting} 7y117y11@@@@@@377777777@A:@;@<@@A+/lifted_functionyD777778@@;@@$lfunz@@6")lfunction@@@PͰ78 878 8&@@7nA4free_vars_block_size{@@7@@@Pа78'8+78'8F@@7oA@@A@@@@@77778G8J@@@@7mA@#78 8@@@Ш@г"&Lambda78 878 8@)78 878 8%@@@1377777777@F?;@@@A@@@@@@@@@@ @@8@@P@2@#..)88'8?@(@@Ш@г1#int8 8'8B88'8E@@9@@<@@P@8@@A@4@@43@_A+,split_result|E88L8T88L8`@А!a@P38#8"8"8#8#8#8#8#@tmg;@@P@A@A@G@B@@@818L8L828s8@@@@8JpA@@858L8Q868L8S@@BA@;@A+Unreachable}@@8A8c8e8B8c8r@@8ZqA)Reachable~@@@Pޠ.F@P@@8R8s8u!@@8jrA@@A@Y@@@@@&@@@#@#8[8c8g@@@@@#8a8s8w8b8s8@@г/lifted_function8k8s88l8s8@@#G@@А!a#L8s8s8B@@@@#@@A@D@@DC@38r8q8q8r8r8r8r8r@N@@@ఠ$let+888888@8sA@@@x@@QF@P@@@PF@P@@P@@@@Q@@QF@QA@QF@P@@P@@@QF@P@@PF@P@@PF@P388888888@w@@@࣠@#resA888888@8tA@@3388888888@B888889@@@@@  @@!fA888888@8uA@@6388888888@!J@@@@@@@@ఐ)#res888888@@@X388888888@J@@@@@Ġ+Unreachable888888@;f@@P@@@@AA@A@@@@@@m388888888@@@@@n@@@ภ+Unreachable888988@@@@[ @Ġ)Reachable9 889 88@;@B@AA@A@@ఠ$func988988@90vA@@@@@P;@ఠ#lam9%889&88@9>wA@@F@PH@@@ 9,88@@J@@J@@@ภ)Reachable93889489@'ఐ&$func9=899>89 @%@&@'@@@@@Q J@Q J@Q 39E9D9D9E9E9E9E9E@g8 *#@$@%@@@ఐ!f9V89 9W89@s@@@@ఐ>#lam9c899d89@@@=@@@@@@5@@ @@@A9i88@@r@A@F@Qj@A@@@@ఠ0lifted_block_mut9y999z9:@9xA@г(Asttypes,mutable_flag(Asttypes99:99: @ 99: 99:@@@@@@Ql399999999@@@@@ @@#"A@@@@@Qp@ภ)Immutable99:99:$@;)Immutable(Asttypes,mutable_flag@@@O`@@@@B@@A4parsing/asttypes.mligWkgWt@@@ R@@@г;987>41@ @@@Qq0-@#"A@@J@@@QxF@Qw6@A@999)@@*@9@ఠ&no_loc9:&:*9:&:0@9yA@@)Debuginfo/Scoped_location!t@@@Q{F@Qy399999999@Uxn@@@Qo@u@v@@@ภ)Debuginfo9:&:39:&:<@/Scoped_location::&:=::&:L@@+Loc_unknown::&:M::&:X@@;+Loc_unknown*@@@6@@@@AA@A4lambda/debuginfo.mli\\@@@-I@@@@4@@@Q|-@A@::&:&@@@0Aఠ5split_static_function:&:Z:b:':Z:w@:?zA@@@,h@@@`|F@Q@@Q@-v#Set!t@@@_F@Q@@Q@1@@@RF@Q@@Q48&lambda@@@Q@@@Q@@Q@@Q@@Q3:Q:P:P:Q:Q:Q:Q:Q@jx@y@z@@@࣠@)block_varA:b:Z:x:c:Z:@:{|A@@83:c:b:b:c:c:c:c:c@G@B@@Q@?@@Q@8@@Q54@@@Q@@@QG@Q@@QG@Q@@QG@Q@@QG@Q}@\@],rebuild_arms@`F@Q@@QH@Q@_F@Q@@QH@Q@:@!a@Q@9&lambda@@@QH@Q@@Q@@@Q@@Q:/@@9&lambda@@@QH@Q@@Q@@@Q@@@Q@@Q@@Q@@Q@:xUU:xUU@@:{A@@@@nm@@,local_identsA::Z:::Z:@:}A@@3::::::::@x@{@|@@@@@@#lamA::Z:::Z:@;~A@@3::::::::@@@@@@@@@ఐ#lam::::::@@@@@3::::::::@@@@Ġ$Lvar; ::; ::@-Iఠ!v;::;::@;.A@@-Q@@@R!3;;;;;;;;@@@@@@@@@@@@@@ఠ%param;(;5;=;);5;B@;AA@@.j!t@@@SL@R3;0;/;/;0;0;0;0;0@4$@@@@@డ5,create_local%Ident;C;5;E;D;5;J@ ;G;5;K;H;5;W@@@&stringQ@@@n@@m'@@@l@@k@-7b##-8b#@@@.E@@@@@@@S@@S6@@@R@@R4@@-let_rec_param;o;5;Y;p;5;f@@;r;5;X;s;5;g@@)@@@S M@S M@S H@@9 @@NI@A@;};5;9 @@@ఠ'ap_func;;k;s;;k;z@;A@@38@@@SL@S 3;;;;;;;;@_oh@i@j@@@ภ%Lprim;;};;;};@&ภ&Pfield;;};;;};@@;;};;;};@@ @@@S L@S$L@S#"@ภ'Pointer;;};;;};@;'Pointer@@@ @@@AB@@A1aVX1aVa@@@3kK@@  @@@@@S!L@S(;@ఐ[0lifted_block_mut;;};;;};@@@.@@@S"L@S*L@S)M@@<;;};@@.a@@@SL@ST@ภ%;;};;;};A1ภ$Lvar ;;};@.0ఐ)block_var;;};;;};@ @@o@@@@3@@@SL@S2L@S8w@ภ%"A1@#A@;r@@@S3L@S@@@<;};+@@'@@@SL@S1@ఐJ&no_loc<%;};<&;};@Ѱ@@'@@@SEL@SD@@<.;};@@3@@@S@A@<3;k;o@@@ఠ$body<>;;-B2W->-S@@4A-@'ap_func<;;<;;Aఐ" @`@4U@@@SUL@SVg@O'ap_args<<< <<<@ภ%<<<<<<A2Πภ$Lvar <<<@/ఐ%param<<<<<<@<@@/ @@@SoL@SqL@Sp@@ @@4@@@S`L@ShL@Sn@ภ%)A2@*A@<=@t@@b@@@SM@TM@T M@T @@ภ'Pgenval><=><=@;'Pgenval-o@@@ A@@@@CA@A44 @@@5@@  @@-|@@@SM@TM@T@@6@@@(@@@SM@SM@T@ภ'J$EA3@%FA@=@@@TM@T@@>F<= N@@@@@SM@S@ภ'Pgenval>V==->W==4@=@@@-@@@SM@T@ఐ*$body>h=5=>>i=5=B@ܰ@@6@@@SM@T M@T@డ<6default_stub_attribute>|=C=Q>}=C=g@@@@ .@4zBB4{BB@@6+i@  @@@@@SM@T"M@T!@ఐ&no_loc>=h=u>=h={@D@@)@@@T&M@T%@@ @@@A@><< @@@ఠ&lifted>==>==@>A@@@@@T/L@T+3>>>>>>>>@,:3@4@5@@@ຠ3 @@@P@@@3@@A@A@@A@󡠐$lfun>==>==@ఐO'wrapper>==>==@@@@@@T1L@T2#@4free_vars_block_size>==>==@A>==>==@@@@@T8L@T96@@@>==>==@@?9@A@>==@@ภ)Reachable>==>==@ఐU&lifted?==?==@T@U@V@@@@@TCK@TEK@TD3? ? ? ? ? ? ? ? @Wf @@@ภ%Lprim?==?==@*ภ*Pmakeblock?==? ==@"@?&==?'==@@*@@@TYK@T]K@T\"@ఐ0lifted_block_mut?7=>?8=>@L@@7@@@TZK@T_K@T^4@ภ$None?H=>?I=>@4@@@@@@@T[K@TlC@@2?Q=>@@1@@@TNK@TXJ@ภ(?]=>?^=>!A5pภ$Lvar ?f=>@1ఐZ!v?o=>?p=> @<@@1@@@TK@TK@Tl@@ @@7(@@@TPK@TzK@Tt@ภ()A5G@*A@>@@@T{K@T@@?=>2@@*@@@TOK@Ty@ఐà&no_loc?=>#?=>)@J@@*@@@TK@T@@?=>*@@>]@@@TBK@TM@@?=>+@@$ @@@TA@@@@@@+@@@@q@ @@(@= @@@@@R@@@R@Ġ)Lfunction?>,>0?>,>9@/Vఠ$lfun?>,>:?>,>>@?A@@/^@@@R$3????????@@@@@@@@@@@@@@ఠ)free_vars?>B>J?>B>S@@A@@2'#Set!t@@@_L@T3????????@' @!@"@@@డ>U.free_variables&Lambda@>B>V@>B>\@ @ >B>]@ >B>k@@@7@@@ @@ '@@@ @@ @6:U:U6:U:~@@7V@@@@7@@@T@@T6@@@T@@T1@@ఐ^$lfun@3>B>l@4>B>p@=@@/@@@_@_E@$body@?>B>q@@>B>u@ h@@7@@@_M@_M@_S@@D @@\T@A@@K>B>F @@@ఠ/local_free_varsԠ@V>y>@W>y>@@oA@@#@@@_L@_3@\@[@[@\@\@\@\@\@j}v@w@x@@@డ:?#Set%inter%Ident@s>y>@t>y>@ @w>y>@x>y>@@@|>y>@}>y>@ @@K@@@V @@V @R@@@V @@V U@@@V @@V@@V@2p@+Stdlib__SetJ@!@@@_@@@_@@_@f@@@_@@_i@@@_@@_@@_F@@ఐǠ)free_vars@>y>@>y>@P@@}@@@_M@`M@`Z@@ఐ,local_idents@>y>@>y>@հ@@g@@T@@kh@A@@>y>}@@@@ఠ4free_vars_block_sizeՠ@>>@>>@@A@@#intA@@@`L@` 3@@@@@@@@@@@@@@@ఠ%subst֠@>>@>>@AA@@418@@@`O@`@@@`L@` @@ఠ0block_fields_revנA>>A>>@AA@@@l8@@@aL@`@@@`L@` 1@@>@@@>@)@@@`:@డ:#Set$fold%IdentA.>>A/>?@ A2>?A3>?@@A7>?A8>? @ @@@ #elt@@@V@@V@#acc@UI@@V@@V@@V@@V@@@@V@@V@@@V@@V@@V@@V@3:@\@/%@@@@"@@@`@@`@@@@o@@a3L@`JL@`@@` @@`@@`@@`@C@@@`@@`@@@`@@`@@`@@`3AAAAAAAA@@@@@࣠@#varAA>?A>?@AA@@S@@@`@@@@@;A@ఠ!i٠A>?A>?@AA@@L@`G3AAAAAAAA@%n@@@`?@@ @@@@ఠ%substڠA>?A>?@AA@@L@`H@@ఠ&fields۠A>?A>?$@AA@@L@`I"@@A>?A>?%@@@+@@ @@`L-@@  @@@ఠ&accessܠA?)?7A?)?=@BA@@9@@@`WP@`Q3AAAAAAAA@EPI@J@K=6@7@80)@*@+@@@ภ%LprimA?@?LA?@?Q@,ภ&PfieldB?@?SB?@?Y@gఐh!iB?@?[B?@?\@@@g#@ภ'PointerB?@?^B?@?e@`@@@@@@`eP@`k2@ఐ0lifted_block_mutB*?@?gB+?@?w@?@@@@@`fP@`mP@`lD@@/B5?@?x@@4@@@`YP@`cK@ภ+rBA?z?BB?z?A8Tภ$Lvar BJ?z?@4ఐ)block_varBS?z?BT?z?@v@@(f@@@@:@@@`[P@`uP@`{n@ภ+p"A8$@#A@AȠ@@@`vP@`{@@Bl?z?+@@-e@@@`ZP@`t@ఐ&no_locB{??B|??@'@@-m@@@`P@`@@B??@@:/@@@`X@A@B?)?3@@@డA$succB??B??@@@@@@@@@@@@(%succintAA @@@*stdlib.mli*+_+_*+_+@@9l@@@@@@@`@@`@@@`@@`3BBBBBBBB@@@@@@@ఐ!iB??B??@հ@@@@4@@P@`@@డ<#Map#add%IdentB??B??@ B??B??@@B??B??@ @1 @@@4@@@`@@`@@@`@69@@@`@@`6= @@@`@@`@@`@@`J@@ఐ#varC??C??@`@@@@@`Z@@ఐ7&accessC??C??@d@@(g@@ఐo%substC+??C,??@8@@nt@@O@@6l;@@@`y@@ภ"::C;?@C<?@@9Nภ$LvarCD??CE??@5ఐ#varCN??CO?@@@@@@@a@@@@GO@a@ఐ&fieldsC_?@C`?@ @k@@@@@@;X@@@`@@Ch??Ci?@ @@@@A@@@a @ @@ @Ct>? Cu?@@@@;@@@`8@@`7@@@`6@@`5@@`4M@aM@a@@ఐ9/local_free_varsC@@C@@&@@@ ]@@@`2M@a M@a@@@@C@@(C@@)@@M@a%%@@డ=#Map%empty%IdentC@@+C@@0@ C@@1C@@4@@C@@5C@@:@ @ @@7L@a'@@@a&I@@ภ-6C@@<C@@>@9@@@L@a1U@@C@@'C@@?@@oL@a2Z@@@@r@A@C>>@@@ఠ'new_funޠCAACAA@DA@@3u@@@aHL@a43CCCCCCCC@$@@@@ @@@@@ఐ3lfunction_with_bodyDAADAA@ O@@@3@@@a<@@a;@;@@@a:@@a93@@@a8@@a7@@a63DDDDDDDD@$@@@@ఐM$lfunD"AAD#AA@,@@3@@@aLM@aNM@aM9@@డB%subst&LambdaD<AAD=AA@ D@AADAAA@@@@6!t@@@ @@ @1value_description@@@ @@ @#Env!t@@@ @@ !t@@@ @@ @@ @@ @@ 7freshen_bound_variables.R 3@@@ @@@ @@ @6#Map!t<3@@@ @@@ @@ @<;@@@ @@ <>@@@ @@ @@ @@ @@ @:;;:<8<`@@<@\@`[@@@@X@@@ag@@af@U@@@ae@@ad@R@@@ac@@abM@@@aa@@a`@@a_@@a^@@a]JHG@@@a\@@@a[@@aZ@FCA@DAADAA@@@@@a@@@@>OA@DAADAA@@@@@a@@@@#envADAADAA@EA@@@@@a@@@@ఐ#envEAAEAA@@@@a@@@@@@@aQ@a3EEEEEEEE@(% @@@EAAEAA@@@@@@a@@a@@@@a@@a@@@@a@@a@@@a@@a@@a@@aN@aN@aH@͐ภ$NoneEP:@EP@Ѡ@@@a@@@a@@a5@@ఐh%substEVAAEWAA@`@@8= @@@aN@bN@b@@@bM@@ఐ$lfunEpAAEqAA@z@@4@@@b@ba@$bodyE|AAE}AA@@@=-@@@aN@bN@bo@@EAAEAA@@=7@@@aJ@bN@a@@ @@@A@EAA @@@ఠ&liftedEAAEAB@EA@@@@@b"L@b3EEEEEEEE@@@@@@ຠ$lfunEAB EAB @ఐѠ'new_funEABEAB@@@ @@@b$L@b%@4free_vars_block_sizeEABEAB-Aఐ @@ @@@b+L@b,0@@@EABEAB/@@83@A@EAA@@@ఠ%blockEB3B;EB3B@@EA@@=@@@b4L@b.3EEEEEEEE@IWP@Q@R@@@ภ%LprimEBCBIEBCBN@0ภ*PmakeblockFBCBPFBCBZ@@FBCB\FBCB]@@ @@@bAL@bEL@bD"@ఐ 0lifted_block_mutFBCB_FBCBo@ -@@@@@bBL@bGL@bF4@ภ$NoneF)BCBqF*BCBu@;@@@!@@@bCL@bTC@@2F2BCBv@@8@@@b6L@b@J@డD$List#revFFBxBFGBxB@ FJBxBFKBxB@@@99!a@0S@@@0@@09B @@@0@@0@3e3e@@2M@@@@>@@@b8L@bnL@bkL@b^@@@b`@@b_ @@@b]@@b\@@ఐ0block_fields_revFBxBFBxB@@@9"@@@biM@blM@bj@@J @@1%@@@b7L@bmM@bg@ఐ Š&no_locFBBFBB@ L@@1@@@brL@bq@@FBB@@>T@@@b5@A@FB3B7@@ภ)ReachableFBBFBB@ ఐ"&liftedFBBFBB@Ѱ@@|@@@bK@bK@b3FFFFFFFF@@@@@@ఐ%blockFBBFBB@ @@1@@@b~K@bK@b@@*FBB@@S@@@b}@7@@@ @@@@U@@@  @@@! @@ @ @@0@Ġ$LletFBBFBB@6Qఠ%lkindFBBFBB@GA@@6Y@@@R+3GGGGGGGG@ @@@ఠ%vkindG BBG BB@G%A@@6b@@@R,@ఠ#varGBBGBB@G3A@@6j@@@R-@ఠ#defG(BBG)BB@GAA@@>@@@R.+@ఠ$bodyG6BBG7BC@GOA@@>@@@R/9@@@JG>BC@@ ;@@ ;@@@Ơ$let+GFCC GGCC @ @à?@@@cK@cK@bL@b@@@bL@b@@b@@@@b@@@cK@cK@b@@b@@b L@b@@@bL@b@@b@@bL@bఐ V5split_static_functionG|CCG}CC0@ @@@ U@@b@ P@@b@ G@@b B A@@@b@@@b@@b@@b@@b3GGGGGGGG@ @@@@}@~@wp@q@rjc@d@e@@@@ఐ H)block_varGCC1GCC:@ ʰ@@ |@@డA#Set#add%IdentGCC<GCCA@ GCCBGCCE@@GCCFGCCI@ @@@@@U@@U@ @@@U@@U @@@U@@U@@U@9@KF@ @@@@@@b@@b@ @@@b@@b @@@b@@b@@b]@@ఐߠ#varGCCJGCCM@a@@@@@bM@bo@@ఐ 5,local_identsH CCNH CCZ@ @@ |@@HCC;HCC[@@ @@@b@@ఐ蠐$bodyHCC\HCC`@@@ L@b@@@@@@@bL@b@H+ChC@@$bodyH3CCH4CC@HLA@@@@@ภ$LletH=ChClH>ChCp@7ఐJ%lkindHGChCrHHChCw@@@7@@@cL@c L@c3HNHMHMHNHNHNHNHN@'@@@@@ఐP%vkindH\ChCyH]ChC~@Ű@@7@@@cL@c L@c @ఐT#varHnChCHoChC@ְ@@7@@@cL@c L@c '@ఐX#defHChCHChC@@@@1@@@cL@cL@c9@ఐb$bodyHChCHChC@A@@@D@@Yk@@1E@AQl@@3HHHHHHHH@@@@Ġ'LmutletH CCH CC@6Rఠ%vkindH CCH CC@HA@@8@@@R53HHHHHHHH@ @@@ఠ#varH CCH CC@HA@@6e@@@R6@ఠ#defH CCH CC@HA@@@v@@@R7@ఠ$bodyH CCH CC@HA@@@@@@R8+@@@<H CC@@-@@-@@@f$let+H CCH CC@O@c@@@@cK@cK@cL@c@@@cL@c#@@c&@@@@c  _@@@cK@cK@c@@c!@@c$ L@c@@@cL@c"@@c%@@c'L@cఐ5split_static_functionI CCI CC@@@@@@c0@@@c/@@@c.@@@c-@@@c,@@c+@@c*@@c)3I/I.I.I/I/I/I/I/@6@@{@|@}un@o@pha@b@c@@@@ఐ栐)block_varIE CCIF CC@h@@@@డC(#Set#add%IdentI\ CCI] CC@ I` CCIa CC@@Ie CCIf CC@ @ @@@*@@@cK@@cJ@;@@@cI@@cH>@@@cG@@cF@@cEH@@ఐʠ#varI CCI CC@N@@F@@@ciM@chZ@@ఐ,local_identsI CDI CD @@@bg@@I CCI CD @@c@@@c_m@@ఐӠ$bodyI CDI CD@q@@hL@c|@@@@$@@@cL@c?@I DD=@@$bodyI CCI CC@IA@@@@@ภ'LmutletI DDI DD%@7xఐ'%vkindI DD'I DD,@@@9+@@@cL@cL@c3IIIIIIII@'@@@@@ఐ-#varI DD.I DD1@@@7@@@cL@cL@c@ఐ1#defI DD3I DD6@°@@A@@@cL@cL@c'@ఐP$bodyJ  DD8J  DD<@/@@2@@GY@@ 3@A*Z@@ V3J J J J J J J J @@@@Ġ'LletrecJD>DBJD>DI@7Hఠ(bindingsJ$D>DKJ%D>DS@J=A@@7P7M@@@R>@@@R=3J,J+J+J,J,J,J,J,@/@@@ఠ$bodyJ7D>DUJ8D>DY@JPA@@A@@@R?@@@$J?D>DZ@@@@@@@@ఠ,local_identsJJD^DfJKD^Dr@JcA@@@@@cL@c3JPJOJOJPJPJPJPJP@U6/@0@1$@@@@@డH$List)fold_leftJeDuD{JfDuD@ JiDuDJjDuD@@7-@@@@'L@c@@c@7@@@cL@c@@c @@c@@c@@c@@@c@=o@@@c@@c@@c@@c@@c3JJJJJJJJ@9@@@@࣠@#idsAJDuDJDuD@JA@@*L@@@@DAঠ"idJDuDJDuDA7ఠ@JA@7@@@c3JJJJJJJJ@e%E@@@@@@@JDuDJDuD@@BP@c@@@@డD#Set#add%IdentJDuDJDuD@ JDuDJDuD@@JDuDJDuD@ @ @@@ @@@c@@c@@@@c@@c@@@c@@c@@c3JJJJJJJJ@:B?@A@@@@@@ఐI"idJDuDJDuD@ @@ @@@cP@c@@ఐw#idsKDuDKDuD@X@@"@@A@@P@c%@KDuDKDuD@@@@@c@@@c@@c@@cM@dM@d @@ఐX,local_identsK.DDK/DD@@@@@@ఐ(bindingsK;DDK<DD@@@>)@@@cM@dM@d@@ @@@A@KHD^Db @@Р$let+KPDDKQDD@@͠C @@@dXK@d]K@d&L@d#@@@d%L@d+@@d.@@@@d( @@@d`K@dTK@d'@@d)@@d, L@d@@@dL@d*@@d-@@d/L@dఐ`5split_static_functionKDDKDE@@@@_@@d8@Z@@d7@Q@@d6LK@@@d5@@@d4@@d3@@d2@@d13KKKKKKKK@JXQ@R@S@@@@ఐJ)block_varKDEKDE @̰@@~@@ఐl,local_identsKDEKDE@@@k@@ఐ$bodyKDEKDE@n@@L@dL,@@C@@>q@@@dML@dG3@KE'EC@@$bodyKDDKDD@KA@@}@@@@ภ'LletrecKE'E+KE'E2@9ఐȠ(bindingsKE'E4KE'E<@@@99@@@dW@@@dVL@d[L@dY3KKKKKKKK@_+@"@#@@@ఐ0$bodyLE'E>LE'EB@ @@@@'9@@@A:@@ R@@@d_K@d^3L L L L L L L L @t@@@B@@ X@Ġ%LprimLEDEHLEDEM@7Ġ&PraiseL%EDEOL&EDEU@!@L*EDEVL+EDEW@@!@@@RH@@@ @@>@@@RI@@L6EDEYL7EDEZ@@7.C@@@RK@@@RJ@@LBEDE\LCEDE]@@71@@@RL@@@,LHEDE^@@@@@@@ภ+UnreachableLOEDEbLPEDEm@_@@@ #@Ġ,LstaticraiseL\EnErL]EnE~@2@LaEnELbEnE@@2@@@RQ7@@@2D@@@RS@@@RR@@@@@@,A@@,A@@@ภ+UnreachableLvEnELwEnE@@@@ J@Ġ'LswitchLEELEE@6ఠ#argLEELEE@LA@@D:@@@RX3LLLLLLLL@@@@ఠ"swLEELEE@LA@@6@@@RY@ఠ#locLEELEE@LA@@7@@@RZ@@@.LEE@@n@@n@@@@ఠ-sw_consts_resLEELEE@LA@@@6@@@dL@dw@@@@d@@d@@@d@@@dL@do3LLLLLLLL@TM@N@OF?@@@A92@3@4@@@ఐ_,rebuild_armsLEELEE@c@@@a@@d~@]@@d}@[@2@T@@@d|@@d{@@@dz@@dyQP@B@M@@@dx@@dv@@@du@@@dt@@ds@@dr@@dq=@@ఐ)block_varMEEM EE@B@@J@@ఐV,local_identsM,EEM-EE@>@@W@@ఐ"swM;EEM<EE@`@@7@@@d@dk@)sw_constsMGEEMHEE@7@@@@@@@d@@d@@@dM@dM@d@@t@@@A@M]EE@@@ఠ-sw_blocks_resMhEFMiEF@MA@@@7@@@dL@d@@@@d@@d@@@d@@@dL@d3MMMMMMMM@@@@@@ఐ,rebuild_armsMEFMEF@ @@@ @@d@@@d@@.@@@@d@@d@@@d@@d@>@@@@d@@d@@@d@@@d@@d@@d@@d9@@ఐh)block_varMEFMEF(@@@F@@ఐ,local_identsMEF)MEF5@@@S@@ఐH"swMEF6MEF8@@@8=@@@d@dg@)sw_blocksMEF9MEFB@7@@Z@@S@@@d@@d@@@dM@dM@d@@t@@@A@NEE@@@ఠ1sw_failaction_resNFFFNNFFF_@N)A@@EҠ@@@e@@@eL@d@@@dL@d3N NNN N N N N @@@@@@డL&Option#mapN3FbFhN4FbFn@ N7FbFoN8FbFr@@Ct@@@@L@d@@d,@@d@@d@Cn @@@d@@dE7@@@d@@d@@d.@@ఐ75split_static_functionN]FbFtN^FbF@@@@6@@e@1@@e@(@@e#"@@@e@@@e@@d@@d@@dP@@ఐ)block_varN}FbFN~FbF@@@R]@@ఐ,local_identsNFbFNFbF@@@Vj@@NFbFsNFbF@@@P@@eKJ@@@e@@@e@@ex@@ఐ "swNFbFNFbF@̰@@9@@@e$@e!@-sw_failactionNFbFNFbF@8@@Cߠz@@@dM@e%M@e"@@ @@@A@NFFFJ @@@ఐ-sw_consts_resNFFNFF@J@@@8@@@e.@@@@e/@@e-@@@e,@@@e+3NNNNNNNN@@@@@@@ఐ-sw_blocks_resNFFNFF@ΰ@@A@@8@@@e3@@@@@e4@@e2@@@e1@@@e0#@@ఐ1sw_failaction_resOFFOFF@,@@FΠ@@@e7@@@e6@@@e5:@@R@@@S@2@@@e8C@@Ġ+UnreachableO6 FGO7 FG@F@@@@@9@@@ec@@@@ed@@eb@@@ea@@@e`3OJOIOIOJOJOJOJOJ@h@@@@Ġ+UnreachableOV FGOW FG@f@@@@@9@@@eo@@@@ep@@en@@@em@@@el @@Ġ$NoneOw FG Ox FG$@E@@@@G43@@@ex@@@ew@@@ev8@Ġ$SomeO FG'O FG+@E<Ġ+UnreachableO FG,O FG7@@@@@NM@@@e@@@eQ@@@ @@G>YX@@@e@@@e@@@e]@@O FGO FG8@@GLgf@@@e@@@e@@@ek@@ @@@@f@@@et@ @@@9@@@e@@@@e@@e@@@e@@@e@('@9@@@e@'@@@e@@e@@@e@@@e@G@@@e@@@e@@@e@@e@@@ภ+UnreachableP FG<P FGG@@@@K^@@@g@@@g@@Ġ)ReachableP!GHGNP!GHGW@ఠ$lfunP#!GHGYP$!GHG]@P<A@@@@@e3P'P&P&P'P'P'P'P'@E@@@ఠ)sw_constsP2!GHG_P3!GHGh@PKA@@@9@@@eĠ@@@@e@@e@@@e@@@-PG!GHGi@@@:@@@eɠ@@@@e@@e@@@e@@@e2@@Ġ+UnreachablePd!GHGkPe!GHGv@t@@@@@:@@@eՠ@@@@e@@e@@@e@@@eQ@@Ġ$NoneP!GHGyP!GHG}@F@@@@H'BA@@@e@@@e@@@ei@Ġ$SomeP!GHGP!GHG@FJĠ+UnreachableP!GHGP!GHG@@@@@\[@@@e@@@e@@@ @@HLgf@@@e@@@e@@@e@@P!GHGxP!GHG@@HZut@@@e@@@e@@@e@@ @@@@f@@@e@ @@ @:@@@e@@@@e@@e@@@e@@@e@65@:@@@e@5@@@e@@e@@@e@@@e@H@@@e@@@e@@@e@@e@@@ภ)ReachableQ"GGQ"GG@ఐ$lfunQ"GGQ"GG@@@@@@@@gM@gM@g3Q"Q!Q!Q"Q"Q"Q"Q"@B  @@@@@ภ'LswitchQ0"GGQ1"GG@;ఐ#argQ:"GGQ;"GG@`@@H@@@gM@gM@g@Р;;@@@gM@g@;)sw_constsQU"GGQV"GGAఐ, @5@;&@;%@@@g۠@I@@@g@@g@@@gM@gJ@;!;"@@@gM@g@;;@;@@@g@I0@@@g@@g@@@gM@g@;n;lI;@@@h@@@hM@h@@ఐ"swQ"GGQ"GG@°@@;@@@hM@gM@g@Q"GGQ"GG@@<@@@gM@h @ఐ#locQ"GGQ"GG@۰@@<@@@gM@h M@h @@Q"GG@@@@@gM@g@@Q"GG@@@@Ġ+UnreachableQ#GGQ#GG@@@@@('@;@@@f)@'@@@f*@@f(@@@f'@@@f&3QQQQQQQQ@ @@@@Ġ)ReachableQ#GGQ#GG@ఠ$lfunR#GGR#GG@RA@@@@@f3@ఠ)sw_blocksR#GGR#GH@R(A@@\@;@@@f6@\@@@f7@@f5@@@f44@@@,R$#GH@@rq@;@@@f;@q@@@f<@@f:@@@f9@@@f8J@@Ġ$NoneRC#GHRD#GH @G@@@@I@@@fD@@@fC@@@fBb@Ġ$SomeRW#GHRX#GH@HĠ+UnreachableR`#GHRa#GH@p@@@@@@@fO@@@fN{@@@ @@J %$@@@fR@@@fQ@@@fP@@Rw#GHRx#GH @@J32@@@fU@@@fT@@@fS@@ @@@@f@@@fV@ @@ޠݠ@i@@@h"M@hfM@he@@S$H$Hd@@@@@hM@h@@S$H$He@@@@Ġ+UnreachableS%HfHlS%HfHw@@@@@@=b@@@f@@@@f@@f@@@f@@@f@@Ġ+UnreachableS%HfHyS%HfH@@@@@@=_@@@f@@@@f@@f@@@f@@@f@@Ġ$SomeS%HfHS%HfH@IĠ)ReachableS%HfHS%HfH@Ѡఠ$lfunS%HfHS%HfH@SA@@@@@f@ఠ*failactionS%HfHS%HfH@T A@@@@@f@@@S%HfHS%HfH@@@@@f@@@f @@@2 @@K@@@f@@@f@@@f,@@|@@@}@`@@@f5@ @@kj@=@@@f@j@@@f@@f@@@f@@@f@@=@@@f@@@@f@@f@@@f@@@f@K@@@f@@@f@@@f@@fp@@@@ఠ&switchT_&HHT`&HH@TxA@@L@@@hlN@hg3TeTdTdTeTeTeTeTe@@@|u@v@w@@@ภ'LswitchTs'HHTt'HH@>Ѡఐ#argT}'HHT~'HH@@@L.@@@hnN@hrN@hq@Р>_>`@@@hN@h@>\>]@>\@@@h@LL@@@h@@h@@@hN@h@>X>Y@@@hN@h@>U>V@>U@@@h@Lg@@@h@@h@@@hN@h@>-sw_failactionT'HHT'HH@ภ$SomeT'HHT'HH@Jఐ堐*failactionT'HHT'HH@o@@L@@@h}N@hN@hN@h}@@ @@>Ơ @@@h|N@h@@ఐY"swT'HHT'HH@@@?P@@@hN@hN@h@T'HHU'HI@@?X@@@hoN@h@ఐe#locU'HIU'HI@2@@@@@@hpN@hN@h@@U'HI@@L@@@hm@A@U&HH@@ภ)ReachableU%)IIU&)II @ఐI$lfunU/)II"U0)II&@ư@@@@@hM@hM@h3U6U5U5U6U6U6U6U6@@@@@@ఐ堐&switchUD)II(UE)II.@ @@@@@hM@hM@h@@*UO)II/@@à@@@h@7@@P@@Ġ)ReachableUg*I0I6Uh*I0I?@[@Ul*I0I@Um*I0IA@@$@@@f@@@@?9@@@f蠠@@@@f@@f@@@f@@@@@ѠР@?M@@@f@@@@f@@f@@@f@@@f@@Ġ)ReachableU*I0ICU*I0IL@@U*I0IMU*I0IN@@]@@@f@@@@?P@@@f@@@@f@@f@@@f@@@@@  @?d@@@f@ @@@g@@f@@@f@@@f@@@U*I0IPU*I0IQ@@Mv@@@g@@@g@@@g@@| @@@c@,@@@g@ @@@Ġ)ReachableU*I0ITU*I0I]@@U*I0I^U*I0I_@@@@@g@@@L@?@@@g"@L@@@g#@@g!@@@g .@@@@@a`@?@@@g'@`@@@g(@@g&@@@g%@@@g$C@@@V,*I0IaV-*I0Ib@@{z@?@@@g,@z@@@g-@@g+@@@g*@@@g)]@@Ġ$SomeVJ*I0IdVK*I0Ih@KĠ)ReachableVS*I0IjVT*I0Is@G@VX*I0ItVY*I0Iu@@@@@g8x@@@@@@g9}@@@Vc*I0IiVd*I0Iv@@@@@g;@@@g:@@@# @@N '&@@@g>@@@g=@@@g<@@@@@i@Q@@@g?@ @@@@@@ӠҠ@@O@@@gD@@@@gE@@gC@@@gB@@@gA@@@C@@@gI@@@@gJ@@gH@@@gG@@@gF@NQlk@@@gM@@@gL@@@gK@@g@@@@V+IwI}V+IwI~@@@@@@@gc@@@@gd@@gb@@@ga@@@g`@@Ġ)ReachableV+IwIV+IwI@נ@V+IwIV+IwI@@@@@gm@@@8@@@@@gp@8@@@gq@@go@@@gn@@@@@ML@@@@@gu@L@@@gv@@gt@@@gs@@@gr/@@Ġ$SomeW+IwIW+IwI@L͠Ġ)ReachableW%+IwIW&+IwI@@W*+IwIW++IwI@@@@@gJ@@@@@@gO@@@W5+IwIW6+IwI@@@@@g@@@gY@@@# @@Nޠ@@@g@@@g@@@ge@@@@@@Q@@@gn@ @n@@@@@@A!@@@g@@@@g@@g@@@g@@@g@@A@@@g@@@@g@@g@@@g@@@g@O#>=@@@g@@@g@@@g@@g@@@డP+fatal_error$MiscW,IIW,II@ W,IIW,II@@Pذ@@@P@@@h@@h@@@h@@@hN@h@@h@@:letrec: multiple functionsW,IIW,II@@W,IIW,II@@P@@@hN@hN@h@@- @@@@@AWFFW-II@@%@@@k0@@@k/@  @@ @  @@  Q@ y @@ @Ġ-LstringswitchW.IIW.II@?ఠ#argW.IIW.II@XA@@O@@@Rd3WWWWWWWW@@@@ఠ$armsW.IIW.II@XA@@@ @@ @@@Rg@O@@@Rh@@Rf@@@Re@ఠ*failactionX.IIX.IJ@X,A@@@O@@@Rj@@@Ri.@ఠ#locX%.IJ X&.IJ @X>A@@C@@@Rk<@@@MX-.IJ @@>@@>@@@@ఠ(arms_resX8/JJX9/JJ!@XQA@@@@P@@@kdL@k9@@@@kW@@kV@@@kU@@@kTL@k13XQXPXPXQXQXQXQXQ@Xtm@n@of_@`@aLE@F@G;4@5@6@@@ఐݠ,rebuild_armsXf/JJ$Xg/JJ0@@@@@@k@@@@k?@٠@4@@@@k>@@k=@@@k<@@k;ϠΠ@D@@@@k:@@k8@@@k7@@@k6@@k5@@k4@@k3?@@ఐ>)block_varX/JJ1X/JJ:@@@rL@@ఐԠ,local_identsX/JJ;X/JJG@@@vY@@ఐ$armsX/JJHX/JJL@_@@"@}@@@@k[@@kZ@@@kYM@kfM@kbw@@f@@x@A@X/JJ@@@ఠ.failaction_resX0JPJXX0JPJf@XA@@P}@@@k@@@kL@kn@@@kL@ki3XXXXXXXX@@@@@@డWe&Option#mapX1JiJoX1JiJu@ X1JiJvY1JiJy@@N<@@@@L@kq@@kt,@@ks@@kr@N6 @@@kp@@koP7@@@km@@kl@@kk.@@ఐ5split_static_functionY%1JiJ{Y&1JiJ@@@@@@k@@@k@@@k@@@k@@@k@@k@@k@@kP@@ఐ栐)block_varYE1JiJYF1JiJ@h@@]@@ఐ|,local_identsYR1JiJYS1JiJ@d@@j@@YV1JiJzYW1JiJ@@@@@k@@@k@@@k@@kx@@ఐZ*failactionYm1JiJYn1JiJ@@@Nl@@@kM@kM@k@@~ @@@A@Yz0JPJT @@@ఐP(arms_resY3JJY3JJ@@@ؠנ@A@@@k@@@@k@@k@@@k@@@k3YYYYYYYY@@@@@@@ఐӠ.failaction_resY3JJY3JJ@ @@QMhg@@@k@@@k@@@k@@2@@@3@@@k!@@Ġ+UnreachableY4JJY4JJ@ @@@@@A@@@k۠@@@@k@@k@@@k@@@k3YYYYYYYY@F@@@@Ġ$NoneY4JJY4JK@O}@@@@Q@@@k@@@k@@@k@Ġ$SomeZ4JKZ4JK@OĠ+UnreachableZ 4JK Z4JK@!@@@@Ǡ@@@k@@@k2@@@ @@QҠ@@@k@@@k@@@k>@@Z$4JJZ%4JK@@QŠ@@@k@@@k@@@kL@@d @@@e@@@kS@@@@BL@@@k@@@@k@@k@@@k@@@k@Q  @@@k@@@k@@@k@@kx@@@ภ+UnreachableZc4JKZd4JK$@!s@@@@@@l@@@l@@Ġ)ReachableZ{5K%K+Z|5K%K4@!oఠ$lfunZ5K%K6Z5K%K:@ZA@@">@@@l3ZZZZZZZZ@@@@ఠ$armsZ5K%K<Z5K%K@@ZA@@@B@@@l @@@@l!@@l@@@l@@@-Z5K%KA@@@B@@@l%@@@@l&@@l$@@@l#@@@l"2@@Ġ$NoneZ5K%KDZ5K%KH@PT@@@@Ri  @@@l.@@@l-@@@l,J@Ġ$SomeZ5K%KKZ5K%KO@PĠ+UnreachableZ5K%KPZ5K%K[@!@@@@  @@@l9@@@l8c@@@ @@R  @@@l<@@@l;@@@l:o@@Z5K%KCZ5K%K\@@R  @@@l?@@@l>@@@l=}@@ @@@d@@@l@@@@ ` _@C#@@@lE@ _@@@lF@@lD@@@lC@@@lB@RȠ  @@@lI@@@lH@@@lG@@lA@@@ภ)Reachable[:6K`Kf[;6K`Ko@".ఐ$lfun[D6K`Kq[E6K`Ku@@@@@#@@@lM@lM@l3[L[K[K[L[L[L[L[L@ @@@@@ภ-Lstringswitch[Z6K`Kw[[6K`K@Cqఐ{#arg[d6K`K[e6K`K@ @@S@@@lM@lM@l@ఐ㠐$arms[v6K`K[w6K`K@&@@C@C@@@l@S3@@@l@@l@@@lM@lM@l>@ఐ*failaction[6K`K[6K`K@<@@CSI@@@l@@@lM@mM@lT@ఐ#loc[6K`K[6K`K@Q@@F@@@lM@mM@mf@@\[6K`K@@@@@lM@lm@@[6K`K@@Xo@@Ġ+Unreachable[7KK[7KK@"@@@@!!@C@@@li@!@@@lj@@lh@@@lg@@@lfD@@Ġ$Some[7KK[7KK@QĠ)Reachable[7KK[7KK@"ఠ$lfun[7KK[7KK@\A@@#@@@lue@ఠ*failaction\ 7KK\ 7KK@\$A@@!@@@lvs@@@\7KK\7KK@@!̠!@@@lx@@@lw}@@@2 @@S!נ!@@@l{@@@lz@@@ly@@]@@@^@@@l|@@@!!@DC@@@l@!@@@l@@l@@@l@@@l~@S""@@@l@@@l@@@l@@l}@@@ภ)Reachable\Z8KK\[8KK@#Nఐg$lfun\d8KK\e8KK@f@g@h@@$"@@@mM@mM@m3\l\k\k\l\l\l\l\l@y kd@e@f@@@ภ-Lstringswitch\z8KK\{8KL@Dఐ#arg\8KL\8KL@-@@T5@@@mM@m'M@m&@ఐ$arms\8KL\8KL @>@@D@D@@@m!@TS@@@m"@@m @@@mM@m,M@m(>@ภ$Some\8KL\8KL@Reఐ*failaction\8KL\8KL@N@@Tq@@@m$M@m6M@m8M@m7[@@ @@DƠ @@@m#M@m5b@ఐ#loc\8KL\8KL"@@@G@@@m%M@m]=9L%LG@$0@]A9L%LH]B9L%LI@@$@@@l@@@"@@@l@@@]L9L%L=]M9L%LJ@@##@@@l@@@l@@@# @@T##@@@l@@@l@@@l@@h@@@O@@@l@@@""@E|@@@là@"@@@l@@l@@@l@@@l@U!#<#;@@@l@@@l@@@l@@l@@@డV+fatal_error$Misc]:LNLT]:LNLX@ ]:LNLY]:LNLd@@Vְ@@@V@@@mA@@m@@@@mL@@@mKN@m?@@m>@@:letrec: multiple functions]:LNLf]:LNL@@]:LNLe]:LNL@@V@@@mHN@mJN@mI'@@- @@a(@@@A]3JJ];LL@@#@@@n@@@n@X @@@ @@@Ġ,Lstaticcatch]<LL]<LL@C֠ఠ$body]<LL]<LL@]A@@U@@@Ru3]]]]]]]]@"@@@@ఠ%nfail]<LL]<LL@^A@@C@@@R@@ఠ¶ms^<LL^ <LL@^!A@@C@C@@@R@Mj@@@R@@R@@@R/@@^<LL^<LL@@@&@@@R8@ఠ'handler^,<LL^-<LL@^EA@@U@@@RF@@@W^4<LL@@#H@@#H@@@@ఠ(body_res^?=LL^@=LL@^XA@@##@@@o@@@oL@n3^I^H^H^I^I^I^I^I@#Poh@i@j]V@W@XOH@I@J,%@&@'@@@ఐ$85split_static_function^^=LL^_=LL@#@@@$7@@o@$2@@o@$)@@o$$$#@@@o@@@o@@o@@o@@n(@@ఐ$)block_var^~=LL^=LL@#@@$S5@@ఐ#,local_idents^=LL^=LL@#@@$WB@@ఐ$body^=LL^=LM@I@@$WM@oQ@@@@@YR@A@^=LL@@@ఠ+handler_res^>MM^>MM@^A@@$g$f@@@o@@@oL@o3^^^^^^^^@l~w@x@y@@@@ఠ,local_idents^?MM'^?MM3@^A@@$@@@ovM@o @డ]D$List)fold_left^@M6M>^@M6MB@ ^@M6MC^@M6ML@@K@@@@"M@o%@@o.@@@@@oxM@oR@NQ@@@oM@oS@@oTM@o(@@o-@@o,@@o+@@o*@@@o)@Q@@@o'@@o&$@@o$@@o#@@o"3_ _ _ _ _ _ _ _ @W@@@@࣠@$varsA_@M6MR_@M6MV@_6A@@7j@@@@XA@ఠ#var_0@M6MX_1@M6M[@_IA@@>3_1_0_0_1_1_1_1_1@~ M@@@@@@@_;@M6M]_<@M6M^@@@ @@_>@M6MW_?@M6M_@@@N@I@@oV@@ @@డY%#Set#add%Ident_Y@M6Mc_Z@M6Mh@ _]@M6Mi_^@M6Ml@@_b@M6Mm_c@M6Mp@ @ @@@'@@@o`@@o_@%8@@@o^@@o]%;@@@o\@@o[@@oZ3_t_s_s_t_t_t_t_t@DM@G@H@@@@ఐT#var_@M6Mq_@M6Mt@ @@@@ఐw$vars_@M6Mu_@M6My@]@@@@<@@Q@ot @_@M6MM_@M6Mz@@@@@oG@@@oF@@oE@@oDN@oN@o@@ఐ$ڠ,local_idents_AM{M_AM{M@$°@@%|@@ఐ¶ms_AM{M_AM{M@l@@R@@@oAN@oN@o@@ @@@A@_?MM# @@ఐ%5split_static_function_CMM_CMM@%m@@@%@@o@%@@o@%@@o%%@@@o@@@o@@o@@o@@o3________@4,%@&@'@@@@ఐ%)block_var_CMM_CMM@%@@%@@ఐ@,local_idents`CMM`CMM@@@?@@ఐ堐'handler`CMM`CMM@@@%M@o,@@C@@g-@N@@ha@A@`>MM @@@ఐ蠐(body_res`'EMM`(EMM@p@@%%@@@o@@@o3`.`-`-`.`.`.`.`.@{@@@@@@ఐ+handler_res`=EMM`>EMN @ @@%%@@@o@@@o@@! @@@"@@@o@@Ġ+Unreachable`\FNN`]FNN @'l@@@@&&@@@o@@@o3`c`b`b`c`c`c`c`c@5@@@@Ġ+Unreachable`oFNN"`pFNN-@'@@@@&)&(@@@o@@@o@@ @@@@@@o@@@&;&:@@@o@@@oߠ@&D&C@@@o@@@o@@o.@@@ภ+Unreachable`FNN1`FNN<@'@@@  @@@pR@@@pQ>@@Ġ)Reachable`GN=NC`GN=NL@'ఠ$lfun`GN=NN`GN=NR@`A@@(u@@@o3````````@@@@ఠ$body`GN=NT`GN=NX@`A@@&@@@o@@@ `GN=NY@@&&@@@o@@@o@@Ġ+Unreachable`GN=N[`GN=Nf@'@@@@&&@@@o@@@o*@@; @@@@@@o1@@@&&@@@p@@@p@&&@@@p@@@p@@pE@@@ภ)Reachablea HNjNpaHNjNy@(ఐ\$lfunaHNjN{aHNjN@[@\@]@@(@@@pbM@pdM@pc3aaaaaaaa@n _X@Y@Z@@@ภ,Lstaticcatcha-HNjNa.HNjN@G&ఐm$bodya7HNjNa8HNjN@@@X@@@pqM@pzM@py@@ఐT%nfailaMHNjNaNHNjN@@@G@@@@psM@pM@p5@@ఐX¶msa`HNjNaaHNjN@@@GM@GL@@@pv@P@@@pw@@pu@@@ptM@pM@pU@@axHNjNayHNjN@@@,@@@prM@p`@ఐ^'handleraHNjNaHNjN@8@@Y;@@@pxM@pM@pr@@haHNjN@@!@@@paM@ppy@@aHNjN@@{@@Ġ+UnreachableaINNaINN@(@@@@'e'd@@@p@@@p@@Ġ)ReachableaINNaINN@(ఠ$lfunaINNaINN@aA@@)@@@p@ఠ'handleraINNaINN@aA@@'@@@p@@@aINN@@''@@@p @@@p@@: @@@;@@@p!@@@''@@@p$@@@p#@''@@@p&@@@p%@@p"@@@ภ)ReachablebJNNbJNN@(ఐI$lfunbJNNbJNN@H@I@J@@)@@@pM@pM@p3bbbbbbbb@[ MF@G@H@@@ภ,Lstaticcatchb%JNNb&JNO@HఐI$bodyb/JNOb0JNO @@@Y@@@pM@pM@p@@ఐL%nfailbEJNO bFJNO@@@H8@@@pM@pM@p5@@ఐP¶msbXJNObYJNO@@@HE@HD@@@p@Q@@@p@@p@@@pM@pM@pU@@bpJNO bqJNO@@@,@@@pM@p`@ఐ'handlerbJNObJNO#@g@@Z3@@@pM@pM@pr@@hbJNO$@@"@@@pM@py@@bJNO%@@{@@Ġ)ReachablebKO&O,bKO&O5@)@bKO&O6bKO&O7@@*`@@@p9|@@@(b@@@p:@@@ @@(j(i@@@p<@@@p;@@Ġ)ReachablebKO&O9bKO&OB@)@bKO&OCbKO&OD@@*@@@pB@@@(@@@pC@@@ @@((@@@pE@@@pD@@7@@@+@@@pF@@@((@@@pI@@@pH@((@@@pK@@@pJ@@pG@@@డ\?+fatal_error$MisccLOHONcLOHOR@ cLOHOScLOHO^@@\=@@@\=@@@p@@p#X#k@@@p@@@pN@p@@p@@:letrec: multiple functionsc!LOHO`c"LOHOz@@c$LOHO_c%LOHO{@@\Z@@@pN@pN@p@@- @@@@@Ac/EMMc0MO|O@@#w#@@@rQ@@@rP@  @@@ @@#@Ġ(LtrywithcDNOOcENOO@HĠఠ$bodycMNOOcNNOO@cfA@@Z@@@R3cQcPcPcQcQcQcQcQ@(T@@@ఠ'exn_varc\NOOc]NOO@cuA@@H@@@R@ఠ'handlercjNOOckNOO@cA@@[@@@R@@@.crNOO@@)/@@)/@@@@ఠ(body_resc}OOOc~OOO@cA@@):)9@@@rk@@@rjL@rR3cccccccc@(E>@?@@70@1@2*#@$@%@@@ఐ)t5split_static_functioncOOOcOOO@)3@@@)s@@r[@)n@@rZ@)e@@rY)`)_@@@rX@@@rW@@rV@@rU@@rT&@@ఐ)[)block_varcOOOcOOO@(ݰ@@)3@@ఐ(,local_identscOOOcOOO@(ٰ@@)@@@ఐ$bodycOOOcOOO@H@@)M@rsO@@@@@WP@A@cOOO@@@ఠ+handler_rescPOOcPOP@cA@@))@@@r@@@rL@rt3cccccccc@j|u@v@w@@@ఐ)٠5split_static_functioncQP PdQP P&@)@@@)@@r}@)@@r|@)@@r{)Š)@@@rz@@@ry@@rx@@rw@@rv"@@ఐ))block_vardQP P'd QP P0@)B@@)/@@డ^#Set#add%Identd6RP1P:d7RP1P?@ d:RP1P@d;RP1PC@@d?RP1PDd@RP1PG@ @x @@@#@@@r@@r@*@@@r@@r*@@@r@@r@@ra@@ఐ'exn_vard^RP1PHd_RP1PO@Ѱ@@# @@@rN@rs@@ఐ),local_identsdpRP1PPdqRP1P\@)@@*<@@dtRP1P9duRP1P]@@*=@@@r@@ఐ'handlerdRP1P^dRP1Pe@@@*BM@r@@@@@A@dPOO@@@ఐ(body_resdTPmP}dTPmP@@@*R*Q@@@r@@@r3dddddddd@@@@@@@ఐȠ+handler_resdTPmPdTPmP@ @@*h*g@@@r@@@r@@! @@@"@@@r@@Ġ+UnreachabledUPPdUPP@+@@@@**@@@r@@@r3dddddddd@5@@@@Ġ+UnreachabledUPPdUPP@+@@@@**@@@r@@@r@@ @@@@@@r@@@**@@@r@@@r@**@@@r@@@r@@r.@@@ภ+Unreachablee UPPe UPP@,@@@%T%g@@@sh@@@sg>@@Ġ)Reachablee#VPPe$VPP@,ఠ$lfune,VPPe-VPP@eEA@@,@@@s 3e0e/e/e0e0e0e0e0@@@@ఠ$bodye;VPPe<VPP@eTA@@*@@@s @@@ eCVPP@@**@@@s@@@s @@Ġ+UnreachableeSVPPeTVPP@,c@@@@+ + @@@s@@@s*@@; @@@@@@s1@@@++@@@s@@@s@+(+'@@@s@@@s@@sE@@@ภ)Reachablee~WPPeWPQ@,rఐ\$lfuneWPQeWPQ@[@\@]@@-F@@@sxM@szM@sy3eeeeeeee@n _X@Y@Z@@@ภ(LtrywitheWPQ eWPQ@Kఐm$bodyeWPQeWPQ@@@]Y@@@sM@sM@s@ఐ^'exn_vareWPQeWPQ!@-@@K8@@@sM@sM@s1@ఐb'handlereWPQ#eWPQ*@>@@]}@@@sM@sM@sC@@9eWPQ+@@&0@@@swM@sJ@@`eWPQ,@@L@@Ġ+UnreachableeXQ-Q3eXQ-Q>@,@@@@++@@@s-@@@s,U@@Ġ)ReachableeXQ-Q@fXQ-QI@,ఠ$lfun fXQ-QKf XQ-QO@f!A@@-@@@s3m@ఠ'handler fXQ-QQfXQ-QX@f/A@@+@@@s4{@@@fXQ-QY@@+֠+@@@s6@@@s5@@: @@@;@@@s7@@@++@@@s:@@@s9@++@@@s<@@@s;@@s8@@@ภ)ReachablefGYQ]QcfHYQ]Ql@-;ఐI$lfunfQYQ]QnfRYQ]Qr@H@I@J@@.@@@sM@sM@s3fYfXfXfYfYfYfYfY@[ MF@G@H@@@ภ(LtrywithfgYQ]QtfhYQ]Q|@Kఐ$$bodyfqYQ]Q~frYQ]Q@@@^"@@@sM@sM@s@ఐ''exn_varfYQ]QfYQ]Q@@@L@@@sM@sM@s1@ఐ'handlerfYQ]QfYQ]Q@8@@^F@@@sM@sM@sC@@9fYQ]Q@@&@@@sM@sJ@@`fYQ]Q@@L@@Ġ)ReachablefZQQfZQQ@-@fZQQfZQQ@@.s@@@sO@@@,u@@@sP#@@@ @@,},|@@@sR@@@sQ+@@Ġ)ReachablefZQQfZQQ@-ɠ@fZQQfZQQ@@.@@@sX=@@@,@@@sYB@@@ @@,,@@@s[@@@sZJ@@7@@@+@@@s\Q@@@,,@@@s_@@@s^@,,@@@sa@@@s`@@s]e@@@డ`R+fatal_error$Miscg[QQg[QQ@ g[QQg[QQ@@`P@@@`P@@@s@@s'k'~@@@s@@@sN@s@@s@@:letrec: multiple functionsg4[QQg5[QQ@@g7[QQg8[QQ@@`m@@@sN@sN@s@@- @@3@@@AgBTPmPqgC\QQ@@''@@@u/@@@u.t@ @@Y@r @@'@Ġ+LifthenelsegW]QQgX]QR@L'ఠ$condg`]QRga]QR @gyA@@_@@@R3gdgcgcgdgdgdgdgd@,g@@@ఠ$ifsogo]QR gp]QR@gA@@_@@@R@ఠ%ifnotg}]QRg~]QR@gA@@_+@@@R@@@.g]QR@@-B@@-B@@@@ఠ(ifso_res g^RR$g^RR,@gA@@-M-L@@@uI@@@uHL@u03gggggggg@,E>@?@@70@1@2*#@$@%@@@ఐ-5split_static_functiong^RR/g^RRD@-F@@@-@@u9@-@@u8@-x@@u7-s-r@@@u6@@@u5@@u4@@u3@@u2&@@ఐ-n)block_varg^RREg^RRN@,@@-3@@ఐ-,local_identsg^RROg^RR[@,@@-@@@ఐx$ifsog^RR\g^RR`@G@@-M@uQO@@@@@WP@A@g^RR @@@ఠ)ifnot_res g_RdRlg_RdRu@hA@@--@@@uk@@@ujL@uR3hhhhhhhh@j|u@v@w@@@ఐ-점5split_static_functionh_RdRxh_RdR@-@@@-@@u[@-@@uZ@-@@uY-ؠ-@@@uX@@@uW@@uV@@uU@@uT"@@ఐ-Ӡ)block_varh2_RdRh3_RdR@-U@@./@@ఐ-i,local_identsh?_RdRh@_RdR@-Q@@. <@@ఐϠ%ifnothL_RdRhM_RdR@@@. M@uoK@@@@@SL@A@hS_RdRh@@@ఐѠ(ifso_resha`RRhb`RR@[@@..@@@uu@@@ut3hhhghghhhhhhhhhh@fxq@r@s@@@@ఐ~)ifnot_reshw`RRhx`RR@ @@.1.0@@@uw@@@uv@@! @@@"@@@ux@@Ġ+UnreachablehaRRhaRR@/@@@@.P.O@@@u@@@u3hhhhhhhh@5@@@@Ġ+UnreachablehaRRhaRR@/@@@@.c.b@@@u@@@u@@ @@@@@@u@@@.u.t@@@u@@@u@.~.}@@@u@@@u@@u.@@@ภ+UnreachablehaRRhaRS@/@@@))0@@@v@@@v>@@Ġ)ReachablehbSS hbSS@/ఠ$lfun hbSShbSS@iA@@0@@@u3hhhhhhhh@@@@ఠ$ifsoibSSibSS @iA@@.@@@u@@@ i bSS!@@.Ġ.@@@u@@@u@@Ġ+UnreachableibSS#ibSS.@0,@@@@.֠.@@@u@@@u*@@; @@@@@@u1@@@..@@@u@@@u@..@@@u@@@u@@uE@@@ภ)ReachableiGcS2S8iHcS2SA@0;ఐ\$lfuniQcS2SCiRcS2SG@[@\@]@@1@@@vM@vM@v3iYiXiXiYiYiYiYiY@n _X@Y@Z@@@ภ+LifthenelseigcS2SIihcS2ST@N7ఐ$condiqcS2SVircS2SZ@Ұ@@a"@@@v!M@v%M@v$@ఐ$ifsoicS2S\icS2S`@&@@a4@@@v"M@v'M@v&1@ఐ%ifnoticS2SbicS2Sg@@@aF@@@v#M@v)M@v(C@@9icS2Sh@@)@@@vM@v J@@`icS2Si@@L@@Ġ+UnreachableidSjSpidSjS{@0@@@@/p/o@@@u@@@uU@@Ġ)ReachableidSjS}idSjS@0ఠ$lfunidSjSidSjS@iA@@1@@@um@ఠ%ifnotidSjSidSjS@iA@@/@@@u{@@@idSjS@@//@@@u@@@u@@: @@@;@@@u@@@//@@@u@@@uؠ@//@@@u@@@u@@u@@@ภ)ReachablejeSSjeSS@1ఐI$lfunjeSSjeSS@H@I@J@@1@@@v2M@v4M@v33j"j!j!j"j"j"j"j"@[ MF@G@H@@@ภ+Lifthenelsej0eSSj1eSS@Oఐڠ$condj:eSSj;eSS@@@a@@@vM@vDM@vCC@@9jieSS@@*@@@v1M@v;J@@`jpeSS@@L@@Ġ)ReachablejfSSjfSS@1s@jfSSjfSS@@2<@@@u@@@0>@@@u#@@@ @@0F0E@@@u@@@u+@@Ġ)ReachablejfSSjfSS@1@jfSSjfSS@@2[@@@u=@@@0]@@@uB@@@ @@0e0d@@@u@@@uJ@@7@@@+@@@uQ@@@0w0v@@@u@@@u@00@@@v@@@u@@ue@@@డd+fatal_error$MiscjgSSjgSS@ jgSSjgST@@d@@@d@@@vI@@vH+4+G@@@vT@@@vSN@vG@@vF@@:letrec: multiple functionsjgST jgST$@@kgST kgST%@@d6@@@vPN@vRN@vQ@@- @@3@@@Ak `RRk hT&T-@@+S+f@@@w@@@wt@ @@@( @@+\y@Ġ)Lsequencek iT.T2k!iT.T;@O6ఠ"e1k)iT.T=k*iT.T?@kBA@@b@@@R3k-k,k,k-k-k-k-k-@00@@@ఠ"e2k8iT.TAk9iT.TC@kQA@@b@@@R@@@ k@iT.TD@@0@@0@@@2Ƞ$let+kHjTHTLkIjTHTP@1@2Šc@@@x K@xK@wL@w@@@wL@w@@w@@@@w+@@@xK@x K@w@@w@@w2 L@w@@@wL@w@@w@@wL@wఐ1X5split_static_functionk~jTHTVkjTHTk@1@@@1W@@w@1R@@w@1I@@w1D1C@@@w@@@w@@w@@w@@w3kkkkkkkk@0rk@l@md]@^@_@@@@ఐ1D)block_varkjTHTlkjTHTu@0ư@@1x@@ఐ0ڠ,local_identskjTHTvkjTHT@0°@@1|@@ఐ"e2kjTHTkjTHT@'@@1|L@x.@@E@@38s@@@xL@w5@kkTT@@"e2kjTHTQkjTHTS@kA@@B@@@ภ)LsequencekkTTkkTT@Oఐ"e1kkTTkkTT@Q@@c@@@x L@xL@x3kkkkkkkk@]'@@@@@ఐ,"e2kkTTkkTT@ @@@@#5@@@A6@@,F3kkkkkkkk@l@@@Ġ&Leventl lTTl lTT@Nఠ#lamllTTllTT@l-A@@c@@@R1@ఠ#levl"lTTl#lTT@l;A@@N@@@R1)@@@l*lTT@@11+@@11+@@@3$let+l2mTTl3mTT@2@3c@@@xMK@xOK@xL@x@@@xL@x#@@x&@@@@x ,@@@xTK@xKK@x@@x!@@x$3͠ L@x@@@xL@x"@@x%@@x'L@xఐ2B5split_static_functionlhmTTlimTT@2@@@2A@@x0@2<@@x/@23@@x.2.2-@@@x-@@@x,@@x+@@x*@@x)3l{lzlzl{l{l{l{l{@1qj@k@ld]@^@_@@@@ఐ2.)block_varlmTTlmTT@1@@2b@@ఐ1Ġ,local_identslmTTlmTT@1@@2f@@ఐ#lamlmTTlmTT@(@@2fL@xD.@@E@@4"s@@@xEL@x?5@lnTU@@#lamlmTTlmTT@lA@@B@@@ภ&LeventlnTUlnTU@OSఐ#lamlnTUlnTU @@@@@3llllllll@W!@@@ఐ#levlnTU lnTU@^@@Oi@@@xNL@xQL@xP@@#5@@@A6@@-03llllllll@l@@@Ġ'LmutvarmoUUmoUU@]@@m oUUm oUU@@]B@@@R2@@@ @@22@@22@Ġ&LconstmpU U$mpU U*@c@mpU U+mpU U,@@c@@@R2"@@@ @@22#@@22#@@@@22$@Ġ&Lapplym,qU-U1m-qU-U7@\@m1qU-U8m2qU-U9@@]@@@R26@@@ @@227@@227@@3@@228@Ġ%Lprimm@rU:U>mArU:UC@X?@mErU:UDmFrU:UE@@_@@@R2J@@@XBd@@@R@@@R2S@@@XB@@@R2X@@@@@32Y@@32Y@@U@@32Z@Ġ&LwhilembsUFUJmcsUFUP@Q @mgsUFUQmhsUFUR@@e@@@R2l@@@e@@@R2q@@@ @@3.2r@@3.2r@@n @@3/2s@Ġ$Lform{tUSUWm|tUSU[@P@mtUSU\mtUSU]@@Q@@@R2@@@e1@@@R2@@ @e6@@@R2@@@Q@@@R2@@@e@@@@R2@@@@@3V2@@3V2@@@@3W2@Ġ'LassignmuU^UbmuU^Ui@P۠@muU^UjmuU^Uk@@P@@@R2@@@eY@@@R2@@@ @@3o2@@3o2@@ @@3p2@Ġ%LsendmvUlUpmvUlUu@P@mvUlUvmvUlUw@@P@@@R2@@@er@@@R2@@ @ew@@@R2@@@Pe@@@R@@@R2@@@X@@@R2@@@#@@32@@32@@@@32@Ġ'LifusedmwUxU|mwUxU@P @mwUxUmwUxU@@P@@@R2@@@e@@@R2@@@ @@32@@32@@ @@32@@@డgD+fatal_error$MiscnwUxUnwUxU@ n wUxUn wUxU@@gB@@@gB@@@xY@@xX.].p@@@xd@@@xcL@xW@@xV3@@ 'letrec binding is not a static functionn&wUxUn'wUxU@@n)wUxUn*wUxU@@g_@@@x`L@xbL@xa32@@- @@.y33@@@An4:: @г.~,split_resultn>::n?::@г.&LambdanI::nJ::@3nM::nN::@@@4@@@yI@R3nRnQnQnRnRnRnRnR@3U@@ @@@4 @@@yI@R@@+@@ @35A@@47@@y@42@@y@4)@@y4$4#@@@y@@@y@@y@@y@@yF@y4@@@nu:Z:ZL@3333@33Ш3@б@@@@Q3nnnnnnnn@43@@nyUUnyUU@@б@@@@Q nyUUnyUU@@б@г3$listnyUUnyUV@В@А!a4@Q nyUUnyUU@@@г4&LambdanyUUnyUU@4nyUUnyUU@@@4@@@Q7 @@@@@ @@Q> @@@4* @@@QCnyUU0@@г4,split_resultnzVV"nzVV.@г4$listnzVVnzVV!@В@А!a@^nzVV nzVV @@@г4'&LambdanzVVnzVV@4.nzVVnzVV@@@46@@@Qu @@@@\@ @@Q| @@@4M @@@Qo zVV .@@@4W @@@Q<@@@M@@Q @@QIA@@@@@Q @@QF@@@@@Q @@QK@@|@@Q@4VOA@@@4@@Q@4@@Q@4@@Q砠@4@@@Q@@Q@@@Q@@Q44@@4@@@Q@@Q@@@Q@@@Q@@Q@@Q@@Q@@Q@࣠@)block_varAo[{V1V7o\{V1V@@otA@@51H@y3o^o]o]o^o^o^o^o^@44H;@@@A@@@A@ogyUUohyUU@@@@oA@@@@@@,local_identsAot{V1VAou{V1VM@oA@@5AH@y3owovovowowowowow@(@@ @@@@  @@$armsAo{V1VNo{V1VR@oA@@o@3@@@z2@m4@@@z3@@z1@@@z03oooooooo@&4*@+@,@@@@@@ఐ)$armso|VVV^o|VVVb@%@$@@@z.@#@@@z/@@z-@@@z,@6@7@@6@5@@@z>@4@@@z?@@z=@@@z<3oooooooo@3S$@@@ĠY?o}VhVlo}VhVn@e@@@@T@S@@@zL@R@@@zM@@zK@@@zJ3oooooooo@@@@@e@d@@@zP@c@@@zQ@@zO@@@zN@@@ภ+Unreachablep}VhVrp}VhV}@7@@@7o@@@@zy@nu5X@@@zz@@zx@@@zw@@@zv3@ĠFbp+~V~Vp,~V~V@f>@ఠ!ip8~V~Vp9~V~V@pQA@@@@@zcn@@ఠ#lampG~V~VpH~V~V@p`A@@@@@zd}@@pO~V~VpP~V~V@@@@ @@ze@ఠ$armsp^~V~Vp_~V~V@pwA@@oà@@@@zh@@@@zi@@zg@@@zf@@@$@@@@@@zl@@@@zm@@zk@@@zj@@@@@@zp@@@@zq@@zo@@@zn@@@@ఠ#respVVpVV@pA@@55@@@@zN@z@5@@@z@@z@@@z@@@zN@z3pppppppp@@@{t@u@ve^@_@`@@@ఐ6@,rebuild_armspVVpVV@6D@@@6B@@z@6>@@z@6<@2@65@@@z@@z@@@z@@z6261@B@6.@@@z@@z@@@z@@@z@@z@@z@@z=@@ఐ)block_varqVVqVV@@@J@@ఐ,local_identsq VVqVV@n@@W@@ఐ$armsqVVqVV@]@@6@{@6~@@@z@@z@@@zO@zO@zu@@f@@v@A@q0VV@@@ఠ'lam_resq;VVq<VV@qTA@@66@@@z@@@zN@z3qEqDqDqEqEqEqEqE@@@@@@ఐ7.5split_static_functionqTVVqUVV@6@@@7-@@z@7(@@z@7@@z77@@@z@@@z@@z@@z@@z"@@ఐ)block_varqtVVquVW@@@/@@ఐ,local_identsqVWqVW@@@ <@@ఐG#lamqVWqVW@Ұ@@7MO@zK@@@@@SL@A@qVV@@@ఐh'lam_resqWW qWW'@g@h@i@@7^7]@@@z@@@z3qqqqqqqq@gy @@@@ఐ#resqWW)qWW,@q@@7 7@3@@@z砠@7@@@z@@z@@@z@@@z"@@.@@@.@@@z)@@Ġ+UnreachableqW2W8qW2WC@8@@@@77@@@{@@@{3qqqqqqqq@A@@@@Ġ+UnreachableqW2WEqW2WP@9@@@@7H7G@r@@@{ @7G@@@{@@{ @@@{ @@@{  @@+@@@,@@@{'@@@7Ѡ7@@@{@@@{@7p7o@@@@{@7o@@@{@@{@@@{@@@{@@{H@@@ภ+Unreachabler=W2WTr>W2W_@9M@@@76@5@@@{@4@@@{@@{@@@{@@@{e@@Ġ)ReachablerbW`WfrcW`Wo@9Vఠ$lfunrkW`WqrlW`Wu@rA@@:%@@@{03rornrnrororororo@@@@ఠ#lamrzW`Wwr{W`Wz@rA@@81@@@{1@@@ rW`W{@@8:89@@@{3@@@{2@@Ġ+UnreachablerW`W}rW`W@9@@@@77@ @@@{>@7@@@{?@@{=@@@{<@@@{;7@@H@@@+@@@{@>@@@8k8j@@@{C@@@{B@8 8 @4@@@{G@8 @@@{H@@{F@@@{E@@@{D@@{A_@@@ภ)ReachablerWWrWW@9ˠఐv$lfunrWWrWW@u@v@w@@:@@@{O@{O@{3rrrrrrrr@@ yr@s@t@@@ภ/rWWrWW@i @ఐ̠!isWWsWW@I@@@@@{O@{O@{O@{$@@ఐ#lamsWWsWW@,@@@@@{O@{O@{O@{9@@s&WWs'WW@@@#@@@{O@{O@{F@ఐܠ$armss:WWs;WW@}@@r@@@{O@{O@{Y@@  @@;@@@{O@{`@@vsMWW@@b@@Ġ+Unreachables\WWs]WW@:l@@@@99@@@{a@@@{`@@Ġ)ReachablesnWWsoWW@:bఠ$lfunswWWsxWW@sA@@;1@@@{j@ఠ$armssWWsWW@sA@@8Ҡ@@@@{m@8@@@{n@@{l@@@{k@@@,sWW@@88@@@@{r@8@@@{s@@{q@@@{p@@@{o@@T@@@U@@@{t@@@9q9p@@@{w@@@{v@99@:@@@{{@9@@@{|@@{z@@@{y@@@{x@@{u)@@@ภ)ReachablesWWsWW@:Ѡఐp$lfunsWWsWW@o@p@q@@;@@@| O@| O@| 3ssssssss@F tm@n@o@@@ภ0°sWXsWX@j@ఐҠ!it WWt WW@O@@@@@|O@|O@|!O@| $@@ఐؠ#lamtWWt WX@c@@ @@@| O@|O@|#O@|"9@@t,WWt-WX@@@#@@@|O@|O@|$F@ఐ$armst@WXtAWX @M@@s@@@|O@|)O@|%Y@@  @@A@@@|O@|`@@vtSWX @@b@@Ġ)ReachabletbX XtcX X@;V@tgX XthX X@@<@@@{@@@:!@@@{@@@ @@:):(@@@{@@@{@@Ġ)ReachabletX XtX X'@;u@tX X(tX X)@@<>@@@{@@@9֠@@@@{@9@@@{@@{@@@{@@@@@99@@@@{@9@@@{@@{@@@{@@@{@@Q,@@@E@@@{ @@@:t:s@@@{@@@{@::@=@@@{@:@@@{@@{@@@{@@@{@@{,@@@డn%+fatal_error$MisctX-X3tX-X7@ tX-X8tX-XC@@n#@@@n#@@@|1@@|0@@@@|>@@@@|?@@|=@@@|<@@@|;P@|/@@|.^@@:letrec: multiple functionsuX-XEuX-X_@@uX-XDuX-X`@@nM@@@|8P@|:P@|9r@@: @@s@@@Au"WW @@@@@@}ܠ@@@@}@@}@@@}@@@}H@ @@@ !@@0@@@Au:|VVVX#@@21@0@@@}@/@@@}@@}@@@}@@@}`@:8A:@б@@@б@@@б@гӠȠВ@гԠǰ@@@@@y@@гؠĠ:@@@@y@@@@ @@y @@ @@@y$@г|г}В@г~@@@@@y:@@г:@@@@yF@@@@ @@yL@@ @@@yP@@@@@yT@@8@@y@@yX@@E@@y@@y\@@b@@y@@y`@r@@@;9@@~z@;5@@~y@;3@;2@y@;.@@@~x@@~w@@@~v@@~u;+;*@@;'@@@~t@@~s@@@~r@@@~q@@~p@@~o@@~nF@~\@@@uxUU@@}@;vv2 {1. Compilation} vXbXbvXbXy@@@@@@3vuuvvvvv@;@@vv The bindings are split into three categories. Static bindings are the ones that we can pre-allocate and backpatch later. Function bindings are syntactic functions. Dynamic bindings are non-recursive expressions. The evaluation order is as follows: - Evaluate all dynamic bindings - Pre-allocate all static bindings - Define all functions - Backpatch all static bindings Constants (and unreachable expressions) end up in the dynamic category, because we substitute all occurrences of recursive variables in their definition by a dummy expression, making them non-recursive. This is correct because: - [Value_rec_check] ensured that they never dereference the value of those recursive variables - their final value cannot depend on them either. Functions that are not already in syntactic form also generate an additional binding for the context. This binding fits into the static category. Example input: {[ let rec a x = (* syntactic function *) b x and b = (* non-syntactic function *) let tbl = Hashtbl.make 17 in fun x -> ... (tbl, c, a) ... and c = (* block *) Some (d, default) and d = (* 'dynamic' value (not recursive *) Array.make 5 0 and default = (* constant, with (spurious) use of a recursive neighbor *) let _ = a in 42 ]} Example output: {[ (* Dynamic bindings *) let d = Array.make 5 0 let default = let _ = *dummy_rec_value* in 42 (* Pre-allocations *) let c = caml_alloc_dummy 2 let b_context = caml_alloc_dummy 1 (* Functions *) let rec a x = b x and b = fun x -> ... (b_context.tbl, c, a) ... (* Backpatching *) let () = caml_update_dummy c (Some (d, default)); caml_update_dummy b_context (let tbl = Hashtbl.make 17 in { tbl }) ]} Note on performance for non-syntactic functions: The compiler would previously pre-allocate and backpatch function closures. The new approach is designed to avoid back-patching closures -- besides, we could not pre-allocate at this point in the compiler pipeline, as the closure size will only be determined later. For non-syntactic functions with local free variables, we now store the local free variables in a block, which incurs an additional indirection whenever a local variable is accessed by the function. On the other hand, we generate regular function definitions, so the rest of the compiler can either inline them or generate direct calls, and use the compact representation for mutually recursive closures. vX{X{vc_cb@@@@@@A+,rec_bindings Fvcdcivcdcu@@;@@&static!@@u@p!t@@@~@q@@@~@t&lambda@@@~@@~@@@~vDcxc|vEcxc@@v]A)functions"@@uà@p-!t@@@~@t)lfunction@@@~@@~@@@~vcccvdcc@@v|A'dynamic#@@u@pL!t@@@~@t&lambda@@@~@@~@@@~İvccvcd@@vA@@A@@@@@vcdcdvdd@@@@vA@#hhJvcxc@I@@Ш@гk$listvcxcvcxc@В@гp%Identvcxcvcxc@wvcxcvcxc@@@3vvvvvvvv@cd@°wAcdwBcd @@@@@@@@@wGcc+@@@@~@@@A@@@@H@ఠ.empty_bindings$wVddwWdd*@woA@@E@@@~G@~3w]w\w\w]w]w]w]w]@<HB@@@ະ3B @@@~D@@@3"!@@A@A @3@@B@A@@A*@'&staticwrd-d1wsd-d7@ภ`ܰwyd-d:wzd-d<@m;@@@X@W@@@~@T@@@~@S@@@~@@~@@@~G@3@))functionswd>dBwd>dK@ภawd>dNwd>dP@mb@@@Z@Y@@@@V@@@@@@@@G@U@J'dynamicwdRdVwdRd]@ภa%wdRd`wdRdb@m@@@]@\@@@+@Y@@@,@@*@@@)G@4w@@@wd-d/wdddg@@z@A@wdd@@@}ww " Allocation and backpatching code wdidiwdid@@@@@@3wwwwwwww@@@@@@ఠ0compile_indirect%wddwdd@xA@@@o@@@qG@9@@:o@@@^G@;@@@@c@@@H@H@<+ap_tailcallyeEeIyeEeT@ภ0Default_tailcally eEeWy!eEeg@<@@@<@@@H@^@<*ap_inlinedy.eiemy/eiew@ภ.Default_inliney6eiezy7eie@;@@@<@@@H@t@<.ap_specialisedyDeeyEee@ภ2Default_specialiseyLeeyMee@;@@@<@@@H@@@@yUdd2@@i%@@@`H@@@8@@q@@@_@<@@&@F=A@aG@D@A@A@A@@v@ఠ-compile_alloc)yoeeypee@yA@@@q@@@ G@@@q*@@@*G@@@G@3yyyyyyyy@@@@@@࣠@$size+Ayeeyee@yA@@3yyyyyyyy@+yeey gg@@@@@  @@@ఠ%alloc,yeeyee@yA@@@O&@@@I@@@@o@@@I@@@qn@@@I@@@I@@@I@3yyyyyyyy@3?Q@6@7@@@࣠@$prim.Ayeeyee@yA@@(3yyyyyyyy@7yeeyf.f@@@@@@  @@$size/Ayeeyee@zA@@13yyyyyyyy@!?@@@@@@@@ภ%Lprimyeeyee@dภ&Pccallzeezee@Oyఐ9$primz eez ee@@@]3z z z z z z z z @".U@%@&@@@@@@l@@@K@ @ภcNzff zff,Ap0ภ&Lconst z&ff@p+డx)const_int&Lambdaz5ffz6ff@ z9ffz:ff%@@@@@@ @@ pB@@@ @@ @p?44p@44+@@qJ@@@@@@@@@pQ@@@@@H@@ఐz$sizez`ff&zaff*@R@@U@@zdffzeff+@@ph@@@@L@_@@Q @@r@@@K@K@g@ภc]Ap;@^A@yߠ@@@K@t@@zff f@@e|@@@K@|@ఐ@&no_loczf.f9zf.f?@@>@@e@@@K@@@@@rE@@@@A@I@ @A@@ఐ$sizezffzff@@@43zzzzzzzz@ @@@@@Ġ-Regular_blockzffzff@oఠ$size0zffzff@zA@@v0@@@3zzzzzzzz@@@@@@@@S@@S@@@ఐ.%alloczffzff@(@@@PO@@@@@@%@@@@@r@@@@@@@3zzzzzzzz@=,%@&@'@@@@ఐy*alloc_primzffzff@xb@@Pp@@@.K@0K@/@@ఐG$size{ ff{ ff@!@@S@@@,K@2K@1+@@@ @@,@Ġ,Float_record{fg{ fg @oFఠ$size1{(fg{)fg@{AA@@v@@@@@@@@@@@@@ఐ%alloc{9gg{:gg!@@@@P@@@:@@9@@@@8@@7r@@@6@@5@@43{J{I{I{J{J{J{J{J@+$@%@&@@@@ఐxϠ7alloc_float_record_prim{Zgg"{[gg9@xJ@@P@@@JK@LK@K@@ఐF$size{ngg:{ogg>@!@@@@@HK@NK@M+@@@ @@,@Ġ*Lazy_block{g?gC{g?gM@o/@@@@ @@ @@@ภ%Lprim{gQgW{gQg\@fภ&Pccall{gQg]{gQgc@Q ఐx/alloc_lazy_prim{gQgd{gQgs@x@@Q@@@_J@aJ@`@@ @@n+@@@VJ@^@ภd{gug{gugAqȠడz+lambda_unit&Lambda{gug@ {gug{gug@@st@@@ @q4,4,q4,4C@@svK@ @@s@@@XJ@iJ@lJ@k.@ภd+Aq@,A@{E@@@jJ@r;@@{gug4@@f@@@WJ@hC@ఐB&no_loc{ gg{ gg@A@@f@@@wJ@vS@@ug@@T@@@A|ffi@@3|{{|||||@V@@@(k@@>@ulA@G@s@A@p@po@@ఠ.compile_update2| gg| gg@|-A@@@s@@@G@@@@s@@@G@@@@ G@@@s@@@G@@@G@@@G@@@G@3|7|6|6|7|7|7|7|7@@@@@@࣠@$size4A|H gg|I gg@|aA@@.3|I|H|H|I|I|I|I|I@=|P gg|Q-ll@@@@@  @@%dummy5A|\ gg|] gg@|uA@@73|]|\|\|]|]|]|]|]@!E@@@@@@@@&newval6A|m gg|n gg@|A@@=3|n|m|m|n|n|n|n|n@K@@@@@@@@@@ఠ$prim7| gg| gg@|A@@z@@@K@3||||||||@)\@ @!@@@@ఠ&newval8| gg| gg@|A@@yG@G@G@G@@@  @@@ @@@@ఐn$size| gg| gg@S@@)@Ġ-Regular_block|gh|gh@q@|gh|gh@@x2@@@?@@@ @@@@@@@Ġ,Float_record|gh|gh @p@|gh!|gh"@@x7@@@R@@@ @@S@@S@@@@T@@@@ఐyi+update_prim|h&h,|h&h7@x@@eb@@ఐ&newval|h&h9|h&h?@k@@n@@@@@x@f@@u@Ġ*Lazy_block} h@hF} h@hP@p@@@@@@@@@@ఐy0update_lazy_prim}"kk#}"kk3@x@@M@@@ఐ&newval}*#k5kG}+#k5kM@@@@Ġ%Lprim}7$kSk]}8$kSkb@h6Ġ.Pmakelazyblock}@$kSkc}A$kSkq@U@}E$kSkr}F$kSks@@U@@@@@@ @@o@@@@@}Q$kSku}R$kSkv@@hIu@@@@@@@@}]$kSkx}^$kSky@@hL@@@@@@,}c$kSkz@@0@@0@@@ఐ&newval}k(l=lG}l(l=lM@ް@@G@@@@}w)lNlX}x)lNlY@@E@@E@@@ఐ0compile_indirect})lNl]})lNlm@@@@u3@@@@@u6@@@@@@@ఐ/&newval})lNln})lNlt@ @@h@@@@/@@@A}#k5k;}*lul~@@2@@@@@@@A} gg@@@@ @@@A@} gg @@ภ%Lprim},ll},ll@hภ&Pccall},ll},ll@S2ఐ@$prim},ll},ll@?@@@A@@S?@@@J@J@3}}}}}}}}@DR >7@8@9@@@@@@pU@@@J@ @ภg},ll},llAsఐ%dummy },ll@w @@@ภg"},llAtఐb&newval },ll@) @@`-@ภg"As@ #A@}fh@@@J@ :@@*A@}mm@@@J@A@@~,ll2@@i @@@J@I@ఐDE&no_loc~ -ll~!-ll@C̰@@i@@@J@Y@@x@@u@@@]@@@@A@G@@A@@@~D~C6 Compilation function ~@/ll~A/ll@@@@@@3~?~>~>~?~?~?~?~?@ 4-@.@/@@@ఠ.compile_letrec9~P1ll~Q1ll@~iA@@@qC@p^@@@J@@/Value_rec_types6recursive_binding_kind@@@J@@v$@@@{J@@@J@@@@G@@@@v0@@@G@"@@#G@$@@%G@@@G@I@࣠@.input_bindings;A~1ll~1ll@~A@@@3~~~~~~~~@YO~1ll~}xux@@@@@  @@$bodyA3mm73mm<@*A@@)I@@@@x|@A@ఠ"id?$3mm>%3mm@@=A@@J@Z3'&&'''''@_"A@@@@@@@13mmB23mmC@@G@[ @@@93mmE:3mmF@@G@\@@>3mm=?3mmG@@@@@ @@_@@  @@డy'#Map#add%Ident[4mKmS\4mKmX@ _4mKmY`4mKm\@@d4mKm]e4mKm`@ @n) @@@qc@@@l@@k@@@j@r@@@i@@hr@@@f@@e@@d@@c3|{{|||||@VaZ@[@\@@@@ఐh"id4mKma4mKmc@ @@g@@డ}.dummy_constant&Lambda4mKmd4mKmj@ 4mKmk4mKmy@@wO@@@ @u44u45@@wQM@ @@.@@ఐ%subst4mKmz4mKm@@@;@@`@@r@@@@@3mm24mKm@@@@@O@@@N@@M@@LK@K@@@డy#Map%empty%Ident5mm5mm@ 5mm5mm@@5mm5mm@ @J @@s**J@@@@@@ఐj.input_bindings5mm5mm@O@@@@%@@5@A@2mm@@@ఠ0all_bindings_revA 7mm7mm@& A@@@@@5J@3@K_X@Y@Z@@@డ~$List)fold_left&8mm'8mm@ *8mm+8mm@@l@@@@%J@@@@@@@@@@@@@ @@@s+@@@@@@@@@@@3EDDEEEEE@2@@@@࣠@,rev_bindingsBAW8mmX8mm@p A@@%E@@@@yTA@ఠ"idCj8mmk8mm@ A@@ 3kjjkkkkk@Y ;@@@@@@ఠ%rkindDy8mmz8mm@ A@@@@ఠ#defE8mm8mm@ A@@@@8mm8mm@@@+@&@@@&@@  @@ఐ&%rkind9mn 9mn@6@&@'@г8/Value_rec_types9mn9mn#@=9mn$9mn:@@@G@@@3@MVX@P@QH<F@6@7@@ @@9mn 9mn;@@@T@@@ @Ġ'Dynamic:nAnK:nAnR@;'Dynamic/Value_rec_types6recursive_binding_kind@@@@@@AB@@A:typing/value_rec_types.mliYY@@@ B@@@@@t@@@ 3@-@@@@x@@@ @@@ະ  ʠ@ @@@I@ @@@J@ @@@K@@H@@@GO@A@  @ @@@T@ @@@U@@S@@@RO@M@ 'dynamic;nVnt ;nVn{@ภ=&;nVn';nVn@w9@ఐʠ"id4;nVn5;nVn@z@@R@@ఐ#def@;nVnA;nVn@@@^@@D;nVn~E;nVn@@@G@J@J@ J@J@J@J@J@J@_J@kJ@tJ@@J@J@J@J@J@J@OJ@jJ@kJ@ @@O@*O@6@ఐ.,rev_bindings;nVn;nVn@@@O@'dynamic;nVn;nVn@  @@K@@@-O@=O@8@@Q @@ -P@@@O@)@@ఐO,rev_bindings;nVnb;nVnn@5@@p@;nVn`;nVn@@s@Ġ&Static<nn<nn@;&Static@@@@B@@AUU@@@A@@@  @@O@@@@@R@@@ @@@@ఠ$sizeG=nn=nn@A@@uB@@@hP@\@ఐu_3compute_static_size=nn=nn@LG@@@y@@@a@@`uX@@@_@@^@@ఐq#def=nn=nn@;@@@@@@'@A@=nn@@ఐ8$size>nn>no@7@8@9@@ux@@@m3      @UE@@@Ġ(Constant?oo?oo@q@@@@u@@@q3@@@@@@Ġ+Unreachable)?oo*?oo(@z@@@@u@@@t@@@@@@u@@@v@@@@ఠ#defI=Dp&p6>Dp&p9@VA@@y@@@R@3CBBCCCCC@:@@@డ%subst&LambdaTEp<pJUEp<pP@ XEp<pQYEp<pV@@>@@@@>@@@@@@>@@@@@@>@@@@@> @@@@@@@@@@@> >>@@@@@@@@@>z4@@@@@@@@@z<@@@@@z?@@@@@@@@@@@3@@@@@࣠@|LA@Ep<p\Ep<p]@@>Z@@@c@@@@|KA@Ep<p^Ep<p_@@>\@@@o@@@@#envJAEp<p`Ep<pc@A@@>c@@@@@@@ఐ#envEp<pgEp<pj@>r@@@@@@@>p@@@V@3@% @@@Ep<pWEp<pk@@@>@@@@@@>@@@@@@>@@@@@>@@@@@@@@@S@&S@@>ภ=x@@>>@@@2@@@1@@0t@@ఐY3subst_for_constantsEp<plEp<p@@@vVz@@@S@Jqq@@@@$@@AJqq2BJqqA@@@@@@@Q@Q@3@ఐ,rev_bindingsYJqqEZJqqQ@@@&@@&static`JqqRaJqqX@  @@Ƞ%@@@Q@Q@O@@+ @@H*@@@Q@V@ +@*@@@蠠@'@@@@@@@@Q@@  @@@@@@@@@@@@@Q@@@ఐN,rev_bindingsIpq Ipq@4@@o@IpqJqqZ@@r@Ġ(FunctionKq[qgKq[qo@t@@@@x$@@@@@x'@@@@@@ఐ?#defLqsqLqsq@ @@O@Ġ)LfunctionMqqMqq@t[ఠ$lfunMMqqMqq@A@@tc@@@3@@@@@@@@k@@k@@@ະ Ġ@@@@6@@@@7@@@@8@@5@@@4S@.@ )functionsOqqOqq@ภAҰ Oqq Oqq@{@ఐ"idOqqOqq@`@@3@IB@C@D@@@@ఐO$lfun)Oqq*Oqq@ @@@@@ S@S@!S@ @@6Oqq7Oqq@@@ࠠ@@@ S@S@"%@ఐ,rev_bindingsLOqrMOqr @ް@@2@)functionsSOqr TOqr@  @@#@@@S@)S@$A@@) @@(@@@S@H@ @@@@F@@@@G@@E@@@DS@?@@ఐ-,rev_bindingsNqqNqq@@@Ng@NqqPrr&@@Qj@@Qr'r5Qr'r6@@@@@@@@ఠ&ctx_idNRr:rLRr:rR@A@@Jq@@@UT@I@డ~,create_local%IdentRr:rURr:rZ@ Rr:r[Rr:rg@@Jl@@@Jl@@@N@@MJ@@@L@@K@@7letrec_function_contextRr:riRr:r@@Rr:rhRr:r@@J@@@WU@YU@X@@' @@7@A@Rr:rH @@ఐK5split_static_functionSrrSrr@K|@@@x"@@@f@@e@K@@@d@@c@}@@@b@@aKK@@@`@@@_@@^@@]@@\3@oh@i@j@@@@ఐv&ctx_idSrrSrr@ @@xN@@@U@U@@@డ#Set%empty%Ident+Srr,Srr@ /Srr0Srr@@4Srr5Srr@ @K@@@U@x@EE@@@L@@@}U@U@B@@ఐɠ#defNSrrOSrr@@@O@@o@@L L@@@y@@@xW@Ġ+UnreachablecTrrdTrr@Ms@@@@LL@@@@@@3jiijjjjj@k@@@ @L%L$@@@@@@@@@డ+fatal_error$MiscUrsUrs@ Urs Urs@@@@@@@@@@gJ@0J@+J@&J@J@J@HV@@@1@@?letrec: no function for bindingUrsUrs5@@UrsUrs6@@@@@V@V@E@@1 @@}F@Ġ)ReachableVs7sGVs7sP@Mঠ$lfunVs7sTVs7sXAH ఠO@A@O@@@@4free_vars_block_sizeVs7sZVs7snAHఠP@A@O @@@@@@Vs7sRVs7sp@@N@@@V@@ఠ#lamQVs7srVs7su@ A@@L@@@@@@>Vs7sv@@LL@@@@@@@ @LL@@@@@@@@@@ఠ)functionsRWszsWszs@-A@@~ʠ@V@à@Oa@@@V@@@V@@@@V@3*))*****@.eb@d@cUR@T@SD=@>@?@@@ภC9Wszs:Wszs@}L@ఐݠ"idGWszsHWszs@@@@@ఐ$lfunSWszsTWszs@$@@-)@@WWszsXWszs@@@Lk@@@V@֠@7@@@V@נ@MZ@@@V@@@V@@@@V@3@@@@@@ภDyYst#Yst%@}Ơ@ఐ(&ctx_idYssYss@@@+@@ภ-Regular_blockYssYst@|ఐ4free_vars_block_sizeYstYst@@@F@@@V@V@5@@ @@CV@8@@ఐ#lamYstYst!@@@HD@@YssYst"@@aV@I@ఐ,rev_bindingsZt&t8Zt&tD@@@V@&staticZt&tEZt&tK@ @@m~@@@V@V@e@@! @@@@@j@A@Xss@@ະ&static \t_t!\t_tAఐ @@@@@@@@@@@@@@@@@@@@@U@3=<<=====@@@@ء)functionsH\t_tI\t_tAఐ= @@@@@@@@@@@@U@@@@@@3@@@@4@@2@@@1U@,@@ఐ',rev_bindings{\t_tq|\t_t}@ @@H>@\t_to\t_t@@KA@l@@L@@@MV@@@ASrr]tt@@P@@@Q@@@ALqsq^tt@@T@@@A>nn_tt@@WG@@@X@@@A9mn@@Z@8mm_tt@@@e@@@ @@@i@@@@K@K@@@ఐS.empty_bindings`tt`tt@@@K@f@@ఐ %.input_bindings`tt`tt@ @@ as@@@@@A@7mm@@@ఠ1body_with_patchesUbttbtu@A@@ NG@MG@G@J@3@@@@@@డM$List)fold_leftcu ucu u@ cu ucu u@@u@@@@)G@J@@@@@{:@@@J@䠠@@@@J@堠@@@@J@@@J@@@ @@@@@@@$@@@|$@@@@@,@@@@@@3@L@@@@࣠@$bodyVA.cu u#/cu u'@GA@@?_@@@@ZA@ఠ"idWAcu u)Bcu u+@ZA@@E3BAABBBBB@s U@@@@@@ఠ$sizeXPcu u-Qcu u1@iA@@M@@ఠ#lamY\cu u3]cu u6@uA@@R@@acu u(bcu u7@@@g@b@]@@&@@  @@ภ)Lsequencesdu;uCtdu;uL@mఐ k.compile_updatedu;uNdu;u\@ =@@@@@@@@@7@@@@@@@@>@@@@@@@@@3@U^@X@YP@J@KE@?@@@@@@ఐX$sizedu;u]du;ua@@@@@ภ$Lvardu;ucdu;ug@{ఐ}"iddu;uhdu;uj@%@@*@@du;ubdu;uk@@N@/@@ఐt#lamdu;uldu;uo@5@@<@@U@@@@@@N@D@ఐ$bodydu;uqdu;uu@@@O@@tdu;uv@@@@@T@cu ueuwu|@@@@@@@@@@@@K@)K@%'@@ఐ ]$bodyeuwu}euwu@ 8@@ @@ఐ 0all_bindings_reveuwueuwu@@@@@@@4@.@&staticeuwu euwu@"euwu#euwu@@}1@@@K@5K@/ @@J @@:Z@A@.btt @@@ఠ3body_with_functions[9guu:guu@RA@@mJ@63;::;;;;;@l|u@v@w@@@ఐ ?0all_bindings_revLhuuMhuu@y@@@@@>@93QPPQQQQQ@@@@)functionsYhuuZhuu@@@@@@@<@ @@@=@@;@@@:@Ġsذuiuuviuu@7@@@@-@,@@@K@)@@@L@@J@@@IJ@@=@<@@@O@9@@@P@@N@@@MZ@@@ఐנ1body_with_patchesiuuiuv@a@@ed@ఠ,bindings_rev\jvv jvv@A@@e@d@@@W@a@@@X@@V@@@Ul@@u@t@@@[@q@@@\@@Z@@@Y|@@@@ఠ1function_bindings]kvv%kvv6@ A@@}Ǡx@@@M@d@@@wM@_3@D=@>@?@@@డd$List'rev_maplv9vAlv9vE@ lv9vFlv9vM@@@@!a@/@@1=!b@/@@1<@@1;@}@@@1:@@19;@@@18@@17@@16@w,,w,Z@@wY@*%@@@@@w@@@M@@z@@@M@@@M@g@@jZ@@i@@h@,@@@f@@efe@@@c@@b@@a3GFFGGGGG@`@@@@࣠@`A@ఠ"id^^lv9vT_lv9vV@w!A@@0x@@ఠ$lfun_jlv9vXklv9v\@"A@@5@@olv9vSplv9v]@@@C@>@@@@ @@ຠwա"idmvavomvavqAఐ- @Y@*@+@Y3@4(V@"@#@@@wܡ#defmvavsmvavv@ఐ4$lfunmvavymvav}@@@h@@@mvavmmvav@@@lv9vNmvav@@@@@|@@{N@N@@@ఐ ,bindings_revnvvnvv@ϰ@@@@@yN@N@z@@ @@@A@kvv! @@ภ'Lletrecpvvpvv@xఐ1function_bindingspvvpvv@@@@@yy@@@@@@L@L@3@@@@ఐ(1body_with_patchespvvpvv@@@' @@'pvv@@@@@@3@@@@@Ahuu@@@A@guu @@@ఠ8body_with_dynamic_valuesarvvrvv@ #A@@ J@3      @@@@@@డ$List)fold_leftsvwsvw@  svw!svw@@x@@@@\J@ @@@@{@@@KJ@9@@@@LJ@:@@;J@@@@@@@@@@@@@3@@@@@ $@@ @@ @@ 3MLLMMMMM@D@@@@࣠@$bodybA_svw`svw@x$A@@7W@@@@eA@ఠ"idcrsvwssvw@%A@@>3srrsssss@k M@@@@@@ఠ#lamdsvwsvw!@&A@@F@@svwsvw"@@@T@O@@=@@ @@ภ$Llettw&w.tw&w2@{ภ&Stricttw&w3tw&w9@;&Strict{@@@ @@@@C@@A!!!!@@@P@@  @@|@@@IM@Q3@=F}@@@A8w@2@3@@@ภ'Pgenvaltw&w;tw&wB@N@@@|@@@JM@U@ఐ["idtw&wDtw&wF@@@@ఐW#lamtw&wHtw&wK@%@@*@ఐ$bodytw&wMtw&wQ@m@@5@@Qtw&wR@@@@@H:@svwtw&wS@@@@@.@@@-@@,@@+K@cK@_@@ఐˠ3body_with_functionsuwTwZuwTwm@@@@@ఐ 0all_bindings_revuwTwnuwTw~@@@@@@@m@h@'dynamicuwTw uwTw@@@ @@@(K@nK@i@@ @@@A@,rvv @@@ఠ9body_with_pre_allocationsf7www8www@P'A@@J@o3:99:::::@2<5@6@7@@@డ$List)fold_leftMxwwNxww@ QxwwRxww@@z@@@@J@t@@}@@|@@@J@@ @@@J@@=@@@J@@@J@w@@|@@{@@z@@y@#@@x@k$@@@v@@u+@@s@@r@@q3@K@@@@࣠@$bodygAxwwxww@(A@@>^@@@@lA@ఠ"idhxwwxww@)A@@E3@r T@@@@@@ఠ$sizeixwwxww@*A@@M@@ఠ$_lamjxwwxww@+A@@R@@xwwxww@@@g@b@]@@&@@  @@@ఠ%allockywwyww@,A@@@@@N@3@>G@A@B9@3@4.y@(@)@@@ఐ-compile_allocywwywx@@@@@@@@@@@@@@@@ఐW$sizeywxywx@$@@*@@@@.+@A@yww@@ภ$Lletzx xzx x@}yภ&Strict%zx x&zx x@@@@}@@@M@3*))*****@ESL@M@N@@@ภ'Pgenval7zx x8zx x%@P@@@}@@@M@@ఐ"idGzx x'Hzx x)@\@@@ఐr%allocRzx x+Szx x0@%@@@@@M@M@/@ఐР$bodydzx x2ezx x6@@@ :@@Lhzx x7@@@@@?@X@@@nxwwozx x8@@@@@@@@@@@@K@K@?@@ఐ8body_with_dynamic_values{x9x?{x9xW@I@@~@@ఐ0all_bindings_rev{x9xX{x9xh@°@@>@@@@@&static{x9xi{x9xo@=@@H@@@K@K@$@@` @@Pp@A@www @@ఐ9body_with_pre_allocations}xuxw@}@~@@@~3@}@@@@@@@@@@@@ @@@!@@@"@@@,#A@nG@*@A@'@'&@@1@B@=@N@L@HBA@A@"A@B@\@k@F@cYE@YlW+@W'W!A@VVA@VjUN@UtT@UT@TT@TjTh@A@@p@@@@@@@3@@@@2Value_rec_compilerB@@ H************************************************************************A@@A@L@ H  BMM BM@ H OCaml CC@ H DD3@ H Vincent Laviron, OCamlPro E44E4@ H $F%F@ H Copyright 2023 OCamlPro SAS *G+G@ H 0H1Hg@ H All rights reserved. This file is distributed under the terms of 6Ihh7Ih@ H the GNU Lesser General Public License version 2.1, with the  f x (* Syntactic *) let rec f = let g x = f x in g (* Not syntactic *) let rec f = let a = ... in (fun x -> f x) (* Not syntactic *) ]} - Compilation: we finally combine all of this to produce a Lambda term for the recursive bindings.  )* Allocation and backpatching primitives  > Note: [alloc] could be false, but it probably doesn't matter ]z  ^z  @.* {1. Sizing} 䠠/ Simple blocks fC  gC  @ * Non-returning expressions, like [raise exn]. In [Value_rec_check], they would be classified as [Dynamic], but some of those appear during translation to Lambda. For example, in [let rec f = let [| x |] = ... in fun y -> x + y] the inner let binding gets translated to code that raises [Match_failure] for non-matching branches. Tracking [Unreachable] explicitly allows us to recover the size of the only non-raising branch. d -* Constant values. Can be either an integer-like constant ([0], ['a'], [None], the empty list or the unit constructor), or a structured constant (["hello"], [Some 1], ...). Integer constants cannot be pre-allocated, so need their own classification and compilation scheme (See {!Compilation} below). Structured constants could fit into the [Block] category, but we choose to reuse the [constant] classification to avoid sorting through the [Lconst] definitions. It also generates slightly better code. P * Function definitions. This includes more than just obvious, syntactic function definitions; see {!Function Lifting} for details. < * Allocated values of a fixed size. This corresponds to expressions ending in a single obvious allocation, but also some more complex expressions where the block is bound to an intermediate variable before being returned. # > [join_sizes] is used to compute the size of an expression with multiple branches. Such expressions are normally classified as [Dynamic] by [Value_rec_check], so the default behaviour is a compile-time failure. However, for partial pattern-matching (typically in let bindings) the compiler will later add a branch for the failing cases, and this is handled here with the [Unreachable] case. Note that the current compilation scheme would work if we allowed the [Constant] and [Block] cases to be joined, but [Function] needs to be a single function. xsy{1I@  We need to recognize the Pmakeblock that we transformed into primitive calls, to support size compilation in nested recursive definitions. Consider this example from Vincent Laviron: {[let f a = let rec x = let rec y = Some a in y in x ]} [let rec y = Some a in y] gets compiled to {[let y = caml_alloc_dummy 1 in caml_update_dummy(y, ...); y]} and we need to recognize from this definition that this value has known size [1]. ~@) ignored (B(O@) ignored 9F@ Unit-returning primitives. Most of these are only generated from external declarations and not special-cased by [Value_rec_check], but it doesn't hurt to be consistent. $.$6$$@ The block shape is unfortunately an option, so we rely on the number of arguments instead. Note that flat float arrays/records use Pmakearray, so we don't need to check the tag here. &j&r'+'O@ < The size has to be recovered from the size of the argument ((()@ These primitives are not special-cased by [Value_rec_check], so we should never end up here; but these are constants anyway. ** *+*S*@8* {1. Function Lifting} W 3 The compiler allows recursive definitions of functions that are not syntactic functions: {[ let rec f_syntactic_function = fun x -> f_syntactic_function x let rec g_needs_lift = let () = ... in (fun x -> g_needs_lift (foo x)) let rec h_needs_lift_and_closure = let v = ref 0 in (fun x -> incr v; h_needs_lift_and_closure (bar x)) let rec i_needs_lift_and_eta = let aux x = i_needs_lift_and_eta (baz x) in aux ]} We need to translate those using only syntactic functions or blocks. For some functions, we only need to lift a syntactic function in tail position from its surrounding context: {[ let rec g_context = let () = ... in () and g_lifted = fun x -> g_lifted (foo x) ]} In general the function may refer to local variables, so we perform a local closure conversion before lifting: {[ let rec h_context = let v = ref 0 in { v } and h_lifted = fun x -> incr h_context.v; h_lifted (bar x) ]} Note that the closure environment computed from the context is passed as a mutually recursive definition, that is, a free variable, and not as an additional function parameter (which is customary for closure conversion). Finally, when the tail expression is a variable, we perform an eta-expansion to get a syntactic function, that we can then close and lift: {[ let rec i_context = let aux x = i_lifted (baz x) in { aux } and i_lifted = fun x -> i_context.aux x ]} {1177@ The closure blocks are immutable. (Note: It is usually safe to declare immutable blocks as mutable, but in this case the blocks might be empty and declaring them as Mutable would cause errors later.) 9999@, Eta-expand ::::@ D Note: knowing the arity might let us generate slightly better code :::;4@ 2 Note: When there are no local free variables, we don't need the substitution and we don't need to generate code for pre-allocating and backpatching a block of size 0. However, the general scheme also works and it's unlikely to be noticeably worse, so we use it for simplicity. @G@KAIA@3* {1. Compilation} Ƞ * The bindings are split into three categories. Static bindings are the ones that we can pre-allocate and backpatch later. Function bindings are syntactic functions. Dynamic bindings are non-recursive expressions. The evaluation order is as follows: - Evaluate all dynamic bindings - Pre-allocate all static bindings - Define all functions - Backpatch all static bindings Constants (and unreachable expressions) end up in the dynamic category, because we substitute all occurrences of recursive variables in their definition by a dummy expression, making them non-recursive. This is correct because: - [Value_rec_check] ensured that they never dereference the value of those recursive variables - their final value cannot depend on them either. Functions that are not already in syntactic form also generate an additional binding for the context. This binding fits into the static category. Example input: {[ let rec a x = (* syntactic function *) b x and b = (* non-syntactic function *) let tbl = Hashtbl.make 17 in fun x -> ... (tbl, c, a) ... and c = (* block *) Some (d, default) and d = (* 'dynamic' value (not recursive *) Array.make 5 0 and default = (* constant, with (spurious) use of a recursive neighbor *) let _ = a in 42 ]} Example output: {[ (* Dynamic bindings *) let d = Array.make 5 0 let default = let _ = *dummy_rec_value* in 42 (* Pre-allocations *) let c = caml_alloc_dummy 2 let b_context = caml_alloc_dummy 1 (* Functions *) let rec a x = b x and b = fun x -> ... (b_context.tbl, c, a) ... (* Backpatching *) let () = caml_update_dummy c (Some (d, default)); caml_update_dummy b_context (let tbl = Hashtbl.make 17 in { tbl }) ]} Note on performance for non-syntactic functions: The compiler would previously pre-allocate and backpatch function closures. The new approach is designed to avoid back-patching closures -- besides, we could not pre-allocate at this point in the compiler pipeline, as the closure size will only be determined later. For non-syntactic functions with local free variables, we now store the local free variables in a block, which incurs an additional indirection whenever a local variable is accessed by the function. On the other hand, we generate regular function definitions, so the rest of the compiler can either inline them or generate direct calls, and use the compact representation for mutually recursive closures.  #* Allocation and backpatching code 㠠 h if you add new allocation primitives below, you should update {!find_size_of_alloc_prim} as well. fFfHfwf@  Consider the following example from Vincent Laviron: {[let rec v = let l = lazy (expensive computation) in let () = maybe_force_in_another_domain l in l ]} The naive/simple compilation scheme would do a [caml_update_dummy_lazy(v, l)], and the dummy-update code could run concurrently with another domain forcing [l]. To avoid this issue, lazy blocks get updated via [caml_update_dummy_lazy(dummy, CamlinternalLazy.indirect newval)], where [CamlinternalLazy.indirect] returns a fresh/local thunk that is not getting forced concurrently (whereas [newval] might be). hThZ!kk@ No need to wrap the thunk if was just constructed. This removes indirections on terms defined as lazy thunks at the toplevel: [let rec x = lazy ...] %k~k'll<@7* Compilation function  The result never escapes any recursive variables, so as we know it doesn't inspect them either we can just bind the recursive variables to dummy values and evaluate the definition normally. @o,o8Cpp%@@*./ocamlopt)-nostdlib"-I(./stdlib"-I1otherlibs/dynlink"-g0-strict-sequence*-principal(-absname"-w8+a-4-9-40-41-42-44-45-48+-warn-error"+a*-bin-annot/-strict-formats"-I&lambda"-I%utils"-I'parsing"-I&typing"-I(bytecomp"-I,file_formats"-I&lambda"-I*middle_end"-I2middle_end/closure"-I2middle_end/flambda"-I=middle_end/flambda/base_types"-I'asmcomp"-I&driver"-I(toplevel"-I%tools"-I'runtime"-I1otherlibs/dynlink"-I-otherlibs/str"-I4otherlibs/systhreads"-I.otherlibs/unix"-I8otherlibs/runtime_events2-function-sections"-c%& ?/home/ci/builds/workspace/main/flambda/false/label/ocaml-alpine ?>3210/.-,+*)('&%$#"! @@0Ol"3.fu3A@@AAAAA@?@@(Asttypes0eT$BbRM dc5Build_path_prefix_map0DGl}%Y5Lhi8CamlinternalFormatBasics0|.e1R$|o0CamlinternalLazy0zY# #4#-*Cmi_format0`M{?w}@*Data_types0v\3,Svh)Debuginfo0_ |PooGq#Env0S B2*Format_doc0uy@GmWUࠠ%Ident0>ЃzV)j⠠,Identifiable0]/*N А0H~ށpFE#㠠0pZ/Dg/e&{m؜)Load_path0,j " nn7ݠ(Location0nBɊOn?7~ؠ)Longident0wP q;ɡ$Misc0Bpg]?[q+Outcometree0BuG^)= 9c )Parsetree0v o[pY Y$Path0k.tbGmᠠ)Primitive0dU=\I/}%Shape0 M``ll&Stdlib0t0VoS%{<F:.Stdlib__Buffer0,I[?z.Stdlib__Digest0#z25I*.Stdlib__Domain06wI62J{V.Stdlib__Either0HD ?|>.Stdlib__Format0b HvkR/Stdlib__Hashtbl0(L%bԠ,Stdlib__Lazy0$1mlࠠ.Stdlib__Lexing0^m|e,Stdlib__List0oYӀ7tG[w\+Stdlib__Map0*4ɇ2ɠ%Subst0=aqT/!p+.Type_immediacy00$ jbv\"k&%Types0"|Vȷ`X )Unit_info0'T Χ@aR70 m/[N$Zry0`4xiVC(Warnings0Ef{&@@Ae@Y^YLZd@@FFxӑx@2s2}C)C3Бr@-W-anư@@33PBP~@@@8u8@  R\@ѕFCC[ޑ[:@T^OY@eW@ , 6OOQQ@Ց[e@Jw@MMo ϓ@BL(@@V# P:ɑ@ݑ~l~v@. .@RݑR{{@YMY9@@@ܒ @**YY@@ˑհ9b9l@===G@akϒ@@@@3=ws%@@XbUlUvwd@*AY~Yii0:@@_iKґKܰT6T@@w3Pv@  XGXQYqYg@L'L1WWYGYQ@Q@@@HEE@ J T@@@WW@VPVZVVϑ@343>@@  "ĕ@))ZZ.@QQ@R6@@ W a@r|@@@P@@@@@A@@