Caml1999T0375 aPC2Value_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@*@@*@@@P D@*@@*D@*3        @(b[@\@]@@@࣠@#lamA  @ dA@@3        @,  t01@@@@@  @@Aఠ7compute_expression_size  @ eA@@@%Ident#Map!t@@@4F@+@@@,2F@*@@*@@@@NF@*@@*N@@@G1F@*@@*@@*3        @<H[@?@@@@@࣠@#envA  @ iA@@33        @D@?@@*@.@@*)@@*G@*@@*G@*@J@K6compute_and_join_sizes@NF@*@@*@$listKKF@NF@+ H@E@@@EF@*@@*NF@FF@G F@EF@*@@*G@*@@*G@*@ - y  . y @@ FfA=compute_and_join_sizes_switch@#Map!tp@@@*@@@*@@*@  à@!a@*@ &lambda@@@*@@*@@@*@@@*@@*y@@@*@@*@@*@ e!%!+ f!%!H@@ ~gA1size_of_primitive@F@*@@*@%)primitive@@@3F@*@@*@8@@@NF@*@@*F@*@@*G@*@@*G@*@@*G@*@ "" ""@@ hA@@@@@@#lamA  @ jA@@3        @@@@@@@@@ఐ#lam  @@@@@3        @@@@Ġ$Lvar    @;$Lvar@%Ident!t@@@ @A@@V@A*&&*&&@@@t@ఠ!v  @ kA@@@@@+ 3        @,@@@@@"@@@@@@@డ#Map(find_opt%Ident % *@  + .@@ / 7@ @@@#key@@@@@@I!a@@@@@@&optionL @@@@@@@@0typing/ident.mliTaiTa@@+Stdlib__MapV@0&@@@#@@@+@@+@jc@@@+@@+g@@@+@@+@@+321122222@e^@_@`@@@@ఐl!vB8C9@ @@D@@@,#L@,"@@ఐg#envT:U=@@@"@@f@@D@@@+'@Ġ$NonefCKgCO@@@@@U@@@,C3jiijjjjj@8@@@@Z@@@,D@@@ఐ,dynamic_size{S[|Sg@T@@@@@@,Q@@,PM@,O@@,N@@ภShSj@@@@@@@,XM@,\*@@@@+@Ġ$Somekskw@Sఠ,binding_sizeɠkxk@@A@@F@5F@4:F@4BF@-0F@-8F@,N@,H@@@@@@@@,I@@@@@,J@@@డ %force.Lazy_backtrack@ @@@@!a@3@@?!b@0@@>@@=@.Lazy_backtrack!t@@@<@@;@@:@@9@8utils/lazy_backtrack.mliTQQTQz@@ B@,'@@@@ D@@@,L@,c@@,fF@EF@,F@,`@@,e@@,d@( @@@,b@@,a@@,_@@,^3@vo@p@q@@@@࣠@Aঠ&lambda/0A3  n@@@ @@@3  @@A@A @ @A @ ఠʠ @TAA@ &@@@,|3>==>>>>>@&@@@#envHIAఠˠ@fBA@ + $@@@,@@@,@@@XY@@VF@,{O@,y@@@@ఐ7compute_expression_sizehi@q@@@@@,@@@,@@,@@,3pooppppp@Z<9@;@:+(@*@)@@@@ఐ2#env@ @@ `@@@,@@ఐU&lambda@@@wO@,%@@1@@&@@@@@@,v@@,uM@,M@,c@@ఐ,binding_size@@@@@@@q@@@A @@H@Ġ'Lmutvar  @;'Lmutvar@!t@@@ @AA@V@A+&&+&&@@@t@@  @@@@@+@@@@@@@@@@ఐ `,dynamic_size  +@@@@ [@@@,@@,K@,@@,@@ภ Q , .@ P@@@ m@@@,K@, @@@@!!@Ġ&Lconst/5 /;@@ /</=@@ @@@+5@@@ @@;6@@;6@@@ภ(Constant/A/I@; @@@ACA@A  @ @@@AA@Ġ&Lapply(JP)JV@;&Lapply.@,lambda_apply@@@ @AC@V@A+-&&,-&'@@@@@:JW;JX@@@@@+b@@@@@hc@@hc@@@ఐ Ƞ,dynamic_sizeIJ\JJh@ "@@@ @@@,@@,FK@,@@,x@@ภ ]Ji^Jk@ @@@ @@@,K@,@@@@@Ġ)Lfunctionplrql{@;)Lfunctionv@)lfunction@@@ @AD@V@As.''t.'' @@@$@@l|l}@@@@@+@@@@@@@@@@ภ(Functionll@; l @@@BCA@A k h@ Z@@@@Ġ$Llet@;$Llet@L(let_kind@@@ R*value_kind@@@ !t@@@ _@@@ c@@@ @EE@V@A/'!'#/'!'^@@@f@@@@$@@@+3@@@@@@@'@@@+  @ఠ"id@lA@@/@@@+!@ఠ#def@mA@@@@@+"%@ఠ$body@nA@@@@@+#3@@@`@@&5@@&5@@@@ఠ#env͠ @!CA@@K^K@,@@@-K@,3@fC<@=@>6/@0@1)"@#@$@@@డ #Map#add%Ident,-@ 01@@56@ @@:@@@U@@T@!a@?@@S@ @@@R@@Q@@@P@@O@@N@@M@9@5F@* @@@W@@@,@@,@P@@,@W@@@,@@,[@@@,@@,@@,@@,Y@@ఐ"idwx@a@@y@@@- L@- k@@డ &create.Lazy_backtrack@ @@@!a@+@@B!b@,@@@A@@@@U{{U{@@C@@@@ @@@-ZF@-$L@-@@-̠  @ @-[F@-@@@-@@-@@ຠ&lambda@ఐ#def@ð@@ @@@-&M@-'@#envAఐ @O@/@@@@@B@@@@F@-@@ఐ#env@b@@C@@@@@A@@@ఐW7compute_expression_size/@@@@V@@-l@C@@-k>@@-j@@-i3@@@@@@@ఐ #env(0)3@ @@h@@@-w@@ఐD$body94:8@!@@K@-~#@@/@@b$@:@@c,@Ġ'LmutletJ9?K9F@;'LmutletP@@@@ !t@@@  @@@  @@@ @DF@V@AZ0'_'a[0'_'@@@ @@i9Gj9H@@@@@+)3kjjkkkkk@@@@@r9Js9K@@!@@@+* @@z9M{9N@@ &@@@++@ఠ$body9P9T@oA@@ 4@@@+,@@@D9U@@!@@!@@@ఐߠ7compute_expression_sizeY_Yv@@@@@@-@@@-@@-@@-3@#@@@@@@ఐà#envYwYz@@@@@ఐ7$bodyY{Y@@@K@-@@+@@ @Ġ'Lletrec@;'Lletrec@$listK +rec_binding@@@ @@@  @@@ @BG@V@A1''1''@@@ @ఠ(bindings@pA@@ @@@+2@@@+13@H@@@ఠ$body@qA@@ @@@+3@@@< @@2@@2@@@@ఠ#envΠ@-DA@@WjN@3C@@@3K@-3@q92@3@4' @!@"@@@డ$List)fold_left23@ 67@@@@#acc@/@@1_@!a@/@@1^ @@1]@@1\@@1[@@@1Z@=@@@1Y@@1X@@1W@@1V@@1U@(list.mli000o@@,Stdlib__List^@/*@@@@QK@3@@3@@@@37K@3 @@3 @@3@@3@@3 @@@3 @c@@@3 @@3 @@3@@3@@33}||}}}}}@`@@@@࣠@'env_accA@EA@@*s@@@@ Aঠ"idA3"id@@@ !t@@@ @@@ 3#def ;@@@ @@A@A H+q+s H+q+@@ \&@@A G+a+c G+a+p@@ `%@ఠ ! @FA@@@@383@>^@5@6@@@#def@!@@@^@@@3;@@@@@jO@35@@@@డ #Map#add%Ident@ @@@ @° @@@@@@3H@@3G@@@3F@G@@@3E@@3DK@@@3B@@3A@@3@@@3?3@OWT@V@U@@@@ఐ^"id @ @@!@@@3oO@3n@@డp-create_forced.Lazy_backtrack78@ ;<#@@@!b@@@MY!a@ @@@L@@K@XXYX@@aF@@@@F@3O@3|@@3}oF@3{ @@@3z@@3yR@@ภ(Functionm$n,@@@@P@3`@@st-@@XF@3d@@ఐ'env_acc.5@@@q@@@@j@@@3dv@6@@@*@@3*@(@@3).@@3(@@3'L@3L@3w@@ఐ#env7A7D@@@$@@ఐ(bindings7E7M@@@I@@@3$L@3L@39@@ @@Q@A@ @@ఐ 7compute_expression_sizeW]Wt@ΰ@@@ @@3@@@3@@3@@33@@@@@@@ఐɠ#envWuWx@ @@@@ఐ預$bodyWyW}@Ȱ@@K@3@@+@@ @6@@@Ġ%Lprim~~@;%Lprim @@@@ 2 @@@ @@@  /scoped_location@@@ @CH@V@A 2'' 2''@@@ @ఠ!p~~@7rA@@@@@+93"!!"""""@t@@@ఠ$args-~.~@FsA@@- @@@+;@@@+:@@;~<~@@0@@@+<@@@FA~@@j@@j@@@ఐߠ1size_of_primitiveKL@@@@@@3@@@3@@@3@@3@@3@@33WVVWWWWW@C<@=@>5.@/@0@@@@ఐ|#envij@ʰ@@@@ఐX!pvw@@@@@ఐV$args@'@@ F@NF@N:F@N;F@NF@N F@37@@G@@8@Ġ'Lswitch@;'Lswitch @ K@@@  O-lambda_switch@@@ @@@ @CI@V@A 3'' 3'(,@@@ X@@@@ b@@@+A3@ @@@ఠ"sw@tA@@"@@@+B@@@@@@@+C@@@7@@@@@@@@ఠ)fail_case@GA@@ @@@@4K@4@ @@@4K@4@@4K@3@@@3K@33@J=6@7@8@@@ఐE"sw @@@h@@@3@33        @@@@-sw_failaction @3-sw_failactiont@@@ &optionL @@@ @@@ @@D3,sw_numconsts ]@@@ @@@@A %_.F.J &_.F.\@@ 3@3)sw_constsa@ o@@@ @ @@@ @@ @@@ @@A@A =`.. >`..@@ 4@3,sw_numblocks2 @@@ @@B)@A Ga.. Ha..@@ 5@3)sw_blocks<@ @@@ @ @@@ @@ @@@ @@CA@A _b// `b//3@@6@T@A cc/N/R dc/N/o@@7@hZ@@T@@@3@@@3g@Ġ$None!@ @@@@h1@@@3@@@3@@o8@@@3@@@3@@@ภ"[]%'@ Z@@@@Ġ$Some(2(6@ Vఠ$fail(7(;@HA@@\@@@3@@@@@c@@@3@@@3@@j@@@3@@@3@@@ภ"::(@(VA ݠ@@ (A@@3@.'@(@)@@@@ఐ4$fail(Q(U@ @@@@@@K@4@ภ"[] $A @ %A@SK@3@@@4M@4 !@@(?.@@#@@@A0@@@A@2@@ఐ Ҡ=compute_and_join_sizes_switch`f`@ ְ@@@ ֠ A@@@4"@@@4!@@4 @ Ѡ Р@@@@4fJ@4@ @@@4@@4@@@4@@@4@@4 @@@4@@4@@43.--.....@8YR@S@T@@@@ఐ Q#env>`?`@ @@ @@ภI`J`A \ఐ"sw U`@Z@@@@@4h@4c+@)sw_consts``a`@1@@ @N@ @@@47@@46@@@45K@4^K@4iK@4dE@ภ|`3A ఐĠ"sw `@ @@@@@4@4z]@)sw_blocks``@A@@4K@4uK@4K@4{j@ภذ`XA ఐ̠)fail_case `@x @@K@4K@4K@4@ภʰnA x@oA@@@@4K@4@@vA@#,@@@4xK@4@@K}A@*e@@@4aK@4t@@`@@ k@@@44K@4]@@@@K@42@@@ @Ġ-Lstringswitch@;-Lstringswitch @@@@ @&stringQ@@@ @@@@ @@ @@@ @@@ @@@ @@@ @DJ@V@A6((7((@@@@@@@@@@+M3@ i@@@ఠ%cases"#@;uA@@:@9@@@+P@@@@+Q@@+O@@@+N@ఠ$fail=>@VvA@@@@@@+S@@@+R.@@KL@@@@@@+T6@@@nQ@@ z8@@ z8@@@@ఠ)fail_case\]@uIA@@@e@@@4K@4Ǡ@@@@4K@4@@4K@4@@@4K@43uttuuuuu@ ]V@W@XC<@=@>@@@ఐI$fail@ @@6@@@4@@@43@@@@Ġ$None  @(@@@@K@@@4@@@4-@@R@@@4@@@44@@@ภ  @s@@@T<@Ġ$Some(,@oఠ$fail-1@JA@@u@@@4>@@@@@Π|@@@4@@@4F@@ՠ@@@4@@@4M@@@ภ6MA@ 7@@8@@3@z0)@*@+@@@@ఐ6$failHL@ @@@@@@K@4@ภ &A@ 'A@mK@4@@@4M@4 @@50@@"@@@A2@@@A@4@@ఐ 점=compute_and_join_sizes_switch W]!Wz@ @@@  [@@@4@@@4@@4@  @J@@@5(J@4⠠@ @@@4@@4@@@4@@@4@@4 @@@4@@4@@43HGGHHHHH@@@@@@@ఐ k#envXW{YW~@ @@ @@ภcWdWAvఐK%cases mW@ @@ *@@@ %@@@4@@4@@@4K@5"K@5*K@5&7@ภW%Aఐ5)fail_case W@E @@&K@56K@5>K@5:N@ภ;A_@==>>>>>@ @@@@EF@@@=@@@+g@<@;@@@+j@ @@@+k@@+i@@@+h@@+f@ఠ'handlergh@xA@@@@@+sL@+l/@@@pq@@ 1@@ 1@Ġ(Ltrywithz{@;(Ltrywith@)@@@ Ġ !t@@@ Š4@@@ @CM@V@A:)X)Z:)X)@@@7@a$body@yA@@^[@@@@@@@+rc@D'handler@zA@@Am@@@5@@ o@@ o@@@@ p@@@ఐ 6compute_and_join_sizes@ @@@ @@5S@ @@5R @@5Q@@5P3@ @@f_@`@a@@@@ఐ 砐#env!@ 5@@@@ภ#1Aఐ$body '@" @@ F@5d(@ภ*)Aఐ'handler 0@4 @@K@5l;@ภ &A@ 'A@j#L@5f@@@5kK@5qJ@@0A@s,F@5_@@@5cK@5jS@@":@@F@EF@5aF@5bZ@@f@@@C[@Ġ+Lifthenelse*28+2C@;+Lifthenelse0@@@@ Ǡ@@@ Ƞ@@@ @CN@V@A3=))4=)*@@@@ఠ%_condF2EG2J@_{A@@@@@+z3JIIJJJJJ@ @@@ఠ$ifsoU2LV2P@n|A@@@@@+{@ఠ%ifnotc2Rd2W@|}A@@@@@+|@@@Ak2X@@@@@@@ఐk6compute_and_join_sizesu\bv\x@o@@@m@@5v@i@@5u[@@5t@@5s3}||}}}}}@ B;@<@=4-@.@/' @!@"@@@@ఐ#env\y\|@ @@@@ภӰ\~\AఐQ$ifso \@" @@K@5*@ภ\A ఐV%ifnot \@4 @@K@5=@ภհ &A@ 'A@'L@5@@@5K@5L@@0A@0F@5@@@5K@5U@@\}:@@F@5Y@@e=@@Z@Ġ)Lsequence@;)Lsequence@@@@ ʠ@@@ @BO@V@A>* *">* *@@@@@@@@@@@+3@L@@@ఠ!e@~A@@@@@+@@@) @@6@@6@@@ఐ^7compute_expression_size@ @@@]@@5@J@@5E@@5@@53@r#@@@@@@ఐB#env/0@@@q@@ఐ7!e<=@@@ K@5@@+@@e @Ġ&LwhilePQ@;&LwhileV@@@@ ̠@@@ @BP@V@AU?*A*CV?*A*^@@@@@de@@@@@+l@@@@@@+q@@@ @@r@@r@Ġ$Lforwx@;$Lfor}@!t@@@ Π-@@@ Ϡ1@@@ Р(Asttypes.direction_flag@@@ Ѡ>@@@ @EQ@V@A@*_*a@*_*@@@A @@@@%@@@+@@@P@@@+@@ @U@@@+@@@%@@@+@@@_@@@+@@@B@@@@@@j@@@Ġ'Lassign@;'Lassign@!t@@@ Ӡx@@@ @BR@V@AA**A**@@@{!@@@@@@@+@@@@@@+@@@" @@ @@ @@ @@ @@@ภ(Constant @ @@@@Ġ%Lsend    @;%Lsend@)meth_kind@@@ ՠ@@@ ֠@@@ נ 9@@@ @@@ ؠ@@@ @ES@V@AB**B*+@@@"@@     @@$@@@+'@@@@@@+,@@ @@@@+1@@@%@@@+@@@+:@@@,@@@+?@@@E@@e@@@e@@@@ఐŠ,dynamic_sizeF  G  @@@@@@@5@@5CK@5@@5U@@ภZ  [  !@@@@@@@5K@5e@@@@f@Ġ&Leventm " (n " .@;&Levents@@@@ ۠ ,lambda_event@@@ @BT@V@AtC++ uC+++@@@%#@ఠ!e  " 0 " 1@A@@5@@@+@@ " 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@@J@@E@7@@E2@@E@@EF@E|@@@@@@@ @@*@@@*@@*@@*3@=@@@࣠@#envA+ y , y @DOA@@ 3,++,,,,,@;@@@@@@(branchesA: y ; y @SPA@@'3;::;;;;;@K2@@@@@@@@డ$List)fold_leftP  Q  @ T  U  @@ @@@@;H@E@@E@G@@E@@E@@E@@E@ @@E@UR@@@E@@E@@E@@E@@E3onnooooo@5A^@8@9@@@@࣠@$sizeA    @QA@@'3@@@@@@@&branchA    @RA@@w3@%9@@@@@@@@ఐ*join_sizes    @6@@@@@@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@EI@E@@ภ+Unreachable! !! !@@@@I@E@@ఐ砐(branches! !! !$@@@ @@@@@A@@@@F @@@F @@F @@FF@F@@@. y {@@ѠШ@б@г%IdentG!K!dH!K!i@K!K!jL!K!m@@P!K!nQ!K!o@ @г,binding_sizeZ!K!W[!K!c@@@@@*3\[[\\\\\@}@@@@@*@@@* @@б@г!$listn!K!o!K!@г&$listw!K!x!K!@В@А!a.@*$!K!t!K!u@@@г/0!K!x!K!~@@6@@@*3@@@@@ @@*: @@@O @@@*?!K!s(@@@Y @@@*E6@@гE$size!K!!K!@@M@@@*Q@@@@@*@@*V @@@Y@@* @@*[a@@=@@*_@ZA@@@@@@*@@@*@@*@@Y@*렠@@@@*@@*@@@*@@@*@@*@@@*@@*@@* @@*@࣠@#envA!!!!@ TA@@K@@@FI@@@FH3@ H;@@@A@@@A@ !K!T !K!U@@@@ SA@@@@@@)all_casesA !! !!@ ,UA@@@$@@@Fi@@@@Fj@@Fh@@@Fg@@@Ff3 , + + , , , , ,@0G=:@@@FG@@@FF@E@F@@@@'&@@డ$List)fold_left H!! I!!@  L!! M!!@@ @@@@/J@Fr@@F{@G@H@@@G.J@FҠ@QM@F@@FM@F@@@FJ@Fu@@Fz@@Fy@@Fx@@Fw@@@Fv@b @@@Ft@@Fs'@@Fq@@Fp@@Fo3 | { { | | | | |@Qukj@i@@@Fd@h@@@Fe@@Fc@@@Fb@@@Fa@@@@@@࣠@$sizeA !! !!@ VA@@P3        @)@@@@@@%casesA !! !!@ WA@@Y3        @9b@@@@@@@@డ3$List)fold_left !! !!@  !! !!@@ @@@@M@F@@F@|@@F@@F@@F@@F@ @@F@Π@@@F@@F@@F@@F@@F3        @5A@8@9@@@@࣠@$sizeA !! !!@!XA@@'3        @@@@@@@hA@ఠ$_key!!!!!!@!)YA@@3!!!!!!!!@*!>@@@@@@ఠ&action!!!! !"@!8ZA@@@@!$!!!%!"@@@@@@F@@ @@ఐ**join_sizes!7" "!8" ""@ɰ@@@%@@@F@@F@@@F@@F@@F3!B!A!A!B!B!B!B!B@3<@6@7.@(@)@@@@ఐ[$size!T" "#!U" "'@@@@~@@ఐ7compute_expression_size!c" ")!d" "@@l@@@@@F@@@F@@F@@F)@@ఐ#env!x" "A!y" "D@I@@F@G@@@G<@@ఐl&action!" "E!" "K@D@@I@@!" "(!" "L@@L@@[@@gM@!!!!" "M@@@@@F@>@@F@@F@@FN@GN@G@@ఐ $size!"N"Z!"N"^@@@V@@ఐ%cases!"N"_!"N"d@Ͱ@@]@@@@@!!!!"N"e@@@o@@F@m@@Fs@@F@@FK@G$K@G #@@ภ+Unreachable!"f"n!"f"y@L@@@K@G*Z@@ఐӠ)all_cases!"f"z!"f"@d@@Ѡ@@@FK@G0K@G+o@@ @@G@ A@б@гг@ @@@F @@@@@F@б@ггВ@г@@@@@F &@@г@@@@F!/@@@@ @@F"5@@ @@@F$9@@"@@@F&=@г@@@@F'D@@@@F(@@F)H@@B@@F*@@F+L@]@@@@@@G@@@G@@G@@@F @@@@G@@G@@@G@@@G@@G@@@G@@G@@GF@Gzs@@@"t!%!'@@@@@@*@ @@*@@@*@@*@@*@@*3""""""""@@@@࣠@#envA""""""@"[A@@&3""""""""@@@@@@@!pA""""""@"\A@@-3""""""""@8@@@@@@@@$argsA""""""@"]A@@13""""""""@A@@@@@@@@ఐ&!p""""""@@@O3""""""""@E@@@@@Ġ'Pignore""""""@;'Pignore@@@ 8@@@Bo~@Ayy@@@b@@@  @@3########@<@@@@@Ġ)Psetfield# ""#""@;)Psetfield@F@@@ 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&+%%&,%%@ ఐ$size&5%%&6%%@@@!@@@MM@MM@M@@&@%%&A%%@@!@@@MM@M@@(@@@Ġ,Record_float&R%%&S%%@;,Record_float@@@ABC@AESSESS@@@@@@  @@@@@M@@@@@M@@@ภ%Block&h %%&i %%@Hภ,Float_record&q %%&r %%@ఐ$size&{ %%&| %%@ڰ@@!@@@MM@MM@M@@& %%& %%@@!K@@@MM@M@@&@@@Ġ.Record_unboxed& %&& %&@;.Record_unboxed@$boolE@@@L@A@BC@AFTTFTT@@@@@& %&& %&@@@@@M@@@@@R@@@M@@U@@@M@@@డ +fatal_error$Misc& &&#& &&'@ & &&(& &&3@@ @@@ @@@M@@MN@M@@M5@@1size_of_primitive& &&5& &&F@@& &&4& &&G@@ @@@MN@MN@MI@@& @@^J@@@A&%.%6& &H&S@@aM@Ġ*Pmakeblock& &T&Z& &T&d@;*Pmakeblock@0@@@  v,mutable_flag@@@ +block_shape@@@ @CBo~@A~(*~(Z@@@e@@' &T&e' &T&f@@@@@G@@@@@@G@@ @@@@G@@@-@@@@@@@ภ%Block'*'P'X'+'P']@ ภ-Regular_block'3'P'_'4'P'l@డ%$List&length'C'P'n'D'P'r@ 'G'P's'H'P'y@@@6!a@0~@@@0@@0#intA@@@0@@0@kk @@C@ @@@MF@3F@N@@@N@@N@@@N@@N@@ఐ̠$args'|'P'z'}'P'~@@@@@''P'm''P'@@"@@@N@N!L@N @@''P'^''P'@@"O@@@N K@N@@h@@@Ġ.Pmakelazyblock''''''@;.Pmakelazyblock@K.lazy_block_tag@@@ @ACo~@A[][@@@Pf@@''''''@@@@@H4@@@@@;5@@;5@@@ภ%Block''''''@ภ*Lazy_block''''''@o@@@"@@@N&K@N*L@@@@@M@Ġ*Pmakearray''''''@;*Pmakearray@@@@  T,mutable_flag@@@ @BSo~@Ae  e  @@@[@ఠ$kind''''''@( `A@@@@@H3''''''''@/@@@@''''''@@@@@H @@@+(''@@ @@ @@@@ఠ$size^( ''( ''@(%cA@@@@@N8L@N+3((((((((@N+$@%@&@@@డ&$List&length(%''(&''@ ()''(*''@@@@@F@N1@@@N0@@N/@@@N.@@N-$@@ఐ$args(C''(D''@{@@1@@"@@52@A@(H''@@ఐb$kind(R'( (S'(@=@@V@@@N=3(U(T(T(U(U(U(U(U@DRK@L@M@@@Ġ)Pgenarray(i((!(j((*@;)Pgenarrayn@@@ ?@@@@D@@Aij@@@ @@@  @@w@@@NA!@@!@Ġ*Paddrarray(((-(((7@;*Paddrarray@@@AD@@A~@@@ /@@@  @@@@@ND6@@6@@& @@@@@NE:@Ġ)Pintarray(((:(((C@;)Pintarray1@@@BD@@A@@@ H@@@  @@@@@NHO@@O@@? @@@@@NJS@@@ภ%Block((G(S((G(X@ภ-Regular_block((G(Z((G(g@ఐ$size((G(h((G(l@l@@$4@@@N[M@N]M@N\v@@((G(Y((G(m@@#@@@NUM@NZ~@@&@@K@Ġ+Pfloatarray((n(x((n(@;+Pfloatarrayx@@@CD@@A@@@ @@@  @@@@@NN@@@@@NO@@@ภ%Block((((((@נภ,Float_record)(()((@'ఐ$size) (() ((@@@$l@@@NhM@NjM@Ni@@)(()((@@#@@@NbM@Ng@@&@@@@@A)'()((@@@@@ @Ġ)Pduparray)+((),((@;)Pduparray4@1@@@  ,mutable_flag@@@ @BTo~@A2f  3f @@@ \@@)A(()B((@@D@@@H 3)C)B)B)C)C)C)C)C@~@@@@ @@@@H @@@" @@@@@@@ఐ$args)V))+)W))/@@@@Ġv)b )5)@)c )5)DAuఠ#arg_ )k )5)C@)dA @@F@Nq)@Ġ6 A5@@ A@(נ @@@Nv4@@@){ )5)?@@6@@6@@@ఐ̠7compute_expression_size)!)H)T)!)H)k@@@@@@N@@@N@@N@@N3))))))))@+%@&@'@@@@ఐ #env)!)H)l)!)H)o@@@/@@ఐ?#arg)!)H)p)!)H)s@@@?@@)@@"@Ġ")")t)~)")t)@{@@@@6v@@6v@Ġ"::)")t))")t)@נ@)")t))")t)@@aF@Nz@Ġ)")t))")t)@@)")t))")t)@@pQ@N~@@)")t))")t)@@)B @@@N@@@@@)G@@@N@@@" @@e@@e@@3 @@f@@@డ#7+fatal_error$Misc)#)))#))@ )#)))#))@@#5@@@#5@@@N@@N+N@N@@N@@1size_of_primitive*#))*#))@@*#))*#))@@#K@@@NN@NN@N@@& @@@@@A* ))*!$))@@+@Ġ&Praise*,&))*-&))@;&Praise5@!*raise_kind@@@ @AKo~@A /O   0O  @@@!t@@*>&))*?&))@@@@@H@@@@@@@@@@ภ+Unreachable*J'))*K'))@"@@@@Ġ(Pctconst*W)))*X))*@;(Pctconst`@"5compile_time_constant@@@ 6@A|o~@A Z  [-@@@" @@*i))**j))*@@@@@H(@@@@@)@@)@@@ภ(Constant*u,***v,**@\@@@2@Ġ&Pccall*.***.**@;&Pccall@)Primitive+description@@@ @AJo~@A M N P M N q@@@"9s@ఠ$prim*.***.**@*aA@@@@@H@@@!@@*@@*@@@ఐ"u7find_size_of_alloc_prim*/***/**@@@@(@@@N@@N@"l"i@@@N@@@N@@N"b"]@@@N@@@N@@N@@N3********@5.@/@0@@@@ఐ<$prim*/***/**@ @@)@@@NM@NM@N@@ఐ;$args*/***/**@#@@h$@@A@@""@@@N@@@N,@Ġ$Some+0++ +0++@ ఠ$size`+ 0+++ 0++@+"eA@@"@@@NF@@@@@""@@@N@@@NN@@""@@@N@@@NU@@@ภ%Block+%0+++&0++@ఐ&$size+/0++ +00++$@%@&@'@@%@@@NM@NM@N3+7+6+6+7+7+7+7+7@q7 @@@@ @@@Ġ$None+G1+%+/+H1+%+3@ @@@@""@@@N@@@N@@""@@@N@@@N@@@ఐ$ࠐ,dynamic_size+a1+%+7+b1+%+C@$:@@@$@@@N@@NN@N@@N@@ภ$Ѱ+u1+%+D+v1+%+F@$@@@$@@@ON@O@@@@@@@A+/**+2+G+R@@3+~+}+}+~+~+~+~+~@@@@Ġ0Pbytes_to_string,04+T+Z,14+T+j@;0Pbytes_to_string 9@@@@o~@A"-w".w@@@#`@@@  @@ r@@ r@Ġ0Pbytes_of_string,B5+k+q,C5+k+@;0Pbytes_of_string K@@@Ao~@A"?x"@x@@@#a@@@  @@ @@ @@ @@ @Ġ*Pgetglobal,U6++,V6++@;*Pgetglobal ^@!t@@@ @A@o~@A"Y{"Z{@@@$ c@@,h6++,i6++@@@@@H @@@@@ @@ @@?@@ @Ġ*Psetglobal,w7++,x7++@;*Psetglobal @!t@@@ @AAo~@A"{|"||@@@$,d@@,7++,7++@@@@@H @@@@@ @@ @@a@@ @Ġ&Pfield,8++,8++@;&Pfield @"@@@  @@@ ,mutable_flag@@@ @CDo~@A"@"@@@@$Vg@@,8++,8++@@@@@H! @@@ @@@H" @@ @@@@H# @@@+@@K @@K @@@@L @Ġ/Pfield_computed,9++,9++@;/Pfield_computed @@@Co~@A"A"A@@@${h@@@  @@^ @@^ @@ @@_ @Ġ+Pfloatfield,:++,:++@;+Pfloatfield @#@@@ @AGo~@A"D e g"D e {@@@$k@@,:++,:++@@@@@H' .@@@@@~ /@@~ /@@@@ 0@Ġ)Prunstack-;++-;++@;)Prunstack @@@Do~@A"H  "H  @@@$o@@@  @@ B@@ B@@ @@ C@Ġ(Pperform-<++-<++@;(Pperform @@@Eo~@A#I  #I  @@@$p@@@  @@ U@@ U@@ @@ V@Ġ'Presume-&=,,-'=,, @;'Presume /@@@Fo~@A##J  #$J  (@@@$q@@@  @@ h@@ h@@ @@ i@Ġ*Preperform-9>,,-:>,,@;*Preperform B@@@Go~@A#6K ) +#7K ) 7@@@$r@@@  @@ {@@ {@@ @@ |@Ġ(Psequand-L?,,%-M?,,-@;(Psequand U@@@Ho~@A#IQ  #JQ  @@@$u@@@  @@ @@ @@' @@ @Ġ'Psequor-_?,,0-`?,,7@;'Psequor h@@@Io~@A#\Q  #]Q  @@@% v@@@  @@ @@ @@: @@ @Ġ$Pnot-r?,,:-s?,,>@;$Pnot {@@@Jo~@A#oQ  #pQ  @@@% w@@@  @@  @@  @@M @@  @Ġ'Pnegint-@,?,E-@,?,L@;'Pnegint @@@Ko~@A#S  #S  @@@%3x@@@  @@  @@  @@` @@  @Ġ'Paddint-@,?,O-@,?,V@;'Paddint @@@Lo~@A#S  #S  @@@%Fy@@@  @@ ) @@ ) @@s @@ * @Ġ'Psubint-@,?,Y-@,?,`@;'Psubint @@@Mo~@A#S  #S  @@@%Yz@@@  @@ < @@ < @@ @@ = @Ġ'Pmulint-@,?,c-@,?,j@;'Pmulint @@@No~@A#S  #S  @@@%l{@@@  @@ O @@ O @@ @@ P @Ġ'Pdivint-A,k,q-A,k,x@;'Pdivint @%'is_safe@@@ @ALo~@A#T  #T  2@@@%|@@-A,k,y-A,k,z@@@@@H5 @@@@@ p !@@ p !@@@@ q "@Ġ'Pmodint-A,k,}-A,k,@;'Pmodint @!@@@ @AMo~@A#T  3#T  G@@@%}@@.A,k,.A,k,@@.@@@H8 ?@@@@@  @@@  @@@@@  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.7B,,.8B,,@;'Pxorint @@@@Qo~@A$4U H ]$5U H f@@@%@@@@  @@  y@@  y@@ @@  z@Ġ'Plslint.JC,,.KC,,@;'Plslint S@@@Ro~@A$GV g i$HV g r@@@%A@@@  @@  @@  @@% @@  @Ġ'Plsrint.]C,,.^C,,@;'Plsrint f@@@So~@A$ZV g s$[V g |@@@& B@@@  @@  @@  @@8 @@  @Ġ'Pasrint.pC,,.qC,,@;'Pasrint y@@@To~@A$mV g }$nV g @@@&C@@@  @@! @@! @@K @@! @Ġ(Pintcomp.D,,.D,,@;(Pintcomp @&22integer_comparison@@@ @ANo~@A$W  $W  @@@&7D@@.D,,.D,,@@@@@HA @@@@@!" @@!" @@l@@!# @Ġ-Pcompare_ints.E,,.E,,@;-Pcompare_ints @@@Uo~@A$Y  $Y  @@@&RE@@@  @@!5 @@!5 @@ @@!6 @Ġ/Pcompare_floats.E,,.E,-@;/Pcompare_floats @@@Vo~@A$Y  $Y  @@@&eF@@@  @@!H @@!H @@ @@!I @Ġ.Pcompare_bints.E,-.E,-@;.Pcompare_bints @&y-boxed_integer@@@ @AOo~@A$Y  $Y  6@@@&~G@@.E,-.E,-@@@@@HF @@@@@!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/7H-P-V/8H-P-_@;)Paddfloat @@@@[o~@A%4_  %5_  @@@&N@@@  @@! y@@! y@@ @@! z@Ġ)Psubfloat/JH-P-b/KH-P-k@;)Psubfloat S@@@\o~@A%G_  %H_  @@@&O@@@  @@! @@! @@% @@! @Ġ)Pmulfloat/]H-P-n/^H-P-w@;)Pmulfloat f@@@]o~@A%Z_  %[_  @@@' P@@@  @@! @@! @@8 @@! @Ġ)Pdivfloat/pH-P-z/qH-P-@;)Pdivfloat y@@@^o~@A%m_  %n_  @@@'Q@@@  @@" @@" @@K @@" @Ġ*Pfloatcomp/I--/I--@;*Pfloatcomp @'20float_comparison@@@ @ARo~@A%`  %`  @@@'7R@@/I--/I--@@@@@HQ @@@@@"" @@"" @@l@@"# @Ġ-Pstringlength/J--/J--@;-Pstringlength @@@_o~@A%b # %%b # 4@@@'RS@@@  @@"5 @@"5 @@ @@"6 @Ġ+Pstringrefu/J--/J--@;+Pstringrefu @@@`o~@A%b # 5%b # B@@@'eT@@@  @@"H @@"H @@ @@"I @Ġ+Pstringrefs/J--/J--@;+Pstringrefs @@@ao~@A%b # D%b # Q@@@'xU@@@  @@"[ @@"[ @@ @@"\ @Ġ,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@Ġ*Pbytesrefs0K--0K--@;*Pbytesrefs @@@eo~@A&c R }&c R @@@'Y@@@  @@" E@@" E@@ @@" F@Ġ,Parraylength0L--0L-.@;,Parraylength @ @@@ @AUo~@A&j&j@@@']@@0&L-.0'L-. @@ )@@@HZ c@@@@@" d@@" d@@@@" e@Ġ*Parrayrefu05M. .06M. .@;*Parrayrefu >@ ;@@@ @AVo~@A&6k&7k@@@'^@@0EM. .0FM. .@@ H@@@H] @@@@@" @@" @@@@" @Ġ*Parrayrefs0TN..#0UN..-@;*Parrayrefs ]@ Z@@@ @AXo~@A&Um&Vm7@@@(`@@0dN...0eN../@@ g@@@H` @@@@@" @@" @@;@@" @Ġ&Pisint0sO.0.60tO.0.<@;&Pisint |@@@go~@A&pp&qp@@@(!b@@@  @@# @@# @@N @@# @Ġ&Pisout0P.=.C0P.=.I@;&Pisout @@@ho~@A&r&r@@@(4c@@@  @@# @@# @@a @@# @Ġ*Pbintofint0Q.J.P0Q.J.Z@;*Pbintofint @@@@ @AZo~@A&t.0&t.M@@@(Kd@@0Q.J.[0Q.J.\@@@@@He @@@@@#6 @@#6 @@@@#7 @Ġ*Pintofbint0R.].c0R.].m@;*Pintofbint @@@@ @A[o~@A&uNP&uNm@@@(je@@0R.].n0R.].o@@@@@Hh@@@@@#U@@#U@@@@#V@Ġ(Pcvtbint0S.p.v0S.p.~@;(Pcvtbint @ @@@ @@@ @B\o~@A&vnp&vn@@@(f@@0S.p.0S.p.@@@@@Hl(@@@#@@@Hm-@@@ @@#}.@@#}.@@ @@#~/@Ġ(Pnegbint0T..1T..@;(Pnegbint@5@@@ @A]o~@A'w'w@@@(g@@1T..1T..@@B@@@HpL@@@@@#M@@#M@@@@#N@Ġ(Paddbint1U..1U..@;(Paddbint'@T@@@ @A^o~@A'x' x@@@(h@@1.U..1/U..@@a@@@Hsk@@@@@#l@@#l@@@@#m@Ġ(Psubbint1=V..1>V..@;(PsubbintF@s@@@ @A_o~@A'>y'?y@@@(i@@1MV..1NV..@@@@@Hv@@@@@#@@#@@$@@#@Ġ(Pmulbint1\W..1]W..@;(Pmulbinte@@@@ @A`o~@A']z'^z.@@@)j@@1lW..1mW..@@@@@Hy@@@@@#@@#@@C@@#@Ġ(Pdivbint1{X..1|X..@;(Pdivbint@$@@@ <@Aao~@A'~{/1'{/j@@;@@$size0@@@@@ '{/A'{/V@@)<k@'is_safe1@@@@@ '{/W'{/h@@)Gl@@aA@@@@@1@@@1AA)Jm@@1X..1X..@@*@@@H|@@@3@@$5@@$5@@@@$6@Ġ(Pmodbint1Y..1Y..@;(Pmodbint@$B@@@ :@Abo~@A'|km'|k@@;@@$size3@@@@@ '|k}'|k@@)xn@'is_safe4@@@@@ '|k'|k@@)o@@bA@@@@@1@@@1@A)p@@1Y..1Y..@@*@@@H!@@@3@@$q"@@$q"@@@@$r#@Ġ(Pandbint1Z..1Z..@;(Pandbint@)@@@ @Aco~@A'}'}@@@)q@@2Z..2Z..@@6@@@H@@@@@@$A@@$A@@@@$B@Ġ'Porbint2[..2[./@;'Porbint@H@@@ @Ado~@A(~(~@@@)r@@2"[./2#[./@@U@@@H_@@@@@$`@@$`@@@@$a@Ġ(Pxorbint21\//22\//@;(Pxorbint:@g@@@ @Aeo~@A(2(3@@@)s@@2A\//2B\//@@t@@@H~@@@@@$@@$@@@@$@Ġ(Plslbint2P]//2Q]//'@;(PlslbintY@@@@ @Afo~@A(Q(R@@@*t@@2`]//(2a]//)@@@@@H@@@@@$@@$@@7@@$@Ġ(Plsrbint2o^/*/02p^/*/8@;(Plsrbintx@@@@ @Ago~@A(p (q;@@@*!u@@2^/*/92^/*/:@@@@@H@@@@@% @@% @@V@@% @Ġ(Pasrbint2_/;/A2_/;/I@;(Pasrbint@@@@ @Aho~@A(<>(<Y@@@*@v@@2_/;/J2_/;/K@@@@@H@@@@@%+@@%+@@u@@%,@Ġ)Pbintcomp2`/L/R2`/L/[@;)Pbintcomp@@@@ .@@@ @Bio~@A(Z\(Z@@@*cw@@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@)J@@@ &@Alo~@A))@@@*z@@3"b/s/3#b/s/@@@@@H_@@@@@%`@@%`@@@@%a@Ġ/Pstring_load_1631c//32c//@;/Pstring_load_16:@@@@ '@Amo~@A)3)4@@@*{@@3Bc//3Cc//@@@@@H@@@@@%@@%@@@@%@Ġ/Pstring_load_323Qd//3Rd//@;/Pstring_load_32Z@@@@ (@Ano~@A)S)T @@@+|@@3bd//3cd//@@@@@H@@@@@%@@%@@9@@%@Ġ/Pstring_load_643qe//3re//@;/Pstring_load_64z@7@@@ )@Aoo~@A)s  )t &@@@+$}@@3e//3e//@@@@@H@@@@@&@@&@@Y@@&@Ġ.Pbytes_load_163f//3f//@;.Pbytes_load_16@W@@@ *@Apo~@A)'))'A@@@+D~@@3f//3f//@@@@@H@@@@@&/@@&/@@y@@&0@Ġ.Pbytes_load_323g//3g//@;.Pbytes_load_32@w@@@ +@Aqo~@A)BD)B\@@@+d@@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.4i00/@@@@@H?@@@@@&@@@&@@@@@&A@Ġ2Pbigstring_load_324j00064j000H@;2Pbigstring_load_32@@@@ 1@Awo~@A*QS*Qo@@@+@@4"j000I4#j000J@@@@@H_@@@@@&`@@&`@@@@&a@Ġ2Pbigstring_load_6441k0K0Q42k0K0c@;2Pbigstring_load_64:@@@@ 2@Axo~@A*3pr*4p@@@+@@4Bk0K0d4Ck0K0e@@@@@H@@@@@&@@&@@@@&@Ġ(Pbswap164Ql0f0l4Rl0f0t@;(Pbswap16Z@@@io~@A*N@B*O@L@@@+@@@  @@&@@&@@, @@&@Ġ'Pbbswap4dm0u0{4em0u0@;'Pbbswapm@@@@ 7@A}o~@A*eMO*fMi@@@,@@4tm0u04um0u0@@@@@H@@@@@'@@'@@K@@'@Ġ/Pint_as_pointer4n004n00@;/Pint_as_pointer@@@jo~@A**@@@,1@@@  @@'@@'@@^ @@'@Ġ,Patomic_load4o004o00@;,Patomic_load@@@ko~@A**@@@,D@@@  @@''@@''@@q @@'(@Ġ'Popaque4p004p00@;'Popaque@@@lo~@A**@@@,W@@@  @@':@@':@@ @@';@Ġ(Pdls_get4q004q00@;(Pdls_get@@@mo~@A* "* ,@@@,j@@@  @@'M@@'M@@ @@'N@@@ఐ.O,dynamic_size4r004r00@-@@@.J@@@O@@O'L@O@@O @@ภ.@4r004r00@.?@@@.\@@@OL@O$@@@@'a%@@@A4"" @@'c@] A@@'@@O@'@@O@'x@@O'r@@O@@O@@OF@Og@@@4""@@ఐ(P7compute_expression_size5 t005 t01@(@@@(M(D@@@O@@@O@@O@,@@@O@@O(@@@O@@O@@O355555555@(-@@@@డ/#Map%empty%Ident54t0155t01 @ 58t01 59t01@@5=t015>t01@ @(~!a@F@@@L@'.@'*E@ @@((@@@PF@PF@P@@@P5@@ఐ(#lam5`t01(@(}(@@(A@@Z(@@(B@T(@@((@((A@(D@P-(@A@(@((@(Ӡ@ఠ3lfunction_with_bodyp5sv115tv111@5fA@@@% @@@P5D@P/@@P0@-4@@@PD@PR@@PS%@@@PD@PT@@PUD@P1@@P2D@P.355555555@())@)@)@@@࣠@.xAঠ$kind5v1145v118A3$kind%2@@@ -T-function_kind@@@ @@@ 3¶ms "@'!t@@@ 栠@%@@@ @@ @@@ @@A@@+P,s,w+P,s,@@-o(@3&return%%$@@@ @@B @@+Q,,+Q,,@@-x)@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@@@P6355555555@l6v116w1g1@@@@¶ms6 v11:6 v11@A[ఠs@6'hA@_@^@@@P>@%u@@@P?@@P=@@@P<$@&return6'v11B6(v11HA_ఠt@6EiA@%@@@PB5@$body68v11J69v11N@g@6<v11Q6=v11R@@-@@@PED@$attr6Gv11T6Hv11XAmఠu@6ejA@q@@@PHU@#loc6Xv11Z6Yv11]Asఠv@6vkA@!S@@@PKf@@@6dv1126ev11_@@F@P3k@@@@$bodywA6rv11`6sv11d@6lA@@36s6r6r6s6s6s6s6s@~@@pm@o@nSP@R@Q41@3@2$!@#@"@@@@@@డ4*lfunction'6w1g1i6w1g1s@$kind@@@ d@@ c¶ms#̠@(!t@@@ a@&@@@ b@@ `@@@ _@@ ^&return&@@@ ]@@ \$body.k@@@ [@@ Z$attr@@@ Y@@ X#loc!@@@ W@@ V&a@@@ U@@ T@@ S@@ R@@ Q@@ P@@ O@,66,7W7b@@.Q@RQ@@O8@@@Pn@@PmMK@J@@@Pk@&M@@@Pl@@Pj@@@Pi@@PhG&U@@@Pg@@PfE.@@@Pe@@PdC-@@@Pc@@PbA"@@@Pa@@P`&@@@P_@@P^@@P]@@P\@@P[@@PZ@@PY377777777@@@@@@ఐ+$kind7%w1g1u7&w1g1y@@@@@@PG@PG@P@ఐ(¶ms79w1g1{7:w1g1@@@@@@@P@&@@@P@@P@@@PG@PG@P8@ఐ+&return7Zw1g17[w1g1@ް@@&@@@PG@PG@PL@ఐ$body7nw1g17ow1g1@V@@Y@ఐ,$attr7{w1g17|w1g1@@@@@@PG@PG@Pm@ఐ/#loc7w1g1@@@"@@@PG@PG@P@@ @@ @6A@#D@P@A@@@ 777 {1. Function Lifting} 7y117y11@@@@@@377777777@A:@;@<@@A+/lifted_functionyD777778@@;@@$lfunz@@6)lfunction@@@P78 878 8&@@7nA4free_vars_block_size{@@7@@@P78'8+78'8F@@7oA@@A@@@@@77778G8J@@@@7mA@#78 8@@@Ш@г"&Lambda78 878 8@)78 878 8%@@@1377777777@F?;@@@A@@@@@@@@@@ @@8@@P@2@#..)78'8?@(@@Ш@г1#int88'8B88'8E@@9@@<@@P@8@@A@4@@43@_A+,split_result|E88L8T88L8`@А!a@P388888888@tmg;@@P@A@A@G@B@@@8+8L8L8,8s8@@@@8DpA@@8/8L8Q808L8S@@BA@;@A+Unreachable}@@8;8c8e8<8c8r@@8TqA)Reachable~@@@Pɠ.F@P@@8L8s8u!@@8drA@@A@Y@@@@@&@@@#@#8U8c8g@@@@@#8[8s8w8\8s8@@г/lifted_function8e8s88f8s8@@#G@@А!a#L8m8s8B@@@@#@@A@D@@DC@38l8k8k8l8l8l8l8l@N@@@ఠ$let+8{888|88@8sA@@@x@@PF@P@@@PF@P@@P@@@@P@@PF@PA@PF@P@@P@@@PF@P@@PF@P@@PF@P388888888@w@@@࣠@#resA888888@8tA@@3388888888@B888889@@@@@  @@!fA888888@8uA@@6388888888@!J@@@@@@@@ఐ)#res888888@@@X388888888@J@@@@@Ġ+Unreachable888888@;f@@P@@@@AA@A@@@@@@m388888888@@@@@n@@@ภ+Unreachable888888@@@@[ @Ġ)Reachable988988@;@B@AA@A@@ఠ$func988988@9*vA@@@@@P;@ఠ#lam9889 88@98wA@@F@PH@@@ 9&88@@J@@J@@@ภ)Reachable9-889.89@'ఐ&$func97899889 @%@&@'@@@@@PJ@PJ@P39?9>9>9?9?9?9?9?@g8 *#@$@%@@@ఐ!f9P89 9Q89@s@@@@ఐ>#lam9]899^89@@@=@@@@@@5@@ @@@A9c88@@r@A@F@QU@A@@@@@9q999r9:@@(Asttypes,mutable_flag@@@QZ39x9w9w9x9x9x9x9x@@@@@@0lifted_block_mut@9xA@@@QYг(Asttypes99:99: @99: 99:@@@%@@@QW  @@,+A@@*@@@Q[%@ภ)Immutable99:99:$@;)Immutable(Asttypes,mutable_flag@@@OK@@@@B@@A4parsing/asttypes.mligWkgWt@@@ R@@@гIG54L1.@ @@@Q\M-@#"A@@X@@@QcF@QbS@A@999)@@*@V@ఠ&no_loc9:&:*9:&:0@9yA@@)Debuginfo/Scoped_location!t@@@QfF@Qd399999999@rp|@@m@@@ภ)Debuginfo9:&:39:&:<@/Scoped_location9:&:=9:&:L@@+Loc_unknown::&:M::&:X@@;+Loc_unknown'@@@6@@@@AA@A4lambda/debuginfo.mli\\@@@*I@@@@1@@@Qg*@A@::&:&@@@-Aఠ5split_static_function:$:Z:b:%:Z:w@:=zA@@@,l@@@`PF@Q@@Q@-t#Set!t@@@_F@Q@@Q@1@@@QF@Q@@Q88&lambda@@@Q@@@Q@@Q@@Q@@Q3:O:N:N:O:O:O:O:O@g|u@v@w@@@࣠@)block_varA:`:Z:x:a:Z:@:y|A@@83:a:`:`:a:a:a:a:a@G@B@@Q@?@@Q@8@@Q54@@@Q@@@QG@Q@@QG@Q@@QG@Q@@QG@Qh@\@],rebuild_arms@^F@Q@@Q@[F@Q@@Q@:@!a@Q@8&lambda@@@Q@@Q@@@Q@@Q:'@@9&lambda@@@Q@@Q@@@Q@@@Q@@Q@@Q@@Q@:xUU:xUU@@:{A@@@@fe@@,local_identsA::Z:::Z:@:}A@@3::::::::@p|@s@t@@@@@@#lamA::Z:::Z:@:~A@@3::::::::@@@@@@@@@ఐ#lam::::::@@@@@3::::::::@@@@Ġ$Lvar;::;::@-Eఠ!v; ::; ::@;$A@@-M@@@Q3;;;;;;;;@@@@@@@@@@@@@@ఠ%param;;5;=;;5;B@;7A@@.`!t@@@RL@R3;&;%;%;&;&;&;&;&@4$@@@@@డ5,create_local%Ident;9;5;E;:;5;J@ ;=;5;K;>;5;W@@@&stringQ@@@n@@m'@@@l@@k@-3b##-4b#@@@.E@@@@@@@R@@R6@@@R@@R4@@-let_rec_param;e;5;Y;f;5;f@@;h;5;X;i;5;g@@)@@@RM@RM@RH@@9 @@NI@A@;s;5;9 @@@ఠ'ap_func;~;k;s;;k;z@;A@@3.@@@RL@R3;;;;;;;;@_oh@i@j@@@ภ%Lprim;;};;;};@&ภ&Pfield;;};;;};@@;;};;;};@@@@@RL@RL@R"@ภ'Pointer;;};;;};@;'Pointer@@@ @@@AB@@A1aVX1aVa@@@3aK@@  @@@@@RL@R;@ఐH0lifted_block_mut;;};;;};@ް@@*@@@RL@RL@RM@@<;;};@@.]@@@RL@RT@ภ%;;};;;};A1ภ$Lvar ;;};@.,ఐ)block_var;;};;;};@ @@o@@@@3@@@RL@SL@S w@ภ%"A1@#A@;h@@@SL@S@@< ;};+@@' @@@RL@S@ఐ?&no_loc<;};<;};@ɰ@@'@@@SL@S@@<$;};@@3@@@R@A@<);k;o@@@ఠ$body<4;;<5;;@-B2W->-S@@47-@'ap_func<;;<;;Aఐ" @`@4K@@@S)L@S*g@O'ap_args<<< <<<@ภ%<<<<<<A2Ġภ$Lvar <<<@.ఐ%param<<<<<<@<@@/@@@SCL@SEL@SD@@ @@4|@@@S4L@S<=><=@;'Pgenval-k@@@ A@@@@CA@A44 @@@5@@  @@-x@@@SM@SM@S@@6@@@(@@@SM@SM@S@ภ'F$EA3@%FA@=@@@SM@S@@><<= N@@@@@SM@S@ภ'Pgenval>L==->M==4@=@@@-@@@SM@S@ఐ*$body>^=5=>>_=5=B@ܰ@@6@@@SM@SM@S@డ<6default_stub_attribute>r=C=Q>s=C=g@@@@ .@4pBB4qBB@@6!i@  @@@@@SM@SM@S@ఐ&no_loc>=h=u>=h={@<@@)@@@SM@S@@ @@@A@><< @@@ఠ&lifted>==>==@>A@@@@@TL@S3>>>>>>>>@,:3@4@5@@@ຠ3 @@@P@@@3@@A@A@@A@$lfun>==>==@ఐO'wrapper>==>==@@@ @@@TL@T#@4free_vars_block_size>==>==@A>==>==@@@@@T L@T 6@@@>==>==@@?9@A@>==@@ภ)Reachable>==>==@ఐU&lifted>==>==@T@U@V@@@@@TK@TK@T3?>>?????@Wf @@@ภ%Lprim? ==? ==@*ภ*Pmakeblock?==?==@@?==?==@@&@@@T-K@T1K@T0"@ఐ0lifted_block_mut?-=>?.=>@A@@3@@@T.K@T3K@T24@ภ$None?>=>??=>@4@@@<@@@T/K@T@C@@2?G=>@@1@@@T"K@T,J@ภ(?S=>?T=>!A5fภ$Lvar ?\=>@1ఐZ!v?e=>?f=> @<@@1@@@TUK@TWK@TVl@@ @@7@@@T$K@TNK@TTt@ภ()A5=@*A@>@@@TOK@T]@@?=>2@@*@@@T#K@TM@ఐ&no_loc?=>#?=>)@B@@*@@@TbK@Ta@@?=>*@@=U@@@TK@T!@@?=>+@@  @@@T@@@@@@+@@@@q@ @@(@= @@@@@R@@@R@Ġ)Lfunction?>,>0?>,>9@/Rఠ$lfun?>,>:?>,>>@?A@@/Z@@@Q3????????@@@@@@@@@@@@@@ఠ)free_vars?>B>J?>B>S@?A@@2##Set!t@@@_L@Tg3????????@' @!@"@@@డ>K.free_variables&Lambda?>B>V?>B>\@ @>B>]@>B>k@@@7@@@ @@ '@@@ @@ @6:U:U6:U:~@@7V@@@@7@@@Tl@@Tk6@@@Tj@@Ti1@@ఐ^$lfun@)>B>l@*>B>p@=@@/@@@_@_E@$body@5>B>q@6>B>u@ d@@7@@@_M@_M@_S@@D @@\T@A@@A>B>F @@@ఠ/local_free_varsԠ@L>y>@M>y>@@eA@@@@@_L@_3@R@Q@Q@R@R@R@R@R@j}v@w@x@@@డ:5#Set%inter%Ident@i>y>@j>y>@ @m>y>@n>y>@@@r>y>@s>y>@ @@C@@@U@@U@J@@@U@@UM@@@U@@U@@U@2l@+Stdlib__SetJ@!@@@W@@@_@@_@^@@@_@@_a@@@_@@_@@_F@@ఐǠ)free_vars@>y>@>y>@P@@u@@@_M@_M@_Z@@ఐ,local_idents@>y>@>y>@հ@@g@@T@@kh@A@@>y>}@@@@ఠ4free_vars_block_sizeՠ@>>@>>@@A@@#intA@@@`rL@_3@@@@@@@@@@@@@@@ఠ%subst֠@>>@>>@@A@@4'8@@@`O@`y@@@`L@_@@ఠ0block_fields_revנ@>>@>>@AA@@@b8@@@`L@`@@@`L@_1@@>@@@>@)@@@_:@డ:#Set$fold%IdentA$>>A%>?@ A(>?A)>?@@A->?A.>? @ @@@#elt@@@Vb@@Va@#acc@U@@V`@@V_@@V^@@V]@@@@V\@@V[@@@VZ@@VY@@VX@@VW@36@\@/%@@@@"@@@_@@_@@@@o@@aL@`L@_@@_ @@_@@_@@_@;@@@_@@_@@@_@@_@@_@@_3AvAuAuAvAvAvAvAv@@@@@࣠@#varAA>?A>?@AA@@S@@@`@@@@:A@ఠ!i٠A>?A>?@AA@@L@`3AAAAAAAA@%n@@@`@@ @@@@ఠ%substڠA>?A>?@AA@@L@`@@ఠ&fields۠A>?A>?$@AA@@L@`"@@A>?A>?%@@@+@@ @@` -@@  @@@ఠ&accessܠA?)?7A?)?=@AA@@9@@@`+P@`%3AAAAAAAA@EPI@J@K=6@7@80)@*@+@@@ภ%LprimA?@?LA?@?Q@,ภ&PfieldA?@?SA?@?Y@cఐh!iB?@?[B?@?\@@@g#@ภ'PointerB?@?^B?@?e@`@@@@@@`9P@`?2@ఐ0lifted_block_mutB ?@?gB!?@?w@4@@@@@`:P@`AP@`@D@@/B+?@?x@@4@@@`-P@`7K@ภ+nB7?z?B8?z?A8Jภ$Lvar B@?z?@4ఐ점)block_varBI?z?BJ?z?@v@@ f@@@@9@@@`/P@`IP@`On@ภ+l"A8@#A@A@@@`JP@`W{@@Bb?z?+@@-a@@@`.P@`H@ఐ&no_locBq??Br??@@@-i@@@`\P@`[@@Bz??@@:%@@@`,@A@B?)?3@@@డ@$succB??B??@@@@@@@@@@@@(%succintAA @@@*stdlib.mli*+_+_*+_+@@9l@@@@@@@`i@@`h@@@`g@@`f3BBBBBBBB@@@@@@@ఐ!iB??B??@հ@@@@4@@P@`p@@డ<#Map#add%IdentB??B??@ B??B??@@B??B??@ @1 @@@4@@@`~@@`}@@@`|@6/@@@`{@@`z63 @@@`x@@`w@@`v@@`uJ@@ఐ#varC??C??@`@@@@@`Z@@ఐ7&accessC??C??@d@@(g@@ఐo%substC!??C"??@8@@nt@@O@@6b;@@@`y@@ภ"::C1?@C2?@@9Dภ$LvarC:??C;??@5}ఐ#varCD??CE?@@@@@@@`@@@@GO@`@ఐ&fieldsCU?@CV?@ @k@@@@@@; X@@@`@@C^??C_?@ @@@@A@@@`@ @@ @Cj>? Ck?@@@@;@@@` @@` @@@` @@` @@`M@`M@`@@ఐ9/local_free_varsC@@C@@&@@@ U@@@`M@`M@`@@@@C@@(C@@)@@M@`%@@డ={#Map%empty%IdentC@@+C@@0@ C@@1C@@4@@C@@5C@@:@ @{ @@6L@`@@@`I@@ภ-2C@@<C@@>@9@@@L@aU@@C@@'C@@?@@oL@aZ@@@@r@A@C>>@@@ఠ'new_funޠCAACAA@CA@@3q@@@aL@a3CCCCCCCC@$@@@@ @@@@@ఐ3lfunction_with_bodyCAACAA@ K@@@3@@@a@@a@;@@@a@@a 3@@@a @@a @@a 3D D D D D D D D @$@@@@ఐM$lfunDAADAA@,@@3@@@a M@a"M@a!9@@డB%subst&LambdaD2AAD3AA@ D6AAD7AA@@@@6!t@@@ @@ @1value_description@@@ @@ @#Env!t@@@ @@ !t@@@ @@ @@ @@ @@ 7freshen_bound_variables.N /@@@ @@@ @@ @6#Map!t<)@@@ @@@ @@ @<1@@@ @@ <4@@@ @@ @@ @@ @@ @:;;:<8<`@@<6\@`[@@@@X@@@a;@@a:@U@@@a9@@a8@R@@@a7@@a6M@@@a5@@a4@@a3@@a2@@a1JHG@@@a0@@@a/@@a.@F9A@DAADAA@@@@@a|@@@@>EA@DAADAA@@@@@a@@@@#envADAADAA@E A@@@@@a@@@@ఐ#envEAAEAA@@@@a@@@@@@@aQ@a3E E E E E E E E @(% @@@EAAEAA@@@@@@ao@@an@@@@am@@al@@@@ak@@aj@@@ai@@ah@@ag@@afN@aN@aH@͐ภ$NoneEF:@EF@Ѡ@@@a@@@a@@a5@@ఐh%substELAAEMAA@`@@8=@@@aaN@aN@a@@@aM@@ఐ$lfunEfAAEgAA@z@@4@@@a@aa@$bodyErAAEsAA@@@=#@@@a^N@aN@ao@@E}AAE~AA@@=-@@@a@aN@a\@@ @@@A@EAA @@@ఠ&liftedEAAEAB@EA@@@@@aL@a3EEEEEEEE@@@@@@ຠ$lfunEAB EAB @ఐѠ'new_funEABEAB@@@ @@@aL@a@4free_vars_block_sizeEABEAB-Aఐ @@ @@@aL@b0@@@EABEAB/@@83@A@EAA@@@ఠ%blockEB3B;EB3B@@EA@@=@@@bL@b3EEEEEEEE@IWP@Q@R@@@ภ%LprimEBCBIEBCBN@0ภ*PmakeblockEBCBPEBCBZ@@EBCB\EBCB]@@@@@bL@bL@b"@ఐ 0lifted_block_mutFBCB_FBCBo@ "@@@@@bL@bL@b4@ภ$NoneFBCBqF BCBu@;@@@@@@bL@b(C@@2F(BCBv@@8@@@b L@bJ@డD$List#revF<BxBF=BxB@ F@BxBFABxB@@@9/!a@0>@@@0@@098 @@@0@@0@2e2e@@2M@@@@>@@@b L@bBL@b?L@b2@@@b4@@b3 @@@b1@@b0@@ఐ0block_fields_revFzBxBF{BxB@@@9"@@@b=M@b@M@b>@@J @@1%@@@b L@bAM@b;@ఐ &no_locFBBFBB@ D@@1@@@bFL@bE@@FBB@@>J@@@b @A@FB3B7@@ภ)ReachableFBBFBB@ ఐ"&liftedFBBFBB@Ѱ@@x@@@bSK@bUK@bT3FFFFFFFF@@@@@@ఐ%blockFBBFBB@ @@1@@@bRK@bWK@bV@@*FBB@@O@@@bQ@7@@@ @@@@U@@@  @@@! @@ @ @@0@Ġ$LletFBBFBB@6Mఠ%lkindFBBFBB@G A@@6U@@@Q3FFFFFFFF@ @@@ఠ%vkindGBBGBB@GA@@6^@@@R@ఠ#varGBBGBB@G)A@@6f@@@R@ఠ#defGBBGBB@G7A@@>@@@R+@ఠ$bodyG,BBG-BC@GEA@@>@@@R9@@@JG4BC@@ ;@@ ;@@@ $let+G<CC G=CC @ @>@@@bK@bK@bbL@b_@@@baL@bg@@bj@@@@bd@@@bK@bK@bc@@be@@bhݠ L@b[@@@bZL@bf@@bi@@bkL@bXఐ N5split_static_functionGrCCGsCC0@ @@@ M@@bt@ H@@bs@ ?@@br : 9@@@bq@@@bp@@bo@@bn@@bm3GGGGGGGG@ @@@@}@~@wp@q@rjc@d@e@@@@ఐ @)block_varGCC1GCC:@ ʰ@@ t@@డ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_identsHCCNHCCZ@ @@ |@@HCC;HCC[@@ @@@b@@ఐ蠐$bodyHCC\HCC`@@@ L@b@@@@@@@bL@b@H!ChC@@$bodyH)CCH*CC@HBA@@@@@ภ$LletH3ChClH4ChCp@7ఐJ%lkindH=ChCrH>ChCw@@@7@@@bL@bL@b3HDHCHCHDHDHDHDHD@'@@@@@ఐP%vkindHRChCyHSChC~@Ű@@7@@@bL@bL@b@ఐT#varHdChCHeChC@ְ@@7@@@bL@bL@b'@ఐX#defHvChCHwChC@@@@'@@@bL@bL@b9@ఐb$bodyHChCHChC@A@@@D@@Yk@@1E@AQl@@3HHHHHHHH@@@@Ġ'LmutletH CCH CC@6Nఠ%vkindH CCH CC@HA@@7@@@R 3HHHHHHHH@ @@@ఠ#varH CCH CC@HA@@6a@@@R @ఠ#defH CCH CC@HA@@@l@@@R @ఠ$bodyH CCH CC@HA@@@z@@@R +@@@<H CC@@-@@-@@@b$let+H CCH CC@a@_@@@@ceK@clK@bL@b@@@bL@b@@b@@@@b _@@@coK@c`K@b@@b@@b} L@b@@@bL@b@@b@@bL@bఐ5split_static_functionI CCI CC@@@@@@c@@@c@@@cڠ@@@c@@@c@@b@@b@@b3I%I$I$I%I%I%I%I%@6@@{@|@}un@o@pha@b@c@@@@ఐޠ)block_varI; CCI< CC@h@@@@డC#Set#add%IdentIR CCIS CC@ IV CCIW CC@@I[ CCI\ CC@ @ @@@*@@@c@@c@3@@@c@@c6@@@c@@c@@cH@@ఐʠ#varIz CCI{ CC@N@@F@@@c=M@c<Z@@ఐ,local_identsI CDI CD @@@Zg@@I CCI CD @@[@@@c3m@@ఐӠ$bodyI CDI CD@q@@`L@cW|@@@@ @@@cXL@c@I DD=@@$bodyI CCI CC@IA@@@@@ภ'LmutletI DDI DD%@7tఐ'%vkindI DD'I DD,@@@9'@@@cbL@cgL@cf3IIIIIIII@'@@@@@ఐ-#varI DD.I DD1@@@7@@@ccL@ciL@ch@ఐ1#defI DD3I DD6@°@@A@@@cdL@ckL@cj'@ఐP$bodyJ DD8J DD<@/@@2@@GY@@ 3@A*Z@@ V3JJJJJJJJ@@@@Ġ'LletrecJD>DBJD>DI@7Dఠ(bindingsJD>DKJD>DS@J3A@@7L7I@@@R@@@R3J"J!J!J"J"J"J"J"@/@@@ఠ$bodyJ-D>DUJ.D>DY@JFA@@A@@@R@@@$J5D>DZ@@@@@@@@ఠ,local_identsJ@D^DfJAD^Dr@JYA@@@@@cL@cp3JFJEJEJFJFJFJFJF@U6/@0@1$@@@@@డH$List)fold_leftJ[DuD{J\DuD@ J_DuDJ`DuD@@7)@@@@'L@cu@@c~@7@@@cL@cx@@c} @@c|@@c{@@cz@@@cy@=e@@@cw@@cv@@ct@@cs@@cr3JJ~J~JJJJJ@9@@@@࣠@#idsAJDuDJDuD@JA@@*L@@@@CAঠ"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%@K DuDK DuD@@@@@c@@@c@@c@@cM@cM@c@@ఐX,local_identsK$DDK%DD@@@@@@ఐ(bindingsK1DDK2DD@@@>@@@cM@cM@c@@ @@@A@K>D^Db @@̠$let+KFDDKGDD@@ɠC@@@d,K@d1K@cL@c@@@cL@c@@d@@@@c @@@d4K@d(K@c@@c@@d L@c@@@cL@c@@d@@dL@cఐX5split_static_functionK|DDK}DE@@@@W@@d @R@@d @I@@d DC@@@d @@@d@@d@@d@@d3KKKKKKKK@JXQ@R@S@@@@ఐB)block_varKDEKDE @̰@@v@@ఐl,local_identsKDEKDE@@@k@@ఐ$bodyKDEKDE@n@@zL@d ,@@C@@:q@@@d!L@d3@KE'EC@@$bodyKDDKDD@KA@@}@@@@ภ'LletrecKE'E+KE'E2@9 ఐȠ(bindingsKE'E4KE'E<@@@99@@@d+@@@d*L@d/L@d-3KKKKKKKK@_+@"@#@@@ఐ0$bodyKE'E>KE'EB@ @@@@'9@@@A:@@ R@@@d3K@d23LLLLLLLL@t@@@B@@ X@Ġ%LprimLEDEHLEDEM@7Ġ&PraiseLEDEOLEDEU@!@L EDEVL!EDEW@@!@@@R@@@ @@>@@@R@@L,EDEYL-EDEZ@@7*C@@@R@@@R@@L8EDE\L9EDE]@@7-@@@R @@@,L>EDE^@@@@@@@ภ+UnreachableLEEDEbLFEDEm@[@@@ #@Ġ,LstaticraiseLREnErLSEnE~@2@LWEnELXEnE@@2@@@R%7@@@2D @@@R'@@@R&@@@@@@$A@@$A@@@ภ+UnreachableLlEnELmEnE@@@@ J@Ġ'LswitchLyEELzEE@6ݠఠ#argLEELEE@LA@@D0@@@R,3LLLLLLLL@@@@ఠ"swLEELEE@LA@@6@@@R-@ఠ#locLEELEE@LA@@7@@@R.@@@.LEE@@f@@f@@@@ఠ-sw_consts_resLEELEE@LA@@  @6@@@dtL@dK@@@@di@@dh@@@dg@@@dfL@dC3LLLLLLLL@TM@N@OF?@@@A92@3@4@@@ఐW,rebuild_armsLEELEE@[@@@[@@dR@Y@@dQ@W@2@R@@@dP@@dO@@@dN@@dMON@B@M@@@dL@@dJ@@@dI@@@dH@@dG@@dF@@dE=@@ఐ)block_varMEEMEE@B@@J@@ఐV,local_identsM"EEM#EE@>@@W@@ఐ"swM1EEM2EE@`@@7@@@dv@dqk@)sw_constsM=EEM>EE@7@@@@@@@dm@@dl@@@dkM@dwM@dr@@t@@@A@MSEE@@@ఠ-sw_blocks_resM^EFM_EF@MwA@@@7@@@dL@d@@@@d@@d@@@d@@@dL@dz3MwMvMvMwMwMwMwMw@@@@@@ఐ,rebuild_armsMEFMEF@@@@@@d@@@d@@.@@@@d@@d@@@d@@d@>@@@@d@@d@@@d@@@d@@d~@@d}@@d|9@@ఐ`)block_varMEFMEF(@@@F@@ఐ,local_identsMEF)MEF5@@@S@@ఐH"swMEF6MEF8@@@89@@@d@dg@)sw_blocksMEF9MEFB@7@@V@@Q@@@d@@d@@@dM@dM@d@@t@@@A@MEE@@@ఠ1sw_failaction_resNFFFNNFFF_@NA@@Eʠ@@@d@@@dL@d@@@dL@d3NNNNNNNN@@@@@@డL&Option#mapN)FbFhN*FbFn@ N-FbFoN.FbFr@@Cj@@@@L@d@@d,@@d@@d@Cd @@@d@@dE7@@@d@@d@@d.@@ఐ/5split_static_functionNSFbFtNTFbF@@@@.@@d@)@@d@ @@d@@@d@@@d@@d@@d@@dP@@ఐ)block_varNsFbFNtFbF@@@J]@@ఐ,local_identsNFbFNFbF@@@Nj@@NFbFsNFbF@@@H@@dCB@@@d@@@d@@dx@@ఐ "swNFbFNFbF@̰@@8@@@d@d@-sw_failactionNFbFNFbF@8@@Cՠz@@@dM@dM@d@@ @@@A@NFFFJ @@@ఐ-sw_consts_resNFFNFF@J@@@8@@@e@@@@e@@e@@@e@@@d3NNNNNNNN@@@@@@@ఐ-sw_blocks_resNFFNFF@ΰ@@?>@8@@@e@@@@@e@@e@@@e@@@e#@@ఐ1sw_failaction_resOFFOFF@,@@FƠ@@@e @@@e @@@e :@@R@@@S@2@@@e C@@Ġ+UnreachableO, FGO- FG@B@@@@@8@@@e7@@@@e8@@e6@@@e5@@@e43O@O?O?O@O@O@O@O@@h@@@@Ġ+UnreachableOL FGOM FG@b@@@@@8@@@eC@@@@eD@@eB@@@eA@@@e@ @@Ġ$NoneOm FG On FG$@D@@@@G,+@@@eL@@@eK@@@eJ8@Ġ$SomeO FG'O FG+@E2Ġ+UnreachableO FG,O FG7@@@@@FE@@@eW@@@eVQ@@@ @@G4QP@@@eZ@@@eY@@@eX]@@O FGO FG8@@GB_^@@@e]@@@e\@@@e[k@@ @@@@f@@@e^t@ @@@9@@@ec@@@@ed@@eb@@@ea@@@e`@&%@9~@@@eh@'@@@ei@@eg@@@ef@@@ee@G@@@el@@@ek@@@ej@@e_@@@ภ+UnreachableO FG<O FGG@@@@K^@@@g@@@g@@Ġ)ReachableP!GHGNP!GHGW@ ఠ$lfunP!GHGYP!GHG]@P2A@@@@@e3PPPPPPPP@E@@@ఠ)sw_constsP(!GHG_P)!GHGh@PAA@@}@9@@@e@@@@e@@e@@@e@@@-P=!GHGi@@@: @@@e@@@@e@@e@@@e@@@e2@@Ġ+UnreachablePZ!GHGkP[!GHGv@p@@@@@: @@@e@@@@e@@e@@@e@@@eQ@@Ġ$NoneP{!GHGyP|!GHG}@F@@@@H:9@@@e@@@e@@@ei@Ġ$SomeP!GHGP!GHG@F@Ġ+UnreachableP!GHGP!GHG@@@@@TS@@@e@@@e@@@ @@HB_^@@@e@@@e@@@e@@P!GHGxP!GHG@@HPml@@@e@@@e@@@e@@ @@@@f@@@e@ @@@:@@@eɠ@@@@e@@e@@@e@@@eƠ@43@:@@@eΠ@5@@@e@@e@@@e@@@eˠ@H@@@e@@@e@@@e@@e@@@ภ)ReachableQ"GGQ"GG@ఐ$lfunQ"GGQ"GG@@@@@@@@gM@gM@g3QQQQQQQQ@B  @@@@@ภ'LswitchQ&"GGQ'"GG@;ఐ#argQ0"GGQ1"GG@`@@H@@@gM@gM@g@Р;;@@@gM@g@;)sw_constsQK"GGQL"GGAఐ, @5@;"@;!@@@g@I @@@g@@g@@@gM@gJ@;;@@@gM@g@;;@;@@@gҠ@I&@@@g@@g@@@gM@g@;j;hI1@@@g@@@gM@g@@ఐ"swQ"GGQ"GG@°@@;@@@gM@gM@g@Q"GGQ"GG@@;@@@gM@g@ఐ#locQ"GGQ"GG@۰@@<@@@gM@gM@g@@Q"GG@@@@@gM@g@@Q"GG@@@@Ġ+UnreachableQ#GGQ#GG@@@@@&%@;@@@e@'@@@e@@e@@@e@@@e3QQQQQQQQ@ @@@@Ġ)ReachableQ#GGQ#GG@ఠ$lfunQ#GGQ#GG@RA@@@@@f@ఠ)sw_blocksR#GGR#GH@RA@@Z@;@@@f @\@@@f @@f @@@f4@@@,R#GH@@po@;@@@f@q@@@f@@f@@@f @@@f J@@Ġ$NoneR9#GHR:#GH @G@@@@I۠@@@f@@@f@@@fb@Ġ$SomeRM#GHRN#GH@GĠ+UnreachableRV#GHRW#GH@l@@@@@@@f#@@@f"{@@@ @@J@@@f&@@@f%@@@f$@@Rm#GHRn#GH @@J+*@@@f)@@@f(@@@f'@@ @@@@f@@@f*@ @@ܠ۠@e@@@gM@h:M@h9@@Sv$H$Hd@@@@@gM@g@@S}$H$He@@@@Ġ+UnreachableS%HfHlS%HfHw@@@@@@=^@@@fc@@@@fd@@fb@@@fa@@@f`@@Ġ+UnreachableS%HfHyS%HfH@@@@@@=[@@@fo@@@@fp@@fn@@@fm@@@fl@@Ġ$SomeS%HfHS%HfH@I{Ġ)ReachableS%HfHS%HfH@͠ఠ$lfunS%HfHS%HfH@SA@@@@@f{@ఠ*failactionS%HfHS%HfH@TA@@@@@f|@@@S%HfHS%HfH@@@@@f~@@@f} @@@2 @@K@@@f@@@f@@@f,@@|@@@}@`@@@f5@ @@ih@=@@@f@j@@@f@@f@@@f@@@f@~@=@@@f@@@@f@@f@@@f@@@f@Kߠ@@@f@@@f@@@f@@fp@@@@ఠ&switchTU&HHTV&HH@TnA@@L@@@h@N@h;3T[TZTZT[T[T[T[T[@@@|u@v@w@@@ภ'LswitchTi'HHTj'HH@>͠ఐ#argTs'HHTt'HH@@@L$@@@hBN@hFN@hE@Р>[>\@@@h`N@h^@>X>Y@>X@@@hj@LB@@@hk@@hi@@@hhN@hc@>T>U@@@hpN@hn@>Q>R@>Q@@@hz@L]@@@h{@@hy@@@hxN@hs@>-sw_failactionT'HHT'HH@ภ$SomeT'HHT'HH@Jvఐ堐*failactionT'HHT'HH@o@@L@@@hQN@hXN@hZN@hY}@@ @@>  @@@hPN@hW@@ఐY"swT'HHT'HH@@@?L@@@hN@hwN@h]@T'HHT'HI@@?T@@@hCN@h@ఐe#locU'HIU'HI@2@@?@@@hDN@hN@h@@U'HI@@L@@@hA@A@U&HH@@ภ)ReachableU)IIU)II @ఐI$lfunU%)II"U&)II&@ư@@@@@hM@hM@h3U,U+U+U,U,U,U,U,@@@@@@ఐ堐&switchU:)II(U;)II.@ @@@@@hM@hM@h@@*UE)II/@@@@@h@7@@P@@Ġ)ReachableU]*I0I6U^*I0I?@W@Ub*I0I@Uc*I0IA@@ @@@f@@@@?5@@@f@@@@f@@f@@@f@@@@@ϠΠ@?I@@@f@@@@f@@f@@@f@@@f@@Ġ)ReachableU*I0ICU*I0IL@@U*I0IMU*I0IN@@Y@@@f@@@@?L@@@fΠ@@@@f@@f@@@f@@@@@@?`@@@fӠ@ @@@f@@f@@@f@@@f@@@U*I0IPU*I0IQ@@Ml@@@f@@@f@@@f@@| @@@c@,@@@f@ @@@Ġ)ReachableU*I0ITU*I0I]@@U*I0I^U*I0I_@@@@@f@@@J@?@@@f@L@@@f@@f@@@f.@@@@@_^@?@@@f@`@@@f@@f@@@f@@@fC@@@V"*I0IaV#*I0Ib@@yx@?@@@g@z@@@g@@f@@@f@@@f]@@Ġ$SomeV@*I0IdVA*I0Ih@KĠ)ReachableVI*I0IjVJ*I0Is@C@VN*I0ItVO*I0Iu@@ @@@g x@@@ @@@g }@@@VY*I0IiVZ*I0Iv@@@@@g@@@g@@@# @@N@@@g@@@g@@@g@@@@@i@Q@@@g@ @@@@@@ѠР@@K@@@g@@@@g@@g@@@g@@@g@@@?@@@g@@@@g@@g@@@g@@@g@NGdc@@@g!@@@g @@@g@@g@@@V+IwI}V+IwI~@@@@@@@g7@@@@g8@@g6@@@g5@@@g4@@Ġ)ReachableV+IwIV+IwI@Ӡ@V+IwIV+IwI@@@@@gA@@@6@@@@@gD@8@@@gE@@gC@@@gB@@@@@KJ@@@@@gI@L@@@gJ@@gH@@@gG@@@gF/@@Ġ$SomeW+IwIW+IwI@LàĠ)ReachableW+IwIW+IwI@@W +IwIW!+IwI@@@@@gUJ@@@@@@gVO@@@W++IwIW,+IwI@@@@@gX@@@gWY@@@# @@NԠ@@@g[@@@gZ@@@gYe@@@@@@Q@@@g\n@ @n@@@@@@A@@@go@@@@gp@@gn@@@gm@@@gl@@A@@@gt@@@@gu@@gs@@@gr@@@gq@O65@@@gx@@@gw@@@gv@@gk@@@డ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@@%@@@k@@@k@  @@ @  @@  Q@ y @@ @Ġ-LstringswitchW.IIW.II@?ఠ#argW.IIW.II@WA@@O@@@R83WWWWWWWW@@@@ఠ$armsW.IIW.II@XA@@@@@@@@R;@O@@@R<@@R:@@@R9@ఠ*failactionX .IIX .IJ@X"A@@@ O@@@R>@@@R=.@ఠ#locX.IJ X.IJ @X4A@@C@@@R?<@@@MX#.IJ @@>@@>@@@@ఠ(arms_resX./JJX//JJ!@XGA@@@@L@@@k8L@k @@@@k+@@k*@@@k)@@@k(L@k3XGXFXFXGXGXGXGXG@Xtm@n@of_@`@aLE@F@G;4@5@6@@@ఐՠ,rebuild_armsX\/JJ$X]/JJ0@ٰ@@@@@k@@@k@ՠ@4@@@@k@@k@@@k@@k̠͠@D@@@@k@@k @@@k @@@k @@k @@k@@k?@@ఐ6)block_varX/JJ1X/JJ:@@@jL@@ఐԠ,local_identsX/JJ;X/JJG@@@nY@@ఐ$armsX/JJHX/JJL@_@@@}@@@@k/@@k.@@@k-M@k:M@k6w@@f@@x@A@X/JJ@@@ఠ.failaction_resX0JPJXX0JPJf@XA@@Ps@@@k~@@@k}L@kB@@@kUL@k=3XXXXXXXX@@@@@@డW[&Option#mapX1JiJoX1JiJu@ X1JiJvX1JiJy@@N2@@@@L@kE@@kH,@@kG@@kF@N, @@@kD@@kCP7@@@kA@@k@@@k?.@@ఐ5split_static_functionY1JiJ{Y1JiJ@@@@@@kd@@@kc@@@kb@@@ka@@@k`@@k_@@k^@@k]P@@ఐޠ)block_varY;1JiJY<1JiJ@h@@]@@ఐ|,local_identsYH1JiJYI1JiJ@d@@j@@YL1JiJzYM1JiJ@@@@@k{  @@@kz@@@ky@@kxx@@ఐZ*failactionYc1JiJYd1JiJ@@@Nl@@@kWM@kM@k@@~ @@@A@Yp0JPJT @@@ఐP(arms_resY~3JJY3JJ@@@֠ՠ@A@@@k@@@@k@@k@@@k@@@k3YYYYYYYY@@@@@@@ఐӠ.failaction_resY3JJY3JJ@ @@QC`_@@@k@@@k@@@k@@2@@@3@@@k!@@Ġ+UnreachableY4JJY4JJ@ @@@@@A@@@k@@@@k@@k@@@k@@@k3YYYYYYYY@F@@@@Ġ$NoneY4JJY4JK@Os@@@@Q@@@k@@@k@@@k@Ġ$SomeY4JKY4JK@OĠ+UnreachableZ4JK Z4JK@!@@@@@@@k@@@k2@@@ @@Qʠ@@@k@@@k@@@k>@@Z4JJZ4JK@@Qؠ@@@k@@@k@@@kL@@d @@@e@@@kS@@@@BH@@@kϠ@@@@k@@k@@@k@@@k̠@Q  @@@k@@@k@@@k@@kx@@@ภ+UnreachableZY4JKZZ4JK$@!o@@@@@@l@@@l@@Ġ)ReachableZq5K%K+Zr5K%K4@!kఠ$lfunZz5K%K6Z{5K%K:@ZA@@":@@@k3Z~Z}Z}Z~Z~Z~Z~Z~@@@@ఠ$armsZ5K%K<Z5K%K@@ZA@@ޠ@B@@@k@@@@k@@k@@@k@@@-Z5K%KA@@@B@@@k@@@@k@@k@@@k@@@k2@@Ġ$NoneZ5K%KDZ5K%KH@PJ@@@@R_ | {@@@l@@@l@@@lJ@Ġ$SomeZ5K%KKZ5K%KO@PĠ+UnreachableZ5K%KPZ5K%K[@!@@@@  @@@l @@@l c@@@ @@R  @@@l@@@l@@@lo@@Z5K%KCZ5K%K\@@R  @@@l@@@l@@@l}@@ @@@d@@@l@@@ ^ ]@C@@@l@ _@@@l@@l@@@l@@@l@R ۠ @@@l@@@l@@@l@@l@@@ภ)Reachable[06K`Kf[16K`Ko@"*ఐ$lfun[:6K`Kq[;6K`Ku@@@@@"@@@lM@lM@l3[B[A[A[B[B[B[B[B@ @@@@@ภ-Lstringswitch[P6K`Kw[Q6K`K@Cmఐ{#arg[Z6K`K[[6K`K@ @@S @@@lM@lM@l@ఐ㠐$arms[l6K`K[m6K`K@&@@C@C@@@lĠ@S)@@@l@@l@@@lM@lM@l>@ఐ*failaction[6K`K[6K`K@<@@CS?@@@l@@@lM@lM@lT@ఐ#loc[6K`K[6K`K@Q@@F@@@lM@lM@lf@@\[6K`K@@@@@lM@lm@@[6K`K@@Xo@@Ġ+Unreachable[7KK[7KK@"@@@@!!@C@@@l=@!@@@l>@@l<@@@l;@@@l:D@@Ġ$Some[7KK[7KK@QĠ)Reachable[7KK[7KK@"ఠ$lfun[7KK[7KK@\ A@@#@@@lIe@ఠ*failaction\7KK\7KK@\A@@!@@@lJs@@@\ 7KK\ 7KK@@!Ġ!@@@lL@@@lK}@@@2 @@S!Ϡ!@@@lO@@@lN@@@lM@@]@@@^@@@lP@@@!~!}@D?@@@lU@!@@@lV@@lT@@@lS@@@lR@Sޠ!!@@@lY@@@lX@@@lW@@lQ@@@ภ)Reachable\P8KK\Q8KK@#Jఐg$lfun\Z8KK\[8KK@f@g@h@@$@@@lM@lM@l3\b\a\a\b\b\b\b\b@y kd@e@f@@@ภ-Lstringswitch\p8KK\q8KL@Dఐ#arg\z8KL\{8KL@-@@T+@@@lM@lM@l@ఐ$arms\8KL\8KL @>@@D@D@@@l@TI@@@l@@l@@@lM@mM@l>@ภ$Some\8KL\8KL@R[ఐ*failaction\8KL\8KL@N@@Tg@@@lM@m M@m M@m [@@ @@D  @@@lM@m b@ఐ#loc\8KL\8KL"@@@G@@@lM@mM@mt@@j\8KL#@@=@@@lM@l{@@\8KL$@@}@@Ġ)Reachable\9L%L+\9L%L4@#@\9L%L5\9L%L6@@$@@@lwe@@@"M@E@@@lz@"O@@@l{@@ly@@@lxw@@@@@"b"a@E#@@@l@"c@@@l@@l~@@@l}@@@l|@@Ġ$Some])9L%L8]*9L%L<@RڠĠ)Reachable]29L%L>]39L%LG@$,@]79L%LH]89L%LI@@$@@@l@@@"@@@l@@@]B9L%L=]C9L%LJ@@""@@@l@@@l@@@# @@T##@@@l@@@l@@@l@@h@@@O@@@l@@@""@Ex@@@l@"@@@l@@l@@@l@@@l@U#4#3@@@l@@@l@@@l@@l@@@డV+fatal_error$Misc]:LNLT]:LNLX@ ]:LNLY]:LNLd@@V̰@@@V@@@m@@m@@@m @@@mN@m@@m@@:letrec: multiple functions]:LNLf]:LNL@@]:LNLe]:LNL@@V@@@mN@mN@m'@@- @@a(@@@A]3JJ];LL@@#@@@n@@@n@X @@@ @@@Ġ,Lstaticcatch]<LL]<LL@CҠఠ$body]<LL]<LL@]A@@U@@@RI3]]]]]]]]@"@@@@ఠ%nfail]<LL]<LL@^A@@C@@@RS@@ఠ¶ms]<LL]<LL@^A@@C@C@@@RV@Mf@@@RW@@RU@@@RT/@@^<LL^<LL@@@&@@@RX8@ఠ'handler^"<LL^#<LL@^;A@@U@@@RYF@@@W^*<LL@@#H@@#H@@@@ఠ(body_res^5=LL^6=LL@^NA@@##@@@n@@@nL@n3^?^>^>^?^?^?^?^?@#Poh@i@j]V@W@XOH@I@J,%@&@'@@@ఐ$05split_static_function^T=LL^U=LL@#@@@$/@@n@$*@@n@$!@@n$$@@@n@@@n@@n@@n@@n(@@ఐ$)block_var^t=LL^u=LL@#@@$K5@@ఐ#,local_idents^=LL^=LL@#@@$OB@@ఐ$body^=LL^=LM@I@@$OM@nQ@@@@@YR@A@^=LL@@@ఠ+handler_res^>MM^>MM@^A@@$_$^@@@o@@@oL@n3^^^^^^^^@l~w@x@y@@@@ఠ,local_idents^?MM'^?MM3@^A@@$@@@oJM@n@డ]:$List)fold_left^@M6M>^@M6MB@ ^@M6MC^@M6ML@@K@@@@"M@n@@o@@@@@oLM@o&@NM@@@olM@o'@@o(M@n@@o@@o@@n@@n@@@n@Q@@@n@@n$@@n@@n@@n3________@W@@@@࣠@$varsA_@M6MR_@M6MV@_,A@@7j@@@@X~A@ఠ#var_&@M6MX_'@M6M[@_?A@@>3_'_&_&_'_'_'_'_'@~ M@@@@@@@_1@M6M]_2@M6M^@@@ @@_4@M6MW_5@M6M_@@@N@I@@o*@@ @@డY#Set#add%Ident_O@M6Mc_P@M6Mh@ _S@M6Mi_T@M6Ml@@_X@M6Mm_Y@M6Mp@ @ @@@'@@@o4@@o3@%0@@@o2@@o1%3@@@o0@@o/@@o.3_j_i_i_j_j_j_j_j@DM@G@H@@@@ఐT#var_z@M6Mq_{@M6Mt@ @@@@ఐw$vars_@M6Mu_@M6My@]@@@@<@@Q@oH @_@M6MM_@M6Mz@@@@@o@@@o@@o@@oN@oaN@o]@@ఐ$ڠ,local_idents_AM{M_AM{M@$°@@%t@@ఐ¶ms_AM{M_AM{M@l@@R@@@oN@omN@oi@@ @@@A@_?MM# @@ఐ%5split_static_function_CMM_CMM@%e@@@%@@oz@%@@oy@%@@ox%%@@@ow@@@ov@@ou@@ot@@os3________@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`3EMM`4EMN @ @@%%@@@o@@@o@@! @@@"@@@o@@Ġ+Unreachable`RFNN`SFNN @'h@@@@&& @@@o@@@o3`Y`X`X`Y`Y`Y`Y`Y@5@@@@Ġ+Unreachable`eFNN"`fFNN-@'{@@@@&!& @@@o@@@o@@ @@@@@@o@@@&3&2@@@o@@@o@&<&;@@@o@@@o@@o.@@@ภ+Unreachable`FNN1`FNN<@'@@@  @@@p&@@@p%>@@Ġ)Reachable`GN=NC`GN=NL@'ఠ$lfun`GN=NN`GN=NR@`A@@(q@@@o3````````@@@@ఠ$body`GN=NT`GN=NX@`A@@&y@@@o@@@ `GN=NY@@&&@@@o@@@o@@Ġ+Unreachable`GN=N[`GN=Nf@'@@@@&&@@@o@@@o*@@; @@@@@@o1@@@&&@@@o@@@oՠ@&&@@@o@@@o@@oE@@@ภ)ReachableaHNjNpaHNjNy@'ఐ\$lfuna HNjN{aHNjN@[@\@]@@(@@@p6M@p8M@p73aaaaaaaa@n _X@Y@Z@@@ภ,Lstaticcatcha#HNjNa$HNjN@G"ఐm$bodya-HNjNa.HNjN@@@X@@@pEM@pNM@pM@@ఐT%nfailaCHNjNaDHNjN@@@G<@@@pGM@pYM@pX5@@ఐX¶msaVHNjNaWHNjN@@@GI@GH@@@pJ@P@@@pK@@pI@@@pHM@p^M@pZU@@anHNjNaoHNjN@@@,@@@pFM@pb`@ఐ^'handleraHNjNaHNjN@8@@Y1@@@pLM@pdM@pcr@@haHNjN@@!@@@p5M@pDy@@aHNjN@@{@@Ġ+UnreachableaINNaINN@(@@@@']'\@@@o@@@o@@Ġ)ReachableaINNaINN@(ఠ$lfunaINNaINN@aA@@)|@@@o@ఠ'handleraINNaINN@aA@@'@@@o@@@aINN@@''@@@o@@@o@@: @@@;@@@o@@@''@@@o@@@o@''@@@o@@@o@@o@@@ภ)ReachableaJNNaJNN@(ఐI$lfunbJNNbJNN@H@I@J@@)@@@pmM@poM@pn3b b b b b b b b @[ MF@G@H@@@ภ,LstaticcatchbJNNbJNO@HఐI$bodyb%JNOb&JNO @@@Y@@@p|M@pM@p@@ఐL%nfailb;JNO b<JNO@@@H4@@@p~M@pM@p5@@ఐP¶msbNJNObOJNO@@@HA@H@@@@p@Q@@@p@@p@@@pM@pM@pU@@bfJNO bgJNO@@@,@@@p}M@p`@ఐ'handlerbxJNObyJNO#@g@@Z)@@@pM@pM@pr@@hbJNO$@@"@@@plM@p{y@@bJNO%@@{@@Ġ)ReachablebKO&O,bKO&O5@)@bKO&O6bKO&O7@@*\@@@p |@@@(Z@@@p@@@ @@(b(a@@@p@@@p@@Ġ)ReachablebKO&O9bKO&OB@)@bKO&OCbKO&OD@@*{@@@p@@@(y@@@p@@@ @@((@@@p@@@p@@7@@@+@@@p@@@((@@@p@@@p@((@@@p@@@p@@p@@@డ\5+fatal_error$MiscbLOHONbLOHOR@ bLOHOSbLOHO^@@\3@@@\3@@@p@@p#X#k@@@p@@@pN@p@@p@@:letrec: multiple functionscLOHO`cLOHOz@@cLOHO_cLOHO{@@\P@@@pN@pN@p@@- @@@@@Ac%EMMc&MO|O@@#w#@@@r%@@@r$@  @@@ @@#@Ġ(Ltrywithc:NOOc;NOO@Hఠ$bodycCNOOcDNOO@c\A@@Z@@@R^3cGcFcFcGcGcGcGcG@(T@@@ఠ'exn_varcRNOOcSNOO@ckA@@H@@@R_@ఠ'handlerc`NOOcaNOO@cyA@@[@@@R`@@@.chNOO@@)'@@)'@@@@ఠ(body_rescsOOOctOOO@cA@@)2)1@@@r?@@@r>L@r&3c}c|c|c}c}c}c}c}@(E>@?@@70@1@2*#@$@%@@@ఐ)l5split_static_functioncOOOcOOO@)+@@@)k@@r/@)f@@r.@)]@@r-)X)W@@@r,@@@r+@@r*@@r)@@r(&@@ఐ)S)block_varcOOOcOOO@(ݰ@@)3@@ఐ(,local_identscOOOcOOO@(ٰ@@)@@@ఐ$bodycOOOcOOO@H@@)M@rGO@@@@@WP@A@cOOO@@@ఠ+handler_rescPOOcPOP@cA@@))@@@ra@@@r`L@rH3cccccccc@j|u@v@w@@@ఐ)Ѡ5split_static_functioncQP PcQP P&@)@@@)@@rQ@)@@rP@)@@rO))@@@rN@@@rM@@rL@@rK@@rJ"@@ఐ))block_vardQP P'dQP P0@)B@@)/@@డ]#Set#add%Identd,RP1P:d-RP1P?@ d0RP1P@d1RP1PC@@d5RP1PDd6RP1PG@ @x @@@#@@@rl@@rk@* @@@rj@@ri*@@@rh@@rg@@rfa@@ఐ'exn_vardTRP1PHdURP1PO@Ѱ@@# @@@rN@rs@@ఐ),local_identsdfRP1PPdgRP1P\@)@@*4@@djRP1P9dkRP1P]@@*5@@@r@@ఐ'handlerdyRP1P^dzRP1Pe@@@*:M@r@@@@@A@dPOO@@@ఐ(body_resdTPmP}dTPmP@@@*J*I@@@r@@@r3dddddddd@@@@@@@ఐȠ+handler_resdTPmPdTPmP@ @@*`*_@@@r@@@r@@! @@@"@@@r@@Ġ+UnreachabledUPPdUPP@+@@@@**~@@@r@@@r3dddddddd@5@@@@Ġ+UnreachabledUPPdUPP@+@@@@**@@@r@@@r@@ @@@@@@r@@@**@@@r@@@rɠ@**@@@r@@@r@@r.@@@ภ+UnreachableeUPPeUPP@,@@@%T%g@@@s<@@@s;>@@Ġ)ReachableeVPPeVPP@,ఠ$lfune"VPPe#VPP@e;A@@,@@@r3e&e%e%e&e&e&e&e&@@@@ఠ$bodye1VPPe2VPP@eJA@@*@@@r@@@ e9VPP@@**@@@r@@@r@@Ġ+UnreachableeIVPPeJVPP@,_@@@@++@@@r@@@r*@@; @@@@@@r1@@@++@@@r@@@r렠@+ +@@@r@@@r@@rE@@@ภ)ReachableetWPPeuWPQ@,nఐ\$lfune~WPQeWPQ@[@\@]@@-B@@@sLM@sNM@sM3eeeeeeee@n _X@Y@Z@@@ภ(LtrywitheWPQ eWPQ@Kఐm$bodyeWPQeWPQ@@@]O@@@sVM@sZM@sY@ఐ^'exn_vareWPQeWPQ!@-@@K4@@@sWM@s\M@s[1@ఐb'handlereWPQ#eWPQ*@>@@]s@@@sXM@s^M@s]C@@9eWPQ+@@&0@@@sKM@sUJ@@`eWPQ,@@L@@Ġ+UnreachableeXQ-Q3eXQ-Q>@,@@@@++@@@s@@@sU@@Ġ)ReachableeXQ-Q@eXQ-QI@,ఠ$lfun eXQ-QKeXQ-QO@fA@@-@@@sm@ఠ'handler f XQ-QQf XQ-QX@f%A@@+@@@s{@@@fXQ-QY@@+Π+@@@s @@@s @@: @@@;@@@s @@@++@@@s@@@s @++@@@s@@@s@@s @@@ภ)Reachablef=YQ]Qcf>YQ]Ql@-7ఐI$lfunfGYQ]QnfHYQ]Qr@H@I@J@@. @@@sgM@siM@sh3fOfNfNfOfOfOfOfO@[ MF@G@H@@@ภ(Ltrywithf]YQ]Qtf^YQ]Q|@Kఐ$$bodyfgYQ]Q~fhYQ]Q@@@^@@@sqM@suM@st@ఐ''exn_varfyYQ]QfzYQ]Q@@@K@@@srM@swM@sv1@ఐ'handlerfYQ]QfYQ]Q@8@@^<@@@ssM@syM@sxC@@9fYQ]Q@@&@@@sfM@spJ@@`fYQ]Q@@L@@Ġ)ReachablefZQQfZQQ@-@fZQQfZQQ@@.o@@@s#@@@,m@@@s$#@@@ @@,u,t@@@s&@@@s%+@@Ġ)ReachablefZQQfZQQ@-Š@fZQQfZQQ@@.@@@s,=@@@,@@@s-B@@@ @@,,@@@s/@@@s.J@@7@@@+@@@s0Q@@@,,@@@s3@@@s2@,,@@@s5@@@s4@@s1e@@@డ`H+fatal_error$Miscg [QQg [QQ@ g[QQg[QQ@@`F@@@`F@@@s~@@s}'k'~@@@s@@@sN@s|@@s{@@:letrec: multiple functionsg*[QQg+[QQ@@g-[QQg.[QQ@@`c@@@sN@sN@s@@- @@3@@@Ag8TPmPqg9\QQ@@''@@@u@@@ut@ @@Y@r @@'@Ġ+LifthenelsegM]QQgN]QR@L#ఠ$condgV]QRgW]QR @goA@@_@@@Re3gZgYgYgZgZgZgZgZ@,g@@@ఠ$ifsoge]QR gf]QR@g~A@@_@@@Rf@ఠ%ifnotgs]QRgt]QR@gA@@_!@@@Rg@@@.g{]QR@@-:@@-:@@@@ఠ(ifso_res g^RR$g^RR,@gA@@-E-D@@@u@@@uL@u3gggggggg@,E>@?@@70@1@2*#@$@%@@@ఐ-5split_static_functiong^RR/g^RRD@->@@@-~@@u @-y@@u @-p@@u -k-j@@@u @@@u @@u@@u@@u&@@ఐ-f)block_varg^RREg^RRN@,@@-3@@ఐ-,local_identsg^RROg^RR[@,@@-@@@ఐx$ifsog^RR\g^RR`@G@@-M@u%O@@@@@WP@A@g^RR @@@ఠ)ifnot_res g_RdRlg_RdRu@hA@@--@@@u?@@@u>L@u&3gggggggg@j|u@v@w@@@ఐ-䠐5split_static_functionh_RdRxh _RdR@-@@@-@@u/@-@@u.@-@@u--Р-@@@u,@@@u+@@u*@@u)@@u("@@ఐ-ˠ)block_varh(_RdRh)_RdR@-U@@-/@@ఐ-i,local_identsh5_RdRh6_RdR@-Q@@.<@@ఐϠ%ifnothB_RdRhC_RdR@@@.M@uCK@@@@@SL@A@hI_RdRh@@@ఐѠ(ifso_reshW`RRhX`RR@[@@..@@@uI@@@uH3h^h]h]h^h^h^h^h^@fxq@r@s@@@@ఐ~)ifnot_reshm`RRhn`RR@ @@.).(@@@uK@@@uJ@@! @@@"@@@uL@@Ġ+UnreachablehaRRhaRR@/@@@@.H.G@@@u_@@@u^3hhhhhhhh@5@@@@Ġ+UnreachablehaRRhaRR@/@@@@.[.Z@@@ue@@@ud@@ @@@@@@uf@@@.m.l@@@ui@@@uh@.v.u@@@uk@@@uj@@ug.@@@ภ+UnreachablehaRRhaRS@/@@@))0@@@u@@@u>@@Ġ)ReachablehbSS hbSS@/ܠఠ$lfun hbSShbSS@iA@@0@@@u~3hhhhhhhh@@@@ఠ$ifsohbSShbSS @iA@@.@@@u@@@ ibSS!@@..@@@u@@@u@@Ġ+UnreachableibSS#ibSS.@0(@@@@.Π.@@@u@@@u*@@; @@@@@@u1@@@..@@@u@@@u@..@@@u@@@u@@uE@@@ภ)Reachablei=cS2S8i>cS2SA@07ఐ\$lfuniGcS2SCiHcS2SG@[@\@]@@1 @@@uM@uM@u3iOiNiNiOiOiOiOiO@n _X@Y@Z@@@ภ+Lifthenelsei]cS2SIi^cS2ST@N3ఐ$condigcS2SVihcS2SZ@Ұ@@a@@@uM@uM@u@ఐ$ifsoiycS2S\izcS2S`@&@@a*@@@uM@uM@u1@ఐ%ifnoticS2SbicS2Sg@@@a<@@@uM@uM@uC@@9icS2Sh@@)@@@uM@uJ@@`icS2Si@@L@@Ġ+UnreachableidSjSpidSjS{@0@@@@/h/g@@@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@@@vM@vM@v3jjjjjjjj@[ MF@G@H@@@ภ+Lifthenelsej&eSSj'eSS@Nఐڠ$condj0eSSj1eSS@@@a@@@vM@vM@v@ఐݠ$ifsojBeSSjCeSS@@@a@@@vM@vM@v1@ఐ%ifnotjTeSSjUeSS@8@@b@@@vM@vM@vC@@9j_eSS@@*@@@vM@vJ@@`jfeSS@@L@@Ġ)ReachablejufSSjvfSS@1o@jzfSSj{fSS@@28@@@u@@@06@@@u#@@@ @@0>0=@@@u@@@u+@@Ġ)ReachablejfSSjfSS@1@jfSSjfSS@@2W@@@u=@@@0U@@@uB@@@ @@0]0\@@@u@@@uJ@@7@@@+@@@uQ@@@0o0n@@@u@@@uѠ@0x0w@@@u@@@u@@ue@@@డd+fatal_error$MiscjgSSjgSS@ jgSSjgST@@d@@@d@@@v@@v+4+G@@@v(@@@v'N@v@@v@@:letrec: multiple functionsjgST jgST$@@jgST jgST%@@d,@@@v$N@v&N@v%@@- @@3@@@Ak`RRkhT&T-@@+S+f@@@w@@@wt@ @@@( @@+\y@Ġ)LsequencekiT.T2kiT.T;@O2ఠ"e1kiT.T=k iT.T?@k8A@@b@@@Rk3k#k"k"k#k#k#k#k#@00@@@ఠ"e2k.iT.TAk/iT.TC@kGA@@b@@@Rl@@@ k6iT.TD@@0@@0@@@2Ġ$let+k>jTHTLk?jTHTP@1@2b@@@wK@wK@wL@w@@@wL@w@@w@@@@w+@@@wK@wK@w@@w@@w2ߠ L@w@@@wL@w@@w@@wL@wఐ1P5split_static_functionktjTHTVkujTHTk@1@@@1O@@w@1J@@w@1A@@w1<1;@@@w@@@w@@w@@w@@w3kkkkkkkk@0rk@l@md]@^@_@@@@ఐ1<)block_varkjTHTlkjTHTu@0ư@@1p@@ఐ0ڠ,local_identskjTHTvkjTHT@0°@@1t@@ఐ"e2kjTHTkjTHT@'@@1tL@w.@@E@@34s@@@wL@w5@kkTT@@"e2kjTHTQkjTHTS@kA@@B@@@ภ)LsequencekkTTkkTT@Oఐ"e1kkTTkkTT@Q@@c@@@wL@wL@w3kkkkkkkk@]'@@@@@ఐ,"e2kkTTkkTT@ @@@@#5@@@A6@@,F3kkkkkkkk@l@@@Ġ&LeventllTTllTT@Nఠ#laml lTTl lTT@l#A@@c@@@Rp1@ఠ#levllTTllTT@l1A@@N@@@Rq1)@@@l lTT@@11+@@11+@@@3$let+l(mTTl)mTT@2@3c@@@x!K@x#K@wL@w@@@wL@w@@w@@@@w,@@@x(K@xK@w@@w@@w3ɠ L@w@@@wL@w@@w@@wL@wఐ2:5split_static_functionl^mTTl_mTT@1@@@29@@x@24@@x@2+@@x2&2%@@@x@@@x@@w@@w@@w3lqlplplqlqlqlqlq@1qj@k@ld]@^@_@@@@ఐ2&)block_varlmTTlmTT@1@@2Z@@ఐ1Ġ,local_identslmTTlmTT@1@@2^@@ఐ#lamlmTTlmTT@(@@2^L@x.@@E@@4s@@@xL@x5@lnTU@@#lamlmTTlmTT@lA@@B@@@ภ&LeventlnTUlnTU@OOఐ#lamlnTUlnTU @@@@@3llllllll@W!@@@ఐ#levlnTU lnTU@^@@Oe@@@x"L@x%L@x$@@#5@@@A6@@-03llllllll@l@@@Ġ'LmutvarloUUloUU@]<@moUUmoUU@@]>@@@Rt2@@@ @@22@@22@Ġ&LconstmpU U$mpU U*@c@mpU U+mpU U,@@c@@@Rw2"@@@ @@22#@@22#@@@@22$@Ġ&Lapplym"qU-U1m#qU-U7@\@m'qU-U8m(qU-U9@@\@@@Rz26@@@ @@227@@227@@3@@228@Ġ%Lprimm6rU:U>m7rU:UC@X;@m;rU:UDm<rU:UE@@_@@@R2J@@@X>d@@@R@@@R2S@@@X>@@@R2X@@@@@3 2Y@@3 2Y@@U@@32Z@Ġ&LwhilemXsUFUJmYsUFUP@Q@m]sUFUQm^sUFUR@@e @@@R2l@@@e@@@R2q@@@ @@3&2r@@3&2r@@n @@3'2s@Ġ$LformqtUSUWmrtUSU[@P@mvtUSU\mwtUSU]@@P@@@R2@@@e'@@@R2@@ @e,@@@R2@@@P@@@R2@@@e6@@@R2@@@@@3N2@@3N2@@@@3O2@Ġ'LassignmuU^UbmuU^Ui@Pנ@muU^UjmuU^Uk@@P@@@R2@@@eO@@@R2@@@ @@3g2@@3g2@@ @@3h2@Ġ%LsendmvUlUpmvUlUu@P@mvUlUvmvUlUw@@P@@@R2@@@eh@@@R2@@ @em@@@R2@@@Peu@@@R@@@R2@@@X@@@R2@@@#@@32@@32@@@@32@Ġ'LifusedmwUxU|mwUxU@P@mwUxUmwUxU@@P @@@R2@@@e@@@R2@@@ @@32@@32@@ @@32@@@డg:+fatal_error$MiscmwUxUmwUxU@ nwUxUnwUxU@@g8@@@g8@@@x-@@x,.].p@@@x8@@@x7L@x+@@x*3@@ 'letrec binding is not a static functionnwUxUnwUxU@@nwUxUn wUxU@@gU@@@x4L@x6L@x532@@- @@.y33@@@An*:: @г.~,split_resultn4::n5::@г.&Lambdan?::n@::@3nC::nD::@@@3@@@yZI@Q3nHnGnGnHnHnHnHnH@3U@@ @@@4 @@@yYI@Q@@+@@ @35A@@4/@@y@4*@@y@4!@@y44@@@y~@@@y}@@y|@@y{@@yzF@yr4@@@nk:Z:ZL@3333@33Ш3@б@@@@Qk3nznynynznznznznz@4+@@nyUUnyUU@@б@@@@Ql nyUUnyUU@@б@г3$listnyUUnyUV@В@А!a3@Qj nyUUnyUU@@@г3&LambdanyUUnyUU@4nyUUnyUU@@@4 @@@Qm7 @@@@@ @@Qn> @@@4& @@@QpCnyUU0@@г4,split_resultnzVV"nzVV.@г4$listnzVVnzVV!@В@А!a@^nzVV nzVV @@@г4'&LambdanzVVnzVV@4.nzVVnzVV@@@46@@@Qqu @@@@\@ @@Qr| @@@4K @@@QtnzVV .@@@4U @@@Qv<@@@M@@Qw @@QxIA@@@@@Qy @@QzF@@@@@Q{ @@Q|K@@|@@Q}@4VOA@@@4@@Q@4@@Q@4@@Q@4@@@Q@@Q@@@Q@@Q44@@4@@@Q@@Q@@@Q@@@Q@@Q@@Q@@Q@@Q@࣠@)block_varAoQ{V1V7oR{V1V@@ojA@@5)H@y3oToSoSoToToToToT@44H;@@@A@@@A@o]yUUo^yUU@@@@ovA@@@@@@,local_identsAoj{V1VAok{V1VM@oA@@59H@y3omololomomomomom@(@@ @@@@  @@$armsAo}{V1VNo~{V1VR@oA@@n@3@@@z@m4@@@z@@z@@@z3oooooooo@&4*@+@,@@@@@@ఐ)$armso|VVV^o|VVVb@%@$@@@z@#@@@z@@z@@@z@6@7@@6@5@@@z@4@@@z@@z@@@z3oooooooo@3S$@@@ĠY;o}VhVlo}VhVn@e@@@@T@S@@@z @R@@@z!@@z@@@z3oooooooo@@@@@e@d@@@z$@c@@@z%@@z#@@@z"@@@ภ+Unreachableo}VhVro}VhV}@7@@@7o{@@@@zM@nk5X@@@zN@@zL@@@zK@@@zJ3@ĠF^p!~V~Vp"~V~V@f4@ఠ!ip.~V~Vp/~V~V@pGA@@@@@z7n@@ఠ#lamp=~V~Vp>~V~V@pVA@@@@@z8}@@pE~V~VpF~V~V@@@@ @@z9@ఠ$armspT~V~VpU~V~V@pmA@@o@@@@z<@@@@z=@@z;@@@z:@@@$@@@@@@z@@@@@zA@@z?@@@z>@@@@@@zD@@@@zE@@zC@@@zB@@@@ఠ#respVVpVV@pA@@55@@@@zN@zd@5@@@z@@z@@@z@@@zN@z\3pppppppp@@@{t@u@ve^@_@`@@@ఐ68,rebuild_armspVVpVV@6<@@@6<@@zk@6:@@zj@68@2@63@@@zi@@zh@@@zg@@zf606/@B@6.@@@ze@@zc@@@zb@@@za@@z`@@z_@@z^=@@ఐ)block_varpVVpVV@@@J@@ఐ,local_identsqVVqVV@n@@W@@ఐ$armsqVVqVV@]@@6@{@6|@@@z@@z@@@zO@zO@zu@@f@@v@A@q&VV@@@ఠ'lam_resq1VVq2VV@qJA@@66@@@z@@@zN@z3q;q:q:q;q;q;q;q;@@@@@@ఐ7&5split_static_functionqJVVqKVV@6@@@7%@@z@7 @@z@7@@z77@@@z@@@z@@z@@z@@z"@@ఐ)block_varqjVVqkVW@@@/@@ఐ,local_identsqwVWqxVW@@@ <@@ఐG#lamqVWqVW@Ұ@@7EO@zK@@@@@SL@A@qVV@@@ఐh'lam_resqWW qWW'@g@h@i@@7V7U@@@z@@@z3qqqqqqqq@gy @@@@ఐ#resqWW)qWW,@q@@77@3@@@z@7@@@z@@z@@@z@@@z"@@.@@@.@@@z)@@Ġ+UnreachableqW2W8qW2WC@8@@@@77@@@z@@@z3qqqqqqqq@A@@@@Ġ+UnreachableqW2WEqW2WP@9@@@@7F7E@r@@@zᠠ@7G@@@z@@z@@@z@@@z @@+@@@,@@@z'@@@7ɠ7@@@z@@@z堠@7n7m@@@@zꠠ@7o@@@z@@z@@@z@@@z@@zH@@@ภ+Unreachabler3W2WTr4W2W_@9I@@@76@5@@@{@4@@@{@@{@@@{@@@{e@@Ġ)ReachablerXW`WfrYW`Wo@9Rఠ$lfunraW`WqrbW`Wu@rzA@@:!@@@{3rerdrdrerererere@@@@ఠ#lamrpW`WwrqW`Wz@rA@@8)@@@{@@@ rxW`W{@@8281@@@{@@@{@@Ġ+UnreachablerW`W}rW`W@9@@@@77ߠ@ @@@{@7@@@{@@{@@@{@@@{7@@H@@@+@@@{>@@@8c8b@@@{@@@{@88@4@@@{@8 @@@{@@{@@@{@@@{@@{_@@@ภ)ReachablerWWrWW@9Ǡఐv$lfunrWWrWW@u@v@w@@:@@@{O@{O@{3rrrrrrrr@@ yr@s@t@@@ภ/rWWrWW@h@ఐ̠!irWWrWW@I@@@@@{O@{O@{O@{$@@ఐ#lamsWWsWW@,@@@@@{O@{O@{O@{9@@sWWsWW@@@#@@@{O@{O@{F@ఐܠ$armss0WWs1WW@}@@r@@@{O@{O@{Y@@  @@;@@@{O@{`@@vsCWW@@b@@Ġ+UnreachablesRWWsSWW@:h@@@@99 @@@{5@@@{4@@Ġ)ReachablesdWWseWW@:^ఠ$lfunsmWWsnWW@sA@@;-@@@{>@ఠ$armss{WWs|WW@sA@@8Р@@@@{A@8@@@{B@@{@@@@{?@@@,sWW@@88@@@@{F@8@@@{G@@{E@@@{D@@@{C@@T@@@U@@@{H@@@9i9h@@@{K@@@{J@99 @:@@@{O@9@@@{P@@{N@@@{M@@@{L@@{I)@@@ภ)ReachablesWWsWW@:͠ఐp$lfunsWWsWW@o@p@q@@;@@@{O@{O@{3ssssssss@F tm@n@o@@@ภ0°sWXsWX@j@ఐҠ!itWWtWW@O@@@@@{O@{O@{O@{$@@ఐؠ#lamtWWtWX@c@@ @@@{O@{O@{O@{9@@t"WWt#WX@@@#@@@{O@{O@{F@ఐ$armst6WXt7WX @M@@s@@@{O@{O@{Y@@  @@A@@@{O@{`@@vtIWX @@b@@Ġ)ReachabletXX XtYX X@;R@t]X Xt^X X@@<@@@{i@@@:@@@{j@@@ @@:!: @@@{l@@@{k@@Ġ)ReachabletwX XtxX X'@;q@t|X X(t}X X)@@<:@@@{u@@@9Ԡ@@@@{x@9@@@{y@@{w@@@{v@@@@@99@@@@{}@9@@@{~@@{|@@@{{@@@{z@@Q,@@@E@@@{ @@@:l:k@@@{@@@{@::@=@@@{@:@@@{@@{@@@{@@@{@@{,@@@డn+fatal_error$MisctX-X3tX-X7@ tX-X8tX-XC@@n@@@n@@@|@@|@@@@|@@@@|@@|@@@|@@@|P@|@@|^@@:letrec: multiple functionsu X-XEu X-X_@@u X-XDuX-X`@@nC@@@| P@|P@| r@@: @@s@@@AuWW @@@@@@}@@@@}@@}@@@}@@@}H@ @@@ !@@0@@@Au0|VVVX#@@21@0@@@}Π@/@@@}@@}@@@}@@@}`@:8A:@б@@@б@@@б@гӠȠВ@гԠǰ@@@@@y@@гؠĠ:@@@@y@@@@ @@y @@ @@@y$@г|г}В@г~@@@@@y:@@г:@@@@yF@@@@ @@yL@@ @@@yP@@@@@yT@@8@@y@@yX@@E@@y@@y\@@b@@y@@y`@r@@@;3@@~N@;1@@~M@;/@;.@y@;,@@@~L@@~K@@@~J@@~I;);(@@;'@@@~H@@~G@@@~F@@@~E@@~D@@~C@@~BF@~0@@@uxUU@@}@;uu2 {1. Compilation} uXbXbuXbXy@@@@@@3uuuuuuuu@;@@v v 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. v X{X{v c_cb@@@@@@A+,rec_bindings Fvcdcivcdcu@@;@@&static!@@u@o!t@@@~@q@@@~@t&lambda@@@~@@~@@@~v:cxc|v;cxc@@vSA)functions"@@u@p#!t@@@~@t)lfunction@@@~@@~@@@~vYccvZcc@@vrA'dynamic#@@uؠ@pB!t@@@~@t&lambda@@@~@@~@@@~vxccvycd@@vA@@A@@@@@v|cdcdv}dd@@@@vA@#hhJvcxc@I@@Ш@гk$listvcxcvcxc@В@гp%Identvcxcvcxc@wvcxcvcxc@@@3vvvvvvvv@<@;@@@A@@@@@,@@@)@@ @@@г~*block_sizevcxcvcxc@@@@@г&Lambdavcxcvcxc@vcxcvcxc@@@!@@@"*@@@#vcxc:@@@@~'@@#uvcc@t@@Ш@г$listvccvcc@В@г%Identvccvcc@vccvcc@@@J@@@г&Lambdavccvcc@vccvcc@@@\@@@]@@@^wcc+@@@@~b@@#w cc@@@Ш@г$listwcd wcd@В@г%Identw!ccw"cc@w%ccw&cc@@@@@@г&Lambdaw3ccw4cd@°w7cdw8cd @@@@@@@@@w=cc+@@@@~@@@A@@@@H@ఠ.empty_bindings$wLddwMdd*@weA@@E@@@~G@~3wSwRwRwSwSwSwSwS@<HB@@@ະ3B @@@~D@@@3"!@@A@A @3@@B@A@@A*@'&staticwhd-d1wid-d7@ภ`ذwod-d:wpd-d<@m1@@@X@W@@@~ʠ@T@@@~ˠ@S@@@~@@~@@@~G@~3@))functionswd>dBwd>dK@ภ`wd>dNwd>dP@mX@@@Z@Y@@@~栠@V@@@~@@~@@@~G@~U@J'dynamicwdRdVwdRd]@ภa!wdRd`wdRdb@mz@@@]@\@@@~@Y@@@@@~@@@~G@w@@@wd-d/wdddg@@z@A@wdd@@@}ww吠 " Allocation and backpatching code wdidiwdid@@@@@@3wwwwwwww@@@@@@ఠ0compile_indirect%wddwdd@x A@@@o@@@EG@ @@o@@@2G@@@G@ "@࣠@&newval'Axddxdd@x*A@@3xxxxxxxx@2(xddxee@@@@@  @@@ఠ(indirect(x'ddx(dd@x@A@@o@@@'I@3x-x,x,x-x-x-x-x-@(7@@ @@@డv+transl_prim&Lambdax@ddxAdd@ xDddxEdd@@@`X@@@ @@ @``@@@ @@ p@@@ @@ @@ @nS99nT99D@@pT@ @@@@@@@@@@@@@@p@@@@@@@A@@0CamlinternalLazyxyddxzdd@@x|ddx}dd@@6@@@+J@-J@,U@@(indirectxddxdd@@xddxdd@@B@@@)J@/J@.i@@Z @@mj@A@xdd @@ภ&Lapplyxddxdd@hz<\'ap_funcxeexee @ఐ(indirectxeexee@@@@@pg@@@:H@;3xxxxxxxx@ @@@@@c@@@`H@_H@<+ap_tailcallyeEeIyeEeT@ภ0Default_tailcallyeEeWyeEeg@<@@@<@@@jH@n^@<*ap_inlinedy$eiemy%eiew@ภ.Default_inliney,eiezy-eie@;@@@<@@@tH@xt@<.ap_specialisedy:eey;ee@ภ2Default_specialiseyBeeyCee@;@@@<@@@~H@@@@yKdd2@@i!@@@4H@@@8@@p@@@3@<@@&@F=A@aG@D@A@A@A@@v@ఠ-compile_alloc)yeeeyfee@y~A@@@q@@@G@@@q @@@G@@@G@3yvyuyuyvyvyvyvyv@@@@@@࣠@$size+Ayeeyee@yA@@3yyyyyyyy@+yeey gg@@@@@  @@@ఠ%alloc,yeeyee@yA@@@O"@@@I@@@@o@@@I@@@qd@@@I@@@I@@@I@3yyyyyyyy@3?Q@6@7@@@࣠@$prim.Ayeeyee@yA@@(3yyyyyyyy@7yeeyf.f@@@@@@  @@$size/Ayeeyee@yA@@13yyyyyyyy@!?@@@@@@@@ภ%Lprimyeeyee@dภ&Pccallyeeyee@Ouఐ9$primzeezee@@@]3zzzzzzzz@".U@%@&@@@@@@l@@@K@ @ภcJzff zff,Ap&ภ&Lconst zff@p!డxz)const_int&Lambdaz+ffz,ff@ z/ffz0ff%@@@@@@ @@ p8@@@ @@ @p544p644+@@qJ@@@@@@@@@pG@@@@@H@@ఐz$sizezVff&zWff*@R@@U@@zZffz[ff+@@p^@@@@L@_@@Q @@r@@@K@K@g@ภc]Ap1@^A@yՠ@@@K@t@@zyff f@@ex@@@K@|@ఐ@&no_loczf.f9zf.f?@@6@@e@@@K@@@@@r;@@@@A@I@@A@@ఐ$sizezffzff@@@43zzzzzzzz@ @@@@@Ġ-Regular_blockzffzff@oఠ$size0zffzff@zA@@v&@@@3zzzzzzzz@@@@@@@@S@@S@@@ఐ.%alloczffzff@(@@@PK@@@@@@%@@@@@r@@@@@@@3zzzzzzzz@=,%@&@'@@@@ఐy*alloc_primzffzff@xX@@Pl@@@K@K@@@ఐG$size{ff{ff@!@@S@@@K@K@+@@@ @@,@Ġ,Float_record{fg{fg @o<ఠ$size1{fg{fg@{7A@@v}@@@@@@@@@@@@@ఐ%alloc{/gg{0gg!@@@@P@@@@@ @@@@ @@ r@@@ @@ @@3{@{?{?{@{@{@{@{@@+$@%@&@@@@ఐxŠ7alloc_float_record_prim{Pgg"{Qgg9@x@@@P@@@K@ K@@@ఐF$size{dgg:{egg>@!@@@@@K@"K@!+@@@ @@,@Ġ*Lazy_block{yg?gC{zg?gM@o%@@@@ @@ @@@ภ%Lprim{gQgW{gQg\@fภ&Pccall{gQg]{gQgc@Q ఐx/alloc_lazy_prim{gQgd{gQgs@x @@Q@@@3J@5J@4@@ @@n'@@@*J@2@ภd{gug{gugAqడz+lambda_unit&Lambda{gug@ {gug{gug@@sj@@@ @q4,4,q4,4C@@slK@ @@sx@@@,J@=J@@J@?.@ภd+Aq@,A@{;@@@>J@F;@@{gug4@@fޠ@@@+J@<C@ఐB&no_loc{ gg{ gg@A@@f@@@KJ@JS@@ug@@T@@@A{ffi@@3{{{{{{{{@V@@@(k@@>@ulA@G@Zs@A@p@po@@ఠ.compile_update2|  gg|  gg@|#A@@@s@@@uG@\@@]@s@@@G@b@@c@ G@h@@is@@@G@j@@kG@d@@eG@^@@_G@[3|-|,|,|-|-|-|-|-@@@@@@࣠@$size4A|> gg|? gg@|WA@@.3|?|>|>|?|?|?|?|?@=|F gg|G-ll@@@@@  @@%dummy5A|R gg|S gg@|kA@@73|S|R|R|S|S|S|S|S@!E@@@@@@@@&newval6A|c gg|d gg@||A@@=3|d|c|c|d|d|d|d|d@K@@@@@@@@@@ఠ$prim7|z gg|{ gg@|A@@z@@@K@o3||||||||@)\@ @!@@@@ఠ&newval8| gg| gg@|A@@yG@G@G@G@p@@  @@@ @@@s@ఐn$size| gg| gg@S@@)@Ġ-Regular_block|gh|gh@q@|gh|gh@@x(@@@w?@@@ @@@@@@@Ġ,Float_record|gh|gh @p@|gh!|gh"@@x-@@@zR@@@ @@S@@S@@@@T@@@@ఐy_+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}-$kSk]}.$kSkb@h2Ġ.Pmakelazyblock}6$kSkc}7$kSkq@U@};$kSkr}<$kSks@@U@@@@@@ @@o@@@@@}G$kSku}H$kSkv@@hEt@@@@@@@@}S$kSkx}T$kSky@@hH@@@@@@,}Y$kSkz@@0@@0@@@ఐ&newval}a(l=lG}b(l=lM@ް@@G@@@@}m)lNlX}n)lNlY@@E@@E@@@ఐ0compile_indirect}x)lNl]}y)lNlm@@@@u)@@@@@u,@@@@@@@ఐ/&newval})lNln})lNlt@ @@h@@@@/@@@A}#k5k;}*lul~@@2@@@@@@@A} gg@@@@ @@@A@} gg @@ภ%Lprim},ll},ll@hภ&Pccall},ll},ll@S.ఐ@$prim},ll},ll@?@@@A@@S;@@@J@J@3}}}}}}}}@DR >7@8@9@@@@@@pQ@@@J@ @ภg },ll},llAsఐ%dummy },ll@w @@@ภg},llAsఐb&newval },ll@) @@`-@ภg "As@ #A@}\h@@@J@:@@*A@}cm@@@J@A@@~,ll2@@i@@@J@I@ఐD:&no_loc~-ll~-ll@Cİ@@i@@@J@Y@@x@@u@@@]@@@@A@G@@A@@@~:~96 Compilation function ~6/ll~7/ll@@@@@@3~5~4~4~5~5~5~5~5@ 4-@.@/@@@ఠ.compile_letrec9~F1ll~G1ll@~_A@@@q9@pZ@@@aJ@ʠ@/Value_rec_types6recursive_binding_kind@@@J@ˠ@v@@@OJ@@@J@@@@G@@@@v&@@@G@@@G@@@G@@@G@I@࣠@.input_bindings;A~1ll~1ll@~A@@@3~~~~~~~~@YO~1ll~}xux@@@@@  @@$bodyA3mm73mm<@ A@@)I@@@@xr@A@ఠ"id?3mm>3mm@@3A@@J@.3@_"A@@@@@@@'3mmB(3mmC@@G@/ @@@/3mmE03mmF@@G@0@@43mm=53mmG@@@@@ @@3@@  @@డy#Map#add%IdentQ4mKmSR4mKmX@ U4mKmYV4mKm\@@Z4mKm][4mKm`@ @n% @@@q_@@@@@@?@@@>@r@@@=@@<r@@@:@@9@@8@@73rqqrrrrr@VaZ@[@\@@@@ఐh"id4mKma4mKmc@ @@g@@డ}.dummy_constant&Lambda4mKmd4mKmj@ 4mKmk4mKmy@@wE@@@ @u44u45@@wGM@ @@.@@ఐ%subst4mKmz4mKm@@@;@@`@@r@@@\@@3mm24mKm@@@@@#@@@"@@!@@ K@K@@@డy#Map%empty%Ident5mm5mm@ 5mm5mm@@5mm5mm@ @J @@s *J@@@@@@ఐj.input_bindings5mm5mm@O@@@@%@@5@A@2mm@@@ఠ0all_bindings_revA7mm7mm@ A@@@@@ J@3      @K_X@Y@Z@@@డ~$List)fold_left8mm8mm@  8mm!8mm@@l@@@@%J@@@@@@@@@@@@@ @@@s!@@@@@@@@@@@3;::;;;;;@2@@@@࣠@,rev_bindingsBAM8mmN8mm@f A@@%E@@@@yTA@ఠ"idC`8mma8mm@y A@@ 3a``aaaaa@Y ;@@@@@@ఠ%rkindDo8mmp8mm@ A@@@@ఠ#defE{8mm|8mm@ 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@@@@@@ະ  ʠ@ @@@@ @@@@ @@@@@@@@O@@  @ @@@(@ @@@)@@'@@@&O@!@ 'dynamic;nVnt;nVn{@ภ=;nVn;nVn@w/@ఐʠ"id*;nVn+;nVn@z@@R@@ఐ#def6;nVn7;nVn@@@^@@:;nVn~;;nVn@@@G@J@J@J@J@J@J@J@J@3J@?J@HJ@@J@\J@J@J@J@J@#J@>J@?J@@@O@O@ @ఐ.,rev_bindingsx;nVny;nVn@@@O@'dynamic;nVn;nVn@  @@K@@@O@O@ @@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@@u8@@@nn>no@7@8@9@@un@@@A3@UE@@@Ġ(Constant?oo?oo@q@@@@u@@@E3@@@@@@Ġ+Unreachable?oo ?oo(@z@@@@u@@@H@@@@@@u@@@J@@@@ఠ#defI3Dp&p64Dp&p9@LA@@y@@@R@Y398899999@:@@@డ%subst&LambdaJEp<pJKEp<pP@ NEp<pQOEp<pV@@>@@@@>@@@r@@q@>@@@p@@o@>@@@n@@m> @@@l@@k@@j@@i@@h> >>@@@g@@@f@@e@>z*@@@d@@@c@@b@z2@@@a@@`z5@@@_@@^@@]@@\@@[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@@>>@@@@@@@@t@@ఐY3subst_for_constants Ep<pl Ep<p@@@vLz@@@S@S@@@@ @@ఐ#def$Ep<p%Ep<p@s@@@@@@@A@)Dp&p2@@ະ Ҡ @ @@@_@ @@@`@ @@@a@@^@@@]Q@W@  @ @@@j@ @@@k@@i@@@hQ@c@ 'dynamic`GppaGpp@ภ@7gGpphGpp@yz@ఐ"iduGppvGpp@Ű@@3uttuuuuu@wKD@E@F@@@@ఐQ#defGppGpp@ @@ @@@4Q@@Q@JQ@I@@GppGpp@@@Q@@@2Q@>Q@K%@ఐ],rev_bindingsGppGpp@C@@~2@'dynamicGppGpp@ N @@#@@@AQ@RQ@MA@@) @@ \(@@@1Q@=H@@ఐ~,rev_bindingsGppGpp@d@@S@GppGpp@@V@@@@Ġ%BlockHppHpp@]ఠ$sizeHHppHpp@A@@~@@@O3@@@@@@@@wZ@@@P@@w]@@@Q@@@ະ &staticJqq)Jqq/@ภ@ѰJqqBJqqD@z@ఐ"idJqq3Jqq5@_@@3@6/@0@1@@@@ఐ<$sizeJqq7Jqq;@ @@ @@@Q@Q@Q@@@ఐ#def3Jqq=4Jqq@@@@$@@7Jqq28JqqA@@@@@@@Q@Q@3@ఐ,rev_bindingsOJqqEPJqqQ@@@&@@&staticVJqqRWJqqX@  @@%@@@Q@Q@O@@+ @@H*@@@Q@V@ +@*@@@@'@@@@@@@@Q@@  @@@@Ơ@@@@@@@@@Q@@@ఐN,rev_bindingsIpq Ipq@4@@o@IpqJqqZ@@r@Ġ(FunctionKq[qgKq[qo@t@@@@x@@@U@@x@@@V@@@ఐ?#defLqsqLqsq@ @@O@Ġ)LfunctionMqqMqq@tWఠ$lfunMMqqMqq@A@@t_@@@3@@@@@@@@k@@k@@@ະ Ġ@@@@ @@@@ @@@@ @@ @@@S@@ )functionsOqqOqq@ภAҰOqqOqq@{@ఐ"idOqqOqq@`@@3@IB@C@D@@@@ఐO$lfunOqq Oqq@ @@@@@S@S@S@@@,Oqq-Oqq@@@ࠠ@@@S@S@%@ఐ,rev_bindingsBOqrCOqr @ް@@2@)functionsIOqr JOqr@  @@#@@@S@S@A@@) @@(@@@S@H@ @@@@@@@@@@@@@S@@@ఐ-,rev_bindingswNqqxNqq@@@Ng@{Nqq|Prr&@@Qj@@Qr'r5Qr'r6@@@@@@@@ఠ&ctx_idNRr:rLRr:rR@A@@Jq@@@)T@@డt,create_local%IdentRr:rURr:rZ@ Rr:r[Rr:rg@@Jl@@@Jl@@@"@@!J@@@ @@@@7letrec_function_contextRr:riRr:r@@Rr:rhRr:r@@J@@@+U@-U@,@@' @@7@A@Rr:rH @@ఐK5split_static_functionSrrSrr@Kt@@@x@@@:@@9@K@@@8@@7@}@@@6@@5KK@@@4@@@3@@2@@1@@03@oh@i@j@@@@ఐv&ctx_idSrrSrr@ @@xJ@@@SU@UU@T@@డ#Set%empty%Ident!Srr"Srr@ %Srr&Srr@@*Srr+Srr@ @K@@@U@x@EE@@@L@@@QU@[U@ZB@@ఐɠ#defDSrrESrr@@@O@@o@@LL@@@M@@@LW@Ġ+UnreachableYTrrZTrr@Mo@@@@LL@@@d@@@c3`__`````@k@@@ @LL@@@f@@@e@@@డ+fatal_error$MiscxUrsyUrs@ |Urs }Urs@@@@@@@@@@gJ@J@J@J@J@J@V@@@1@@?letrec: no function for bindingUrsUrs5@@UrsUrs6@@@@@V@V@E@@1 @@}F@Ġ)ReachableVs7sGVs7sP@Mঠ$lfunVs7sTVs7sXAH ఠO@A@O@@@r@4free_vars_block_sizeVs7sZVs7snAHఠP@A@O@@@v@@@Vs7sRVs7sp@@N@@@xV@w@ఠ#lamQVs7srVs7su@A@@L@@@y@@@>Vs7sv@@LL@@@{@@@z@ @LL@@@}@@@|@@@@ఠ)functionsR Wszs Wszs@#A@@~@V@@O]@@@V@@@V@@@@V@3      @.eb@d@cUR@T@SD=@>@?@@@ภC/Wszs0Wszs@}B@ఐݠ"id=Wszs>Wszs@@@@@ఐ$lfunIWszsJWszs@$@@-)@@MWszsNWszs@@\t_t?\t_tAఐ= @@@@@@@@@@@@U@@@@@@@@@@@@@@@U@@@ఐ',rev_bindingsq\t_tqr\t_t}@ @@H>@u\t_tov\t_t@@KA@l@@L@@@MV@@@AzSrr{]tt@@P@@@Q@@@A~Lqsq^tt@@T@@@A>nn_tt@@WG@@@X@@@A9mn@@Z@8mm_tt@@@e@@@ @@@i@@@@K@|K@x@@ఐS.empty_bindings`tt`tt@@@K@f@@ఐ %.input_bindings`tt`tt@ @@ as@@@@@A@7mm@@@ఠ1body_with_patchesUbttbtu@A@@ NG@!G@zG@J@3@@@@@@డC$List)fold_leftcu ucu u@ cu ucu u@@u@@@@)G@J@@@@@{6@@@J@@@@@J@@@@@J@@@J@@@ @@@@@@@$@@@{$@@@@@,@@@@@@3@L@@@@࣠@$bodyVA$cu u#%cu u'@=A@@?_@@@@ZA@ఠ"idW7cu u)8cu u+@PA@@E387788888@s U@@@@@@ఠ$sizeXFcu u-Gcu u1@_A@@M@@ఠ#lamYRcu u3Scu u6@kA@@R@@Wcu u(Xcu u7@@@g@b@]@@&@@  @@ภ)Lsequenceidu;uCjdu;uL@mఐ k.compile_updateudu;uNvdu;u\@ =@@@@@@@@@-@@@@@@@@4@@@@@@@@@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@@x@@@@N@D@ఐ$bodydu;uqdu;uu@@@O@@tdu;uv@@@@@T@cu ueuwu|@@@@@@@@@@@@K@K@'@@ఐ ]$bodyeuwu}euwu@ 8@@ @@ఐ 0all_bindings_rev euwu euwu@@@@@@@@@&staticeuwueuwu@euwueuwu@@}1@@@K@ K@ @@J @@:Z@A@$btt @@@ఠ3body_with_functions[/guu0guu@HA@@mJ@ 310011111@l|u@v@w@@@ఐ ?0all_bindings_revBhuuChuu@y@@@@@@ 3GFFGGGGG@@@@)functionsOhuuPhuu@@@@@@@@ @@@@@@@@@Ġs԰kiuuliuu@-@@@@-@,@@@@)@@@ @@@@@J@@=@<@@@#@9@@@$@@"@@@!Z@@@ఐנ1body_with_patchesiuuiuv@a@@ed@ఠ,bindings_rev\jvv jvv@A@@e@d@@@+@a@@@,@@*@@@)l@@u@t@@@/@q@@@0@@.@@@-|@@@@ఠ1function_bindings]kvv%kvv6@ A@@}x@@@^M@8@@@KM@33@D=@>@?@@@డZ$List'rev_maplv9vAlv9vE@ lv9vFlv9vM@@@@!a@/@@1(!b@/@@1'@@1&@}@@@1%@@1$;@@@1#@@1"@@1!@w,,w,Z@@wY@*%@@@@@w@@@`M@S@z@@@fM@T@@UM@;@@>Z@@=@@<@,@@@:@@9fe@@@7@@6@@53=<<=====@`@@@@࣠@`A@ఠ"id^Tlv9vTUlv9vV@m!A@@0x@@ఠ$lfun_`lv9vXalv9v\@y"A@@5@@elv9vSflv9v]@@@C@>@@W@@ @@ຠwѡ"idxmvavoymvavqAఐ- @Y@*@+@Y3~}}~~~~~@4(V@"@#@@@wء#defmvavsmvavv@ఐ4$lfunmvavymvav}@@@h@@@mvavmmvav@@@lv9vNmvav@@@@@P@@ON@kN@i@@ఐ ,bindings_revnvvnvv@ϰ@@@@@MN@qN@mz@@ @@@A@kvv! @@ภ'Lletrecpvvpvv@xఐ1function_bindingspvvpvv@@@@@yy@@@y@@@xL@}L@{3@@@@ఐ(1body_with_patchespvvpvv@@@' @@'pvv@@@@@w@3@@@@@Ahuu@@@A@guu @@@ఠ8body_with_dynamic_valuesarvvrvv@#A@@ J@3@@@@@@డ|$List)fold_leftsvwsvw@ svwsvw@@x@@@@\J@@@@@{@@@J@ @@@@ J@@@J@@@@@@@@@@@@@)@@@@@$@@@@@@3CBBCCCCC@D@@@@࣠@$bodybAUsvwVsvw@n$A@@7W@@@@eA@ఠ"idchsvwisvw@%A@@>3ihhiiiii@k M@@@@@@ఠ#lamdwsvwxsvw!@&A@@F@@|svw}svw"@@@T@O@@@@ @@ภ$Llettw&w.tw&w2@{ภ&Stricttw&w3tw&w9@;&Strict{@@@ @@@@C@@A!!!!@@@F@@  @@|@@@M@%3@=F}@@@A8w@2@3@@@ภ'Pgenvaltw&w;tw&wB@N@@@|@@@M@)@ఐ["idtw&wDtw&wF@@@@ఐW#lamtw&wHtw&wK@%@@*@ఐ$bodytw&wMtw&wQ@m@@5@@Qtw&wR@@@@@:@svwtw&wS@@@@@@@@@@@@K@7K@3@@ఐˠ3body_with_functionsuwTwZuwTwm@@@@@ఐ 0all_bindings_rev uwTwn uwTw~@@@@@@@A@<@'dynamicuwTwuwTw@@@@@@K@BK@=@@ @@@A@"rvv @@@ఠ9body_with_pre_allocationsf-www.www@F'A@@J@C30//00000@2<5@6@7@@@డ$List)fold_leftCxwwDxww@ GxwwHxww@@z@@@@J@H@@Q@@|@@@J@u@@@@J@v@=@@@J@w@@xJ@K@@P@@O@@N@@M@#@@L@a$@@@J@@I+@@G@@F@@E3{zz{{{{{@K@@@@࣠@$bodygAxwwxww@(A@@>^@@@@lA@ఠ"idhxwwxww@)A@@E3@r T@@@@@@ఠ$sizeixwwxww@*A@@M@@ఠ$_lamjxwwxww@+A@@R@@xwwxww@@@g@b@]@@z&@@  @@@ఠ%allockywwyww@,A@@@@@N@3@>G@A@B9@3@4.y@(@)@@@ఐ-compile_allocywwywx@@@@@@@@@@@@@@@@ఐW$sizeywxywx@$@@*@@@@.+@A@ yww@@ภ$Lletzx xzx x@}uภ&Strictzx xzx x@@@@}~@@@M@3      @ESL@M@N@@@ภ'Pgenval-zx x.zx x%@P@@@}@@@M@@ఐ"id=zx x'>zx x)@\@@@ఐr%allocHzx x+Izx x0@%@@@@@M@M@/@ఐР$bodyZzx x2[zx x6@@@ :@@L^zx x7@@ @@@?@X@@@dxwwezx x8@@@@@j@@@i@@h@@gK@K@?@@ఐ8body_with_dynamic_values|{x9x?}{x9xW@I@@~@@ఐ0all_bindings_rev{x9xX{x9xh@°@@>@@@@@&static{x9xi{x9xo@=@@H@@@dK@K@$@@` @@Pp@A@www @@ఐ9body_with_pre_allocations}xuxw@}@~@@@~3@}@@@@@@@@@@@@ @@@!@@@"@@@,#A@nG@*@A@'@'&@@'@8@3@D@B@>8A@A@A@B@R@a@<@YYA@YhW'@W#WA@VVA@VfU`@UaT@U T@TT|@TbT`@A@@p@@@@@@@3@@@@2Value_rec_compilerB@@ H************************************************************************A@@A@L@ H BMMBM@ H OCaml C C@ H DD3@ H Vincent Laviron, OCamlPro E44E4@ H FF@ H Copyright 2023 OCamlPro SAS  G!G@ H &H'Hg@ H All rights reserved. This file is distributed under the terms of ,Ihh-Ih@ H the GNU Lesser General Public License version 2.1, with the 2J3J@ H special exception on linking described in the file LICENSE. 8K9KN@ H >LOO?LO@ H************************************************************************DMEM@ /* Compilation of generic recursive definitions J L* 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.  )* Allocation and backpatching primitives  > Note: [alloc] could be false, but it probably doesn't matter Sz  Tz  @.* {1. Sizing} ڠ/ Simple blocks \C  ]C  @ * 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. Z -* 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. F * Function definitions. This includes more than just obvious, syntactic function definitions; see {!Function Lifting} for details. 2 * 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. nso{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]. tu@) ignored z(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%@@-./boot/ocamlc)-nostdlib"-I&./boot*-use-prims2runtime/primitives"-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_events"-c H/home/touraine/ci/builds/workspace/main/flambda/false/label/ocaml-arm-32 >10/.-,+*)('&%$#"! @@0Ol"3.fu354455555@3@@(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 Χ@aR+0 m/[N$Zrw0`4xiVC(Warnings0Ef{&@@Ae@YXYFNX@@FFx͑x@2q2{C'C1ʑr@-U-_n@w@33P@P|@@@8s8}@  FP@ϕDCC[ؑ[.@R\IS@}YK@ * 4OOQQ@ӑYc>Hu@MMcÓ@6@@@V# P:@ۑ~f~p@. .@RۑR{{@YGY3@@@В@** YY@@ɑӰ9`9j@=;=E@_iÒ@@@@1;ks@@V`UjUtkX@(AYxYii$.@@]gKБKڰT4T>@u1Pv@  X4XKYkYa@L%L/WޑWYAYK@E@@ @FEE@ H R@@@WW@VNVXVVÑ@323<@@  @))ZZ(@QQב@F*@@ U _@fp@@@P@@@@@A@@