Caml1999T0378aPC2Value_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_primgpp@BA@@)Primitive+description@@@ A@ V@డ)Primitive&simple)Primitiveqq@ qq@@$name&stringQ@@@ @@ %arity#intA@@@ @@ %alloc$boolE@@@ @@ C@@@ @@ @@ @@ @4typing/primitive.mlif**jeu@@FP@50@@-+@@@ @@ (&@@@ @@ #!@@@ @@ a@@@ @@ @@ @@ v@E0caml_alloc_dummyIqJq@@LqMq@@P@@@ B@ !B@ @MA\q]q@@T@@@ B@ #B@ "@Qภ$truenqoq@;-@@@M@@@AB@@A@@ @ @@_@@@ B@ '@@@@@A@~p@@@@ఠ7alloc_float_record_primvs  s  @CA@@@@@ DA@ (3@@@@@@డ&simple)Primitivet  t  )@ t  *t  0@@@@@@@ 3@@ 2@@@ 1@@ 0@@@ /@@ .@@@ -@@ ,@@ +@@ *0@Ȑ6caml_alloc_dummy_floatt  8t  N@@t  7t  O@@@@@ JB@ LB@ KD@АAt  Wt  X@@@@@ HB@ NB@ MT@Ԑภt  `t  d@@@@@@@ FB@ Rd@@U@@he@A@s   @@ @h@ఠ/alloc_lazy_primwv f jv f y@ DA@@0@@@ oA@ S3        @}@@@@@డ.&simple)Primitive w | ~!w | @ $w | %w | @@,@@,*@@@ ^@@ ]'%@@@ \@@ [" @@@ Z@@ Y`@@@ X@@ W@@ V@@ U0@D5caml_alloc_dummy_lazyHw | Iw | @@Kw | Lw | @@O@@@ uB@ wB@ vD@LA[w | \w | @@S@@@ sB@ yB@ xT@Pภlw | mw | @@@@W@@@ qB@ }d@@U@@he@A@vv f f @@ @h@ఠ+update_primxy  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_primy} ] 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_sizezAD  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+$size~BI 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@@@U@@@V@@@Y@@@@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@@@Zlz|lz@@7RA#env@@%Ident#Map!t@@@4@@@65m6m@@NSA@@A@@@@@=@@@:@#%%=lz@@@Ш@г()ElzFlz@@/[@@2@@[^@-@#))Nm@@@Ш@г,%Ident[m\m@2_m`m@@6dmem@ @г9,binding_sizenmom@@A@@@L @@O@@7@@@@A@y@@x@3rqqrrrrr@@@@ఠ,dynamic_sizepp@TA@@@8@@@D@@@@@#D@@@D@3@@@@࣠@%param4AĠ"()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_sizes5 |JN|JX@&UA@@@2@@@#D@#@@#@ D@#@@#D@#@@#D@#@@#D@#3$##$$$$$@@@@@@࣠@%size17A5|JY6|J^@NVA@@"365566666@1=|JJ>@@@@@  @@%size28AI|J_J|Jd@bWA@@*3JIIJJJJJ@!9@@@@@@@@@ఐ-%size1_}go`}gt@@@K3_^^_____@"B@@@@@@ఐ(%size2n}gvo}g{@ @@N@@@@@_@U@@#@@Ġ+Unreachable~~@;r@@@ @@@@CA@A@@@@@y@#/@@ఠ$size9~~@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@@@(hD@#@@#@Ƞ&Lambda&lambda@@@(D@(}@@@(|D@$@@$&optionL@@@*?F@* @@@*3D@$@@$D@#@@#D@#3kjjkkkkk@Hg`@a@b@@@࣠@$prim=A|}@[A@@=3}||}}}}}@L@@@@@  @@$args>A@\A@@F3@!T@@@@@@@@@ఠ'same_as?@]A@@@@@@(rG@$@@$$boolE@@@(_G@$ @@$ G@$3@'3o@*@+@@@࣠@*other_primAA@^A@@3@.L@@@@@  @@ Р)Primitive @@ 3@%:@@@@@@A3@@@ @@ @3@@@డd&String%equal"@ #(@@@&Stdlib&String!t@@@&z@@&y@@@@&x@@&wc@@@&v@@&u@@&t@*string.mlirrr@@.Stdlib__StringK@'"@@@@@@(S@@(R@&@@@(Q@@(P{@@@(O@@(N@@(M3 / . . / / / / /@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@@@@@(iJ@(gc@@ఐܠ*other_prim 8 B@@@r@)prim_name C@a @@@@@(sJ@(q}@@@@~@ @@3        @@@@A@ G@(y@A@@@ఠ'int_arg RX R_@ _A@@ !#intA@@@(G@(@@@(G@(z3        @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'&K&M'&K&l@@@ @Ġ*Const_base r r@;*Const_base@@@ ]@(Asttypes(constant@@@ V@A@@D@Arvr@@@@Ġ)Const_int 0r 1r@;)Const_int(Asttypes(constant@@@(@q@@@(@A@@G@A4parsing/asttypes.mliXX@@@ A@ఠ!n Mr Nr@ f`A@@@@@(r@@@ Ur Vr@@;@@@(x@@@ [r \r@@[@@@(~@@@t@@ @Ġ"[] zA; y@@@@AA@A w@@ @@}A@ ̠@@@(@@@ prx@@#@@#@@@ภ$Some wr xr@;  ѐ@@W@ A@AA@A @@ àఐ9!n r r@8@9@:@@3        @C@@@@@@@@  @@G@@G@@@ภ$None  @; $@@@@AA@A @@ @@@@@@A Rb@@@A@ RT@@ఐ 'same_as  @ܰ@@@@@@(@@(@@@(@@(3        @@@@@@@ఐ*alloc_prim  @5@@@@@(G@(G@(@@% @@ @@@(G@(@డ Q&Option#map  @   @@@@!a@)g@@)!b@)d@@)@@)@@@@)@@)@@@)@@)@@)@*option.mlioo@@.Stdlib__OptionI@,'@@@@@@@*AF@*#@@*&@@*%@@*$@! @@@*"@@*!Ǡ@@@*@@*@@*p@@࣠@!nA : ;@ SaA@@#3 ; : : ; ; ; ; ;@@@@@@@ภ-Regular_block G H@;@@@ @A@AB@A@@ఐ!n V W@>@@@@?3 W V V W W W W W@)@@@@@@@@@*@@ a b@@@P@@*8@@*7G@*FG@*D-@@ఐ'int_arg u v @@@yd@@@*5G@*JG@*H@@ @@ C@ఐꠐ'same_as    @@@@ @@@*O@@*N@@@*M@@*L\@@ఐ 7alloc_float_record_prim    4@@@ @@@*XG@*ZG@*Yp@@" @@@@@*[G@*Vv@డ +&Option#map :> :D@  :E :H@@ڰ@@@@.@@@*F@*c@@*fqD@*F@*`@@*e@@*d@۠@@@*b@@*a@@@*_@@*^@@*]@@࣠@!nA :N :O@ bA@@'3        @<@@@@@@ภ,Float_record :S :_@;b@`AAAB@A\@@Yఐ!n :` :a@?@@@@@3        @V&@@@@@@@@@*@ :I :b@@@Q@@*xL@@*wG@*G@**@@ఐl'int_arg ,:c -:j@p@@0e@@@*uG@*G@*@@w @@D@*sB@ఐ'same_as Fku Gk|@s@@@ p@@@*@@*@@@*@@*[@@ఐ V/alloc_lazy_prim ]k} ^k@Ѱ@@ @@@*G@*G@*o@@" @@@@@*G@*u@ภ$Some s t@ภ*Lazy_block | }@;5@@@@AB@A@@@@@F@*@@@@%D@*@ภ$None  @@ @@ F@*@ kr@@@  @@]@ @@6@@@7@@@8@A@]D@*@A@@@/@ఠ3compute_static_size  @ cA@@@^@@@OD@*@@*@@@OD@*@@*D@*3        @P@@@@@࣠@#lamA  @ dA@@3        @,  t01%@@@@@  @@Aఠ7compute_expression_size  @ eA@@@%Ident#Map!tG@@@4F@+@@@,cF@*@@+@@@@NF@*@@+N@@@G/F@*@@+@@+3        @<H[@?@@@@@࣠@#envA  @ 1iA@@33        @D@?@@*@.@@*)@@*G@*@@*G@*@J@K6compute_and_join_sizes@NF@*@@*@$listKKF@NF@+;H@E@@@EF@*@@*NF@FF@GF@EF@*@@*G@*@@*G@*@ U   V  @@ nfA=compute_and_join_sizes_switch@<#Map!tr@@@*@@@*@@*H@*@  @!a@*ᠠ@ &lambda@@@*H@*@@*@@@*@@@*@@*@@@*H@*@@*@@*@ !2!8 !2!U@@ gA1size_of_primitive@F@+@@+@S)primitive@@@3F@+ @@+ @f@@@NF@+@@+F@+@@+G@+ @@+G@+ @@+ G@*@ "" ""@@ hA@@@@@@#lamA  @ jA@@3        @@@@@@@@@ఐ#lam   @@@@@3        @@@@Ġ$Lvar  @;$Lvar@%Ident!t@@@ @A@@V@A%& &$%& &3@@@ @ఠ!v@kA@@@@@+=3@,@@@@@"@@ @@ @@@డ#Map(find_opt%Ident  2! 7@ $ 8% ;@@) <* D@ @@F#key@@@@@@O!a@@@@@@&optionL @@@@@@@@0typing/ident.mliTaiTa@@+Stdlib__MapV@0&@@@#@@@+@@+@pi@@@+@@+m@@@+@@+@@+3`__`````@e^@_@`@@@@ఐl!vp Eq F@ @@D@@@,TL@,S@@ఐm#env G J@@@"@@f@@D@@@,'@Ġ$NonePXP\@@@@@U@@@,t3@8@@@@Z@@@,u@@@ఐ(,dynamic_size`h`t@@@@#@@@,@@,M@,@@,@@ภ`u`w@@@@5@@@,M@,*@@@@+@Ġ$Somexx@Yఠ,binding_size֠xx@@A@@F@5F@48F@4@F@-aF@-iF@,N@,y@@@@@@@@,z@@@@@,{@@@డ 9%force.Lazy_backtrack@ @@@@!a@!@@-!b@@@,@@+@.Lazy_backtrack!t@@@*@@)@@(@@'@8utils/lazy_backtrack.mliTQQTQz@@ B@,'@@@@ r@@@,L@,@@,F@EF@,F@,@@,@@,@( @@@,@@,@@,@@,3FEEFFFFF@vo@p@q@@@@࣠@Aঠ&lambda]^A3 I @@@ L@@@3 B A@@A@A 2@ /@A I@ Fఠנ @AA@ T@@@,3lkklllll@&@@@#envvwAఠؠ@BA@ Y R@@@,@@@,@@@@@VF@,O@,@@@@ఐ7compute_expression_size@w@@@@@,@@@,@@,@@,3@Z<9@;@:+(@*@)@@@@ఐ2#env@ @@ @@@,@@ఐU&lambda@@@}O@,%@@1@@&@@@@@@,@@,M@,M@,c@@ఐ,binding_size@@@@@@@q@@@A &@@H@Ġ'Lmutvar&@;'Lmutvar@!t@@@ @AA@V@A&&4&6&&4&J@@@ @@'(@@@@@+@@@@@@@@@@@ఐ ,dynamic_size,8@@@@ @@@,@@,K@,@@,@@ภ #9$;@ ~@@@ @@@,K@, @@@@'!@Ġ&Lconst6<B7<H@<@;<I<<J@@;@@@+C5@@@ @@A6@@A6@@@ภ(ConstantG<NH<V@; <@@@ACA@A ; 8@ *@@@GA@Ġ&LapplyVW]WWc@;&Lapply\@,lambda_apply@@@ @AC@V@AY(&m&oZ(&m&@@@  @@hWdiWe@@@@@+Fb@@@@@nc@@nc@@@ఐ ,dynamic_sizewWixWu@ P@@@ @@@,@@,FK@,@@,x@@ภ WvWx@ @@@ @@@-K@-@@@@@Ġ)Lfunctionyy@;)Lfunction@M)lfunction@@@ @AD@V@A)&&)&&@@@R@@yy@@@@@+I@@@@@@@@@@ภ(Functionyy@;  4@@@BCA@A  @ @@@@Ġ$Llet@;$Llet@z(let_kind@@@ *value_kind@@@ !t@@@ @@@ @@@ @EE@V@A*&&*&&@@@@@@@$@@@+P3@@@@@@@'@@@+Q @ఠ"id@ lA@@/@@@+R@ఠ#def@.mA@@@@@+S%@ఠ$body#$@>?????@fC<@=@>6/@0@1)"@#@$@@@డ &#Map#add%IdentZ[@ ^_@@cd@ @@:@@@C@@B@!a@-@@A@ @@@@@@?@@@>@@=@@<@@;@9@5F@* @@@W@@@-@@-@P@@-@W@@@-@@-[@@@-@@-@@- @@- Y@@ఐ"id@a@@y@@@-%?<@@@@\@@-@I@@-D@@-@@-3FEEFFFFF@@@@@@@ఐ #envV=W@@ @@n@@@-@@ఐD$bodygAhE@!@@#K@-#@@/@@h$@:@@i,@Ġ'LmutletxFLyFS@;'Lmutlet~@@@@ !t@@@  2@@@  6@@@ @DF@V@A+&&+&'@@@ 9@@FTFU@@@@@+Z3@@@@@FWFX@@!@@@+[ @@FZF[@@ T@@@+\@ఠ$bodyF]Fa@oA@@ b@@@+]@@@DFb@@!@@!@@@ఐ堐7compute_expression_sizeflf@@@@@@-@@@-@@-@@-3@#@@@@@@ఐɠ#envff@@@@@ఐ7$bodyff@@@K@-@@+@@ @Ġ'Lletrec@;'Lletrec @$listK +rec_binding@@@ @@@  @@@ @BG@V@A ,'' ,''?@@@ @ఠ(bindings@5pA@@ @@@+c@@@+b3$##$$$$$@H@@@ఠ$body/0@HqA@@ @@@+d@@@<7@@8@@8@@@@ఠ#env۠BC@[DA@@]jN@3A@@@3K@-3KJJKKKKK@q92@3@4' @!@"@@@డ$List)fold_left`a@ de@@@@#acc@/@@1h@!a@/@@1g @@1f@@1e@@1d@@@1c@C@@@1b@@1a@@1`@@1_@@1^@(list.mli333r@@,Stdlib__List]@/*@@@@QK@3@@3@@@@35K@3 @@3 @@3 @@3 @@3 @@@3 @i@@@3@@3@@3@@3@@33@`@@@@࣠@'env_acc#A@EA@@*s@@@@ (%Aঠ"idA3"id@@@ !t@@@ @@@ 3#def ;@@@ @@A@A C** C*+@@ !@@A B** B**@@  @ఠ $! @FA@@@@363@>^@5@6@@@#def@!@@@^@@@39@@@@@jO@33@@@@డ #Map#add%Ident@  ! @@% &@ @° @@@@@@3F@@3E@@@3D@M@@@3C@@3BQ@@@3@@@3?@@3>@@3=3=<<=====@OWT@V@U@@@@ఐ^"idMN@ @@!@@@3mO@3l@@డ-create_forced.Lazy_backtrackef"@ i#j0@@@!b@ @@;Y!a@ @@@:@@9@XXYX@@aF@@@@F@3O@3z@@3{oF@3y @@@3x@@3wR@@ภ(Function19@@@@P@3`@@:@@XF@3d@@ఐ'env_acc;B@@@q@@@@Ǡj@@@3bv@C@@@*@@3(@(@@3'.@@3&@@3%L@3L@3w@@ఐ#envDNDQ@@@$@@ఐ(bindingsDRDZ@@@I@@@3"L@3L@39@@ @@Q@A@ @@ఐ7compute_expression_sizedjd@԰@@@@@3@@@3@@3@@33@@@@@@@ఐɠ#env d d@ @@@@ఐ預$bodydd@Ȱ@@K@3@@+@@ @6@@@Ġ%Lprim)*@;%Lprim /@@@@ 2 @@@ @@@  /scoped_location@@@ @CH@V@A 9-'@'B :-'@'v@@@ @ఠ!p LM@erA@@@@@+j3POOPPPPP@t@@@ఠ$argsà[\@tsA@@- @@@+l@@@+k@@ij@@0@@@+m@@@Fo@@p@@p@@@ఐߠ1size_of_primitiveyz@@@@@@3@@@3@@@3@@3@@3@@33@C<@=@>5.@/@0@@@@ఐ#env@ʰ@@@@ఐX!p@@@@@ఐV$args@'@@ F@NF@N8F@N9F@NF@NF@37@@G@@8@Ġ'Lswitch@;'Lswitch @ y@@@  }-lambda_switch@@@ @@@ @CI@V@A .'w'y .'w'@@@ @@@@ @@@+r3@ @@@ఠ"swĠ@ tA@@"@@@+s@@@@@@@+t@@@7@@ @@ @@@@ఠ)fail_case&  @%GA@@  @@@@4K@4@ @@@4K@4@@4K@3@@@3K@33%$$%%%%%@J=6@7@8@@@ఐE"sw6 7 @@@h@@@3@33;::;;;;;@@@@-sw_failactionC D@3-sw_failactiont@@@ &optionL @@@ @@@ @@D3,sw_numconsts#intA@@@ @@@ @A UZ-- VZ--@@.@3)sw_constsc@@@@ ꠠ@@@@ @@ @@@ @@A!@A m[.. n[..1@@/@3,sw_numblocks4$@@@ @@B+@A w\.J.N x\.J.`@@(0@3)sw_blocks>@6@@@ @=@@@ @@ @@@ @@CC@A ].. ]..@@@1@V@A ^.. ^..@@D2@j\@@VM@@@3@@@3i@Ġ$None * .@ @@@@ja@@@3@@@3@@qh@@@3@@@3@@@ภ"[] 2 4@ b@@@@Ġ$Some5?5C@ ^ఠ$fail'5D5H@HA@@@@@3@@@@@@@@3@@@3@@@@@3@@@3@@@ภ"::5M5cA @@ 5N@@3@.'@(@)@@@@ఐ4$fail5^5b@ @@@@@@K@4@ภ"[] $A @ %A@K@3@@@4M@4 !@@(5L.@@#@@@A*0@@@A@,2@@ఐ ڠ=compute_and_join_sizes_switch6ms7m@ ް@@@ ܠ I@@@4 @@@4@@4@ נ ֠@@@@4dJ@4@ @@@4@@4@@@4@@@4@@4 @@@4@@4@@43^]]^^^^^@:[T@U@V@@@@ఐ Y#envnmom@ @@ @@ภymzmA ఐ"sw m@\@@@@@4f@4a+@)sw_constsmm@1@@ $@N@ @@@45@@44@@@43K@4\K@4gK@4bE@ภm3A ఐƠ"sw m@ @@@@@4}@4x]@)sw_blocksmm@A@@4K@4sK@4~K@4yj@ภذmXA ఐΠ)fail_case m@x @@K@4K@4K@4@ภʰnA @oA@L@@@4K@4@@vA@S,@@@4vK@4@@K}A@Ze@@@4_K@4r@@m@@ k@@@42K@4[@@@@K@40@@@ @Ġ-Lstringswitch@;-Lstringswitch@@@@ @&stringQ@@@ @@@@ @@ @@@ @@@ @@@ @@@ @DJ@V@A61( (72("(i@@@@@EF@@@@@+~3GFFGGGGG@ k@@@ఠ%casesŠRS@kuA@@:@9@@@+@ @@@+@@+@@@+@ఠ$failƠmn@vA@@@@@@+@@@+.@@{|@@B@@@+6@@@n@@ 8@@ 8@@@@ఠ)fail_case(@IA@@B@@@@4K@4Š@N@@@4K@4@@4K@4@@@4K@43@ ]V@W@XC<@=@>@@@ఐI$fail @ @@f@@@4@@@43@@@@Ġ$None $@0@@@@{@@@4@@@4-@@@@@4@@@44@@@ภ(*@{@@@T<@Ġ$Some+5+9@wఠ$fail)+:+>@JA@@@@@4>@@@@@Π@@@4@@@4F@@ՠ@@@4@@@4M@@@ภ+C+ZA%@ +D@@ +E@@3@z0)@*@+@@@@ఐ6$fail-+U.+Y@ @@@@@@K@4@ภ &A@ 'A@K@4@@@4M@4 @@B+B0@@"@@@AD2@@@A@F4@@ఐ =compute_and_join_sizes_switchPdjQd@ @@@  c@@@4@@@4@@4@  @J@@@5&J@4ࠠ@ @@@4@@4@@@4@@@4@@4 @@@4@@4@@43xwwxxxxx@@@@@@@ఐ s#envdd@ @@ @@ภddAఐK%cases d@ @@ 0@@@ )@@@4@@4@@@4K@5 K@5(K@5$7@ภd%Aʠఐ5)fail_case d@E @@&K@54K@5A"ఐ$body 4@" @@ F@5b(@ภ*#6A5ఐ'handler ,=@4 @@K@5j;@ภ &A@ 'A@#L@5d@@@5iK@5oJ@@0A@,F@5]@@@5aK@5hS@@I/:@@F@EF@5_F@5`Z@@f@@@K[@Ġ+LifthenelseZ?E[?P@;+Lifthenelse`@ @@@  @@@ @@@ @CN@V@Ac8)v)xd8)v)@@@@ఠ%_condˠv?Rw?W@{A@@$@@@+3zyyzzzzz@ @@@ఠ$ifso̠?Y?]@|A@@3@@@+@ఠ%ifnot͠?_?d@}A@@A@@@+@@@A?e@@@@@@@ఐs6compute_and_join_sizesioi@w@@@u@@5t@q@@5sc@@5r@@5q3@ B;@<@=4-@.@/' @!@"@@@@ఐ#envii@ @@@@ภӰiiAߠఐQ$ifso i@" @@K@5*@ภiAఐV%ifnot i@4 @@K@5=@ภհ &A@ 'A@WL@5@@@5K@5L@@0A@`F@5@@@5K@5U@@i:@@F@5Y@@e=@@Z@Ġ)Lsequence@;)Lsequence@@@@ @@@ @BO@V@A9))9))@@@@@()@@@@@+3*))*****@N@@@ఠ!eΠ56@N~A@@@@@+@@@)=@@>@@>@@@ఐf7compute_expression_sizeGH@(@@@e@@5@R@@5M@@5@@53ONNOOOOO@t#@@@@@@ఐJ#env_`@@@y@@ఐ7!elm@@@(K@5@@+@@m @Ġ&Lwhile@;&Lwhile@/@@@ 3@@@ @BP@V@A:)):))@@@6@@@@@@@@+l@@@E@@@+q@@@ @@r@@r@Ġ$Lfor@;$Lfor@!t@@@ ]@@@ a@@@  .direction_flag@@@ àk@@@ @EQ@V@A;));)* @@@n@@@@"@@@+@@@}@@@+@@ @@@@+@@@"@@@+@@@@@@+@@@?@@@@@@g@@@Ġ'Lassign@;'Lassign@!t@@@ Š@@@ @BR@V@A<*!*#<*!*@@@@@@  @@@@@+@@@@@@+@@@" @@@@@@ @@@@@ภ(Constant  @ @@@@Ġ%Lsend%  &  @;%Lsend+@)meth_kind@@@ Ǡ@@@ Ƞ@@@ ɠ 8@@@ @@@ ʠ@@@ @ES@V@A==*A*C>=*A*@@@@@L  M  @@$@@@+$@@@@@@+)@@ @@@@+.@@@% @@@+@@@+7@@@+@@@+<@@@E@@j=@@j=@@@ఐ,dynamic_sizes  t  +@L@@@@@@5@@5BK@5@@5R@@ภ  ,  .@@@@@@@5K@5b@@@@c@Ġ&Levent / 5 / ;@;&Levent@I@@@ ͠M,lambda_event@@@ @BT@V@A>**>**@@@R@ఠ!eϠ / = / >@A@@b@@@+@@ / @ / A@@@@@+@@@* / B@@@@@@@ఐ7compute_expression_size F L F c@@@@@@5@@@5@@5@@53@+$@%@&@@@@ఐѠ#env F d F g@@@@@ఐ?!e F h F i@@@K@5@@+@@ @Ġ'Lifused j p j w@;'Lifused @!t@@@ Ϡ@@@ @BU@V@A ?** ?**@@@@@ j x j y@@@@@+@@@@@@@+E@@@" @@%F@@%F@@@ภ(Constant+ j }, j @ @@@)O@@@A/@@+3-,,-----@Q@@@A@@O@@E@<@@E7@@E@@E~F@Ez @@@=@@@@@@+@ @@+@@+@@+3IHHIIIII@B@@@࣠@#envAX  Y  @qOA@@%3YXXYYYYY@@@@@@@@(branchesAg  h  @PA@@,3hgghhhhh@P7@@@@@@@@డ$List)fold_left}  ~  @     @@ @@@@@H@E@@E@L@@E@@E@@E@@E@ @@E@ZW@@@E@@E@@E@@E@@E3@5Ac@8@9@@@@࣠@$sizeA    @QA@@'3@@@@@@@&branchA    @RA@@|3@%9@@@@@@@@ఐĠ*join_sizes    @c@@@@@@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@@ఐ砐(branchesK!!)L!!1@@@@@@@@A@@@@F @@@F @@F@@FF@F@@@[  @@РШ@б@г %Identt!X!qu!X!v@x!X!wy!X!z@@}!X!{~!X!|@ @г,binding_size!X!d!X!p@@@@@*3@@@@@@-@@@* @@б@г$$list!X!!X!@г)$list!X!!X!@В@А!a1@*$!X!!X!@@@г01!X!!X!@@7@@@*3@@@@@ @@*: @@@R @@@*?!X!(@@@\ @@@*E6@@гD$size!X!!X!@@L@@@*Q@@@@@*@@*V @@@Y@@* @@*[a@@=@@*_@YA@@@@@@+'@@@+&@@+%@@Y@+@@@@+$@@+#@@@+"@@@+!@@+ @@@+@@+@@+ @@+@࣠@#envA !! !!@ 7TA@@x@@@FG@@@FF3 * ) ) * * * * *@H;@@@A@@@A@ 3!X!a 4!X!b@@@@ LSA@@@@@@)all_casesA @!! A!!@ YUA@@@$@@@Fg@@@@Fh@@Ff@@@Fe@@@Fd3 Y X X Y Y Y Y Y@0G=:@@@FE@@@FD@E@F@@@@'&@@డ$List)fold_left u!! v!!@  y!! z!!@@ @@@@4J@Fp@@Fy@L@H@@@G,J@FР@VM@F@@FM@F@@@FJ@Fs@@Fx@@Fw@@Fv@@Fu@@@Ft@g @@@Fr@@Fq'@@Fo@@Fn@@Fm3        @Qukj@i@@@Fb@h@@@Fc@@Fa@@@F`@@@F_@@@@@@࣠@$sizeA !! !!@ VA@@P3        @)@@@@@@%casesA !! !!@ WA@@Y3        @9b@@@@@@@@డ`$List)fold_left !! !!@  !! !!@@ @@@@M@F@@F@|@@F@@F@@F@@F@ @@F@Ӡ@@@F@@F@@F@@F@@F3!!!!!!!!@5A@8@9@@@@࣠@$sizeA!)!"!*!"@!BXA@@'3!*!)!)!*!*!*!*!*@@@@@@@A@ఠ$_key!=!"!>!" @!VYA@@3!>!=!=!>!>!>!>!>@*!>@@@@@@ఠ&action!L!" !M!"@!eZA@@@@!Q!"!R!"@@@@@@F@@ @@ఐW*join_sizes!d""%!e""/@@@@R@@@F@@F@@@F@@F@@F3!o!n!n!o!o!o!o!o@3<@6@7.@(@)@@@@ఐ[$size!""0!""4@@@@~@@ఐ7compute_expression_size!""6!""M@q@@@@@F@@@F@@F@@F)@@ఐ#env!""N!""Q@I@@F@G@@@G<@@ఐl&action!""R!""X@D@@I@@!""5!""Y@@L@@[@@lM@!!!!""Z@@@@@F@>@@F@@F@@FN@GN@G@@ఐ $size!"["g!"["k@@@V@@ఐ%cases!"["l!"["q@Ͱ@@]@@@@@!!!!"["r@@@o@@F@m@@Fs@@F@@FK@G"K@G#@@ภ+Unreachable""s"{""s"@y@@@K@G(Z@@ఐӠ)all_cases""s"""s"@d@@֠@@@FK@G.K@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@Gxs@@@"!2!4@@@@ @@+-@ @@+,@@@++@@+*@@+)@@+(3""""""""@@@@࣠@#envA""""""@"[A@@%3""""""""@@@@@@@!pA""""""@"\A@@,3""""""""@7@@@@@@@@$argsA""""""@"]A@@03""""""""@@@@@@@@@@ఐ&!p""""""@@@N3""""""""@D@@@@@Ġ'Pignore#$""#%""@;'Pignore@@@ /@@@Bo~@A$y%y@@@b@@@  @@3#.#-#-#.#.#.#.#.@<@@@@@Ġ)Psetfield#:""#;""@;)Psetfield@ @@@ 4immediate_or_pointer@@@ @@@@@G@@@@@Q@@Q@@@@R@Ġ*Pbytessetu$#?#E$#?#O@;*Pbytessetu@@@do~@Ac R pc R |@@@X@@@  @@d@@d@@ @@e@Ġ*Pbytessets$#P#V$#P#`@;*Pbytessets@@@fo~@Ac R c R @@@Z@@@  @@w@@w@@ @@x@Ġ*Parraysetu$'#a#g$(#a#q@;*Parraysetu@*array_kind@@@ @AWo~@A*l+l@@@_@@$9#a#r$:#a#s@@@@@G @@@@@@@@@@@@Ġ*Parraysets$H#t#z$I#t#@;*Parraysets$@!@@@ @AYo~@AIn8:Jn8T@@@a@@$X#t#$Y#t#@@.@@@G,@@@@@-@@-@@;@@.@Ġ,Pbigarrayset$g##$h##@;,PbigarraysetC@$boolE@@@ @@@ "-bigarray_kind@@@ (/bigarray_layout@@@ @Dko~@A|}T@@@-y@@$##$##@@!@@@G_@@@@@@Gd@@ @@@@Gi@@@@@@Gn@@@9@@o@@o@@}@@p@Ġ-Pbytes_set_16$##$##@;-Pbytes_set_16@B@@@ $@Aso~@Axzx@@@\@@$##$##@@@@@G@@@@@@@@@@@@Ġ-Pbytes_set_32$##$##@;-Pbytes_set_32@b@@@ %@Ato~@A@@@|@@$##$##@@@@@G@@@@@9@@9@@@@:@Ġ-Pbytes_set_64$##$##@;-Pbytes_set_64@@@@ &@Auo~@A@@@@@$##$##@@@@@G@@@@@Y@@Y@@@@Z@Ġ1Pbigstring_set_16% ##% ##@;1Pbigstring_set_16@@@@ *@Ayo~@A  @@@@@%##%##@@@@@G@@@@@y@@y@@@@z@Ġ1Pbigstring_set_32%)##%*#$@;1Pbigstring_set_32@@@@ +@Azo~@A+,@@@@@%:#$%;#$@@@@@G@@@@@@@@@@@@Ġ1Pbigstring_set_64%I$$%J$$)@;1Pbigstring_set_64%@@@@ ,@A{o~@AKL@@@@@%Z$$*%[$$+@@@@@G.@@@@@/@@/@@=@@0@Ġ%Ppoll%i$,$2%j$,$7@;%PpollE@@@no~@Afg@@@@@@  @@B@@B@@P @@C@@@ภ(Constant%z%%%{%%@3@@@L@Ġ*Pduprecord%%%%%%(@;*Pduprecordc@%Types5record_representation@@@ >@@@ @BIo~@AF  F  @@@Cn@ఠ&repres%%%*%%%0@%^A@@@@@G3%%%%%%%%@@@@ఠ$size%%%2%%%6@%_A@@#@@@G@@@5%%%7@@@@@@@ఐ!&repres%%;%O%%;%U@ @!@"@@>@@@H3%%%%%%%%@/ @@@@@Ġ.Record_regular%%[%e%%[%s@;.Record_regular%Types5record_representation@@@L@@@@BC@A0typing/types.mliDSqSuDSqS@@@ @@@@@f@@@M(@@(@Ġ.Record_inlined%%[%v%%[%@;.Record_inlined@#intA@@@L@AABC@AGTQTSGTQTj@@@%@@&%[%&%[%@@@@@MH@@@@@@@@ML@@L@@; @@@@@MP@Ġ0Record_extension&%%[%&&%[%@;0Record_extensionF@$Path!t@@@L@ABBC@AGHTTHHTT@@@O@@&:%[%&;%[%@@@@@Mr@@@@@@@@Mv@@v@@e @@@@@Mz@@@ภ%Block&M%%&N%%@;!@!A@CA@A!! @ ภ-Regular_block&X%%&Y%%@ఐ$size&b%%&c%%@@@!@@@MM@MM@M@@&m%%&n%%@@!2@@@MM@M@@(@@@Ġ,Record_float&%%&%%@;,Record_float@@@ABC@AESSESS@@@@@@  @@@@@M@@@@@M@@@ภ%Block& %%& %%@Hภ,Float_record& %%& %%@ఐ$size& %&& %&@ڰ@@" @@@MM@MM@M@@& %%& %&@@!x@@@MM@M@@&@@@Ġ.Record_unboxed& &&& &&@;.Record_unboxed@$boolE@@@L@A@BC@AFTTFTT@@@@@& &&& && @@@@@M@@@@@R@@@M@@U@@@M@@@డ /+fatal_error$Misc& &$&0& &$&4@ & &$&5& &$&@@@ -@@@ -@@@M@@MN@M@@M5@@1size_of_primitive'  &$&B'  &$&S@@'  &$&A' &$&T@@ C@@@MN@MN@MI@@& @@]J@@@A'%;%C' &U&`@@`M@Ġ*Pmakeblock'$ &a&g'% &a&q@;*Pmakeblock@@@@ ޠ,mutable_flag@@@ ߠ+block_shape@@@ @CBo~@A2~(*3~(Z@@@e@@'A &a&r'B &a&s@@@@@G@@@@@@G@@ @@@@G@@@-@@@@@@@ภ%Block'W']'e'X']'j@ ภ-Regular_block'`']'l'a']'y@డ%$List&length'p']'{'q']'@ 't']''u']'@@@;!a@0@@@0@@0#intA@@@0@@0@kk @@C@ @@@RF@3F@N@@@N@@N@@@N@@N@@ఐ̠$args'']''']'@@@@@'']'z'']'@@#@@@N@NL@N @@'']'k'']'@@"|@@@NK@N @@h@@@Ġ.Pmakelazyblock''''''@;.Pmakelazyblock@x.lazy_block_tag@@@ @ACo~@A[][@@@}f@@''''''@@@@@G4@@@@@:5@@:5@@@ภ%Block''''''@ภ*Lazy_block''''''@t@@@"@@@N$K@N(L@@@@?M@Ġ*Pmakearray(''(''@;*Pmakearray@@@@ ,mutable_flag@@@ @BSo~@A e   e  @@@[@ఠ$kind(''(''@(6`A@@@@@H3(!( ( (!(!(!(!(!@/@@@@((''()''@@@@@H @@@+(.''@@ @@ @@@@ఠ$sizei(9''(:''@(RcA@@@@@N6L@N)3(?(>(>(?(?(?(?(?@N+$@%@&@@@డ&$List&length(R''(S''@ (V''(W''@@@@@F@N/@@@N.@@N-@@@N,@@N+$@@ఐ$args(p''(q'(@{@@1@@"@@52@A@(u''@@ఐb$kind((((((@=@@V@@@N;3((((((((@DRK@L@M@@@Ġ)Pgenarray(($(.(($(7@;)Pgenarrayn@@@ 6@@@@D@@A@@@ G@@@  @@w@@@N?!@@!@Ġ*Paddrarray(($(:(($(D@;*Paddrarray@@@AD@@A@@@ \@@@  @@@@@NB6@@6@@& @@@@@NC:@Ġ)Pintarray(($(G(($(P@;)Pintarray1@@@BD@@A@@@ u@@@  @@@@@NFO@@O@@? @@@@@NHS@@@ภ%Block((T(`((T(e@ภ-Regular_block((T(g((T(t@ఐ$size((T(u((T(y@l@@$a@@@NYM@N[M@NZv@@((T(f((T(z@@#@@@NSM@NX~@@&@@J@Ġ+Pfloatarray)({()({(@;+Pfloatarrayx@@@CD@@A  @@@ @@@  @@@@@NL@@@@@NM@@@ภ%Block)$(()%((@נภ,Float_record)-(().((@,ఐ$size)7(()8((@@@$@@@NfM@NhM@Ng@@)B(()C((@@$@@@N`M@Ne@@&@@@@@A)K(()L((@@@@@ @Ġ)Pduparray)X(()Y((@;)Pduparray4@1@@@ E,mutable_flag@@@ @BTo~@A_f  `f @@@!\@@)n(()o((@@D@@@H3)p)o)o)p)p)p)p)p@~@@@@ @@@@H @@@" @@@@@@@ఐ$args))$)8))$)<@@@@Ġ) )B)M) )B)QAఠ#argj ) )B)P@)dA @@F@No)@Ġ; A:@@ A@) @@@Nt4@@@) )B)L@@6@@6@@@ఐѠ7compute_expression_size)!)U)a)!)U)x@@@@@@N@@@N@@N@@N3))))))))@+%@&@'@@@@ఐ #env)!)U)y)!)U)|@@@.@@ఐ?#arg)!)U)})!)U)@@@?@@)@@!@Ġ)")))"))@@@@@5v@@5v@Ġ"::)")))"))@ @)")))"))@@aF@Nx@Ġ*"))*"))@ @*"))*"))@@pQ@N|@@* "))* "))@@)o @@@N~@@@@@)t@@@N@@@" @@d@@d@@3 @@e@@@డ#d+fatal_error$Misc*&#))*'#))@ **#))*+#))@@#b@@@#b@@@N@@N0N@N@@N@@1size_of_primitive*?#))*@#))@@*B#))*C#))@@#x@@@NN@NN@N@@& @@@@@A*M)$),*N$))@@+@Ġ&Praise*Y&))*Z&))@;&Praise5@"*raise_kind@@@ @AKo~@A \O   ]O  @@@" t@@*k&))*l&))@@@@@H @@@@@@@@@@ภ+Unreachable*w'))*x')*@"@@@@Ġ(Pctconst*)** *)**@;(Pctconst`@"35compile_time_constant@@@ -@A|o~@A   -@@@"8@@*)***)**@@@@@H(@@@@@)@@)@@@ภ(Constant*,***,**@[@@@2@Ġ&Pccall*.***.**@;&Pccall@)Primitive+description@@@ @AJo~@A M N P M N q@@@"fs@ఠ$prim*.***.**@*aA@@@@@H@@@!@@)@@)@@@ఐ"7find_size_of_alloc_prim*/***/*+@@@@)@@@N@@N@""@@@N@@@N@@N""@@@N@@@N@@N@@N3********@5.@/@0@@@@ఐ<$prim+/*++/*+@ @@).@@@NM@NM@N@@ఐ;$args+/*++/*+ @#@@g$@@A@@""@@@N@@@N,@Ġ$Some+-0+++.0++@ ఠ$sizek+60+++70++#@+OeA@@"@@@NF@@@@@"ݠ"@@@N@@@NN@@""@@@N@@@NU@@@ภ%Block+R0++'+S0++,@ఐ&$size+\0++-+]0++1@%@&@'@@&%@@@NM@NM@N3+d+c+c+d+d+d+d+d@q7 @@@@ @@@Ġ$None+t1+2+<+u1+2+@@ @@@@##@@@N@@@N@@##@@@N@@@N@@@ఐ% ,dynamic_size+1+2+D+1+2+P@$g@@@%@@@N@@NN@N@@N@@ภ$+1+2+Q+1+2+S@$@@@%@@@NN@O@@@@@@@A+/**+2+T+_@@3++++++++@@@@Ġ0Pbytes_to_string,]4+a+g,^4+a+w@;0Pbytes_to_string 9@@@@o~@A"Zw"[w@@@$ `@@@  @@ r@@ r@Ġ0Pbytes_of_string,o5+x+~,p5+x+@;0Pbytes_of_string K@@@Ao~@A"lx"mx@@@$a@@@  @@ @@ @@ @@ @Ġ*Pgetglobal,6++,6++@;*Pgetglobal ^@!t@@@ @A@o~@A"{"{@@@$7c@@,6++,6++@@@@@H @@@@@ @@ @@?@@ @Ġ*Psetglobal,7++,7++@;*Psetglobal @!t@@@ @AAo~@A"|"|@@@$Yd@@,7++,7++@@@@@H @@@@@ @@ @@a@@ @Ġ&Pfield,8++,8++@;&Pfield @t@@@  @@@ ",mutable_flag@@@ @CDo~@A"@"@@@@$g@@,8++,8++@@@@@H @@@ @@@H  @@ @@@@H! @@@+@@J @@J @@@@K @Ġ/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-@<+,-A<+, @;(Pperform @@@Eo~@A#=I  #>I  @@@$p@@@  @@ U@@ U@@ @@ V@Ġ'Presume-S=, ,-T=, ,@;'Presume /@@@Fo~@A#PJ  #QJ  (@@@%q@@@  @@ h@@ h@@ @@ i@Ġ*Preperform-f>,,!-g>,,+@;*Preperform B@@@Go~@A#cK ) +#dK ) 7@@@%r@@@  @@ {@@ {@@ @@ |@Ġ(Psequand-y?,,,2-z?,,,:@;(Psequand U@@@Ho~@A#vQ  #wQ  @@@%'u@@@  @@ @@ @@' @@ @Ġ'Psequor-?,,,=-?,,,D@;'Psequor h@@@Io~@A#Q  #Q  @@@%:v@@@  @@ @@ @@: @@ @Ġ$Pnot-?,,,G-?,,,K@;$Pnot {@@@Jo~@A#Q  #Q  @@@%Mw@@@  @@  @@  @@M @@  @Ġ'Pnegint-@,L,R-@,L,Y@;'Pnegint @@@Ko~@A#S  #S  @@@%`x@@@  @@  @@  @@` @@  @Ġ'Paddint-@,L,\-@,L,c@;'Paddint @@@Lo~@A#S  #S  @@@%sy@@@  @@ ( @@ ( @@s @@ ) @Ġ'Psubint-@,L,f-@,L,m@;'Psubint @@@Mo~@A#S  #S  @@@%z@@@  @@ ; @@ ; @@ @@ < @Ġ'Pmulint-@,L,p-@,L,w@;'Pmulint @@@No~@A#S  #S  @@@%{@@@  @@ N @@ N @@ @@ O @Ġ'Pdivint-A,x,~-A,x,@;'Pdivint @%'is_safe@@@ @ALo~@A$T  $T  2@@@%|@@.A,x,.A,x,@@@@@H3 @@@@@ o !@@ o !@@@@ p "@Ġ'Pmodint.A,x,. A,x,@;'Pmodint @!@@@ @AMo~@A$ T  3$!T  G@@@%}@@./A,x,.0A,x,@@.@@@H6 ?@@@@@  @@@  @@@@@  A@Ġ'Pandint.>B,,.?B,,@;'Pandint @@@Oo~@A$;U H J$<U H S@@@%~@@@  @@  S@@  S@@ @@  T@Ġ&Porint.QB,,.RB,,@;&Porint -@@@Po~@A$NU H T$OU H \@@@%@@@  @@  f@@  f@@ @@  g@Ġ'Pxorint.dB,,.eB,,@;'Pxorint @@@@Qo~@A$aU H ]$bU H f@@@&@@@@  @@  y@@  y@@ @@  z@Ġ'Plslint.wC,,.xC,,@;'Plslint S@@@Ro~@A$tV g i$uV g r@@@&%A@@@  @@  @@  @@% @@  @Ġ'Plsrint.C,,.C,,@;'Plsrint f@@@So~@A$V g s$V g |@@@&8B@@@  @@  @@  @@8 @@  @Ġ'Pasrint.C,,.C,,@;'Pasrint y@@@To~@A$V g }$V g @@@&KC@@@  @@! @@! @@K @@! @Ġ(Pintcomp.D,,.D,,@;(Pintcomp @&_2integer_comparison@@@ @ANo~@A$W  $W  @@@&dD@@.D,,.D,,@@@@@H? @@@@@!! @@!! @@l@@!" @Ġ-Pcompare_ints.E,,.E,,@;-Pcompare_ints @@@Uo~@A$Y  $Y  @@@&E@@@  @@!4 @@!4 @@ @@!5 @Ġ/Pcompare_floats.E,,.E,- @;/Pcompare_floats @@@Vo~@A$Y  $Y  @@@&F@@@  @@!G @@!G @@ @@!H @Ġ.Pcompare_bints.E,-.E,-@;.Pcompare_bints @&-boxed_integer@@@ @AOo~@A$Y  $Y  6@@@&G@@/ E,-/ E,- @@@@@HD @@@@@!h @@!h @@@@!i @Ġ+Pintoffloat/F-!-'/F-!-2@;+Pintoffloat @@@Wo~@A%] | ~%] | @@@&J@@@  @@!{ -@@!{ -@@ @@!| .@Ġ+Pfloatofint/+F-!-5/,F-!-@@;+Pfloatofint @@@Xo~@A%(] | %)] | @@@&K@@@  @@! @@@! @@@ @@! A@Ġ)Pnegfloat/>G-A-G/?G-A-P@;)Pnegfloat @@@Yo~@A%;^  %<^  @@@&L@@@  @@! S@@! S@@ @@! T@Ġ)Pabsfloat/QG-A-S/RG-A-\@;)Pabsfloat -@@@Zo~@A%N^  %O^  @@@&M@@@  @@! f@@! f@@ @@! g@Ġ)Paddfloat/dH-]-c/eH-]-l@;)Paddfloat @@@@[o~@A%a_  %b_  @@@'N@@@  @@! y@@! y@@ @@! z@Ġ)Psubfloat/wH-]-o/xH-]-x@;)Psubfloat S@@@\o~@A%t_  %u_  @@@'%O@@@  @@! @@! @@% @@! @Ġ)Pmulfloat/H-]-{/H-]-@;)Pmulfloat f@@@]o~@A%_  %_  @@@'8P@@@  @@! @@! @@8 @@! @Ġ)Pdivfloat/H-]-/H-]-@;)Pdivfloat y@@@^o~@A%_  %_  @@@'KQ@@@  @@" @@" @@K @@" @Ġ*Pfloatcomp/I--/I--@;*Pfloatcomp @'_0float_comparison@@@ @ARo~@A%`  %`  @@@'dR@@/I--/I--@@@@@HO @@@@@"! @@"! @@l@@"" @Ġ-Pstringlength/J--/J--@;-Pstringlength @@@_o~@A%b # %%b # 4@@@'S@@@  @@"4 @@"4 @@ @@"5 @Ġ+Pstringrefu/J--/J--@;+Pstringrefu @@@`o~@A%b # 5%b # B@@@'T@@@  @@"G @@"G @@ @@"H @Ġ+Pstringrefs/J--/J--@;+Pstringrefs @@@ao~@A%b # D%b # Q@@@'U@@@  @@"Z @@"Z @@ @@"[ @Ġ,Pbyteslength0 K--0 K--@;,Pbyteslength @@@bo~@A&c R T&c R b@@@'V@@@  @@"m @@"m @@ @@"n @Ġ*Pbytesrefu0K--0K--@;*Pbytesrefu @@@co~@A&c R c&c R o@@@'W@@@  @@" 2@@" 2@@ @@" 3@Ġ*Pbytesrefs00K--01K-.@;*Pbytesrefs @@@eo~@A&-c R }&.c R @@@'Y@@@  @@" E@@" E@@ @@" F@Ġ,Parraylength0CL..0DL..@;,Parraylength @ @@@ @AUo~@A&Dj&Ej@@@']@@0SL..0TL..@@ )@@@HX c@@@@@" d@@" d@@@@" e@Ġ*Parrayrefu0bM..0cM..'@;*Parrayrefu >@ ;@@@ @AVo~@A&ck&dk@@@(^@@0rM..(0sM..)@@ H@@@H[ @@@@@" @@" @@@@" @Ġ*Parrayrefs0N.*.00N.*.:@;*Parrayrefs ]@ Z@@@ @AXo~@A&m&m7@@@(3`@@0N.*.;0N.*.<@@ g@@@H^ @@@@@" @@" @@;@@" @Ġ&Pisint0O.=.C0O.=.I@;&Pisint |@@@go~@A&p&p@@@(Nb@@@  @@# @@# @@N @@# @Ġ&Pisout0P.J.P0P.J.V@;&Pisout @@@ho~@A&r&r@@@(ac@@@  @@# @@# @@a @@# @Ġ*Pbintofint0Q.W.]0Q.W.g@;*Pbintofint @@@@ @AZo~@A&t.0&t.M@@@(xd@@0Q.W.h0Q.W.i@@@@@Hc @@@@@#5 @@#5 @@@@#6 @Ġ*Pintofbint0R.j.p0R.j.z@;*Pintofbint @@@@ @A[o~@A&uNP&uNm@@@(e@@0R.j.{0R.j.|@@@@@Hf@@@@@#T@@#T@@@@#U@Ġ(Pcvtbint1S.}.1S.}.@;(Pcvtbint @ @@@ @@@ @B\o~@A' vnp' vn@@@(f@@1S.}.1S.}.@@@@@Hj(@@@#@@@Hk-@@@ @@#|.@@#|.@@ @@#}/@Ġ(Pnegbint1,T..1-T..@;(Pnegbint@5@@@ @A]o~@A'-w'.w@@@(g@@1<T..1=T..@@B@@@HnL@@@@@#M@@#M@@@@#N@Ġ(Paddbint1KU..1LU..@;(Paddbint'@T@@@ @A^o~@A'Lx'Mx@@@(h@@1[U..1\U..@@a@@@Hqk@@@@@#l@@#l@@@@#m@Ġ(Psubbint1jV..1kV..@;(PsubbintF@s@@@ @A_o~@A'ky'ly@@@)i@@1zV..1{V..@@@@@Ht@@@@@#@@#@@$@@#@Ġ(Pmulbint1W..1W..@;(Pmulbinte@@@@ @A`o~@A'z'z.@@@);j@@1W..1W..@@@@@Hw@@@@@#@@#@@C@@#@Ġ(Pdivbint1X..1X..@;(Pdivbint@$@@@ 3@Aao~@A'{/1'{/j@@;@@$size0@@@@@ '{/A'{/V@@)ik@'is_safe1@@@@@ '{/W'{/h@@)tl@@aA@@@@@1@@@1AA)wm@@1X..1X..@@*@@@Hz@@@3@@$4@@$4@@@@$5@Ġ(Pmodbint1Y..1Y..@;(Pmodbint@$A@@@ 1@Abo~@A'|km'|k@@;@@$size3@@@@@ '|k}'|k@@)n@'is_safe4@@@@@ '|k(|k@@)o@@bA@@@@@2@@@2#@A)p@@2Y..2Y..@@*@@@H}!@@@3@@$p"@@$p"@@@@$q#@Ġ(Pandbint2 Z..2!Z./@;(Pandbint@)@@@ @Aco~@A(!}("}@@@)q@@20Z./21Z./@@6@@@H@@@@@@$A@@$A@@@@$B@Ġ'Porbint2?[// 2@[//@;'Porbint@H@@@ @Ado~@A(@~(A~@@@)r@@2O[//2P[//@@U@@@H_@@@@@$`@@$`@@@@$a@Ġ(Pxorbint2^\//2_\//#@;(Pxorbint:@g@@@ @Aeo~@A(_(`@@@*s@@2n\//$2o\//%@@t@@@H~@@@@@$@@$@@@@$@Ġ(Plslbint2}]/&/,2~]/&/4@;(PlslbintY@@@@ @Afo~@A(~(@@@*/t@@2]/&/52]/&/6@@@@@H@@@@@$@@$@@7@@$@Ġ(Plsrbint2^/7/=2^/7/E@;(Plsrbintx@@@@ @Ago~@A( (;@@@*Nu@@2^/7/F2^/7/G@@@@@H@@@@@% @@% @@V@@% @Ġ(Pasrbint2_/H/N2_/H/V@;(Pasrbint@@@@ @Aho~@A(<>(<Y@@@*mv@@2_/H/W2_/H/X@@@@@H@@@@@%*@@%*@@u@@%+@Ġ)Pbintcomp2`/Y/_2`/Y/h@;)Pbintcomp@@@@ .@@@ @Bio~@A(Z\(Z@@@*w@@2`/Y/i2`/Y/j@@@@@H@@@@@@@H@@@ @@%R@@%R@@ @@%S@Ġ,Pbigarrayref3a/k/q3a/k/}@;,Pbigarrayref@@@@ @@@ @@@ @@@ @Djo~@A))@@@*x@@3 a/k/~3!a/k/@@@@@H0@@@@@@H5@@ @@@@H:@@@@@@H?@@@3@@%@@@%@@@@@%A@Ġ,Pbigarraydim3>b//3?b//@;,Pbigarraydim@@@@ @Alo~@A)@)A@@@*z@@3Ob//3Pb//@@@@@H_@@@@@%`@@%`@@@@%a@Ġ/Pstring_load_163^c//3_c//@;/Pstring_load_16:@@@@ @Amo~@A)`)a@@@+{@@3oc//3pc//@@@@@H@@@@@%@@%@@@@%@Ġ/Pstring_load_323~d//3d//@;/Pstring_load_32Z@@@@ @Ano~@A)) @@@+1|@@3d//3d//@@@@@H@@@@@%@@%@@9@@%@Ġ/Pstring_load_643e//3e//@;/Pstring_load_64z@7@@@ @Aoo~@A)  ) &@@@+Q}@@3e//3e//@@@@@H@@@@@&@@&@@Y@@&@Ġ.Pbytes_load_163f//3f//@;.Pbytes_load_16@W@@@ !@Apo~@A)'))'A@@@+q~@@3f//3f//@@@@@H@@@@@&.@@&.@@y@@&/@Ġ.Pbytes_load_323g//3g/0@;.Pbytes_load_32@w@@@ "@Aqo~@A)BD)B\@@@+@@3g/0 3g/0 @@@@@H@@@@@&N@@&N@@@@&O@Ġ.Pbytes_load_643h0 03h0 0@;.Pbytes_load_64@@@@ #@Aro~@A*]_*]w@@@+@@4h0 0 4h0 0!@@@@@H@@@@@&n @@&n @@@@&o!@Ġ2Pbigstring_load_164i0"0(4i0"0:@;2Pbigstring_load_16@@@@ '@Avo~@A* 24*!2P@@@+@@4/i0"0;40i0"0<@@@@@H?@@@@@&@@@&@@@@@&A@Ġ2Pbigstring_load_324>j0=0C4?j0=0U@;2Pbigstring_load_32@@@@ (@Awo~@A*@QS*AQo@@@+@@4Oj0=0V4Pj0=0W@@@@@H_@@@@@&`@@&`@@@@&a@Ġ2Pbigstring_load_644^k0X0^4_k0X0p@;2Pbigstring_load_64:@@@@ )@Axo~@A*`pr*ap@@@,@@4ok0X0q4pk0X0r@@@@@H@@@@@&@@&@@@@&@Ġ(Pbswap164~l0s0y4l0s0@;(Pbswap16Z@@@io~@A*{@B*|@L@@@,,@@@  @@&@@&@@, @@&@Ġ'Pbbswap4m004m00@;'Pbbswapm@@@@ .@A}o~@A*MO*Mi@@@,C@@4m004m00@@@@@H@@@@@'@@'@@K@@'@Ġ/Pint_as_pointer4n004n00@;/Pint_as_pointer@@@jo~@A**@@@,^@@@  @@'@@'@@^ @@'@Ġ,Patomic_load4o004o00@;,Patomic_load@@@ko~@A**@@@,q@@@  @@'&@@'&@@q @@''@Ġ'Popaque4p004p00@;'Popaque@@@lo~@A**@@@,@@@  @@'9@@'9@@ @@':@Ġ(Pdls_get4q004q00@;(Pdls_get@@@mo~@A* "* ,@@@,@@@  @@'L@@'L@@ @@'M@@@ఐ.|,dynamic_size4r004r00@-ְ@@@.w@@@O@@O (L@O @@O @@ภ.m5r005r00@.l@@@.@@@OL@O$@@@@'`%@@@A5"" @@'b@] A@@'@@O@'@@O@'w@@O'q@@O@@O@@OF@O~g@@@5,""@@ఐ(U7compute_expression_size56t0057t01@(@@@(R(I@@@O@@@O@@O@,@@@O@@O(@@@O@@O@@O35K5J5J5K5K5K5K5K@(2@@@@డ/-#Map%empty%Ident5at015bt01@ 5et015ft01@@5jt015kt01!@ @(!a@4@@@:@'-@')E@ @@((@@@OF@OF@O@@@O5@@ఐ(Š#lam5t01"(@((@@(A@@Z(@@(B@T(@@((@((A@(D@O(@A@(@((@(ؠ@ఠ3lfunction_with_bodyl5v1'1+5v1'1>@5fA@@@% @@@OD@O@@O@-a@@@PaD@P@@P%@@@P[D@P@@PD@O@@OD@O355555555@)))@)@)@@@࣠@/*tAঠ$kind5v1'1A5v1'1EA3$kind%1@@@ --function_kind@@@ @@@ 3¶ms "ߠ@'!t@@@ ؠ@%@@@ @@ @@@ @@A@@+K+++K+,@@-#@3&return%%#@@@ @@B @@+L,,"+L,,5@@-$@3$body.-@@@ @@C)@@+M,6,:+M,6,G@@-%@3$attr7-2function_attribute@@@ @@D4@@,N,H,L, N,H,e@@-&@3#locB @@@ @@E=@@,O,,,O,,@@-'@@@,J++,J++@@-"@ఠVnWVU@6=gA@P@@@P36'6&6&6'6'6'6'6'@l6.v1'1'6/w1t1@@@@¶ms66v1'1G67v1'1MA[ఠo@6ThA@_@^@@@P@%t@@@P @@P@@@P$@&return6Tv1'1O6Uv1'1UA_ఠp@6riA@%@@@P 5@$body6ev1'1W6fv1'1[@g@6iv1'1^6jv1'1_@@.@@@PD@$attr6tv1'1a6uv1'1eAmఠq@6jA@q@@@PU@#loc6v1'1g6v1'1jAsఠr@6kA@!R@@@Pf@@@6v1'1?6v1'1l@@F@Ok@@@@$bodysA6v1'1m6v1'1q@6lA@@366666666@~@@pm@o@nSP@R@Q41@3@2$!@#@"@@@@@@డ5 *lfunction'6w1t1v6w1t1@$kind@@@ R@@ Q¶ms#ˠ@(!t@@@ O@&@@@ P@@ N@@@ M@@ L&return&@@@ K@@ J$body.@@@ I@@ H$attr@@@ G@@ F#loc!@@@ E@@ D&`@@@ C@@ B@@ A@@ @@@ ?@@ >@@ =@,55,66@@.K@RQ@@O8@@@P8@@P7MK@J@@@P5@&L@@@P6@@P4@@@P3@@P2G&T@@@P1@@P0E.@@@P/@@P.C-@@@P-@@P,A"@@@P+@@P*&@@@P)@@P(@@P'@@P&@@P%@@P$@@P#37B7A7A7B7B7B7B7B@@@@@@ఐ+$kind7Rw1t17Sw1t1@@@@@@PjG@PlG@Pk@ఐ(¶ms7fw1t17gw1t1@@@@@@@Pg@&@@@Ph@@Pf@@@PeG@PqG@Pm8@ఐ+&return7w1t17w1t1@ް@@&@@@PcG@PvG@PuL@ఐ$body7w1t17w1t1@V@@Y@ఐ,$attr7w1t17w1t1@@@@@@P_G@PyG@Pxm@ఐ/#loc7w1t1@@@"@@@P]G@P}G@P|@@ @@ @6A@#D@P@A@@@ 77ܐ7 {1. Function Lifting} 7y117y11@@@@@@377777777@A:@;@<@@A+/lifted_functionuD788788@@;@@$lfunv@@6I)lfunction@@@P7887883@@8nA4free_vars_block_sizew@@7@@@P884888848S@@8oA@@A@@@@@88888T8W@@@@8mA@#888@@@Ш@г"&Lambda888"888(@)888)8882@@@1388888888@F?;@@@A@@@@@@@@@@ @@8@@P@2@#..)8+848L@(@@Ш@г1#int84848O85848R@@9@@<@@P@8@@A@4@@43@_A+,split_resultxE8C8Y8a8D8Y8m@А!a@P38J8I8I8J8J8J8J8J@tmg;@@P@A@A@G@B@@@8X8Y8Y8Y88@@@@8qpA@@8\8Y8^8]8Y8`@@BA@;@A+Unreachabley@@8h8p8r8i8p8@@8qA)Reachablez@@@P.F@P@@8y88!@@8rA@@A@Y@@@@@&@@@#@#88p8t@@@@@#888888@@г/lifted_function888888@@#G@@А!a#L888B@@@@#@@A@D@@DC@388888888@N@@@ఠ$let+{888888@8sA@@@x@@PF@P@@@PF@P@@P@@@@P@@PF@PƐA@PF@P@@P@@@PF@P@@PF@P@@PF@P388888888@w@@@࣠@#res}A888888@8tA@@3388888888@B888889 @@@@@  @@!f~A888888@9uA@@6388888888@!J@@@@@@@@ఐ)#res988988@@@X399999999@J@@@@@Ġ+Unreachable988988@;f@@P@@@@AA@A@@@@@@m399999999@@@@@n@@@ภ+Unreachable9&889'88@@@@[ @Ġ)Reachable93889488@;@B@AA@A@@ఠ$func9>889?88@9WvA@@@@@P;@ఠ#lam9L899M89@9ewA@@F@PH@@@ 9S89@@J@@J@@@ภ)Reachable9Z89 9[89@'ఐ&$func9d899e89@%@&@'@@@@@PJ@PJ@P39l9k9k9l9l9l9l9l@g8 *#@$@%@@@ఐ!f9}899~89@s@@@@ఐ>#lam989989@@@=@@@@@@5@@ @@@A988@@r@A@F@Q@A@@@@ఠ0lifted_block_mut99999: @9xA@г(Asttypes,mutable_flag(Asttypes99:99:@ 99:99:%@@@@@@Q!399999999@@@@@ @@#"A@@@@@Q%@ภ)Immutable99:(99:1@;)Immutable/,mutable_flag@@@(@@@@B@@A/gWk/gWt@@@/R@@@г7543:0-@ @@@Q&,)@A@@F@@@Q-F@Q,2@A@999%@@&@5@ఠ&no_loc9:3:79:3:=@:yA@@)Debuginfo/Scoped_location!t@@@Q0F@Q.3: : : : : : : : @Qtj@@@Q$@q@r@@@ภ)Debuginfo::3:@::3:I@/Scoped_location:#:3:J:$:3:Y@@+Loc_unknown:):3:Z:*:3:e@@;+Loc_unknown*@@@6@@@@AA@A4lambda/debuginfo.mli\\@@@-I@@@@4@@@Q1-@A@:<:3:3@@@0Aఠ5split_static_function:I:g:o:J:g:@:bzA@@@,c@@@`1F@Q{@@Q@-q#Set!t@@@_F@Q@@Q@2@@@QF@Q@@Q08&lambda@@@Q@@@Q@@Q@@Q@@Q3:t:s:s:t:t:t:t:t@jx@y@z@@@࣠@)block_varA::g:::g:@:|A@@83::::::::@G@B@@Q|@?@@Q@8@@Q54@@@Q@@@QG@Q@@QG@Q@@QG@Q}@@Q~G@Q2@\@],rebuild_arms@`F@QY@@QwH@Qv@_F@QW@@QxH@Qu@:7@!a@Qi@9)&lambda@@@QyH@Qt@@Qs@@@Qr@@Qq:R@@9@&lambda@@@QzH@Qp@@Qo@@@Qn@@@Qm@@Ql@@Qk@@Qj@:xUU:xUU@@;{A@@@@nm@@,local_identsA::g:::g:@;}A@@3::::::::@x@{@|@@@@@@#lamA; :g:;:g:@;&~A@@3;; ; ;;;;;@@@@@@@@@ఐ#lam;::; ::@@@@@3; ;;; ; ; ; ; @@@@Ġ$Lvar;/::;0::@-Dఠ!v;8::;9::@;QA@@-L@@@Q3;<;;;;;<;<;<;<;<@@@@@@@@@@@@@@ఠ%param;K;B;J;L;B;O@;dA@@.e!t@@@RL@R3;S;R;R;S;S;S;S;S@4$@@@@@డ55,create_local%Ident;f;B;R;g;B;W@ ;j;B;X;k;B;d@@@&stringQ@@@\@@['@@@Z@@Y@-2b##-3b#@@@.E@@@@@@@R@@R6@@@R@@R4@@-let_rec_param;;B;f;;B;s@@;;B;e;;B;t@@)@@@RM@RM@RH@@9 @@NI@A@;;B;F @@@ఠ'ap_func;;x;;;x;@;A@@3[@@@RL@R3;;;;;;;;@_oh@i@j@@@ภ%Lprim;;;;;;@&ภ&Pfield;;;;;;@@;;;;;;@@@@@RL@RL@R"@ภ'Pointer;;;;;;@;'Pointer@@@ @@@AB@@A1aVX1aVa@@@3K@@  @@@@@RL@R;@ఐW0lifted_block_mut;;;;;;@@@*@@@RL@RL@RM@@<<;;@@.\@@@RL@RT@ภ%<;;<;;A2!ภ$Lvar <;;@.+ఐ)block_var< ;;<=><=@;'Curried.@@@ s@@@@B@@A4!D!Y4!D!`@@@5@@  @@9@@@SM@Sd@Nภ'">= =>= =)A4.@ఐޠ%param>)= =@t@@^@@@SM@SM@SM@S@@ภ'Pgenval><= =!>== =(@;'Pgenval-j@@@ 8@@@@CA@A4<4= @@@5@@  @@-w@@@SM@SM@S@@6@@@(@@@SM@SM@S@ภ'C$EA3@%FA@=Š@@@SM@S@@>i= =N@@@@@SM@S@ภ'Pgenval>y=*=:>z=*=A@=@@@-@@@SM@S@ఐ*$body>=B=K>=B=O@ܰ@@6<@@@SM@SM@S@డ<6default_stub_attribute>=P=^>=P=t@@@@ @4AA4AB@@6Nc@  @@@@@SM@SM@S@ఐ&no_loc>=u=>=u=@D@@)@@@SM@S@@ @@@A@><< @@@ఠ&lifted>==>==@>A@@@@@SL@S3>>>>>>>>@,:3@4@5@@@ຠ3 @@@P@@@3@@A@A@@A@$lfun>==>==@ఐO'wrapper>==>==@@@ @@@SL@S#@4free_vars_block_size?==?==@A? ==? ==@@@@@SL@S6@@@?==?==@@?9@A@?==@@ภ)Reachable?==?==@ఐU&lifted?%==?&==@T@U@V@@@@@SK@SK@S3?-?,?,?-?-?-?-?-@Wf @@@ภ%Lprim?9==?:==@*ภ*Pmakeblock?B==?C=>@@?I=> ?J=> @@&@@@TK@TK@T"@ఐ0lifted_block_mut?Z=> ?[=>@L@@3@@@TK@TK@T4@ภ$None?k=>?l=>#@4@@@<@@@TK@T!C@@2?t=>$@@1@@@TK@T J@ภ(?=>'?=>.A5ภ$Lvar ?=>+@1ఐZ!v?=>,?=>-@<@@1@@@T6K@T8K@T7l@@ @@7K@@@TK@T/K@T5t@ภ()A5B@*A@?@@@T0K@T>@@?=>&2@@*@@@TK@T.@ఐà&no_loc?=>0?=>6@J@@*@@@TCK@TB@@?=>7@@>']@@@SK@T@@?=>8@@  @@@S@@@@@@+@@@@q@ @@(@= @@@@@R@@@R@Ġ)Lfunction?>9>=?>9>F@/Qఠ$lfun?>9>G?>9>K@@A@@/Y@@@Q3????????@@@@@@@@@@@@@@ఠ)free_vars@ >O>W@ >O>`@@$A@@2"#Set!t@@@_L@TH3@@@@@@@@@' @!@"@@@డ>x.free_variables&Lambda@)>O>c@*>O>i@ @->O>j@.>O>x@@@7@@@ {@@ z'@@@ y@@ x@63996499@@7P@@@@7@@@TM@@TL6@@@TK@@TJ1@@ఐ^$lfun@V>O>y@W>O>}@=@@/@@@_@_E@$body@b>O>~@c>O>@ d@@8@@@_M@_M@_S@@D @@\T@A@@n>O>S @@@ఠ/local_free_varsР@y>>@z>>@@A@@#@@@_L@_3@@~@~@@@@@@j}v@w@x@@@డ:b#Set%inter%Ident@>>@>>@ @>>@>>@@@>>@>>@ @@K@@@U@@U@R@@@U@@UU@@@U@@U@@U@2k@+Stdlib__SetJ@!@@@_@@@_@@_@f@@@_@@_i@@@_@@_@@_F@@ఐǠ)free_vars@>>@>>@P@@}@@@_M@_M@_Z@@ఐ,local_idents@>>@>>@հ@@g@@T@@kh@A@@>>@@@@ఠ4free_vars_block_sizeѠ@>>@>>@AA@@#intA@@@`SL@_3AAAAAAAA@@@@@@@ఠ%substҠA>>A>>@A*A@@4,8@@@`O@`Z@@@`L@_@@ఠ0block_fields_revӠA(>>A)>>@AAA@@@8@@@`L@`@@@`L@_1@@>@@@>@)@@@_:@డ;#Set$fold%IdentAQ??AR?? @ AU??AV??@@AZ??A[??@ @@@ #elt@@@VC@@VB@#acc@T@@VA@@V@@@V?@@V>@@@@V=@@V<@@@V;@@V:@@V9@@V8@35@\@/%@@@@"@@@_@@_@@@@o@@`L@_L@_@@_ @@_@@_@@_@C@@@_@@_@@@_@@_@@_@@_3AAAAAAAA@@@@@࣠@#varAA??A??@AA@@S@@@_@@@@;#A@ఠ!iՠA??!A??"@AA@@L@_3AAAAAAAA@%n@@@_@@ @@@@ఠ%subst֠A??$A??)@AA@@L@_@@ఠ&fieldsנA??+A??1@BA@@L@_"@@A?? A??2@@@+@@ @@`-@@  @@@ఠ&accessؠB ?6?DB ?6?J@B#A@@9@@@` P@`3BBBBBBBB@EPI@J@K=6@7@80)@*@+@@@ภ%LprimB ?M?YB!?M?^@,ภ&PfieldB)?M?`B*?M?f@cఐh!iB3?M?hB4?M?i@@@g#@ภ'PointerB=?M?kB>?M?r@`@@@@@@`P@` 2@ఐ0lifted_block_mutBM?M?tBN?M?@?@@@@@`P@`"P@`!D@@/BX?M?@@4@@@`P@`K@ภ+kBd??Be??A8wภ$Lvar Bm??@4ఐ)block_varBv??Bw??@v@@(f@@@@:(@@@`P@`*P@`0n@ภ+i"A8@#A@A@@@`+P@`8{@@B??+@@-`@@@`P@`)@ఐ&no_locB??B??@'@@-h@@@`=P@`<@@B??@@:R@@@` @A@B?6?@@@@డA'$succB??B??@@@@@@@@@@@@(%succintAA @@@*stdlib.mli*+_+_*+_+@@9l@@@@@@@`J@@`I@@@`H@@`G3BBBBBBBB@@@@@@@ఐ!iB??B??@հ@@@@4@@P@`Q@@డ<#Map#add%IdentC??C??@ C??C??@@C ??C ??@ @1 @@@4@@@`_@@`^@@@`]@64@@@`\@@`[68 @@@`Y@@`X@@`W@@`VJ@@ఐ#varC1??C2??@`@@@@@`Z@@ఐ7&accessCA??CB??@d@@(g@@ఐo%substCN?@CO?@@8@@nt@@O@@6g;@@@`{y@@ภ"::C^?@C_?@@9qภ$LvarCg?@Ch?@ @5|ఐ#varCq?@ Cr?@@@@@@@`@@@@GO@`@ఐ&fieldsC?@C?@@k@@@@@@;6X@@@`@@C??C?@@@@@A@@@`@ @@ @C??C?@@@@;@@@_@@_@@@_@@_@@_M@`M@`@@ఐ9/local_free_varsC@@$C@@3@@@ ]@@@_M@`M@`@@@@C@@5C@@6@@M@`%@@డ=#Map%empty%IdentC@@8C@@=@ C@@>C@@A@@C@@BC@@G@ @{ @@6L@`@@@`I@@ภ-/C@@IC@@K@9@@@L@`U@@C@@4C@@L@@oL@`Z@@@@r@A@D>>@@@ఠ'new_funڠD AADAA@D&A@@3p@@@`L@`3DDDDDDDD@$@@@@ @@@@@ఐ3lfunction_with_bodyD&AAD'AA@ K@@@3@@@`@@`@;@@@`@@`3@@@`@@`@@`3D7D6D6D7D7D7D7D7@$@@@@ఐM$lfunDEAADFAA@,@@3@@@aM@aM@a9@@డB%subst&LambdaD_AAD`AA@ DcAADdAA@@@@6!t@@@ @@ @1value_description@@@ @@ @#Env!t@@@ @@ !t@@@ @@ @@ @@ @@ 7freshen_bound_variables.M /@@@ @@@ @@ @6#Map!tfA@EAAEAA@@@@@a]@@@@>rA@EAAEAA@@@@@ao@@@@#envAE!AAE"AA@E:A@@@@@a{@@@@ఐ#envE1AAE2AA@@@@az@@@@@@@aQ@a3E:E9E9E:E:E:E:E:@(% @@@E@AAEAAA@@@@@@aP@@aO@@@@aN@@aM@@@@aL@@aK@@@aJ@@aI@@aH@@aGN@aN@aH@͐ภ$NoneEs:@Es@Ѡ@@@a@@@a@@a5@@ఐh%substEyAAEzAA@`@@8=-@@@aBN@aN@a@@@aM@@ఐ$lfunEAAEAA@z@@4@@@a@aa@$bodyEAAEAA@@@=P@@@a?N@aN@ao@@EAAEAA@@=Z@@@`@aN@a=@@ @@@A@EAA @@@ఠ&liftedޠEBB EBB@EA@@@@@aL@a3EEEEEEEE@@@@@@ຠ$lfunEBBEBB@ఐѠ'new_funEBBEBB$@@@ @@@aL@a@4free_vars_block_sizeEBB&EBB:Aఐ @@ @@@aL@a0@@@EBBEBB<@@83@A@EBB@@@ఠ%blockߠFB@BHF B@BM@F!A@@=@@@aL@a3FF F FFFFF@IWP@Q@R@@@ภ%LprimFBPBVFBPB[@0ภ*PmakeblockF#BPB]F$BPBg@@F*BPBiF+BPBj@@@@@aL@aL@a"@ఐ 0lifted_block_mutF;BPBlF<BPB|@ -@@@@@aL@aL@a4@ภ$NoneFLBPB~FMBPB@;@@@@@@aL@b C@@2FUBPB@@8@@@aL@aJ@డD$List#revFiBBFjBB@ FmBBFnBB@@@94!a@0S@@@0@@09= @@@0@@0@2e2e@@2M@@@@>?@@@aL@b#L@b L@b@@@b@@b @@@b@@b@@ఐ0block_fields_revFBBFBB@@@9"@@@bM@b!M@b@@J @@1%@@@aL@b"M@b@ఐ Š&no_locFBBFBB@ L@@1@@@b'L@b&@@FBB@@>w@@@a@A@FB@BD@@ภ)ReachableFBBFBB@ ఐ"&liftedFBBFBB@Ѱ@@x@@@b4K@b6K@b53FFFFFFFF@@@@@@ఐ%blockFBBFBB@ @@1@@@b3K@b8K@b7@@*GBB@@O@@@b2@7@@@ @@@@U@@@  @@@! @@ @ @@0@Ġ$LletGBBGBB@6Lఠ%lkindG BBG!BB@G9A@@6T@@@Q3G$G#G#G$G$G$G$G$@ @@@ఠ%vkindG/BBG0BB@GHA@@6]@@@Q@ఠ#varG=BBG>BC@GVA@@6e@@@Q@ఠ#defGKBCGLBC@GdA@@>@@@Q+@ఠ$bodyGYBC GZBC @GrA@@?@@@Q9@@@JGaBC@@ ;@@ ;@@@ $let+GiCCGjCC@ @?&@@@bK@bK@bCL@b@@@@bBL@bH@@bK@@@@bE@@@bK@bK@bD@@bF@@bIݠ L@b<@@@b;L@bG@@bJ@@bLL@b9ఐ V5split_static_functionGC"C(GC"C=@ @@@ U@@bU@ P@@bT@ G@@bS B A@@@bR@@@bQ@@bP@@bO@@bN3GGGGGGGG@ @@@@}@~@wp@q@rjc@d@e@@@@ఐ H)block_varGC"C>GC"CG@ ʰ@@ |@@డA#Set#add%IdentGC"CIGC"CN@ GC"COGC"CR@@GC"CSGC"CV@ @@@@@U@@U@ @@@U@@U @@@U@@U@@U@9@KF@ @@@@@@bt@@bs@ @@@br@@bq @@@bp@@bo@@bn]@@ఐߠ#varHC"CWHC"CZ@a@@@@@bM@bo@@ఐ 5,local_identsH.C"C[H/C"Cg@ @@ |@@H2C"CHH3C"Ch@@ @@@b@@ఐ蠐$bodyHAC"CiHBC"Cm@@@ L@b@@@@@@@bL@bd@HNCuC@@$bodyHVCCHWCC@HoA@@@@@ภ$LletH`CuCyHaCuC}@7ఐJ%lkindHjCuCHkCuC@@@7@@@bL@bL@b3HqHpHpHqHqHqHqHq@'@@@@@ఐP%vkindHCuCHCuC@Ű@@7@@@bL@bL@b@ఐT#varHCuCHCuC@ְ@@7@@@bL@bL@b'@ఐX#defHCuCHCuC@@@@T@@@bL@bL@b9@ఐb$bodyHCuCHCuC@A@@@D@@Yk@@1E@AQl@@3HHHHHHHH@@@@Ġ'LmutletH CCH CC@6Mఠ%vkindH CCH CC@HA@@7@@@Q3HHHHHHHH@ @@@ఠ#varH CCH CC@HA@@6`@@@Q@ఠ#defH CCH CC@IA@@@@@@Q@ఠ$bodyH CCH CC@IA@@@@@@Q+@@@<I CC@@-@@-@@@b$let+I  CCI  CC@K@_@@@@cFK@cMK@bL@b@@@bL@b@@b@@@@b _@@@cPK@cAK@b@@b@@b} L@b@@@bL@b@@b@@bL@bఐ5split_static_functionI? CCI@ CC@@@@@@b@@@b@@@b@@@b@@@b@@b@@b@@b3IRIQIQIRIRIRIRIR@6@@{@|@}un@o@pha@b@c@@@@ఐ栐)block_varIh CCIi CC@h@@@@డCK#Set#add%IdentI CCI CD@ I CDI CD@@I CDI CD@ @ @@@*@@@c@@b@;@@@b@@b>@@@b@@b@@bH@@ఐʠ#varI CD I CD @N@@F@@@cM@cZ@@ఐ,local_identsI CD I CD@@@bg@@I CCI CD@@c@@@cm@@ఐӠ$bodyI CDI CD@q@@hL@c8|@@@@ @@@c9L@b@I D'DJ@@$bodyI CCI CC@IA@@@@@ภ'LmutletI D'D+I D'D2@7sఐ'%vkindI D'D4I D'D9@@@9&@@@cCL@cHL@cG3IIIIIIII@'@@@@@ఐ-#varJ  D'D;J  D'D>@@@7@@@cDL@cJL@cI@ఐ1#defJ D'D@J D'DC@°@@A@@@cEL@cLL@cK'@ఐP$bodyJ. D'DEJ/ D'DI@/@@2@@GY@@ 3@A*Z@@ V3J0J/J/J0J0J0J0J0@@@@Ġ'LletrecJ>DKDOJ?DKDV@7Cఠ(bindingsJGDKDXJHDKD`@J`A@@7K7H@@@Q@@@Q3JOJNJNJOJOJOJOJO@/@@@ఠ$bodyJZDKDbJ[DKDf@JsA@@B@@@Q@@@$JbDKDg@@@@@@@@ఠ,local_identsJmDkDsJnDkD@JA@@@@@cL@cQ3JsJrJrJsJsJsJsJs@U6/@0@1$@@@@@డH$List)fold_leftJDDJDD@ JDDJDD@@7(@@@@'L@cV@@c_@7@@@cL@cY@@c^ @@c]@@c\@@c[@@@cZ@=j@@@cX@@cW@@cU@@cT@@cS3JJJJJJJJ@9@@@@࣠@#idsAJDDJDD@JA@@*L@@@@D)Aঠ"idJDDJDDA7ఠ@JA@7@@@c3JJJJJJJJ@e%E@@@@@@@JDDJDD@@BP@c@@@@డD#Set#add%IdentJDDJDD@ JDDJDD@@JDDJDD@ @ @@@ @@@c@@c@@@@c@@c@@@c@@c@@c3KKKKKKKK@:B?@A@@@@@@ఐI"idK DDK!DD@ @@ @@@cP@c@@ఐw#idsK2DDK3DD@X@@"@@A@@P@c%@K9DDK:DD@@@@@cx@@@cw@@cv@@cuM@cM@c@@ఐX,local_identsKQDDKRDD@@@@@@ఐ(bindingsK^DDK_DD@@@>$@@@crM@cM@c@@ @@@A@KkDkDo @@̠$let+KsDDKtDD@@ɠC0@@@d K@dK@cL@c@@@cL@c@@c@@@@c @@@dK@d K@c@@c@@c L@c@@@cL@c@@c@@cL@cఐ`5split_static_functionKDDKDE@@@@_@@c@Z@@c@Q@@cLK@@@c@@@c@@c@@c@@c3KKKKKKKK@JXQ@R@S@@@@ఐJ)block_varKDEKDE@̰@@~@@ఐl,local_identsKDEKDE'@@@k@@ఐ$bodyKDE(KDE,@n@@L@d,@@C@@:q@@@dL@c3@KE4EP@@$bodyKDDKDD@LA@@}@@@@ภ'LletrecLE4E8LE4E?@9 ఐȠ(bindingsLE4EALE4EI@@@99@@@d @@@d L@dL@d3LLLLLLLL@_+@"@#@@@ఐ0$bodyL(E4EKL)E4EO@ @@@@'9@@@A:@@ R@@@dK@d3L0L/L/L0L0L0L0L0@t@@@B@@ X@Ġ%LprimL?EQEUL@EQEZ@7Ġ&PraiseLHEQE\LIEQEb@!@LMEQEcLNEQEd@@!@@@Q@@@ @@>@@@Q@@LYEQEfLZEQEg@@7)D@@@R@@@Q@@LeEQEiLfEQEj@@7,@@@R@@@,LkEQEk@@@@@@@ภ+UnreachableLrEQEoLsEQEz@[@@@ #@Ġ,LstaticraiseLE{ELE{E@2@LE{ELE{E@@2@@@R7@@@2D8@@@R@@@R@@@@@@,A@@,A@@@ภ+UnreachableLE{ELE{E@@@@ J@Ġ'LswitchLEELEE@6ܠఠ#argLEELEE@LA@@D]@@@R 3LLLLLLLL@@@@ఠ"swLEELEE@LA@@6@@@R@ఠ#locLEELEE@LA@@7@@@R@@@.LEE@@n@@n@@@@ఠ-sw_consts_resLEELEE@LA@@@6@@@dUL@d,@@@@dJ@@dI@@@dH@@@dGL@d$3LLLLLLLL@TM@N@OF?@@@A92@3@4@@@ఐ_,rebuild_armsM EEM EE@c@@@a@@d3@]@@d2@[@2@T@@@d1@@d0@@@d/@@d.QP@B@M@@@d-@@d+@@@d*@@@d)@@d(@@d'@@d&=@@ఐ)block_varMBEEMCEE@B@@J@@ఐV,local_identsMOEEMPEE@>@@W@@ఐ"swM^EEM_EE@`@@7@@@dW@dRk@)sw_constsMjEEMkEF@7 @@@@@@@dN@@dM@@@dLM@dXM@dS@@t@@@A@MEE@@@ఠ-sw_blocks_resMFFMFF@MA@@@7@@@dL@dc@@@@d@@d@@@d@@@d~L@d[3MMMMMMMM@@@@@@ఐ,rebuild_armsMFFMFF+@ @@@ @@dj@@@di@@.@@@@dh@@dg@@@df@@de@>@@@@dd@@db@@@da@@@d`@@d_@@d^@@d]9@@ఐh)block_varMFF,MFF5@@@F@@ఐ,local_identsMFF6MFFB@@@S@@ఐH"swNFFCNFFE@@@88@@@d@dg@)sw_blocksNFFFNFFO@7@@Z@@S@@@d@@d@@@dM@dM@d@@t@@@A@N(FF @@@ఠ1sw_failaction_resN3FSF[N4FSFl@NLA@@EؠҠ@@@d@@@dL@d@@@dL@d3NCNBNBNCNCNCNCNC@@@@@@డL&Option#mapNVFoFuNWFoF{@ NZFoF|N[FoF@@Co@@@@L@d@@d,@@d@@d@Ci @@@d@@dF7@@@d@@d@@d.@@ఐ75split_static_functionNFoFNFoF@@@@6@@d@1@@d@(@@d#"@@@d@@@d@@d@@d@@dP@@ఐ)block_varNFoFNFoF@@@R]@@ఐ,local_identsNFoFNFoF@@@Vj@@NFoFNFoF@@@P@@dKJ@@@d@@@d@@dx@@ఐ "swNFoFNFoF@̰@@8@@@d@d@-sw_failactionNFoFNFoF@8@@Cڠz@@@dM@dM@d@@ @@@A@NFSFW @@@ఐ-sw_consts_resNFFNFF@J@@@8@@@d㠠@@@@d@@d@@@d@@@d3OOOOOOOO@@@@@@@ఐ-sw_blocks_resOFFOFF@ΰ@@A@@8@@@d蠠@@@@@d@@d@@@d@@@d#@@ఐ1sw_failaction_resO4FFO5FG@,@@F֠Π@@@d@@@d@@@d:@@R@@@S@2@@@dC@@Ġ+UnreachableOY G GOZ G G@B@@@@@8@@@e@@@@e@@e@@@e@@@e3OmOlOlOmOmOmOmOm@h@@@@Ġ+UnreachableOy G GOz G G*@b@@@@@8@@@e$@@@@e%@@e#@@@e"@@@e! @@Ġ$NoneO G G-O G G1@D@@@@G<43@@@e-@@@e,@@@e+8@Ġ$SomeO G G4O G G8@E7Ġ+UnreachableO G G9O G GD@@@@@NM@@@e8@@@e7Q@@@ @@GaYX@@@e;@@@e:@@@e9]@@O G G,O G GE@@Gogf@@@e>@@@e=@@@e<k@@ @@@@f@@@e?t@ @@@9@@@eD@@@@eE@@eC@@@eB@@@eA@('@9{@@@eI@'@@@eJ@@eH@@@eG@@@eF@G@@@eM@@@eL@@@eK@@e@@@@ภ+UnreachableP% G GIP& G GT@@@@K^@@@gb@@@ga@@Ġ)ReachableP=!GUG[P>!GUGd@ ఠ$lfunPF!GUGfPG!GUGj@P_A@@@@@ev3PJPIPIPJPJPJPJPJ@E@@@ఠ)sw_constsPU!GUGlPV!GUGu@PnA@@@9@@@ey@@@@ez@@ex@@@ew@@@-Pj!GUGv@@@: @@@e~@@@@e@@e}@@@e|@@@e{2@@Ġ+UnreachableP!GUGxP!GUG@p@@@@@:@@@e@@@@e@@e@@@e@@@eQ@@Ġ$NoneP!GUGP!GUG@F @@@@HJBA@@@e@@@e@@@ei@Ġ$SomeP!GUGP!GUG@FEĠ+UnreachableP!GUGP!GUG@@@@@\[@@@e@@@e@@@ @@Hogf@@@e@@@e@@@e@@P!GUGP!GUG@@H}ut@@@e@@@e@@@e@@ @@@@f@@@e@ @@ @:@@@e@@@@e@@e@@@e@@@e@65@:@@@e@5@@@e@@e@@@e@@@e@H@@@e@@@e@@@e@@e@@@ภ)ReachableQ3"GGQ4"GG@ఐ$lfunQ="GGQ>"GG@@@@@@@@grM@gtM@gs3QEQDQDQEQEQEQEQE@B  @@@@@ภ'LswitchQS"GGQT"GG@;ఐ#argQ]"GGQ^"GG@`@@I@@@g|M@gM@g@Р;;@@@gM@g@;)sw_constsQx"GGQy"GGAఐ, @5@;@;@@@g@I8@@@g@@g@@@gM@gJ@;;@@@gM@g@;;@;@@@g@IS@@@g@@g@@@gM@g@;i;gI^@@@g@@@gM@g@@ఐ"swQ"GGQ"GG@°@@;@@@gM@gM@g@Q"GGQ"GG@@;@@@g}M@g@ఐ#locQ"GGQ"GG@۰@@<@@@g~M@gM@g@@Q"GG@@@@@gqM@g{@@Q"GG@@@@Ġ+UnreachableQ#GGQ#GG@@@@@('@;@@@eޠ@'@@@e@@e@@@e@@@e3RRRRRRRR@ @@@@Ġ)ReachableR#GGR#GH@ఠ$lfunR$#GHR%#GH@R=A@@@@@e@ఠ)sw_blocksR2#GHR3#GH@RKA@@\@;@@@e렠@\@@@e@@e@@@e4@@@,RG#GH@@rq@;@@@e@q@@@e@@e@@@e@@@eJ@@Ġ$NoneRf#GHRg#GH@G@@@@J@@@e@@@e@@@eb@Ġ$SomeRz#GHR{#GH @HĠ+UnreachableR#GH!R#GH,@l@@@@@@@f@@@f{@@@ @@J-%$@@@f@@@f@@@f@@R#GHR#GH-@@J;32@@@f @@@f @@@f@@ @@@@f@@@f @ @@ޠݠ@̠ఐ#argT'HHT'HH@@@LQ@@@h#N@h'N@h&@Р>Z>[@@@hAN@h?@>U>V@>U@@@hK@Lo@@@hL@@hJ@@@hIN@hD@>Q>R@@@hQN@hO@>N>O@>N@@@h[@L@@@h\@@hZ@@@hYN@hT@>-sw_failactionT'HHT'HH@ภ$SomeT'HHT'HI@J{ఐ堐*failactionT'HIT'HI @o@@L@@@h2N@h9N@h;N@h:}@@ @@> @@@h1N@h8@@ఐY"swU'HHU'HH@@@?K@@@haN@hXN@h>@U"'HHU#'HI@@?S@@@h$N@hb@ఐe#locU1'HIU2'HI@2@@?@@@h%N@hfN@he@@U<'HI@@L@@@h"@A@UA&HH@@ภ)ReachableUH)II$UI)II-@ఐI$lfunUR)II/US)II3@ư@@@@@hoM@hqM@hp3UYUXUXUYUYUYUYUY@@@@@@ఐ堐&switchUg)II5Uh)II;@ @@@@@hnM@hsM@hr@@*Ur)II<@@@@@hm@7@@P@@Ġ)ReachableU*I=ICU*I=IL@W@U*I=IMU*I=IN@@ @@@f@@@@?2@@@f@@@@f@@f@@@f@@@@@ѠР@?F@@@f@@@@f@@f@@@f@@@f@@Ġ)ReachableU*I=IPU*I=IY@@U*I=IZU*I=I[@@Y@@@f@@@@?I@@@f@@@@f@@f@@@f@@@@@  @?]@@@f@ @@@f@@f@@@f@@@f@@@U*I=I]U*I=I^@@M@@@f@@@f@@@f@@| @@@c@,@@@f@ @@@Ġ)ReachableV*I=IaV*I=Ij@@V*I=IkV *I=Il@@@@@f@@@L@?@@@fנ@L@@@f@@f@@@f.@@@@@a`@?@@@fܠ@`@@@f@@f@@@f@@@fC@@@VO*I=InVP*I=Io@@{z@?@@@fᠠ@z@@@f@@f@@@f@@@f]@@Ġ$SomeVm*I=IqVn*I=Iu@KĠ)ReachableVv*I=IwVw*I=I@C@V{*I=IV|*I=I@@ @@@fx@@@@@@f}@@@V*I=IvV*I=I@@@@@f@@@f@@@# @@N/'&@@@f@@@f@@@f@@@@@i@Q@@@f@ @@@@@@ӠҠ@@H@@@f@@@@f@@f@@@f@@@f@@@<@@@f@@@@f@@f@@@f@@@f@Ntlk@@@g@@@g@@@g@@f@@@V+IIV+II@@@@@@@g@@@@g@@g@@@g@@@g@@Ġ)ReachableW+IIW+II@Ӡ@W +IIW +II@@@@@g"@@@8@@@@@g%@8@@@g&@@g$@@@g#@@@@@ML@@@@@g*@L@@@g+@@g)@@@g(@@@g'/@@Ġ$SomeW?+IIW@+II@LȠĠ)ReachableWH+IIWI+II@@WM+IIWN+II@@@@@g6J@@@@@@g7O@@@WX+IIWY+II@@@@@g9@@@g8Y@@@# @@O@@@g<@@@g;@@@g:e@@@@@@Q@@@g=n@ @n@@@@@@A@@@gP@@@@gQ@@gO@@@gN@@@gM@@A@@@gU@@@@gV@@gT@@@gS@@@gR@OF>=@@@gY@@@gX@@@gW@@gL@@@డP+fatal_error$MiscW,IIW,II@ W,IIW,II@@P@@@P@@@hx@@hw@@@h@@@hN@hv@@hu@@:letrec: multiple functionsW,IIW,II@@W,IIW,II@@Q@@@hN@hN@h@@- @@@@@AWFFW-II@@%@@@j@@@j@  @@ @  @@  Q@ y @@ @Ġ-LstringswitchX.IIX.II@?ఠ#argX .IIX .IJ@X%A@@O@@@R3XXXXXXXX@@@@ఠ$armsX.IJX.IJ@X4A@@@@@@@@R@O@@@R@@R@@@R@ఠ*failactionX6.IJ X7.IJ@XOA@@@ O@@@R@@@R.@ఠ#locXH.IJXI.IJ@XaA@@C@@@R <@@@MXP.IJ@@>@@>@@@@ఠ(arms_resX[/JJ&X\/JJ.@XtA@@@@I@@@kL@j@@@@k @@k @@@k @@@k L@j3XtXsXsXtXtXtXtXt@Xtm@n@of_@`@aLE@F@G;4@5@6@@@ఐݠ,rebuild_armsX/JJ1X/JJ=@@@@@@j@@@j@٠@4@@@@j@@j@@@j@@jϠΠ@D@@@@j@@j@@@j@@@j@@j@@j@@j?@@ఐ>)block_varX/JJ>X/JJG@@@rL@@ఐԠ,local_identsX/JJHX/JJT@@@vY@@ఐ$armsX/JJUX/JJY@_@@"@}@@@@k@@k@@@kM@kM@kw@@f@@x@A@X/JJ"@@@ఠ.failaction_resX0J]JeX0J]Js@YA@@P@@@k_@@@k^L@k#@@@k6L@k3Y Y Y Y Y Y Y Y @@@@@@డW&Option#mapY1JvJ|Y1JvJ@ Y"1JvJY#1JvJ@@N7@@@@L@k&@@k),@@k(@@k'@N1 @@@k%@@k$Pנ7@@@k"@@k!@@k .@@ఐ5split_static_functionYH1JvJYI1JvJ@@@@@@kE@@@kD@@@kC@@@kB@@@kA@@k@@@k?@@k>P@@ఐ栐)block_varYh1JvJYi1JvJ@h@@]@@ఐ|,local_identsYu1JvJYv1JvJ@d@@j@@Yy1JvJYz1JvJ@@@@@k\@@@k[@@@kZ@@kYx@@ఐZ*failactionY1JvJY1JvJ@@@Nl@@@k8M@kcM@ka@@~ @@@A@Y0J]Ja @@@ఐP(arms_resY3JJY3JJ@@@ؠנ@A@@@kk@@@@kl@@kj@@@ki@@@kh3YYYYYYYY@@@@@@@ఐӠ.failaction_resY3JJY3JJ@ @@Qphg@@@ko@@@kn@@@km@@2@@@3@@@kp!@@Ġ+UnreachableY4JJY4JK@ @@@@@A@@@k@@@@k@@k@@@k@@@k3ZZZZZZZZ@F@@@@Ġ$NoneZ4JK Z4JK@Ox@@@@Q@@@k@@@k@@@k@Ġ$SomeZ'4JKZ(4JK@OĠ+UnreachableZ04JKZ14JK!@!@@@@Ǡ@@@k@@@k2@@@ @@QڠҠ@@@k@@@k@@@k>@@ZG4JK ZH4JK"@@Q@@@k@@@k@@@kL@@d @@@e@@@kS@@@@BE@@@k@@@@k@@k@@@k@@@k@R  @@@k@@@k@@@k@@kx@@@ภ+UnreachableZ4JK&Z4JK1@!o@@@@@@l@@@l@@Ġ)ReachableZ5K2K8Z5K2KA@!kఠ$lfunZ5K2KCZ5K2KG@ZA@@":@@@k3ZZZZZZZZ@@@@ఠ$armsZ5K2KIZ5K2KM@ZA@@@B@@@kՠ@@@@k@@k@@@k@@@-Z5K2KN@@@B@@@kڠ@@@@k@@k@@@k@@@k2@@Ġ$NoneZ5K2KQZ5K2KU@PO@@@@R  @@@k@@@k@@@kJ@Ġ$SomeZ5K2KXZ5K2K\@PĠ+Unreachable[5K2K][5K2Kh@!@@@@  @@@k@@@kc@@@ @@R  @@@k@@@k@@@ko@@[5K2KP[5K2Ki@@R  @@@k@@@k@@@k}@@ @@@d@@@k@@@ ` _@C@@@k@ _@@@k@@k@@@k@@@k@R  @@@k@@@k@@@k@@k@@@ภ)Reachable[]6KmKs[^6KmK|@"*ఐ$lfun[g6KmK~[h6KmK@@@@@"@@@lM@lM@l3[o[n[n[o[o[o[o[o@ @@@@@ภ-Lstringswitch[}6KmK[~6KmK@Cjఐ{#arg[6KmK[6KmK@ @@S8@@@lM@lM@l@ఐ㠐$arms[6KmK[6KmK@&@@C@C@@@l@SV@@@l@@l@@@lM@lM@l>@ఐ*failaction[6KmK[6KmK@<@@CSl@@@l@@@lM@lM@lT@ఐ#loc[6KmK[6KmK@Q@@F@@@lM@lM@lf@@\[6KmK@@@@@lM@lm@@[6KmK@@Xo@@Ġ+Unreachable[7KK[7KK@"@@@@!!@C@@@l@!@@@l@@l@@@l@@@lD@@Ġ$Some\7KK\7KK@QĠ)Reachable\7KK\7KK@"ఠ$lfun\ 7KK\!7KK@\9A@@#@@@l*e@ఠ*failaction\.7KK\/7KK@\GA@@!@@@l+s@@@\67KK\77KK@@!̠!@@@l-@@@l,}@@@2 @@Sߠ!נ!@@@l0@@@l/@@@l.@@]@@@^@@@l1@@@!!@D<@@@l6@!@@@l7@@l5@@@l4@@@l3@T ""@@@l:@@@l9@@@l8@@l2@@@ภ)Reachable\}8KK\~8KK@#Jఐg$lfun\8KK\8KK@f@g@h@@$@@@lM@lM@l3\\\\\\\\@y kd@e@f@@@ภ-Lstringswitch\8KL\8KL@Dఐ#arg\8KL\8KL@-@@TX@@@lM@lM@l@ఐ$arms\8KL\8KL@>@@D@D@@@l֠@Tv@@@l@@l@@@lM@lM@l>@ภ$Some\8KL\8KL@R`ఐ*failaction\8KL \8KL*@N@@T@@@lM@lM@lM@l[@@ @@D @@@lM@lb@ఐ#loc\8KL,\8KL/@@@G@@@lM@lM@lt@@j]8KL0@@=@@@lM@l{@@]8KL1@@}@@Ġ)Reachable]9L2L8]9L2LA@#@]"9L2LB]#9L2LC@@$@@@lXe@@@"O@E @@@l[@"O@@@l\@@lZ@@@lYw@@@@@"d"c@E @@@l`@"c@@@la@@l_@@@l^@@@l]@@Ġ$Some]V9L2LE]W9L2LI@RߠĠ)Reachable]_9L2LK]`9L2LT@$,@]d9L2LU]e9L2LV@@$@@@ll@@@"@@@lm@@@]o9L2LJ]p9L2LW@@##@@@lo@@@ln@@@# @@U##@@@lr@@@lq@@@lp@@h@@@O@@@ls@@@""@Eu@@@lx@"@@@ly@@lw@@@lv@@@lu@UD#<#;@@@l|@@@l{@@@lz@@lt@@@డV+fatal_error$Misc]:L[La]:L[Le@ ]:L[Lf]:L[Lq@@V@@@V@@@l@@l@@@m@@@mN@l@@l@@:letrec: multiple functions]:L[Ls]:L[L@@]:L[Lr]:L[L@@W@@@lN@lN@l'@@- @@a(@@@A]3JJ];LL@@#@@@n@@@n@X @@@ @@@Ġ,Lstaticcatch^<LL^<LL@CϠఠ$body^ <LL^ <LL@^"A@@U@@@R*3^ ^ ^ ^ ^ ^ ^ ^ @"@@@@ఠ%nfail^<LL^<LL@^5A@@C@@@R4@@ఠ¶ms^+<LL^,<LL@^DA@@C@C@@@R7@Me@@@R8@@R6@@@R5/@@^@<LL^A<LL@@@&@@@R98@ఠ'handler^O<LL^P<LL@^hA@@U@@@R:F@@@W^W<LL@@#H@@#H@@@@ఠ(body_res^b=LL^c=LL@^{A@@##@@@n@@@nL@n3^l^k^k^l^l^l^l^l@#Poh@i@j]V@W@XOH@I@J,%@&@'@@@ఐ$85split_static_function^=LL^=LL@#@@@$7@@n@$2@@n@$)@@n$$$#@@@n@@@n@@n@@n@@n(@@ఐ$)block_var^=LL^=LL@#@@$S5@@ఐ#,local_idents^=LL^=LM @#@@$WB@@ఐ$body^=LM ^=LM@I@@$WM@nQ@@@@@YR@A@^=LL@@@ఠ+handler_res^>MM^>MM'@^A@@$g$f@@@ok@@@ojL@n3^^^^^^^^@l~w@x@y@@@@ఠ,local_idents^?M*M4^?M*M@@_A@@$@@@o+M@n@డ]g$List)fold_left^@MCMK^@MCMO@ _@MCMP_@MCMY@@K@@@@"M@n@@n@@@@@o-M@o@NL@@@oMM@o@@o M@n@@n@@n@@n@@n@@@n@Q@@@n@@n$@@n@@n@@n3_._-_-_._._._._.@W@@@@࣠@$varsA_@@MCM__A@MCMc@_YA@@7j@@@@XA@ఠ#var_S@MCMe_T@MCMh@_lA@@>3_T_S_S_T_T_T_T_T@~ M@@@@@@@_^@MCMj__@MCMk@@@ @@_a@MCMd_b@MCMl@@@N@I@@o @@ @@డYH#Set#add%Ident_|@MCMp_}@MCMu@ _@MCMv_@MCMy@@_@MCMz_@MCM}@ @ @@@'@@@o@@o@%8@@@o@@o%;@@@o@@o@@o3________@DM@G@H@@@@ఐT#var_@MCM~_@MCM@ @@@@ఐw$vars_@MCM_@MCM@]@@@@<@@Q@o) @_@MCMZ_@MCM@@@@@n@@@n@@n@@nN@oBN@o>@@ఐ$ڠ,local_idents_AMM_AMM@$°@@%|@@ఐ¶ms_AMM_AMM@l@@R@@@nN@oNN@oJ@@ @@@A@_?M*M0 @@ఐ%5split_static_function_CMM_CMM@%m@@@%@@o[@%@@oZ@%@@oY%%@@@oX@@@oW@@oV@@oU@@oT3` ` ` ` ` ` ` ` @4,%@&@'@@@@ఐ%)block_var`CMM`CMM@%@@%@@ఐ@,local_idents`'CMM`(CMM@@@?@@ఐ堐'handler`4CMM`5CMM@@@%M@oo,@@C@@g-@N@@ha@A@`<>MM@@@ఐ蠐(body_res`JEMN`KEMN @p@@%%@@@ou@@@ot3`Q`P`P`Q`Q`Q`Q`Q@{@@@@@@ఐ+handler_res``EMN `aEMN@ @@%%@@@ow@@@ov@@! @@@"@@@ox@@Ġ+Unreachable`FNN"`FNN-@'h@@@@&&@@@o@@@o3````````@5@@@@Ġ+Unreachable`FNN/`FNN:@'{@@@@&)&(@@@o@@@o@@ @@@@@@o@@@&;&:@@@o@@@o@&D&C@@@o@@@o@@o.@@@ภ+Unreachable`FNN>`FNNI@'@@@  @@@p@@@p>@@Ġ)Reachable`GNJNP`GNJNY@'ఠ$lfun`GNJN[`GNJN_@`A@@(q@@@o3````````@@@@ఠ$body`GNJNa`GNJNe@aA@@&@@@o@@@ `GNJNf@@&&@@@o@@@o@@Ġ+UnreachableaGNJNhaGNJNs@'@@@@&&@@@o@@@o*@@; @@@@@@o1@@@&&@@@o@@@o@&&@@@o@@@o@@oE@@@ภ)Reachablea0HNwN}a1HNwN@'ఐ\$lfuna:HNwNa;HNwN@[@\@]@@(@@@pM@pM@p3aBaAaAaBaBaBaBaB@n _X@Y@Z@@@ภ,LstaticcatchaPHNwNaQHNwN@Gఐm$bodyaZHNwNa[HNwN@@@Y @@@p&M@p/M@p.@@ఐT%nfailapHNwNaqHNwN@@@G9@@@p(M@p:M@p95@@ఐX¶msaHNwNaHNwN@@@GF@GE@@@p+@P@@@p,@@p*@@@p)M@p?M@p;U@@aHNwNaHNwN@@@,@@@p'M@pC`@ఐ^'handleraHNwNaHNwN@8@@Y^@@@p-M@pEM@pDr@@haHNwN@@!@@@pM@p%y@@aHNwN@@{@@Ġ+UnreachableaINNaINN@(@@@@'e'd@@@o@@@o@@Ġ)ReachableaINNaINN@(ఠ$lfunaINNaINN@bA@@)|@@@o@ఠ'handleraINNaINN@bA@@'@@@o@@@aINN@@''@@@o@@@o@@: @@@;@@@o@@@''@@@o@@@oؠ@''@@@o@@@o@@o@@@ภ)Reachableb(JNNb)JNN@(ఐI$lfunb2JNNb3JNO@H@I@J@@)@@@pNM@pPM@pO3b:b9b9b:b:b:b:b:@[ MF@G@H@@@ภ,LstaticcatchbHJNObIJNO@HఐI$bodybRJNObSJNO@@@Z@@@p]M@pfM@pe@@ఐL%nfailbhJNObiJNO@@@H1@@@p_M@pqM@pp5@@ఐP¶msb{JNO b|JNO&@@@H>@H=@@@pb@Q@@@pc@@pa@@@p`M@pvM@prU@@bJNObJNO'@@@,@@@p^M@pz`@ఐ'handlerbJNO)bJNO0@g@@ZV@@@pdM@p|M@p{r@@hbJNO1@@"@@@pMM@p\y@@bJNO2@@{@@Ġ)ReachablebKO3O9bKO3OB@)@bKO3OCbKO3OD@@*\@@@o|@@@(b@@@o@@@ @@(j(i@@@o@@@o@@Ġ)ReachablebKO3OFbKO3OO@)@bKO3OPbKO3OQ@@*{@@@o@@@(@@@o@@@ @@((@@@o@@@o@@7@@@+@@@o@@@((@@@o@@@o@((@@@p@@@o@@o@@@డ\b+fatal_error$Miscc$LOUO[c%LOUO_@ c(LOUO`c)LOUOk@@\`@@@\`@@@p@@p#X#k@@@p@@@pN@p@@p~@@:letrec: multiple functionscDLOUOmcELOUO@@cGLOUOlcHLOUO@@\}@@@pN@pN@p@@- @@@@@AcREMMcSMOO@@#w#@@@r@@@r@  @@@ @@#@Ġ(LtrywithcgNOOchNOO@Hఠ$bodycpNOOcqNOO@cA@@[@@@R?3ctcscsctctctctct@(T@@@ఠ'exn_varcNOOcNOO@cA@@H@@@R@@ఠ'handlercNOOcNOO@cA@@[;@@@RA@@@.cNOO@@)/@@)/@@@@ఠ(body_rescOOOcOOO@cA@@):)9@@@r @@@rL@r3cccccccc@(E>@?@@70@1@2*#@$@%@@@ఐ)t5split_static_functioncOOOcOOO@)3@@@)s@@r@)n@@r@)e@@r)`)_@@@r @@@r @@r @@r @@r &@@ఐ)[)block_varcOOOcOOO@(ݰ@@)3@@ఐ(,local_identscOOOcOOO@(ٰ@@)@@@ఐ$bodycOOOcOOO@H@@)M@r(O@@@@@WP@A@cOOO@@@ఠ+handler_resd PPP d PPP@d"A@@))@@@rB@@@rAL@r)3dddddddd@j|u@v@w@@@ఐ)٠5split_static_functiond"QPPd#QPP3@)@@@)@@r2@)@@r1@)@@r0)Š)@@@r/@@@r.@@r-@@r,@@r+"@@ఐ))block_vardBQPP4dCQPP=@)B@@)/@@డ^%#Set#add%IdentdYRP>PGdZRP>PL@ d]RP>PMd^RP>PP@@dbRP>PQdcRP>PT@ @x @@@#@@@rM@@rL@*@@@rK@@rJ*@@@rI@@rH@@rGa@@ఐ'exn_vardRP>PUdRP>P\@Ѱ@@# @@@rkN@rjs@@ఐ),local_identsdRP>P]dRP>Pi@)@@*<@@dRP>PFdRP>Pj@@*=@@@ra@@ఐ'handlerdRP>PkdRP>Pr@@@*BM@r@@@@@A@dPPP@@@ఐ(body_resdTPzPdTPzP@@@*R*Q@@@r@@@r3dddddddd@@@@@@@ఐȠ+handler_resdTPzPdTPzP@ @@*h*g@@@r@@@r@@! @@@"@@@r@@Ġ+UnreachabledUPPdUPP@+@@@@**@@@r@@@r3dddddddd@5@@@@Ġ+UnreachableeUPPeUPP@+@@@@**@@@r@@@r@@ @@@@@@r@@@**@@@r@@@r@**@@@r@@@r@@r.@@@ภ+Unreachablee.UPPe/UPP@,@@@%T%g@@@s@@@s>@@Ġ)ReachableeFVPPeGVPP@,ఠ$lfuneOVPPePVPP@ehA@@,@@@r3eSeReReSeSeSeSeS@@@@ఠ$bodye^VPPe_VPP@ewA@@*@@@r@@@ efVPP@@**@@@r@@@r@@Ġ+UnreachableevVPPewVPP@,_@@@@+ + @@@r@@@r*@@; @@@@@@r1@@@++@@@r@@@r̠@+(+'@@@r@@@r@@rE@@@ภ)ReachableeWQQeWQQ@,nఐ\$lfuneWQQeWQQ@[@\@]@@-B@@@s-M@s/M@s.3eeeeeeee@n _X@Y@Z@@@ภ(LtrywitheWQQeWQQ@Kఐm$bodyeWQQ!eWQQ%@@@]|@@@s7M@s;M@s:@ఐ^'exn_vareWQQ'eWQQ.@-@@K1@@@s8M@s=M@s<1@ఐb'handlereWQQ0eWQQ7@>@@]@@@s9M@s?M@s>C@@9eWQQ8@@&0@@@s,M@s6J@@`fWQQ9@@L@@Ġ+UnreachablefXQ:Q@fXQ:QK@,@@@@++@@@r@@@rU@@Ġ)Reachablef"XQ:QMf#XQ:QV@,ఠ$lfunf+XQ:QXf,XQ:Q\@fDA@@-@@@rm@ఠ'handlerf9XQ:Q^f:XQ:Qe@fRA@@+@@@r{@@@fAXQ:Qf@@+֠+@@@r@@@r@@: @@@;@@@r@@@++@@@r@@@r@++@@@r@@@r@@r@@@ภ)ReachablefjYQjQpfkYQjQy@-7ఐI$lfunftYQjQ{fuYQjQ@H@I@J@@. @@@sHM@sJM@sI3f|f{f{f|f|f|f|f|@[ MF@G@H@@@ภ(LtrywithfYQjQfYQjQ@Kఐ$$bodyfYQjQfYQjQ@@@^E@@@sRM@sVM@sU@ఐ''exn_varfYQjQfYQjQ@@@K@@@sSM@sXM@sW1@ఐ'handlerfYQjQfYQjQ@8@@^i@@@sTM@sZM@sYC@@9fYQjQ@@&@@@sGM@sQJ@@`fYQjQ@@L@@Ġ)ReachablefZQQfZQQ@-@fZQQfZQQ@@.o@@@s@@@,u@@@s#@@@ @@,},|@@@s@@@s+@@Ġ)ReachablefZQQfZQQ@-Š@fZQQfZQQ@@.@@@s =@@@,@@@sB@@@ @@,,@@@s@@@sJ@@7@@@+@@@sQ@@@,,@@@s@@@s@,,@@@s@@@s@@se@@@డ`u+fatal_error$Miscg7[QQg8[QQ@ g;[QQg<[QQ@@`s@@@`s@@@s_@@s^'k'~@@@sj@@@siN@s]@@s\@@:letrec: multiple functionsgW[QQgX[QQ@@gZ[QQg[[QQ@@`@@@sfN@shN@sg@@- @@3@@@AgeTPzP~gf\QR@@''@@@t@@@tt@ @@Y@r @@'@Ġ+Lifthenelsegz]RRg{]RR@L ఠ$condg]RRg]RR@gA@@_1@@@RF3gggggggg@,g@@@ఠ$ifsog]RRg]RR@gA@@_@@@@RG@ఠ%ifnotg]RRg]RR$@gA@@_N@@@RH@@@.g]RR%@@-B@@-B@@@@ఠ(ifso_resg^R)R1g^R)R9@gA@@-M-L@@@t@@@tL@t3gggggggg@,E>@?@@70@1@2*#@$@%@@@ఐ-5split_static_functiong^R)R<g^R)RQ@-F@@@-@@t@-@@t@-x@@t-s-r@@@t@@@t@@t@@t@@t&@@ఐ-n)block_varg^R)RRg^R)R[@,@@-3@@ఐ-,local_identsg^R)R\g^R)Rh@,@@-@@@ఐx$ifsoh ^R)Rih ^R)Rm@G@@-M@uO@@@@@WP@A@h^R)R-@@@ఠ)ifnot_resh_RqRyh_RqR@h5A@@--@@@u @@@uL@u3h&h%h%h&h&h&h&h&@j|u@v@w@@@ఐ-점5split_static_functionh5_RqRh6_RqR@-@@@-@@u@-@@u@-@@u-ؠ-@@@u @@@u @@u @@u @@u "@@ఐ-Ӡ)block_varhU_RqRhV_RqR@-U@@./@@ఐ-i,local_identshb_RqRhc_RqR@-Q@@. <@@ఐϠ%ifnotho_RqRhp_RqR@@@. M@u$K@@@@@SL@A@hv_RqRu@@@ఐѠ(ifso_resh`RRh`RR@[@@..@@@u*@@@u)3hhhhhhhh@fxq@r@s@@@@ఐ~)ifnot_resh`RRh`RR@ @@.1.0@@@u,@@@u+@@! @@@"@@@u-@@Ġ+UnreachablehaRRhaRR@/@@@@.P.O@@@u@@@@u?3hhhhhhhh@5@@@@Ġ+UnreachablehaRRhaRS@/@@@@.c.b@@@uF@@@uE@@ @@@@@@uG@@@.u.t@@@uJ@@@uI@.~.}@@@uL@@@uK@@uH.@@@ภ+UnreachablehaRShaRS@/@@@))0@@@u@@@u>@@Ġ)ReachableibSSibSS!@/ܠఠ$lfun ibSS#ibSS'@i1A@@0@@@u_3iiiiiiii@@@@ఠ$ifso i'bSS)i(bSS-@i@A@@.@@@u`@@@ i/bSS.@@.Ġ.@@@ub@@@ua@@Ġ+Unreachablei?bSS0i@bSS;@0(@@@@.֠.@@@uh@@@ug*@@; @@@@@@ui1@@@..@@@ul@@@uk@..@@@un@@@um@@ujE@@@ภ)ReachableijcS?SEikcS?SN@07ఐ\$lfunitcS?SPiucS?ST@[@\@]@@1 @@@uM@uM@u3i|i{i{i|i|i|i|i|@n _X@Y@Z@@@ภ+LifthenelseicS?SVicS?Sa@N0ఐ$condicS?ScicS?Sg@Ұ@@aE@@@uM@uM@u@ఐ$ifsoicS?SiicS?Sm@&@@aW@@@uM@uM@u1@ఐ%ifnoticS?SoicS?St@@@ai@@@uM@uM@uC@@9icS?Su@@)@@@uM@uJ@@`icS?Sv@@L@@Ġ+UnreachableidSwS}idSwS@0@@@@/p/o@@@u@@@uU@@Ġ)ReachableidSwSidSwS@0ఠ$lfun idSwSidSwS@j A@@1@@@um@ఠ%ifnot jdSwSjdSwS@jA@@/@@@u{@@@j dSwS@@//@@@u@@@u@@: @@@;@@@u@@@//@@@u@@@u@//@@@u@@@u@@u@@@ภ)Reachablej3eSSj4eSS@1ఐI$lfunj=eSSj>eSS@H@I@J@@1@@@uM@uM@u3jEjDjDjEjEjEjEjE@[ MF@G@H@@@ภ+LifthenelsejSeSSjTeSS@Nఐڠ$condj]eSSj^eSS@@@b@@@uM@uM@u@ఐݠ$ifsojoeSSjpeSS@@@b @@@uM@uM@u1@ఐ%ifnotjeSSjeSS@8@@b2@@@uM@uM@uC@@9jeSS@@*@@@uM@uJ@@`jeSS@@L@@Ġ)ReachablejfSSjfSS@1o@jfSSjfSS@@28@@@u@@@0>@@@u#@@@ @@0F0E@@@u@@@u+@@Ġ)ReachablejfSSjfSS@1@jfSSjfSS@@2W@@@u=@@@0]@@@uB@@@ @@0e0d@@@u@@@uJ@@7@@@+@@@uQ@@@0w0v@@@u@@@u@00@@@u@@@u@@ue@@@డd>+fatal_error$MisckgSTkgST @ kgST kgST@@d<@@@d<@@@u@@u+4+G@@@v @@@vN@u@@u@@:letrec: multiple functionsk gSTk!gST1@@k#gSTk$gST2@@dY@@@vN@vN@v@@- @@3@@@Ak.`RRk/hT3T:@@+S+f@@@w@@@wt@ @@@( @@+\y@Ġ)LsequencekCiT;T?kDiT;TH@O/ఠ"e1kLiT;TJkMiT;TL@keA@@b@@@RL3kPkOkOkPkPkPkPkP@00@@@ఠ"e2k[iT;TNk\iT;TP@ktA@@c @@@RM@@@ kciT;TQ@@0@@0@@@2Ġ$let+kkjTUTYkljTUT]@1@2c(@@@wK@wK@wL@w@@@wL@w@@w@@@@w+@@@wK@wK@w@@w@@w2ߠ L@w@@@wL@w@@w@@wL@wఐ1X5split_static_functionkjTUTckjTUTx@1@@@1W@@w@1R@@w@1I@@w1D1C@@@w@@@w@@w@@w@@w3kkkkkkkk@0rk@l@md]@^@_@@@@ఐ1D)block_varkjTUTykjTUT@0ư@@1x@@ఐ0ڠ,local_identskjTUTkjTUT@0°@@1|@@ఐ"e2kjTUTkjTUT@'@@1|L@w.@@E@@34s@@@wL@w5@kkTT@@"e2 kjTUT^kjTUT`@lA@@B@@@ภ)LsequencekkTTlkTT@Oఐ"e1l kTTl kTT@Q@@c@@@wL@wL@w3llllllll@]'@@@@@ఐ,"e2lkTTlkTT@ @@@@#5@@@A6@@,F3l lll l l l l @l@@@Ġ&Leventl.lTTl/lTT@Nఠ#laml7lTTl8lTT@lPA@@c@@@RQ1@ఠ#levlElTTlFlTT@l^A@@N@@@RR1)@@@lMlTT@@11+@@11+@@@3$let+lUmTTlVmTT@2@3d@@@xK@xK@wL@w@@@wL@w@@w@@@@w,@@@x K@xK@w@@w@@w3ɠ L@w@@@wL@w@@w@@wL@wఐ2B5split_static_functionlmTTlmTT@2@@@2A@@w@2<@@w@23@@w2.2-@@@w@@@w@@w@@w@@w3llllllll@1qj@k@ld]@^@_@@@@ఐ2.)block_varlmTTlmTT@1@@2b@@ఐ1Ġ,local_identslmTTlmTU@1@@2f@@ఐ#lamlmTUlmTU@(@@2fL@w.@@E@@4s@@@wL@w5@lnU U@@#lamlmTTlmTT@lA@@B@@@ภ&LeventlnU U lnU U@OOఐ#lamlnU UlnU U@@@@@3llllllll@W!@@@ఐ#levmnU UmnU U@^@@Oe@@@xL@xL@x@@#5@@@A6@@-03m m m m m m m m @l@@@Ġ'Lmutvarm(oUU#m)oUU*@];@m-oUU+m.oUU,@@]=@@@RU2@@@ @@22@@22@Ġ&Lconstm;pU-U1m<pU-U7@cA@m@pU-U8mApU-U9@@c@@@@RX2"@@@ @@22#@@22#@@@@22$@Ġ&LapplymOqU:U>mPqU:UD@\@mTqU:UEmUqU:UF@@\@@@R[26@@@ @@227@@227@@3@@228@Ġ%LprimmcrUGUKmdrUGUP@X:@mhrUGUQmirUGUR@@_@@@Ra2J@@@X=e@@@Rc@@@Rb2S@@@X=@@@Rd2X@@@@@32Y@@32Y@@U@@32Z@Ġ&LwhilemsUSUWmsUSU]@Q@msUSU^msUSU_@@e6@@@Rh2l@@@e;@@@Ri2q@@@ @@3.2r@@3.2r@@n @@3/2s@Ġ$LformtU`UdmtU`Uh@P@mtU`UimtU`Uj@@P@@@Rp2@@@eT@@@Rq2@@ @eY@@@Rr2@@@P@@@Rs2@@@ec@@@Rt2@@@@@3V2@@3V2@@@@3W2@Ġ'LassignmuUkUomuUkUv@Pנ@muUkUwmuUkUx@@P@@@Rx2@@@e|@@@Ry2@@@ @@3o2@@3o2@@ @@3p2@Ġ%LsendmvUyU}mvUyU@P@mvUyUmvUyU@@P@@@R2@@@e@@@R2@@ @e@@@R2@@@Pe@@@R@@@R2@@@X@@@R2@@@#@@32@@32@@@@32@Ġ'Lifusedn wUUn wUU@P@nwUUnwUU@@P @@@R2@@@e@@@R2@@@ @@32@@32@@ @@32@@@డgg+fatal_error$Miscn)wUUn*wUU@ n-wUUn.wUU@@ge@@@ge@@@x@@x .].p@@@x@@@xL@x @@x 3@@ 'letrec binding is not a static functionnIwUUnJwUU@@nLwUUnMwUU@@g@@@xL@xL@x32@@- @@.y33@@@AnW:: @г.~,split_resultna::nb::@г.&Lambdanl::nm::@3np::nq::@@@4@@@y;I@Q3nuntntnununununu@3U@@ @@@4 @@@y:I@Q@@+@@ @35A@@47@@yb@42@@ya@4)@@y`4$4#@@@y_@@@y^@@y]@@y\@@y[F@yS4@@@n:g:gL@3333@33Ш3@б@@@@Q53nnnnnnnn@43@@nyUUnyUU@@б@@@@Q6 nyUUnyUU@@б@г3$listnyUV nyUV@В@А!a4@Q4 nyUUnyUU@@@г4&LambdanyUUnyUV@4nyUVnyUV @@@4@@@Q77 @@@@@ @@Q8> @@@4* @@@Q:CnyUU0@@г4,split_resultnzVV/nzVV;@г4$listnzVV*nzVV.@В@А!a@^o zVVo zVV@@@г4'&LambdaozVVozVV!@4.ozVV"ozVV(@@@46@@@Q;u @@@@\@ @@Q<| @@@4M @@@Q>o,zVV.@@@4W @@@Q@<@@@M@@QA @@QBIA@@@@@QC @@QDF@@@@@QE @@QFK@@|@@QG@4VOA@@@4@@Q@4@@Q@4@@Q@4@@@Q@@Q@@@Q@@Q44@@4@@@Q@@Q@@@Q@@@Q@@Q@@Q@@Q@@Q@࣠@)block_varAo~{V>VDo{V>VM@oA@@51H@yw3oooooooo@44H;@@@A@@@A@oyUUoyUU@@@@oA@@@@@@,local_identsAo{V>VNo{V>VZ@oA@@5AH@yx3oooooooo@(@@ @@@@  @@$armsAo{V>V[o{V>V_@oA@@o&@3@@@y砠@n4@@@y@@y@@@y3oooooooo@&4*@+@,@@@@@@ఐ)$armso|VcVko|VcVo@%@$@@@y㠠@#@@@y@@y@@@y@6@7@@6@5@@@y@4@@@y@@y@@@y3oooooooo@3S$@@@ĠY8o}VuVyp}VuV{@e@@@@T@S@@@z@R@@@z@@z@@@y3pppppppp@@@@@e@d@@@z@c@@@z@@z@@@z@@@ภ+Unreachablep)}VuVp*}VuV@7@@@7o@@@@z.@n5X@@@z/@@z-@@@z,@@@z+3@ĠF^pN~VVpO~VV@fa@ఠ!ip[~VVp\~VV@ptA@@@@@zn@@ఠ#lampj~VVpk~VV@pA@@@@@z}@@pr~VVps~VV@@@@ @@z@ఠ$armsp~VVp~VV@pA@@o@@@@z@@@@z@@z@@@z@@@$@@@@@@z!@@@@z"@@z @@@z@@@@@@z%@@@@z&@@z$@@@z#@@@@ఠ#respVVpVV@pA@@55@@@@zpN@zE@5@@@zc@@zb@@@za@@@z`N@z=3pppppppp@@@{t@u@ve^@_@`@@@ఐ6@,rebuild_armspVVpVV@6D@@@6B@@zL@6>@@zK@6<@2@65@@@zJ@@zI@@@zH@@zG6261@B@6.@@@zF@@zD@@@zC@@@zB@@zA@@z@@@z?=@@ఐ)block_varq#VVq$VV@@@J@@ఐ,local_identsq0VVq1VV@n@@W@@ఐ$armsq=VVq>VV@]@@6@{@6~@@@zg@@zf@@@zeO@zrO@znu@@f@@v@A@qSVV@@@ఠ'lam_resq^VVq_VV@qwA@@66@@@z@@@zN@zu3qhqgqgqhqhqhqhqh@@@@@@ఐ7.5split_static_functionqwVVqxVW@6@@@7-@@z~@7(@@z}@7@@z|77@@@z{@@@zz@@zy@@zx@@zw"@@ఐ)block_varqVWqVW@@@/@@ఐ,local_identsqVWqVW@@@ <@@ఐG#lamqVWqVW@Ұ@@7MO@zK@@@@@SL@A@qVV@@@ఐh'lam_resqW#W-qW#W4@g@h@i@@7^7]@@@z@@@z3qqqqqqqq@gy @@@@ఐ#resqW#W6qW#W9@q@@7 7@3@@@z@7@@@z@@z@@@z@@@z"@@.@@@.@@@z)@@Ġ+UnreachablerW?WEr W?WP@8@@@@77@@@z@@@z3rrrrrrrr@A@@@@Ġ+UnreachablerW?WRrW?W]@9@@@@7H7G@r@@@z @7G@@@z@@z@@@z@@@z @@+@@@,@@@z'@@@7Ѡ7@@@z@@@zƠ@7p7o@@@@zˠ@7o@@@z@@z@@@z@@@z@@zH@@@ภ+Unreachabler`W?WaraW?Wl@9I@@@76@5@@@{q@4@@@{r@@{p@@@{o@@@{ne@@Ġ)ReachablerWmWsrWmW|@9Rఠ$lfunrWmW~rWmW@rA@@:!@@@z3rrrrrrrr@@@@ఠ#lamrWmWrWmW@rA@@81@@@z@@@ rWmW@@8:89@@@z@@@z@@Ġ+UnreachablerWmWrWmW@9@@@@77@ @@@z@7@@@z@@z@@@z@@@z7@@H@@@+@@@z>@@@8k8j@@@z@@@z@8 8 @4@@@z@8 @@@z@@z@@@z@@@z@@z_@@@ภ)ReachablerWWrWW@9Ǡఐv$lfunsWWsWW@u@v@w@@:@@@{O@{O@{3s s s s s s s s @@ yr@s@t@@@ภ/sWWsWW@i,@ఐ̠!is'WWs(WW@I@@@@@{O@{O@{O@{$@@ఐ#lams<WWs=WW@,@@@@@{O@{O@{O@{9@@sIWWsJWW@@@#@@@{O@{O@{F@ఐܠ$armss]WWs^WW@}@@rŠ@@@{O@{O@{Y@@  @@;@@@{O@{`@@vspWW@@b@@Ġ+UnreachablesWWsWW@:h@@@@99@@@{@@@{@@Ġ)ReachablesWWsWW@:^ఠ$lfunsWWsWW@sA@@;-@@@{@ఠ$armssWWsWW@sA@@8Ҡ@@@@{"@8@@@{#@@{!@@@{ @@@,sWW@@88@@@@{'@8@@@{(@@{&@@@{%@@@{$@@T@@@U@@@{)@@@9q9p@@@{,@@@{+@99@:@@@{0@9@@@{1@@{/@@@{.@@@{-@@{*)@@@ภ)ReachabletWWtWW@:͠ఐp$lfunt WXt WX@o@p@q@@;@@@{O@{O@{3tttttttt@F tm@n@o@@@ภ0°tWXt WX@j2@ఐҠ!it-WXt.WX@O@@@@@{O@{O@{O@{$@@ఐؠ#lamtBWX tCWX @c@@ @@@{O@{O@{O@{9@@tOWXtPWX@@@#@@@{O@{O@{F@ఐ$armstcWXtdWX@M@@sˠ@@@{O@{O@{Y@@  @@A@@@{O@{`@@vtvWX@@b@@Ġ)ReachabletXXtXX'@;R@tXX(tXX)@@<@@@{J@@@:!@@@{K@@@ @@:):(@@@{M@@@{L@@Ġ)ReachabletXX+tXX4@;q@tXX5tXX6@@<:@@@{V@@@9֠@@@@{Y@9@@@{Z@@{X@@@{W@@@@@99@@@@{^@9@@@{_@@{]@@@{\@@@{[@@Q,@@@E@@@{` @@@:t:s@@@{c@@@{b@::@=@@@{g@:@@@{h@@{f@@@{e@@@{d@@{a,@@@డnH+fatal_error$Miscu X:X@u X:XD@ uX:XEuX:XP@@nF@@@nF@@@{@@{@@@@{@@@@{@@{@@@{@@@{P@{@@{^@@:letrec: multiple functionsu7X:XRu8X:Xl@@u:X:XQu;X:Xm@@np@@@{P@{P@{r@@: @@s@@@AuEW#W' @@@@@@}@@@@}@@}@@@}@@@}H@ @@@ !@@0@@@Au]|VcVe#@@21@0@@@}@/@@@}@@}@@@}@@@}`@:8A:@б@@@б@@@б@гӠȠВ@гԠǰ@@@@@yy@@гؠĠ:@@@@yz@@@@ @@y{ @@ @@@y}$@г|г}В@г~@@@@@y~:@@г:@@@@yF@@@@ @@yL@@ @@@yP@@@@@yT@@8@@y@@yX@@E@@y@@y\@@b@@y@@y`@r@@@;9@@~/@;5@@~.@;3@;2@yc@;.@@@~-@@~,@@@~+@@~*;+;*@@;'@@@~)@@~(@@@~'@@@~&@@~%@@~$@@~#F@~@@@vxUU@@}@;v(v'2 {1. Compilation} v$XoXov%XoX@@@@@@3v#v"v"v#v#v#v#v#@;@@v:v9 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. v6XXv7clco@@@@@@A+,rec_bindingsFvAcqcvvBcqc@@;@@&static@@u@p+!t@@@~f@q@@@~g@t&lambda@@@~h@@~i@@@~kvgccvhcc@@vA)functions@@u@pP!t@@@~n@t)lfunction@@@~o@@~p@@@~rvccvcc@@vA'dynamic@@v@po!t@@@~u@t&lambda@@@~v@@~w@@@~yvccvcd@@vA@@A@@@@@vcqcqvd d#@@@@vA@#hhJvcc@I@@Ш@гk$listvccvcc@В@гp%Identvccvcc@wvccvcc@@@3vvvvvvvv@wd:dD@ภ`հwd:dGwd:dI@m6@@@X@W@@@~@T@@@~@S@@@~@@~@@@~G@~3@))functionswdKdOwdKdX@ภ`wdKd[wdKd]@m]@@@Z@Y@@@~Ǡ@V@@@~@@~@@@~G@~U@J'dynamicwd_dcwd_dj@ภawd_dmwd_do@m@@@]@\@@@~ࠠ@Y@@@~@@~@@@~G@~w@@@wd:d<wdqdt@@z@A@wd%d%@@@}xx " Allocation and backpatching code xdvdvxdvd@@@@@@3xx x xxxxx@@@@@@ఠ0compile_indirect!xddx dd@x8A@@@o@@@&G@~@@~o@@@G@~@@~G@~"@࣠@&newval#Ax>ddx?dd@xWA@@3x?x>x>x?x?x?x?x?@2(xFddxGee@@@@@  @@@ఠ(indirect$xTddxUdd@xmA@@p@@@I@~3xZxYxYxZxZxZxZxZ@(7@@ @@@డv+transl_prim&Lambdaxmddxndd@ xqddxrdd@@@`U@@@ s@@ r@`]@@@ q@@ pp/@@@ o@@ n@@ m@n8h8hn8h8@@p1N@ @@@@@@~@@~@@@@~@@~pE@@@~@@~@@~A@@0CamlinternalLazyxddxdd@@xddxdd@@6@@@ J@J@ U@@(indirectxddxdd@@xddxdd@@B@@@ J@J@i@@Z @@mj@A@xdd @@ภ&Lapplyxeexee @hy<\'ap_funcxe exe e@ఐ(indirectxe exe e#@@@@@p@@@H@3xxxxxxxx@ @@@@@c@@@AH@@H@<+ap_tailcally;eReVy<eRea@ภ0Default_tailcallyCeRedyDeRet@<@@@<@@@KH@O^@<*ap_inlinedyQevezyReve@ภ.Default_inlineyYeveyZeve@;@@@<@@@UH@Yt@<.ap_specialisedygeeyhee@ภ2Default_specialiseyoeeypee@;@@@<@@@_H@c@@@yxee 2@@i @@@H@f@@8@@q)@@@@<@@&@F=A@aG@hD@A@A@A@@v@ఠ-compile_alloc%yeeyee@yA@@@q5@@@G@j@@kqM@@@G@l@@mG@i3yyyyyyyy@@@@@@࣠@$size'Ayeeyee@yA@@3yyyyyyyy@+yeey gg@@@@@  @@@ఠ%alloc(yeeyee@yA@@@O"@@@I@q@@r@c@@@I@w@@xq@@@I@y@@zI@s@@tI@p3yyyyyyyy@3?Q@6@7@@@࣠@$prim*Ayeeyee@zA@@(3yyyyyyyy@7zeezf;fM@@@@@  @@$size+Az eez ee@z%A@@13z z z z z z z z @!?@@@@@@@@ภ%Lprimzeezee@dภ&Pccallz$efz%ef@Ouఐ9$primz.efz/ef @@@]3z.z-z-z.z.z.z.z.@".U@%@&@@@@@@l@@@K@ @ภcGz@ffzAff9ApSภ&Lconst zIff @pNడx)const_int&LambdazXff"zYff(@ z\ff)z]ff2@@@@@@ @@ pe@@@ @@ @pb33pc33@@rE@@@@@@@@@pt@@@@@H@@ఐz$sizezff3zff7@R@@U@@zff!zff8@@p@@@@L@_@@Q @@r?@@@K@K@g@ภc]Ap6@^A@z@@@K@t@@zfff@@ew@@@K@|@ఐ@&no_loczf;fFzf;fL@@>@@e@@@K@@@@@rh@@@@A@I@@A@@ఐ$sizezffzff@@@43zzzzzzzz@ @@@@@Ġ-Regular_blockzffzff@oఠ$size,zffzff@zA@@vS@@@3zzzzzzzz@@@@@@@@S@@S@@@ఐ.%alloczffzff@(@@@PK@@@@@@%@@@@@r@@@@@@@3{ {{{ { { { { @=,%@&@'@@@@ఐyB*alloc_prim{ff{fg@x@@Pl@@@K@K@@@ఐG$size{-fg{.fg @!@@S@@@K@K@+@@@ @@,@Ġ,Float_record{Bg g{Cg g@oAఠ$size-{Kg g{Lg g@{dA@@v@@@@@@@@@@@@@ఐ%alloc{\g#g){]g#g.@@@@P@@@@@@@@@@@s@@@@@@@3{m{l{l{m{m{m{m{m@+$@%@&@@@@ఐx7alloc_float_record_prim{}g#g/{~g#gF@xm@@P@@@K@K@@@ఐF$size{g#gG{g#gK@!@@@@@K@K@+@@@ @@,@Ġ*Lazy_block{gLgP{gLgZ@o*@@@@ @@ @@@ภ%Lprim{g^gd{g^gi@fภ&Pccall{g^gj{g^gp@Q ఐx/alloc_lazy_prim{g^gq{g^g@x6@@Q@@@J@J@@@ @@n&@@@ J@@ภd߰{gg{ggAqడz5+lambda_unit&Lambda{gg@ {gg{gg@@s@@@ @q33q33@@sF@ @@s@@@ J@J@!J@ .@ภd+Aq@,A@{h@@@J@';@@| gg4@@fݠ@@@ J@C@ఐB&no_loc| gg| gg@A@@f@@@,J@+S@@ug@@T@@@A|%ffi@@3|#|"|"|#|#|#|#|#@V@@@(k@@>@ulA@G@;s@A@p@po@@ఠ.compile_update.|7 gg|8 gg@|PA@@@s@@@VG@=@@>@s@@@G@C@@D@ G@I@@Jt@@@G@K@@LG@E@@FG@?@@@G@<3|Z|Y|Y|Z|Z|Z|Z|Z@@@@@@࣠@$size0A|k gg|l gg@|A@@.3|l|k|k|l|l|l|l|l@=|s gg|t-ll@@@@@  @@%dummy1A| gg| gg@|A@@73||||||||@!E@@@@@@@@&newval2A| gg| gg@|A@@=3||||||||@K@@@@@@@@@@ఠ$prim3| gg| gg@|A@@z@@@cK@P3||||||||@)\@ @!@@@@ఠ&newval4| gg| gg@|A@@yG@G@G@G@Q@@  @@@ @@@T@ఐn$size| gg| gh@S@@)@Ġ-Regular_block|h h|h h@q@|h h|h h@@xU@@@X?@@@ @@@@@@@Ġ,Float_record|h h!|h h-@p@|h h.|h h/@@xZ@@@[R@@@ @@S@@S@@@@T@@@@ఐy+update_prim}h3h9}h3hD@y@@eb@@ఐ&newval}h3hF}h3hL@k@@n@@@@@x@f@@^u@Ġ*Lazy_block}/hMhS}0hMh]@p@@@@@@@@@@ఐy>0update_lazy_prim}="k*k0}>"k*k@@x@@M@i@@ఐ&newval}M#kBkT}N#kBkZ@@@@Ġ%Lprim}Z$k`kj}[$k`ko@h1Ġ.Pmakelazyblock}c$k`kp}d$k`k~@U@}h$k`k}i$k`k@@U@@@s@@@ @@o@@@t@@}t$k`k}u$k`k@@hDu#@@@v@@@u@@}$k`k}$k`k@@hG@@@w@@@,}$k`k@@0@@0@@@ఐ&newval}(lJlT}(lJlZ@ް@@G@@f@@})l[le})l[lf@@E@@E@@@ఐ0compile_indirect})l[lj})l[lz@@@@uV@@@}@@|uY@@@{@@z@@ఐ/&newval})l[l{})l[l@ @@h@@@@/@@@A}#kBkH}*ll@@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@@@@@@pP@@@J@ @ภg ~,ll~,llAtఐ%dummy ~ ,ll@w @@@ภg~,llAt&ఐb&newval ~,ll@) @@`-@ภg"As@ #A@}h@@@J@:@@*A@}m@@@J@A@@~4,ll2@@i@@@J@I@ఐDE&no_loc~C-ll~D-ll@C̰@@i @@@J@Y@@x@@u@@@]@@@@A@G@@A@@@~g~f6 Compilation function ~c/ll~d/ll@@@@@@3~b~a~a~b~b~b~b~b@ 4-@.@/@@@ఠ.compile_letrec5~s1ll~t1ll@~A@@@q>@pY@@@BJ@@/Value_rec_types6recursive_binding_kind@@@J@@vG@@@0J@@@J@@@@G@@@@vS@@@|G@@@G@@@G@@@G@I@࣠@.input_bindings7A~1ll~1lm@~A@@@3~~~~~~~~@YO~1ll~}xx@@@@@  @@$body8A~1lm ~1lm @~A@@*3~~~~~~~~@!W@@@@@@@@@ఠ3subst_for_constants9~2mm~2mm)@~A@@qv@@@HM@@@@OJ@3~~~~~~~~@+K@"@#@@@డ}i$List)fold_left~3m,m03m,m4@ 3m,m53m,m>@@k@@@@+J@@@@G@J@@@ @@@@@@@@@@q@@@@@@@@@@@3"!!"""""@6@@@@࣠@%subst:A43m,mD53m,mI@MA@@)I@@@@xAz8mm{8mm@ A@@%E@@@@yPA@ఠ"id?8mm8mm@ A@@ 3@Y ;@@@@@@ఠ%rkind@8mm8mn@ A@@@@ఠ#defA8mn8mn@ A@@@@8mm8mn@@@+@&@@@&@@  @@ఐ&%rkind9n n9n n@6@&@'@г8/Value_rec_types9n n!9n n0@=9n n19n nG@@@G@@@3@MVX@P@QH<F@6@7@@ @@9n n9n nH@@@T@@@ @Ġ'Dynamic:nNnX:nNn_@;'Dynamic/Value_rec_types6recursive_binding_kind@@@@@@AB@@A:typing/value_rec_types.mliYY@@@ B@@@@@t@@@3@-@@@@x@@@@@@ະ  ʠ@ @@@@ @@@@ @@@@@@@@O@@  @ @@@ @ @@@ @@@@@O@@ 'dynamicB;ncnC;ncn@ภ=I;ncnJ;ncn@w\@ఐʠ"idW;ncnX;ncn@z@@R@@ఐ#defc;ncnd;ncn@@@^@@g;ncnh;ncn@@@G@J@J@J@J@J@dJ@rJ@~J@J@ J@)J@Ԡ@J@=J@fJ@tJ@J@vJ@J@J@ J@@@O@O@@ఐ.,rev_bindings;ncn;ncn@@@O@'dynamic;ncn;ncn@  @@K@@@O@O@@@Q @@ -P@@@O@@@ఐO,rev_bindings;ncno;ncn{@5@@p@;ncnm;ncn@@s@Ġ&Static<nn<nn@;&Static@@@@B@@AUU@@@A@@@  @@O@@@@@R@@@ @@@@ఠ$sizeC=nn=nn@ A@@u=@@@P@@ఐuZ3compute_static_size=nn=nn@LC@@@y@@@@@uS@@@@@@@ఐq#def=nn=nn@;@@@@@@'@A@=nn@@ఐ8$size(>no )>no @7@8@9@@us@@@"3,++,,,,,@UE@@@Ġ(Constant=?oo>?oo'@q@@@@u@@@&3@??@@@@@@@@@@@Ġ+UnreachableL?oo*M?oo5@z@@@@u@@@)@@@@@@u@@@+@@@@ఠ#defE`Dp3pCaDp3pF@yA@@z@@@tR@:3feefffff@:@@@డ%subst&LambdawEpIpWxEpIp]@ {EpIp^|EpIpc@@>@@@@>@@@S@@R@>@@@Q@@P@>@@@O@@N> @@@M@@L@@K@@J@@I> >>@@@H@@@G@@F@>zW@@@E@@@D@@C@z_@@@B@@Azb@@@@@@?@@>@@=@@<3@@@@@࣠@|'HA@EpIpiEpIpj@@>Z@@@c@@@@|3GA@EpIpkEpIpl@@>\@@@o@@@@#envFAEpIpmEpIpp@A@@>c@@@@@@@ఐ#envEpIptEpIpw@>r@@@@@@@>p@@@V@3@% @@@EpIpdEpIpx@@@>@@@@@@>@@@@@@>@@@@@>@@@@@@@@@~S@S@@>ภ=3x@3@>>@@@@@@@@t@@ఐY3subst_for_constants9EpIpy:EpIp@@@vQz@@@yS@S@@@@@@ఐ#defQEpIpREpIp@s@@@@@@@A@VDp3p?@@ະ Ҡ @ @@@@@ @@@A@ @@@B@@?@@@>Q@8@  @ @@@K@ @@@L@@J@@@IQ@D@ 'dynamicGppGpp@ภ@7GppGpp@y@ఐ"idGppGpp@Ű@@3@wKD@E@F@@@@ఐQ#defGppGpp@ @@ @@@Q@!Q@+Q@*@@GppGpp@@@Q@@@Q@Q@,%@ఐ],rev_bindingsGppGpp@C@@~2@'dynamicGppGpp@ N @@C#@@@"Q@3Q@.A@@) @@ \(@@@Q@H@@ఐ~,rev_bindingsGppGpp@d@@S@GppGpp@@V@@@@Ġ%BlockHppHpp@]ఠ$sizeDHpqHpq@(A@@~@@@03@@@@@@@@w_@@@1@@wb@@@2@@@ະ &static'Jq(q6(Jq(q<@ภ@Ѱ.Jq(qO/Jq(qQ@zA@ఐ"id<Jq(q@=Jq(qB@_@@3<;;<<<<<@6/@0@1@@@@ఐ<$sizeKJq(qDLJq(qH@ @@ @@@eQ@sQ@Q@@@ఐ#def`Jq(qJaJq(qM@@@$@@dJq(q?eJq(qN@@@@@@@cQ@qQ@3@ఐ,rev_bindings|Jq(qR}Jq(q^@@@&@@&staticJq(q_Jq(qe@  @@%@@@uQ@Q@O@@+ @@H*@@@bQ@pV@ +@*@@@@'@@@@@@@@Q@@  @@@@@@@@@@@@@Q@@@ఐN,rev_bindingsIqqIqq"@4@@o@IqqJq(qg@@r@Ġ(FunctionKqhqtKqhq|@t@@@@x@@@6@@x"@@@7@@@ఐ?#defLqqLqq@ @@O@Ġ)LfunctionMqqMqq@tVఠ$lfunIMqqMqq@A@@t^@@@3@@@@@@@@k@@k@@@ະ Ġ@@@@렠@@@@젠@@@@@@@@@S@@ )functions(Oqq)Oqq@ภAҰ/Oqr 0Oqr @{B@ఐ"id=Oqr>Oqr@`@@3=<<=====@IB@C@D@@@@ఐO$lfunLOqrMOqr@ @@@@@S@S@S@@@YOqqZOqr @@@ࠠ@@@S@S@%@ఐ,rev_bindingsoOqr pOqr@ް@@2@)functionsvOqrwOqr#@  @@ޠ#@@@S@S@A@@) @@(@@@S@H@ @@@@@@@@@@@@@S@@@ఐ-,rev_bindingsNqqNqq@@@Ng@NqqPr$r3@@Qj@@Qr4rBQr4rC@@@@@@@@ఠ&ctx_idJRrGrYRrGr_@A@@Jq@@@ T@@డ,create_local%IdentRrGrbRrGrg@ RrGrhRrGrt@@Jl@@@Jl@@@@@J@@@@@@@7letrec_function_contextRrGrvRrGr@@RrGruRrGr@@J@@@ U@U@ @@' @@7@A@RrGrU @@ఐK5split_static_functionSrrSrr@K|@@@x@@@@@@K@@@@@@}@@@@@KK@@@@@@@@@@@@3"!!"""""@oh@i@j@@@@ఐv&ctx_id2Srr3Srr@ @@xI@@@4U@6U@5@@డ#Set%empty%IdentNSrrOSrr@ RSrrSSrr@@WSrrXSrr@ @K@@@U@x@EE@@@L@@@2U@VsDs@@LL@@@\@@@[@ @LL@@@^@@@]@@@@ఠ)functionsN7Wss8Wss@PA@@~@V@x@O]@@@{V@y@@zV@s@@@uV@q3MLLMMMMM@.eb@d@cUR@T@SD=@>@?@@@ภC\Wss]Wss@}o@ఐݠ"idjWsskWss@@@@@ఐ$lfunvWsswWss@$@@-)@@zWss{Wss@@@\tlt|\tlt@@KA@l@@L@@@MV@@@ASrr]tt@@P@@@Q@@@ALqq^tt@@T@@@A>nn_tt@@WG@@@X@@@A9n n@@Z@8mm_tt@@@e@@@ @@@i@@@@K@]K@Y@@ఐS.empty_bindings`tt`tt@@@K@af@@ఐ %.input_bindings`tt`tt@ @@ as@@@@@A@7mm@@@ఠ1body_with_patchesQbtubtu@A@@ NG@G@[G@`J@g3@@@@@@డp$List)fold_leftcuucuu @  cuu! cuu*@@u@@@@)G@J@l@@u@@{5@@@J@@@@@J@@@@@J@@@J@o@@t @@s@@r@@q@$@@p@{$@@@n@@m,@@k@@j@@i3?>>?????@L@@@@࣠@$bodyRAQcuu0Rcuu4@jA@@?_@@@@VA@ఠ"idSdcuu6ecuu8@}A@@E3eddeeeee@s U@@@@@@ఠ$sizeTscuu:tcuu>@A@@M@@ఠ#lamUcuu@cuuC@A@@R@@cuu5cuuD@@@g@b@]@@&@@  @@ภ)LsequenceduHuPduHuY@mఐ k.compile_updateduHu[duHui@ =@@@@@@@@@@Z@@@@@@@@a@@@@@@@@@3@U^@X@YP@J@KE@?@@@@@@ఐX$sizeduHujduHun@@@@@ภ$LvarduHupduHut@{ఐ}"idduHuuduHuw@%@@*@@duHuoduHux@@N@/@@ఐt#lamduHuyduHu|@5@@<@@U@@@@@@N@D@ఐ$bodyduHu~duHu@@@O@@t duHu@@@@@T@cuu+euu@@@@@@@@@@@@K@K@'@@ఐ ]$body'euu(euu@ 8@@ @@ఐ 0all_bindings_rev6euu7euu@@@@@@@@@&staticBeuuCeuu@EeuuFeuu@@} 1@@@K@K@ @@J @@:Z@A@Qbtu @@@ఠ3body_with_functionsW\guu]guu@uA@@mJ@3^]]^^^^^@l|u@v@w@@@ఐ ?0all_bindings_revohuuphuu@y@@@@@@3tssttttt@@@@)functions|huu}huu@@@@@@@@ @@@@@@@@@ĠsѰiuuiuu@2@@@@-@,@@@@)@@@@@@@@J@@=@<@@@@9@@@@@@@@Z@@@ఐנ1body_with_patchesiuviuv@a@@ed@ఠ,bindings_revXjvvjvv$@A@@e@d@@@ @a@@@ @@ @@@ l@@u@t@@@@q@@@@@@@@|@@@@ఠ1function_bindingsYkv(v2kv(vC@ A@@} x@@@?M@@@@,M@3        @D=@>@?@@@డ$List'rev_maplvFvNlvFvR@ !lvFvS"lvFvZ@@@@!a@/@@1=!b@/@@1<@@1;@}@@@1:@@19;@@@18@@17@@16@w,,w,Z@@wY@*%@@@@@w@@@AM@4@z@@@GM@5@@6M@@@Z@@@@@,@@@@@fe@@@@@@@3jiijjjjj@`@@@@࣠@\A@ఠ"idZlvFvalvFvc@!A@@0x@@ఠ$lfun[lvFvelvFvi@"A@@5@@lvFv`lvFvj@@@C@>@@8@@ @@ຠwС"idmvnv|mvnv~Aఐ- @Y@*@+@Y3@4(V@"@#@@@wס#defmvnvmvnv@ఐ4$lfunmvnvmvnv@@@h@@@mvnvzmvnv@@@lvFv[mvnv@@@@@1@@0N@LN@J@@ఐ ,bindings_revnvvnvv@ϰ@@@@@.N@RN@Nz@@ @@@A@kv(v. @@ภ'Lletrecpvvpvv@xఐ1function_bindingspvvpvv@@@@@yx@@@Z@@@YL@^L@\3@@@@ఐ(1body_with_patchespvvpvv@@@' @@'pvv@@@@@X@3@@@@@Ahuu@@@A@guu @@@ఠ8body_with_dynamic_values]*rvv+rvw@C#A@@ J@3,++,,,,,@@@@@@డ$List)fold_left?sw w @sw w@ Csw wDsw w@@x߰@@@@\J@@@@@{@@@J@@@@@J@@@J@@@@@@@@@@@@@.@@@@@$@@@@@@3pooppppp@D@@@@࣠@$body^Asw w!sw w%@$A@@7W@@@@aA@ఠ"id_sw w'sw w)@%A@@>3@k M@@@@@@ఠ#lam`sw w+sw w.@&A@@F@@sw w&sw w/@@@T@O@@@@ @@ภ$Llettw3w;tw3w?@{ภ&Stricttw3w@tw3wF@;&Strict{@@@ t@@@@C@@A!k!{!k!@@@s@@  @@|@@@M@3@=F}@@@A8w@2@3@@@ภ'Pgenvaltw3wHtw3wO@N@@@|@@@M@ @ఐ["idtw3wQtw3wS@@@@ఐW#lamtw3wUtw3wX@%@@*@ఐ$bodytw3wZtw3w^@m@@5@@Q tw3w_@@@@@:@sw wtw3w`@@@@@@@@@@@@K@K@@@ఐˠ3body_with_functions'uwawg(uwawz@@@@@ఐ 0all_bindings_rev6uwaw{7uwaw@@@@@@@"@@'dynamicBuwawCuwaw@@@@@@K@#K@@@ @@@A@Orvv @@@ఠ9body_with_pre_allocationsbZwww[www@s'A@@J@$3]\\]]]]]@2<5@6@7@@@డ$List)fold_leftpxwwqxww@ txwwuxww@@z@@@@J@)@@2@@|@@@zJ@V@,@@@nJ@W@=@@@J@X@@YJ@,@@1@@0@@/@@.@#@@-@f$@@@+@@*+@@(@@'@@&3@K@@@@࣠@$bodycAxwwxww@(A@@>^@@@@%hA@ఠ"iddxwwxww@)A@@E3@r T@@@@@@ఠ$sizeexwwxww@*A@@M@@ఠ$_lamfxwwxww@+A@@R@@xwwxww@@@g@b@]@@[&@@  @@@ఠ%allocgywwyww@,A@@@@@lN@`3      @>G@A@B9@3@4.y@(@)@@@ఐ-compile_allocywxywx @@@@@@@e@@d@@@c@@b@@ఐW$size3ywx4ywx@$@@*@@@@.+@A@8yww@@ภ$Llet?zxx@zxx"@}tภ&StrictHzxx#Izxx)@@@@}}@@@xM@3MLLMMMMM@ESL@M@N@@@ภ'PgenvalZzxx+[zxx2@P@@@}@@@yM@@ఐ"idjzxx4kzxx6@\@@@ఐr%allocuzxx8vzxx=@%@@&@@@{M@M@/@ఐР$bodyzxx?zxxC@@@ :@@LzxxD@@6@@@w?@X@@@xwwzxxE@@@@@K@@@J@@I@@HK@K@?@@ఐ8body_with_dynamic_values{xFxL{xFxd@I@@~@@ఐ0all_bindings_rev{xFxe{xFxu@°@@>@@@@@&static{xFxv{xFx|@=@@H@@@EK@K@$@@` @@Pp@A@www @@ఐ9body_with_pre_allocations}xx@}@~@@@~3@}@@@@@@@@@@@@ @@@!@@@"@@@,#A@nG@*@A@'@'&@@T@e@`@q@o@keA@ A@E?A@3B@@@A@^YA@YhW'@W#WA@VVA@VfUJ@UpT@UT@TT@TjTh@A@@p@@@@@@@3@@@@2Value_rec_compilerB@@ H************************************************************************)A@@*A@L@ H /BMM0BM@ H OCaml 5C6C@ H ;D 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 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.  -* 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. s * 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. F > [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. s{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 5O5\@) ignored +F+S@ 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. $;$C$%@ 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. &w&'8'\@ < 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. *** +*`*@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.) 9"9"99@, Eta-expand ::::@ D Note: knowing the arity might let us generate slightly better code :::;A@ 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. @T@XAVA@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. fSfUff@  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). hahg!k!k)@ 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 ...] %kk'llI@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.  @o9oE Cp$p2@@*./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"-cHI S/home/teraram/ci/builds/workspace/parallel-build/flambda/true/label/ocaml-manycores ?>3210/.-,+*)('&%$#"! @@0hNl$=b3dccddddd@b@@(Asttypes0eT$BbRM dc5Build_path_prefix_map0zd,J4z8CamlinternalFormatBasics0|.e1R$|o0CamlinternalLazy0zY# #4#-*Cmi_format0{)ݬ[ƥ  *Data_types0v\3,Svh)Debuginfo0_ |PooGq#Env02O<r7 *Format_doc0uy@GmWUࠠ%Ident0>ЃzV)j⠠,Identifiable0]/*N 0x_edT-uqʐ0pZ/Dg/e&{m؜)Load_path0,j " nn7ݠ(Location0nBɊOn?7~ؠ)Longident0wP q;ɡ$Misc0Kvor#2D+Outcometree0BuG^)= 9c )Parsetree0v o[pY Y$Path0k.tbGmᠠ)Primitive0dU=\I/}%Shape0 M``ll&Stdlib0t0VoS%{<F:.Stdlib__Buffer0,I[?z.Stdlib__Digest0#z25I*.Stdlib__Domain0'Ϳo\0m.K.Stdlib__Either0HD ?|>.Stdlib__Format00FClW/Stdlib__Hashtbl0(L%bԠ,Stdlib__Lazy0$1mlࠠ.Stdlib__Lexing0^m|e,Stdlib__List0C|Z`>s䠠+Stdlib__Map0*4ɇ2ɠ%Subst0=aqT/!p+.Type_immediacy00$ jbv\"k&%Types0"|Vȷ`X )Unit_info0'T Χ@aRZ0ZRWfP2;ȣy0`4xiVC(Warnings0Ef{&@@Ae@YZYH}@@FFx̑x@2s2}C)C3ˑr@-W-an°@@33PBP~@@@8u8@  u@ѕFCC[ڑ[]@T^JT@z@ , 6OOQQ@Ց[e@Jw@MMC@eoK@@V# P:đ@ݑ~g~q@. .@RݑR{{@YIY5@@@0@**YY@@ˑհ9b9l@===G@ak@@@@3=rs>H@@XbUlUv@*AYzYiiS]@@_iKґKܰT6T@@w3Pv@  XCXMYmYc@L'L1WWYCYM@t@@<@HEE@ J T@@@WW@VPVZVV@343>@@  "@))ZZ*@QQ@uY@@ W a@mw@@@P2@@@@@A@@