Caml1999T036ePRIAJC2Value_rec_compiler*ocaml.text&_none_@@A . Compilation of generic recursive definitions @A@&stringQ;@@ A@@@@@B@@@%bytesC;@@ A@@@@@F@@@%floatD;@@A@@@@@J@@@$boolE;@@%falsec@@T@$trued@@Z@@@A@@@@@[@A@$unitF;@@"()e@@e@@@A@@@@@f@A@ #exnG;@@@A@@@@@j@@@#effH;@@O@A@A@@@@@@s@@@,continuationI;@@Q@@P@B@A@nY@@@@@@@@@%arrayJ;@@R@A@A@@@@@@@@@ $listK;@@S@A"[]f@@@"::g@@@T@@@ @@A@Y@@@@@@@@&optionL;@@V@A$Noneh@@@$Somei@@@@@A@Y@@@@@@@@)nativeintM;@@A@@@@@@@@%int32N;@@A@@@@@@@@%int64O;@@A@@@@@@@@&lazy_tP;@@X@AJA@Y@@@@@@@@5extension_constructorR;@@A@@@@@@@@*floatarrayS;@@A@@@@@@@@&iarrayT;@@Y@A[A@Y@@@@@@@@*atomic_locU;@@Z@AdA@@@@@@@@@.Assert_failure`#@@@@@J@@@@@@@@[@@A=ocaml.warn_on_literal_pattern @ @0Division_by_zero]#@@@A  @+End_of_file\#$@@@A@'FailureY#,@'@@A!$$@0Invalid_argumentX#5@0@@A*$-#-@-Match_failureV#>@@=@9@;@@a@@A;5>4>@)Not_foundZ#O@@@AC=F<F@-Out_of_memoryW#W@@@AKENDN@.Stack_overflow^#_@@@ASMVLV@.Sys_blocked_io_#g@@@A[U^T^@)Sys_error[#o@j@@Ad^g]g@:Undefined_recursive_modulea#x@@w@s@u@@h@@Auoxnx@:Continuation_already_takenb#@@@A}wv@&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@ @డ)Primitive&simple)Primitiveqq@ qq@@$name&stringQ@@@ %arity#intA@@@ %alloc$boolE@@@ =@@@ @@ @@ @@ @4typing/primitive.mlif**jeu@@@P@/*@@'%@@@ /" @@@ .@@@ -U@@@ ,@@ +@@ *@@ )j@90caml_alloc_dummy"q#q@@%q&q@@F@@@ @B@ BB@ A~@CA5q6q@@L@@@ ?B@ DB@ C@Iภ$trueGqHq@;@@@M@@@AB@@A\@@@ @@Y@@@ >B@ H@@}@@@A@Wp@@@@ఠ7alloc_float_record_primvds  es  @}CA@@@@@ _A@ I3jiijjjjj@@@@@@డ&simple)Primitive}t  ~t  )@ t  *t  0@@@@@@@ Q@@@ P@@@ O@@@ N@@ M@@ L@@ K*@6caml_alloc_dummy_floatt  8t  N@@t  7t  O@@@@@ bB@ dB@ c>@At  Wt  X@@@@@ aB@ fB@ eN@Ɛภ}t  `t  d@|@@@@@@ `B@ j^@@O@@b_@A@s   @@ @b@ఠ/alloc_lazy_primwv f jv f y@DA@@@@@ A@ k3@w~@@@@@డ&simple)Primitivew | ~w | @ w | w | @@@@@@@ s@@@ r@@@ qH@@@ p@@ o@@ n@@ m*@,5caml_alloc_dummy_lazyw | w | @@w | w | @@9@@@ B@ B@ >@6A(w | )w | @@?@@@ B@ B@ N@<ภ9w | :w | @@@@E@@@ B@ ^@@O@@b_@A@Cv f f @@ @b@ఠ+update_primxPy  Qy  @iEA@@@@@ A@ 3VUUVVVVV@w~@@@@@డ&simple)Primitivei{  j{  %@ m{  &n{  ,@@@@@@@ @@@ @@@ @@@ @@ @@ @@ *@1caml_update_dummy{  4{  E@@{  3{  F@@@@@ B@ B@ >@B{  N{  O@@@@@ B@ B@ N@ภi{  W{  [@h@@@@@@ B@ ^@@O@@b_@A@y   @@ @b@ఠ0update_lazy_primy} ] a} ] q@FA@@ @@@ A@ 3@w~@@@@@డ&simple)Primitive~ t v~ t @ ~ t ~ t @@@@@@@ @@@ @@@ 4@@@ @@ @@ @@ *@6caml_update_dummy_lazy~ t ~ t @@~ t ~ t @@%@@@ B@ B@ >@"B~ t ~ t @@+@@@ B@ B@ N@(ภ߰%~ t &~ t @@@@1@@@ B@ ^@@O@@b_@A@/} ] ] @@ @bDC- {1. Sizing} @A  AA  @@@@@@3?>>?????@t{@|@}@@A+*block_sizezAND  OD  @@;@@-Regular_block{2@@@ @@]E  ^E  @@vHA,Float_record|@@@@ @@kF  lF  '@@IA*Lazy_block}@@tG ( *uG ( 6@@JA@@A@@@@@xD  @@@@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 VR  .@@@@@@@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@@@@@@@MA(Function@@_pr_p|@0 Function definitions. This includes more than just obvious, syntactic function definitions; see {!Function Lifting} for details. `}b@@@@@@@NA%Block@@@ @@cc*@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. d+-h#@@@@@@@,OA@@A@@@@@I 8 8@@@@/KA@#ggJ D He@T@@@he0dc@cc@@@c@c@#__/S / 3]@N@@@`vA^]@]]@@@]@]@#YY@_ptW@H@@@ZRXW@WW@@@W@W@#SSQcRc@>@гU*block_size[c V@@\3YXXYYYYY@;@@@A@@@@@K@@@I@@\@@@@^r\[@[[@@@[@[@@A@W@@Wh@3kjjkkkkk@@@A+,binding_sizeCxj%*yj%6@@;@@@A.Lazy_backtrack!t/lambda_with_envC@@@ 6@@@ 7@@@ :@@@@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@@>@@@Nj%9:@@<@+GGkbfkbu@@;@@&lambda@@N&lambda@@@ ;lz|lz@@RA#env@@%Ident#Map!t@@@v@@@xmm@@SA@@A@@@@@=@@@:@#%%lz@@@Ш@г()lzlz@@/[@@2@@ <^@-@#))m@@@Ш@г,%Identmm@2 m!m@@6%m&m@ @г9,binding_size/m0m@@A@@@L @@O@@y@@@@A@y@@x@332233333@@@@ఠ,dynamic_sizeޠBpCp@[TA@@@@@@D@@@D@@@D@3QPPQQQQQ@@@@࣠@%param.AĠ"()dpep@;@@@N@@@@A@@Ax@@@@@@"3ihhiiiii@/ppqq@@@@@@@డ$Misc+fatal_error$Miscqq@ qq@@@&stringQ@@@P!a@M@@O@.utils/misc.mliYY@@$Misc@@@@@@@@UG@@@9@@ (letrec: No size found for Static bindingqq@@q@@@(@@@G@G@L@@6H@@M@VIA@tD@P@A@M@ML@i@ఠ*join_sizes/|JN|JX@UA@@@*@@@D@@ D@ D@@@D@@@D@3@@@@@@࣠@%size11A|JY|J^@VA@@ 3@-|JJ@@@@@  @@%size22A|J_|Jd@WA@@*3@!7@@@@@@@@@ఐ-%size1}go}gt@@@I3@"B@@@@@@ఐ(%size2%}gv&}g{@ @@N@@@@@]@U@@@@Ġ+Unreachable?~@~@;p@@@ @@@@CA@A@{@@@@w@/@@ఠ$size3P~Q~@iXA@@z@<@@@@@@@@C@@C@@$sizeg~h~@YA@@@T@@Ġ+Unreachableu~v~@6@@@@D@@b@@@@@@ @@i@@i@@D @@@@@@p@@@ఐ@$size~~@?@@@A@@3@|J@@@@@@@@@@@@@@@@ @@@@ @@@@@@@@@@@ఐ,dynamic_size@@@@{@@@I@@@@@ภq@o@@@@@@I@@@@@@@@A}gi@@3@@@@A@D@@A@@@@ఠ7find_size_of_alloc_prim5@ZA@@@6@@@5D@@&Lambda&lambda@@@LD@J@@@ID@ &optionL@@@fF@Q@@@^D@ @@ D@@@D@3@B]V@W@X@@@࣠@$prim7A-.@F[A@@;3.--.....@H56@@@@@  @@$args8AAB@Z\A@@F3BAABBBBB@!R@@@@@@@@@ఠ'same_as9TU@m]A@@@@@@?G@$boolE@@@.G@@@G@3feefffff@%1m@(@)@@@࣠@*other_prim;Awx@^A@@3xwwxxxxx@,L@@@@@  @@ Р)Primitive @@ 3@#8@@@@@@A3@@@ @@డ*&String%equal"@ #(@@@&Stdlib&String!t@@@@ @@@[@@@@@@@@*string.mlirrr@@.Stdlib__StringK@#@@@@@@$@ @@@#o@@@"@@!@@ A@@ఐ$prim)-@@@P@)prim_name.7@3)prim_name*@@@  @@@ @@@ 3*prim_arity @@@ @@A@@^^@@7K@3*prim_alloc@@@ @@B@@__@@AL@30prim_native_name%@@@ @@C@@ `?C `?\@@KM@35prim_native_repr_args($listKX+native_repr@@@ @@@ @@D-@@aa@@]N@34prim_native_repr_res: @@@ @@E6@@'b(b@@fO@@@+],]@@jJ@QI@@@@@6I@4@@ఐϠ*other_prim C8 DB@@@@)prim_name JC@a @@@@@@I@>@@@@@ S@@3 Q P P Q Q Q Q Q@@@@A@G@F@A@@@ఠ'int_arg bRX cR_@ {_A@@Π#intA@@@G@@@@G@G3 r q q r r r r r@ ' @!@"@@@ఐC$args Rh Rl@@@3        @@@@Ġ":: ry rA;  @@U@ B@AA@A @@Ġ&Lconst r@;&Lconst@@@@3structured_constant@@@<@AB@V@A1lambda/lambda.mli'&K&M'&K&l@@@ @Ġ*Const_base r r@;*Const_base@@@@(Asttypes(constant@@@ @A@@D@Arvr@@@@Ġ)Const_int r r@;)Const_int(Asttypes(constant@@@n@q@@@d@A@@G@A4parsing/asttypes.mliXX@@@ A@ఠ!n r r@ `A@@@@@r@@@ r r@@;@@@x@@@ r r@@[@@@~@@@t@@@Ġ"[] zA; y@@@@AA@A @@ @@}A@ y @@@@@@ rx@@@@@@@ภ$Some r r@; o ~@@W@ pA@AA@A -@@ pఐ9!n (r )r@8@9@:@@3 ) ( ( ) ) ) ) )@C@@@@@@@@ 5 6@@8@@8@@@ภ$None = >@; $@@@@AA@A N@@ @@@@@@A CRb@@@A@ ERT@@ఐ'same_as Q R@ܰ@@@@@@@@@@@3 Y X X Y Y Y Y Y@@@@@@@ఐ*alloc_prim i j@@@@@@G@G@@@# @@ ;@@@G@@డ &Option#map  @   @@@@!a@!b@@@ @@@@@@@@@@@@*option.mlioo@@.Stdlib__OptionI@&!@@@@[@@@hF@S@@T@ @@@R@@@P@@O@@Nd@@࣠@!nA  @ aA@@!3        @v@@@@@@ภ-Regular_block  @;@@@ @A@AB@A@@ఐ!n  @<@@@@=3        @)@@@@@@@@@g@  @@@L@@`G@lG@k+@@ఐ'int_arg   @@@q`@@@_G@oG@m@@ @@A@ఐˠ'same_as    @@@@ b@@@s@@@r@@qX@@ఐР7alloc_float_record_prim 4  5 4@Q@@ y@@@zG@|G@{l@@  @@@@@}G@yr@డ &Option#map Q:> R:D@  U:E V:H@@ʰ@@@@@@@F@LD@F@@@@ˠ@@@Z @@@@@@@@@࣠@!nA ~:N :O@ bA@@%3  ~ ~     @&@@@@@@ภ,Float_record :S :_@;+@)AAAB@A%@@"ఐ!n :` :a@=@@@@>3        @@&@@@@@@@@@@ :I :b@@@MH@@G@G@(@@ఐR'int_arg :c :j@X@@a@@@G@G@@@o @@D@@@ఐz'same_as ku k|@Y@@@ @@@s@@@@@W@@ఐ /alloc_lazy_prim k} k@@@ (@@@G@G@k@@  @@z@@@G@q@ภ$Some  @ภ*Lazy_block  @;'@@@@AB@A@@@@@F@@@@@D@@ภ$None @@@@ F@@ kr@@@  @@[@ @@ @@@ @@@ @A@.D@@A@@@@ఠ3compute_static_size . /@ GcA@@@1@@@=FD@@@@=ED@@@D@3 > = = > > > > >@#YR@S@T@@@࣠@#lamA O P@ hdA@@3 P O O P P P P P@* W Xt01%@@@@@  @@Aఠ7compute_expression_size e f@ ~eA@@@%Ident#Map!t@@@'F@ @@@!+F@@{@@@<]F@J@@@5F@@@ @@ 3        @8DW@;@<@@@࣠@#envA  @ iA@@13        @@@;@(#@@@@G@@@@A6compute_and_join_sizes@DF@@$listK?F@@@@!L@!@@ఐE#env  G  J@@@r"@@^@@@j@@@ '@Ġ$None PX P\@@@@@Q{@@@!<3        @8@@@@V@@@!=@@@ఐ,dynamic_size`h`t@#@@@@@@!IM@!H@@!G@@ภ`u`w@@@@@@@!NM@!R(@@@@)@Ġ$Some&x'x@ ఠ,binding_sizeˠ/x0x@H@A@@F@'F@&F@&F@"F@" F@!{N@!A@@@@@@@@!B@@@@@!C@@@డ%force.Lazy_backtrackVW@ Z[@@@@!a@ !b@ @@ @.Lazy_backtrack!t@@@ @@ @@ @8utils/lazy_backtrack.mliTQQTQz@@ B@&!@@@@@@@!L@!XF@4F@!F@!V@@!Y@" @@@!W @@!U@@!T3@jc@d@e@@@@࣠@BAঠ&lambdaA3 %@@@@@@3@@A@A@@A@ఠ̠ @AA@@@@!h3@&@@@#envAఠ͠@BA@@@@!m@@@!l@@@@@TF@!gO@!e@@@@ఐ{7compute_expression_size@A@@@z@gb@@!s@@!r3@V85@7@6'$@&@%@@@@ఐ.#env@ @@ @@@!z@@ఐQ&lambda@@@OO@!%@@-@@&@@@@@@!cM@!M@!]@@ఐ,binding_size !@@@@@@@k@@@A% &&@@4@Ġ'Lmutvar12&@;'Lmutvar@!t@@@;@AA@V@A&&4&6&&4&J@@@5 @@D'E(@@@@@ @@@@@@@@@@ఐ ,dynamic_sizeS,T8@u@@@ @@@!K@!@@!@@ภ e9f;@ @@@ @@@!K@!@@@@@Ġ&Lconstx<By<H@ܠ@}<I~<J@@@@@ #@@@ @@@@@@@ภ(Constant<N<V@; J@@@ACA@A  @ @@@ #@Ġ&LapplyW]Wc@;&Lapply@,lambda_apply@@@=@AC@V@A(&m&o(&m&@@@ @@WdWe@@@@@ &D@@@@@0E@@0E@@@ఐ w,dynamic_sizeWiWu@۰@@@ r@@@!:K@!@@!X@@ภ hWvWx@ g@@@ @@@!K@!h@@@@Oi@Ġ)Lfunctionyy@;)LfunctionB@)lfunction@@@>@AD@V@A?)&&@)&&@@@@@yy@@@@@ )@@@@@v@@v@@@ภ(Functionyy@; @@@BCA@A  @ @@@|@Ġ$Llet  @;$Lleto@ (let_kind@@@?*value_kind@@@@!t@@@A@@@B @@@C@EE@V@A*&&*&&@@@#@@23@@$@@@ 0343344444@@@@@;<@@'@@@ 1 @ఠ"idGH@`lA@@/@@@ 2@ఠ#defUV@nmA@@R@@@ 3%@ఠ$bodycd@|nA@@`@@@ 43@@@`k@@5@@5@@@@ఠ#envϠvw@CA@@HK@!@@@!K@!3~~@FC<@=@>6/@0@1)"@#@$@@@డ #Map#add%Ident@ @@@ @@@@@@!a@@G @@@K @@@@@@@@@@@F@$@@@1@@@!@F@ZK@@@!^O@@@!@@!@@!@@!M@@ఐ"id@U@@O@@@!L@!_@@డ i&create.Lazy_backtrack@ @@@!a@ !b@ @@@ @@ @U{{U{@@C@@@@ @@@",F@!L@!  @ @"-F@!@@@!@@!@@ຠ&lambda/0@ఐ㠐#def89 @@@ d@@@!M@!@#envF GAఐ @@@@@OP@@B@@RS@@F@!@@ఐʠ#env_`@2@@@@@@@A@d@@ఐ 7compute_expression_sizen%o<@ϰ@@@@@@"<@@";3rqqrrrrr@@@@@@@ఐ #env=@@ @@ @@@"C@@ఐ0$bodyAE@ @@K@"J#@@+@@$@6@@@Ġ'LmutletFLFS@;'Lmutlet@@@@D]!t@@@E @@@F @@@G@DF@V@A+&&+&'@@@ @@FTFU@@@@@ :3@@@@@FWFX@@!@@@ ; @@FZF[@@ @@@ <@ఠ$bodyF]Fa@oA@@ @@@ =@@@DFb@@i!@@i!@@@ఐ7compute_expression_sizeflf@S@@@@yt@@"M@@"L3@@@@@@@ఐq#envff@ٰ@@@@ఐ3$bodyff@@@[K@"T@@'@@ @Ġ'Lletrec#$@;'Lletrec@$listK '+rec_binding@@@I@@@H .@@@J@BG@V@A,'',''?@@@ 1@ఠ(bindingsDE@]pA@@ @@@ C@@@ B3LKKLLLLL@@@@ఠ$bodyWX@pqA@@ T@@@ D@@@<_@@@@@@@@ఠ#envРjk@DA@@X@5@6@@@#def@!@@@2@@@&@@@@@fO@&@@@@డ ;#Map#add%Ident01@ 45 @@9 :@ @ @@@@@@&)@@٠@@@&(ݠ@@@&&@@&%@@&$@@&#3KJJKKKKK@IQN@P@O@@@@ఐX"id[\@ @@@@@&JO@&I@@డ -create_forced.Lazy_backtrackst"@ w#x0@@@!b@ !a@  @@@ #@@ "@XX@@F@@@@wF@&^O@&W)F@&V @@@&U@@&TN@@ภ(Function19@@@@P@&_\@@:@@:F@&\`@@ఐꠐ'env_acc;B@@@ m@@@@OL@@@&Br@C@@@@@@&@@&L@&L@&}U@@ఐ@#envDNDQ@@@m@@ఐ(bindingsDRDZ@k@@47@@@&L@&L@&+@@f @@=x@A@ @@ఐ7compute_expression_sizedjd@Z@@@@{@@&@@&3@@@@@@@ఐ#env dd@ @@@@ఐà$bodydd@@@bK@&@@'@@ @2@@@Ġ%Lprim+,@;%Lprim @#@@@K  1@@@M@@@L 6/scoped_location@@@N@CH@V@A -'@'B -'@'v@@@ ;@ఠ!pNO@grA@@E@@@ J3RQQRRRRR@@@@ఠ$args]^@vsA@@- ]@@@ L@@@ K@@kl@@0@@@ M@@@Fq@@@@@@@ఐw1size_of_primitive{|@{@@@y@w@pj@@&@@&@@&3@G=6@7@8/(@)@*@@@@ఐ#env@f@@+@@ఐR!p@@@@@ఐP$args@'@@F@Y@6@@@@ @@@@@@@@@@CC@A ].. ]..@@ 1@V@A ^.. ^..@@ 2@j\@@V @@@&@@@&i@Ġ$None * .@ p@@@@j @@@&@@@&@@q @@@&@@@&@@@ภ"[] 2 4@ @@@@Ġ$Some5?5C@ ఠ$fail5D5H@HA@@ @@@&@@@@@ @@@&@@@&@@ @@@&@@@&@@@ภ"::5M5cA g@@ 5N@@3@.'@(@)@@@@ఐ4$fail5^5b@ @@@@@@K@&@ภ"[] $A @ %A@K@&@@@&M@&!@@$5L.@@#@@@A&0@@@A@(2@@ఐ b=compute_and_join_sizes_switch2ms3m@ f@@@ f @@@&@@@&@ a `@@@@'#J@&ࠠ@ `@@@&@@&@@@&@@@& ^@@@&@@&@@&3VUUVVVVV@6WP@Q@R@@@@ఐ Ѡ#envfmgm@ 9@@ @@ภ|qmrmA ఐ"sw }m@X@@@@@'%@' +@)sw_constsmm@-@@ @N@ @@@&@@&@@@&K@'K@'&K@'!E@ภm3A ఐ "sw m@ @@@@@'<@'7]@)sw_blocksmm@=@@4K@'2K@'=K@'8j@ภ԰mXA 9ఐʠ)fail_case m@x @@K@'IK@'QK@'M@ภưnA @oA@O@@@'LK@'[@@vA@V,@@@'5K@'H@@K}A@]e@@@'K@'1@@m@@ k@@@&K@'@@@@wK@&@@@ |@Ġ-Lstringswitch  @;-Lstringswitch o@ @@@R@&stringQ@@@U@@@@V@@T@@@S&@@@X@@@W@@@Y@DJ@V@A 1( ( 2("(i@@@.@@=>@@8@@@ ^3?>>?????@ @@@ఠ%casesJK@cuA@@:@9@@@ a@S@@@ b@@ `@@@ _@ఠ$failef@~vA@@@e@@@ d@@@ c.@@st@@8@@@ e6@@@ny@@ 8@@ 8@@@@ఠ)fail_case@IA@@@@@@'K@'@@@@'K@'@@'K@'{@@@'|K@'_3@ c]V@W@XC<@=@>@@@ఐI$fail @ @@@@@'b@@@'a3@@@@Ġ$None $@ @@@@@@@'j@@@'i-@@@@@'l@@@'k4@@@ภ(*@ @@@T<@Ġ$Some+5+9@ ͠ఠ$fail+:+>@JA@@@@@'s>@@@@@Π@@@'u@@@'tF@@ՠ@@@'w@@@'vM@@@ภ +C +ZA{@ +D@@+E@@3@z0)@*@+@@@@ఐ6$fail%+U&+Y@ @@@@@@K@'@ภ &A'@ 'A@K@'@@@'M@' @@:+B0@@"@@@A<2@@@A@>4@@ఐ x=compute_and_join_sizes_switchHdjId@ |@@@ | @@@'@@@'@ w v@F@@@'J@'@ v@@@'@@'@@@'@@@' t@@@'@@'@@'3lkklllll@@@@@@@ఐ 砐#env|d}d@ O@@ @@ภddAఐG%cases d@ @@ @@@ @@@'@@'@@@'K@'K@'K@'7@ภd%Aఐ1)fail_case d@E @@&K@'K@'K@'N@ภ;A@Apఐ$body  4@" @@ PF@((@ภ6Aఐ'handler =@4 @@K@(;@ภ  &A@ 'A@#L@(@@@(K@("J@@0A@,F@(@@@(K@(S@@9/:@@ F@4F@(F@(Z@@b@@@ [@Ġ+LifthenelseJ?EK?P@;+Lifthenelse@H@@@hL@@@iP@@@j@CN@V@A8)v)x8)v)@@@S@ఠ%_condf?Rg?W@{A@@c@@@ 3jiijjjjj@ .@@@ఠ$ifsou?Yv?]@|A@@r@@@ @ఠ%ifnot ?_?d@}A@@@@@ @@@A?e@@ @@ @@@ఐ 預6compute_and_join_sizesioi@ @@@ @  @@(%@@($3@ `>7@8@90)@*@+#@@@@@@ఐ#envii@ @@E@@ภðiiA)ఐM$ifso i@" @@K@(2*@ภװiA<ఐR%ifnot i@4 @@K@(:=@ภŰ &A@ 'A@NL@(4@@@(9K@(?L@@0A@WF@(-@@@(1K@(8U@@i:@@F@(0Y@@a=@@qZ@Ġ)Lsequence@;)Lsequenced@@@@k@@@l@BO@V@Ac9))d9))@@@@@@@@@@ 3@ @@@ఠ!eà!"@:~A@@@@@ @@@))@@@@@@@ఐΠ7compute_expression_size34@@@@@@@(B@@(A376677777@ @@@@@@ఐ#envGH@@@@@ఐ3!eTU@@@K@(I@@'@@ @Ġ&Lwhilehi@;&Lwhile@f@@@mj@@@n@BP@V@A:)):))@@@m@@|}@@w@@@ h@@@|@@@ m@@@ @@n@@n@Ġ$Lfor@;$Lfor@D!t@@@o@@@p@@@q.direction_flag@@@r@@@s@EQ@V@A;));)* @@@@@@@"@@@ @@@@@@ @@ @@@@ @@@"@@@ @@@@@@ @@@?@@N@@N@@g@@O@Ġ'Lassign@;'Lassign;@!t@@@t@@@u@BR@V@A=<*!*#><*!*@@@@@@  @@@@@ @@@@@@ @@@" @@y@@y@@ @@z@@@ภ(Constant  @ w@@@~@Ġ%Lsend     @;%Lsendq@ )meth_kind@@@v@@@w@@@x @@@z@@@y@@@{@ES@V@A=*A*C=*A*@@@%@@4  5  @@$@@@  @@@4@@@ %@@ @9@@@ *@@@%A@@@ @@@ 3@@@@@@ 8@@@E@@9@@9@@@ఐ,dynamic_size[  \  +@}@@@@@@(P K@(O@@(NL@@ภ m  ,n  .@ @@@&@@@(UK@(Y\@@@@]@Ġ&Levent / 5 / ;@;&Levent@~@@@|,lambda_event@@@}@BT@V@A>**>**@@@@ఠ!eĠ / = / >@A@@@@@ b@@ / @ / A@@@@@ j@@@* / B@@+l@@+l@@@ఐO7compute_expression_size F L F c@@@@N@;6@@(\@@([3@}' @!@"@@@@ఐ3#env F d F g@@@`@@ఐ;!e F h F i@@@K@(c@@'@@V @Ġ'Lifused j p j w@;'LifusedI@!t@@@~@@@@BU@V@AK?**L?**@@@@@ j x j y@@@@@ @@@@@@ @@@" @@@@@@@ภ(Constant  j } j @ @@@@@@A@@3@@@@|A@@@@@4k@@4jF@4h~@@@@xxYX@WZ@@u@se@@ @@ 3#""#####@@@@࣠@#envA2  3  @KOA@@332233333@@@@@@@(branchesAA  B  @ZPA@@3BAABBBBB@@@@@@@@@డ$List)fold_leftW  X  @ [  \  @@ ϰ@@@@H@4x@@@4|@@4{@@@@@4y @@4w@@4v@@4u3lkklllll@+7@.@/@@@@࣠@$sizeA    @QA@@!3@@@@@@@&branchA    @RA@@3@%3@@@@@@@@ఐ٠*join_sizes    @@@@@@@4@@@4@@43@%@@@@@@ఐ;$size    @%@@X@@ఐb7compute_expression_size   ! @(@@@a@NI@@4@@4#@@ఐ#env !  ! @@@,0@@ఐY&branch ! !@:@@-=@@   !@@f@@@K@@)A@   !@@@@<@@4@@4I@4I@4s@@ภ+Unreachable!!!!(@@@@BI@4@@ఐѠ(branches!!)!!1@@@_@@@@@A@@i@gY@@4@@4F@4@@@   @TT%$@#&Ш:@б@гY%Ident4!X!q5!X!v@a8!X!w9!X!z@@e=!X!{>!X!|@ @гȠ,binding_sizeG!X!dH!X!p@@@@@3IHHIIIII@@@@@@}@@@ @@б@гv$list[!X!\!X!@г{$listd!X!e!X!@В@А!a@$q!X!r!X!@@@гz!X!{!X!@@@@@3@@@@@ @@: @@@ @@@?!X!(@@@ @@@E6@@г$size!X!!X!@@@@@Q@@@@@T@@@U@@W] @@9@@[@A@@@۠6@@@ @@@ @֠ՠ@Q@ @@@@ @@ @@@ @@@ @@@ @@ @@  @@ @࣠@#envA!!!!@TA@@ o@@@4@@@43@JH;@@@A@@@A@!X!a!X!b@@@@SA@@@@@@)all_casesA!!!!@UA@@@$@@@5@@@@5@@5@@@5@@@53@0G=:@@@4@@@4@E@F@@@@'&@@డ$List)fold_left-!!.!!@ 1!!2!!@@ @@@@tJ@5!@@B@@@5J@5[@M@5\@@5]M@5C@@@5RJ@5#@@5%@@5$@@@@@5"!@@5 @@5@@53WVVWWWWW@Gka`@_@@@5@^@@@5@@5@@@5@@@5@v@w@@@@࣠@$sizeA!!!!@VA@@J3@)@@@@@@%casesA!!!!@WA@@U3@9\@@@@@@@@డ)$List)fold_left!!!!@ !!!!@@ @@@@M@5A@r@@5E@@5D@@y@@@5B @@5@@@5?@@5>3@+7@.@/@@@@࣠@$sizeA!"!"@XA@@!3@@@@@@@zA@ఠ$_key!"!" @YA@@3@*!8@@@@@@ఠ&action!" !"@ ZA@@@@!"!"@@@@@@5_@@ @@ఐ@*join_sizes ""% ""/@@@@;@@@5f@@@5e@@5d3        @/8@2@3*@$@%@@@@ఐW$size !""0 """4@<@@t@@ఐˠ7compute_expression_size 0""6 1""M@@@@@@@5r@@5q%@@ఐn#env A""N B""Q@-@@jF@5@@@58@@ఐd&action T""R U""X@@@@E@@ X""5 Y""Y@@H@@S@@I@ \!! ]""Z@@@@$@@5T@@5SN@5N@5@@ఐ$size p"["g q"["k@ް@@:@@ఐ%cases }"["l ~"["q@@@C@@@@@ !! "["r@@@Q@OS@@54@@53K@5K@5 @@ภ+Unreachable "s"{ "s"@V@@@K@5@@@ఐ)all_cases "s" "s"@J@@q@@@52K@5K@5U@@ @@w-@ A@б@гߠг䠐@@@@4~@@@@@4}@б@гՠ|{г֠xwВ@гנvsr@@@@@4w@@г۠t@@@@4 q@@@@ @@4p@@ @@@4o@@@@@4m@гlk@@@@4 h@@ @@4"g@@>@@4$f@Y@@@<@@@5@@@5@76@5@4Š@3@@@5@@5@@@5@@@51@@@5@@5@@5F@5G@@@!-!2!4@22@@@/@-@& @@ @@ @@ 3!7!6!6!7!7!7!7!7@@@@࣠@#envA!F""!G""@!_[A@@C3!G!F!F!G!G!G!G!G@@@@@@@!pA!U""!V""@!n\A@@N3!V!U!U!V!V!V!V!V@U@@@@@@@@$argsA!f""!g""@!]A@@V3!g!f!f!g!g!g!g!g@b@@@@@@@@ఐ&!p!x""!y""@@@p3!x!w!w!x!x!x!x!x@j@@@@@Ġ'Pignore!""!""@;'Pignore@@@@@@Bo~@Ay y@@@b@@@  @@3!!!!!!!!@<@@@@@Ġ)Psetfield!""!""@;)Psetfield@ r@@@4immediate_or_pointer@@@@@@@@6*@@@@@s@@s@@@@t@Ġ*Pbytessetu"#?#E"#?#O@;*Pbytessetu@@@do~@Ac R pc R |@@@X@@@  @@@@@@ @@@Ġ*Pbytessets"#P#V"#P#`@;*Pbytessets@@@fo~@Ac R c R @@@Z@@@  @@@@@@ @@@Ġ*Parraysetu"#a#g"#a#q@;*Parraysetu@*array_kind@@@@AWo~@All@@@_@@"#a#r"#a#s@@@@@6/ @@@@@@@@@@@@Ġ*Parraysets"#t#z"#t#@;*Parraysets$@!@@@@AYo~@A-n8:.n8T@@@a@@"#t#"#t#@@.@@@62,@@@@@-@@-@@;@@.@Ġ,Pbigarrayset"##"##@;,PbigarraysetC@$boolE@@@Ԡ @@@ՠ-bigarray_kind@@@֠/bigarray_layout@@@@Dko~@A`aT@@@y@@######@@!@@@68_@@@@@@69d@@ @@@@6:i@@@@@@6;n@@@9@@o@@o@@}@@p@Ġ-Pbytes_set_16#/###0##@;-Pbytes_set_16@B@@@@Aso~@Axzx@@@1@@#@###A##@@@@@6>@@@@@;@@;@@@@<@Ġ-Pbytes_set_32#O###P##@;-Pbytes_set_32@b@@@@Ato~@A@@@Q@@#`###a##@@@@@6A@@@@@[@@[@@@@\@Ġ-Pbytes_set_64#o###p##@;-Pbytes_set_64@@@@@Auo~@A@@@q@@######@@@@@6D@@@@@{@@{@@@@|@Ġ1Pbigstring_set_16######@;1Pbigstring_set_16@@@@@Ayo~@A@@@@@######@@@@@6G@@@@@@@@@@@@Ġ1Pbigstring_set_32#####$@;1Pbigstring_set_32@@@@@Azo~@A@@@@@##$##$@@@@@6J@@@@@@@@@@@@Ġ1Pbigstring_set_64#$$#$$)@;1Pbigstring_set_64%@@@@@A{o~@A/0@@@@@#$$*#$$+@@@@@6M.@@@@@/@@/@@=@@0@Ġ%Ppoll#$,$2#$,$7@;%PpollE@@@no~@AJK@@@@@@  @@B@@B@@P @@C@@@ภ(Constant$%%$%%@w@@@L@Ġ*Pduprecord$ %%$%%(@;*Pduprecordc@%Types5record_representation@@@@@@@BIo~@AvF  wF  @@@n@ఠ&repres$+%%*$,%%0@$D^A@@@@@6R3$/$.$.$/$/$/$/$/@@@@ఠ$size$:%%2$;%%6@$S_A@@#@@@6S@@@5$B%%7@@8@@8@@@ఐ!&repres$L%;%O$M%;%U@ @!@"@@>@@@7+3$P$O$O$P$P$P$P$P@/ @@@@@Ġ.Record_regular$e%[%e$f%[%s@;.Record_regular%Types5record_representation@@@:@@@@BC@A0typing/types.mliJJJJ@@@ @@@@@f@@@;^(@@(@Ġ.Record_inlined$%[%v$%[%@;.Record_inlined@#intA@@@:@AABC@AKcKeKcK|@@@%@@$%[%$%[%@@@@@;bH@@@@@@@@;cL@@L@@; @@@@@;dP@Ġ0Record_extension$%[%$%[%@;0Record_extensionF@$Path!t@@@:@ABBC@AGKKHKK@@@O@@$%[%$%[%@@@@@;hr@@@@@@@@;iv@@v@@e @@@@@;kz@@@ภ%Block$%%$%%@;@A@CA@A@ ภ-Regular_block$%%$%%@ఐ$size$%%$%%@@@ @@@;M@;M@;@@$%%$%%@@@@@;}M@;@@(@@@Ġ,Record_float%%%%%%@;,Record_float@@@ABC@AJJJJ@@@@@@  @@@@@;o@@@@@;p@@@ภ%Block% %%% %%@Hภ,Float_record%$ %%%% %%@ఐ$size%. %&%/ %&@ڰ@@ @@@;M@;M@;@@%9 %%%: %&@@ =@@@;M@;@@&@@'@Ġ.Record_unboxed%K &&%L &&@;.Record_unboxed@$boolE@@@:@A@BC@AKKKK-@@@@@%^ &&%_ && @@@@@;u@@@@@R@@@;v@@U@@@;w@@@డ+fatal_error$Misc%w &$&0%x &$&4@ %{ &$&5%| &$&@@@@@@@@@;N@;@@;3@@1size_of_primitive% &$&B% &$&S@@% &$&A% &$&T@@ @@@;N@;N@;G@@$ @@H@@@A%%;%C% &U&`@@K@Ġ*Pmakeblock% &a&g% &a&q@;*Pmakeblock@Z@@@,mutable_flag@@@+block_shape@@@@CBo~@A~(*~(Z@@@e@@% &a&r% &a&s@@@@@6X@@@@@@6Y@@ @@@@6Z@@@-@@@@@@@ภ%Block%']'e%']'j@ภ-Regular_block%']'l%']'y@ డ$y$List&length%']'{%']'@ %']'%']'@@@I!a@$Z@@@$c#intA@@@$b@@$a@gkhk @@fC@@@@^F@&F@;@@@;@@@;@@;@@ఐƠ$args&)']'&*']'@@@@@&-']'z&.']'@@!@@@;@;L@;@@&7']'k&8']'@@!;@@@;K@; @@d@@% @Ġ.Pmakelazyblock&I''&J''@;.Pmakelazyblock@G.lazy_block_tag@@@@ACo~@A[][@@@Lf@@&[''&\''@@@@@6].@@@@@V/@@V/@@@ภ%Block&g''&h''@ภ*Lazy_block&p''&q''@n@@@!u@@@;K@;F@@@@_G@Ġ*Pmakearray&''&''@;*Pmakearray@@@@,mutable_flag@@@@BSo~@Ae  e  @@@[@ఠ$kind&''&''@&`A@@@@@6a3&&&&&&&&@)@@@@&''&''@@@@@6b @@@+&''@@ @@ @@@@ఠ$size_&''&''@&cA@@@@@;L@;3&&&&&&&&@H+$@%@&@@@డ%W$List&length&''&''@ &''&''@@ް@@@ޠF@;@@@;@@@;@@;"@@ఐ$args&''&'(@s@@/@@ @@30@A@&''@@ఐ`$kind&((&((@;@@N@@@;3'&&'''''@BPI@J@K@@@Ġ)Pgenarray'($(.'($(7@;)Pgenarrayf@@@@@@@D@@Ars@@@@@@  @@o@@@;!@@!@Ġ*Paddrarray',($(:'-($(D@;*Paddrarray@@@AD@@A@@@)@@@  @@@@@;6@@6@@& @@@@@;:@Ġ)Pintarray'E($(G'F($(P@;)Pintarray1@@@BD@@A@@@B@@@  @@@@@;O@@O@@? @@@@@;S@@@ภ%Block'\(T(`'](T(e@ภ-Regular_block'e(T(g'f(T(t@ఐ$size'o(T(u'p(T(y@l@@#@@@;M@;M@;v@@'z(T(f'{(T(z@@"~@@@;M@;~@@&@@h@Ġ+Pfloatarray'({('({(@;+Pfloatarrayx@@@CD@@A@@@@@@  @@@@@;@@@@@;@@@ภ%Block'(('((@Ϡภ,Float_record'(('((@ ఐ$size'(('((@@@#V@@@<M@<M@<@@'(('((@@"@@@;M@<@@&@@@@@A'(('((@@@@@ @Ġ)Pduparray'(('((@;)Pduparray,@)@@@!,mutable_flag@@@@BTo~@A;f  <f @@@\@@'(('((@@<@@@6f3''''''''@v@@@@ @@@@6g@@@" @@@@@@@ఐ$args()$)8()$)<@@@@Ġ(  )B)M( )B)QA~ఠ#arg` ( )B)P@(.dA @@F@< )@Ġ A@@ A@' @@@<4@@@(& )B)L@@6@@6@@@ఐˠ7compute_expression_size(0!)U)a(1!)U)x@@@@@@@,,!+>,,+@;*Preperform .@@@Go~@A"3K ) +"4K ) 7@@@#r@@@  @@ g@@ g@@ @@ h@Ġ(Psequand+?,,,2+?,,,:@;(Psequand A@@@Ho~@A"FQ  "GQ  @@@#u@@@  @@ z@@ z@@' @@ {@Ġ'Psequor+?,,,=+?,,,D@;'Psequor T@@@Io~@A"YQ  "ZQ  @@@#v@@@  @@ @@ @@: @@ @Ġ$Pnot,?,,,G,?,,,K@;$Pnot g@@@Jo~@A"lQ  "mQ  @@@$w@@@  @@ @@ @@M @@ @Ġ'Pnegint,$@,L,R,%@,L,Y@;'Pnegint z@@@Ko~@A"S  "S  @@@$!x@@@  @@# @@# @@` @@$ @Ġ'Paddint,7@,L,\,8@,L,c@;'Paddint @@@Lo~@A"S  "S  @@@$4y@@@  @@6 @@6 @@s @@7 @Ġ'Psubint,J@,L,f,K@,L,m@;'Psubint @@@Mo~@A"S  "S  @@@$Gz@@@  @@I @@I @@ @@J @Ġ'Pmulint,]@,L,p,^@,L,w@;'Pmulint @@@No~@A"S  "S  @@@$Z{@@@  @@\ @@\ @@ @@] @Ġ'Pdivint,pA,x,~,qA,x,@;'Pdivint @$n'is_safe@@@@ALo~@A"T  "T  2@@@$s|@@,A,x,,A,x,@@@@@6 @@@@@} @@} @@@@~ @Ġ'Pmodint,A,x,,A,x,@;'Pmodint @!@@@@AMo~@A"T  3"T  G@@@$}@@,A,x,,A,x,@@.@@@6 +@@@@@ ,@@ ,@@@@ -@Ġ'Pandint,B,,,B,,@;'Pandint @@@Oo~@A# U H J# U H S@@@$~@@@  @@ ?@@ ?@@ @@ @@Ġ&Porint,B,,,B,,@;&Porint @@@Po~@A#U H T#U H \@@@$@@@  @@ R@@ R@@ @@ S@Ġ'Pxorint,B,,,B,,@;'Pxorint ,@@@Qo~@A#1U H ]#2U H f@@@$@@@@  @@ e@@ e@@ @@ f@Ġ'Plslint,C,,,C,,@;'Plslint ?@@@Ro~@A#DV g i#EV g r@@@$A@@@  @@ x@@ x@@% @@ y@Ġ'Plsrint,C,,,C,,@;'Plsrint R@@@So~@A#WV g s#XV g |@@@$B@@@  @@ @@ @@8 @@ @Ġ'Pasrint-C,,-C,,@;'Pasrint e@@@To~@A#jV g }#kV g @@@% C@@@  @@  @@  @@K @@  @Ġ(Pintcomp-"D,,-#D,,@;(Pintcomp x@% 2integer_comparison@@@@ANo~@A#W  #W  @@@%%D@@-4D,,-5D,,@@@@@6 @@@@@ / @@ / @@l@@ 0 @Ġ-Pcompare_ints-CE,,-DE,,@;-Pcompare_ints @@@Uo~@A#Y  #Y  @@@%@E@@@  @@ B @@ B @@ @@ C @Ġ/Pcompare_floats-VE,,-WE,- @;/Pcompare_floats @@@Vo~@A#Y  #Y  @@@%SF@@@  @@ U @@ U @@ @@ V @Ġ.Pcompare_bints-iE,--jE,-@;.Pcompare_bints @%g-boxed_integer@@@@AOo~@A#Y  #Y  6@@@%lG@@-{E,--|E,- @@@@@6 @@@@@ v @@ v @@@@ w @Ġ+Pintoffloat-F-!-'-F-!-2@;+Pintoffloat @@@Wo~@A#] | ~#] | @@@%J@@@  @@  @@  @@ @@  @Ġ+Pfloatofint-F-!-5-F-!-@@;+Pfloatofint @@@Xo~@A#] | #] | @@@%K@@@  @@  ,@@  ,@@ @@  -@Ġ)Pnegfloat-G-A-G-G-A-P@;)Pnegfloat @@@Yo~@A$ ^  $ ^  @@@%L@@@  @@  ?@@  ?@@ @@  @@Ġ)Pabsfloat-G-A-S-G-A-\@;)Pabsfloat @@@Zo~@A$^  $^  @@@%M@@@  @@  R@@  R@@ @@  S@Ġ)Paddfloat-H-]-c-H-]-l@;)Paddfloat ,@@@[o~@A$1_  $2_  @@@%N@@@  @@  e@@  e@@ @@  f@Ġ)Psubfloat-H-]-o-H-]-x@;)Psubfloat ?@@@\o~@A$D_  $E_  @@@%O@@@  @@  x@@  x@@% @@  y@Ġ)Pmulfloat-H-]-{-H-]-@;)Pmulfloat R@@@]o~@A$W_  $X_  @@@%P@@@  @@  @@  @@8 @@  @Ġ)Pdivfloat.H-]-.H-]-@;)Pdivfloat e@@@^o~@A$j_  $k_  @@@& Q@@@  @@! @@! @@K @@! @Ġ*Pfloatcomp."I--.#I--@;*Pfloatcomp x@& 0float_comparison@@@@ARo~@A$`  $`  @@@&%R@@.4I--.5I--@@@@@6 @@@@@!/ @@!/ @@l@@!0 @Ġ-Pstringlength.CJ--.DJ--@;-Pstringlength @@@_o~@A$b # %$b # 4@@@&@S@@@  @@!B @@!B @@ @@!C @Ġ+Pstringrefu.VJ--.WJ--@;+Pstringrefu @@@`o~@A$b # 5$b # B@@@&ST@@@  @@!U @@!U @@ @@!V @Ġ+Pstringrefs.iJ--.jJ--@;+Pstringrefs @@@ao~@A$b # D$b # Q@@@&fU@@@  @@!h @@!h @@ @@!i @Ġ,Pbyteslength.|K--.}K--@;,Pbyteslength @@@bo~@A$c R T$c R b@@@&yV@@@  @@!{ @@!{ @@ @@!| @Ġ*Pbytesrefu.K--.K--@;*Pbytesrefu @@@co~@A$c R c$c R o@@@&W@@@  @@! @@! @@ @@! @Ġ*Pbytesrefs.K--.K-.@;*Pbytesrefs @@@eo~@A$c R }$c R @@@&Y@@@  @@! 1@@! 1@@ @@! 2@Ġ,Parraylength.L...L..@;,Parraylength @ @@@@AUo~@A%j%j@@@&]@@.L...L..@@ @@@6 O@@@@@! P@@! P@@@@! Q@Ġ*Parrayrefu.M...M..'@;*Parrayrefu *@ '@@@@AVo~@A%3k%4k@@@&^@@.M..(.M..)@@ 4@@@6 n@@@@@! o@@! o@@@@! p@Ġ*Parrayrefs.N.*.0.N.*.:@;*Parrayrefs I@ F@@@@AXo~@A%Rm%Sm7@@@&`@@/N.*.;/N.*.<@@ S@@@6 @@@@@! @@! @@;@@! @Ġ&Pisint/O.=.C/O.=.I@;&Pisint h@@@go~@A%mp%np@@@'b@@@  @@" @@" @@N @@" @Ġ&Pisout/%P.J.P/&P.J.V@;&Pisout {@@@ho~@A%r%r@@@'"c@@@  @@"$ @@"$ @@a @@"% @Ġ*Pbintofint/8Q.W.]/9Q.W.g@;*Pbintofint @@@@@AZo~@A%t.0%t.M@@@'9d@@/HQ.W.h/IQ.W.i@@@@@6 @@@@@"C @@"C @@@@"D @Ġ*Pintofbint/WR.j.p/XR.j.z@;*Pintofbint @@@@@A[o~@A%uNP%uNm@@@'Xe@@/gR.j.{/hR.j.|@@@@@6 @@@@@"b @@"b @@@@"c @Ġ(Pcvtbint/vS.}./wS.}.@;(Pcvtbint @ @@@@@@@B\o~@A%vnp%vn@@@'{f@@/S.}./S.}.@@@@@6@@@#@@@6@@@ @@"@@"@@ @@"@Ġ(Pnegbint/T../T..@;(Pnegbint @5@@@@A]o~@A%w%w@@@'g@@/T../T..@@B@@@68@@@@@"9@@"9@@@@":@Ġ(Paddbint/U../U..@;(Paddbint@T@@@@A^o~@A&x&x@@@'h@@/U../U..@@a@@@6W@@@@@"X@@"X@@@@"Y@Ġ(Psubbint/V../V..@;(Psubbint2@s@@@@A_o~@A&;y&<y@@@'i@@/V../V..@@@@@6v@@@@@"w@@"w@@$@@"x@Ġ(Pmulbint/W../W..@;(PmulbintQ@@@@@A`o~@A&Zz&[z.@@@'j@@0 W..0 W..@@@@@6@@@@@#@@#@@C@@#@Ġ(Pdivbint0X..0X..@;(Pdivbintp@#@@@@Aao~@A&{{/1&|{/j@@;@@$size0@@@@@İ&{/A&{/V@@(*k@'is_safe1@@@@@Ű&{/W&{/h@@(5l@@aA@@@@@0O@@@0YAA(8m@@0GX..0HX..@@*@@@6@@@3@@#B@@#B@@@@#C@Ġ(Pmodbint0VY..0WY..@;(Pmodbint@#O@@@@Abo~@A&|km&|k@@;@@$size3@@@@@ư&|k}&|k@@(fn@'is_safe4@@@@@ǰ&|k&|k@@(qo@@bA@@@@@0@@@0@A(tp@@0Y..0Y..@@*@@@6 @@@3@@#~@@#~@@@@#@Ġ(Pandbint0Z..0Z./@;(Pandbint@)@@@@Aco~@A&}&}@@@(q@@0Z./0Z./@@6@@@6,@@@@@#-@@#-@@@@#.@Ġ'Porbint0[// 0[//@;'Porbint@H@@@@Ado~@A'~'~@@@(r@@0[//0[//@@U@@@6K@@@@@#L@@#L@@@@#M@Ġ(Pxorbint0\//0\//#@;(Pxorbint&@g@@@@Aeo~@A'/'0@@@(s@@0\//$0\//%@@t@@@6j@@@@@#k@@#k@@@@#l@Ġ(Plslbint0]/&/,0]/&/4@;(PlslbintE@@@@@Afo~@A'N'O@@@(t@@0]/&/51]/&/6@@@@@6@@@@@#@@#@@7@@#@Ġ(Plsrbint1^/7/=1^/7/E@;(Plsrbintd@@@@@Ago~@A'm 'n;@@@)u@@1^/7/F1^/7/G@@@@@6@@@@@$@@$@@V@@$@Ġ(Pasrbint1-_/H/N1._/H/V@;(Pasrbint@@@@@Aho~@A'<>'<Y@@@).v@@1=_/H/W1>_/H/X@@@@@6@@@@@$8@@$8@@u@@$9@Ġ)Pbintcomp1L`/Y/_1M`/Y/h@;)Pbintcomp@@@@Π.@@@@Bio~@A'Z\'Z@@@)Qw@@1``/Y/i1a`/Y/j@@@@@6@@@@@@@6@@@ @@$`@@$`@@ @@$a@Ġ,Pbigarrayref1ta/k/q1ua/k/}@;,Pbigarrayref@@@@Р+@@@Ѡ@@@Ҡ@@@@Djo~@A''@@@)x@@1a/k/~1a/k/@@@@@6@@@@@@6!@@ @@@@6&@@@@@@6+@@@3@@$,@@$,@@@@$-@Ġ,Pbigarraydim1b//1b//@;,Pbigarraydim@b@@@@Alo~@A((@@@)z@@1b//1b//@@@@@6K@@@@@$L@@$L@@@@$M@Ġ/Pstring_load_161c//1c//@;/Pstring_load_16&@@@@@Amo~@A(0(1@@@){@@1c//1c//@@@@@7k@@@@@$l@@$l@@@@$m@Ġ/Pstring_load_321d//1d//@;/Pstring_load_32F@@@@@Ano~@A(P(Q @@@)|@@2d//2d//@@@@@7@@@@@$@@$@@9@@$@Ġ/Pstring_load_642e//2e//@;/Pstring_load_64f@#@@@@Aoo~@A(p  (q &@@@*}@@2!e//2"e//@@@@@7@@@@@%@@%@@Y@@%@Ġ.Pbytes_load_1620f//21f//@;.Pbytes_load_16@C@@@@Apo~@A(')('A@@@*2~@@2Af//2Bf//@@@@@7 @@@@@%<@@%<@@y@@%=@Ġ.Pbytes_load_322Pg//2Qg/0@;.Pbytes_load_32@c@@@@Aqo~@A(BD(B\@@@*R@@2ag/0 2bg/0 @@@@@7 @@@@@%\@@%\@@@@%]@Ġ.Pbytes_load_642ph0 02qh0 0@;.Pbytes_load_64@@@@@Aro~@A(]_(]w@@@*r@@2h0 0 2h0 0!@@@@@7 @@@@@%| @@%| @@@@%} @Ġ2Pbigstring_load_162i0"0(2i0"0:@;2Pbigstring_load_16@@@@@Avo~@A(24(2P@@@*@@2i0"0;2i0"0<@@@@@7+@@@@@%,@@%,@@@@%-@Ġ2Pbigstring_load_322j0=0C2j0=0U@;2Pbigstring_load_32@@@@@Awo~@A)QS)Qo@@@*@@2j0=0V2j0=0W@@@@@7K@@@@@%L@@%L@@@@%M@Ġ2Pbigstring_load_642k0X0^2k0X0p@;2Pbigstring_load_64&@@@@@Axo~@A)0pr)1p@@@*@@2k0X0q2k0X0r@@@@@7k@@@@@%l@@%l@@@@%m@Ġ(Pbswap162l0s0y2l0s0@;(Pbswap16F@@@io~@A)K@B)L@L@@@*@@@  @@%@@%@@, @@%@Ġ'Pbbswap3m003m00@;'PbbswapY@@@@@A}o~@A)bMO)cMi@@@+@@3m003m00@@@@@7@@@@@&@@&@@K@@&@Ġ/Pint_as_pointer3"n003#n00@;/Pint_as_pointerx@@@jo~@A)})~@@@+@@@  @@&!@@&!@@^ @@&"@Ġ,Patomic_load35o0036o00@;,Patomic_load@@@ko~@A))@@@+2@@@  @@&4@@&4@@q @@&5@Ġ'Popaque3Hp003Ip00@;'Popaque@@@lo~@A))@@@+E@@@  @@&G@@&G@@ @@&H@Ġ(Pdls_get3[q003\q00@;(Pdls_get@@@mo~@A) ") ,@@@+X@@@  @@&Z@@&Z@@ @@&[@@@ఐ--,dynamic_size3or003pr00@,@@@-(@@@<&L@<@@<@@ภ-3r003r00@-@@@-:@@@@4fA@@@$-@@@=nD@=i@,@@@=D@=$;@@@=D@=@@=D@=j@@=kD@=h344444444@'''@'@'@@@࣠@-jAঠ$kind42v1'1A43v1'1EA3$kind$S@@@,2-function_kind@@@@@@ 3¶ms "@&!t@@@@$;@@@@@@@@@@A@@*K++*K+,@@,M#@3&return%$E@@@@@B @@*L,,"*L,,5@@,V$@3$body.,]@@@@@C)@@*M,6,:*M,6,G@@,_%@3$attr7,f2function_attribute@@@@@D4@@*N,H,L*N,H,e@@,j&@3#locB ;@@@@@E=@@*O,,*O,,@@,s'@@@*J++*J++@@,w"@ఠVdWVU@4gA@P@@@=o344444444@l4v1'1'4w1t1@@@@¶ms4v1'1G4v1'1MA[ఠe@4hA@_@^@@@=w@$@@@=x@@=v@@@=u$@&return4v1'1O4v1'1UA_ఠf@4iA@$@@@={5@$body4v1'1W4v1'1[@g@4v1'1^4v1'1_@@,@@@=~D@$attr4v1'1a4v1'1eAmఠg@4jA@q@@@=U@#loc4v1'1g4v1'1jAsఠh@5kA@ @@@=f@@@4v1'1?4v1'1l@@F@=lk@@@@$bodyiA5v1'1m5v1'1q@5lA@@355555555@~@@pm@o@nSP@R@Q41@3@2$!@#@"@@@@@@డ3*lfunction'5w1t1v5w1t1@$kind@@@¶ms#@'!t@@@ꠠ@%#@@@@@@@@&return%+@@@$body-A@@@$attr@@@#loc!@@@%v@@@@@@@@@@@@@@@@+55+66@@-TK@FE@@C*@@@=A?@>@@@=@%^@@@=@@=@@@=;%d@@@=9-x@@@=7@@@=5!L@@@=%@@@=@@=@@=@@=@@=@@=@@=355555555@{@@@@@tఐ$kind5w1t15w1t1@@@j@@@=G@=G@=@ఐ¶ms5w1t15w1t1@@@@@@@=Ġ@%@@@=@@=@@@=G@=G@=8@ఐ&return5w1t15w1t1@ư@@%@@@=G@=G@=L@ఐ砐$body5w1t15w1t1@V@@Y@ఐ$attr5w1t15w1t1@@@@@@=G@=G@=m@ఐ#loc6w1t1v@w@@!@@@=G@=G@=@@@@@A@D@=@A@@@󠰝6'6&7 {1. Function Lifting} 6#y116$y11@@@@@@36"6!6!6"6"6"6"6"@%@@ @@A+/lifted_functionkD61886288@@;@@$lfunl@@4)lfunction@@@=ް6@886A883@@6YnA4free_vars_block_sizem@@6!@@@=6L84886M848S@@6eoA@@A@@@@@6P886Q8T8W@@@@6imA@#6X88@@@Ш@г"&Lambda6c88"6d88(@)6g88)6h882@@@136g6f6f6g6g6g6g6g@F?;@@@A@@@@@@@@@@ @@8@@=@2@#..)6u848L@(@@Ш@г1#int6~848O6848R@@9@@<@@=@8@@A@4@@43@_A+,split_resultnE68Y8a68Y8m@А!a@=366666666@tmg;@@=@A@A@G@B@@@68Y8Y688@@@@6pA@@68Y8^68Y8`@@BA@;@A+Unreachableo@@68p8r68p8@@6qA)Reachablep@@@=.F@=@@688!@@6rA@@A@Y@@@@@&@@@#@#68p8t@@@@@#688688@@г/lifted_function688688@@#G@@А!a#L688B@@@@#@@A@D@@DC@366666666@N@@@ఠ$let+q688688@7 sA@@@v@@>F@> @@@>F@=@@ @@>F@>A@> F@>@@@>F@>@@>F@=@@=F@=377777777@q@@@࣠@#ressA7%887&88@7>tA@@/37&7%7%7&7&7&7&7&@<7-887.89 @@@@@  @@!ftA79887:88@7RuA@@437:79797:7:7:7:7:@!F@@@@@@@@ఐ)#res7K887L88@@@T37K7J7J7K7K7K7K7K@H@@@@@Ġ+Unreachable7[887\88@;b@@=@@@@AA@A@@@@@@i37`7_7_7`7`7`7`7`@@@@@j@@@ภ+Unreachable7j887k88@@@@[ @Ġ)Reachable7w887x88@;@B@AA@A@@ఠ$funcu788788@7vA@@@@@> ;@ఠ#lamv789789@7wA@@F@> H@@@ 789@@J@@J@@@ภ)Reachable789 789@'ఐ&$func789789@%@&@'@@@@@>J@>J@>377777777@g8 *#@$@%@@@ఐ!f789789@s@@@@ఐ>#lam789789@@@=@@@@@@5@@ @@@A788@@r@A@F@>x@A@@@@@79979: @@(Asttypes,mutable_flag@@@>}377777777@@@@@@0lifted_block_mutw@8 xA@@@>|г(Asttypes89:89:@89:89:%@@@%@@@>z  @@,+A@@*@@@>~%@ภ)Immutable89:(89:1@;)Immutable.E,mutable_flag@@@r@@@@B@@A.>gWk.?gWt@@@.JR@@@гEC10H-*@ @@@>I)@A@@T@@@>F@>O@A@8<99%@@&@R@ఠ&no_locx8I:3:78J:3:=@8byA@@)Debuginfo/Scoped_location!t@@@>F@>38V8U8U8V8V8V8V8V@nlx@{@i@@@ภ)Debuginfo8f:3:@8g:3:I@/Scoped_location8k:3:J8l:3:Y@@+Loc_unknown8q:3:Z8r:3:e@@;+Loc_unknown'@@@)%@@@@AA@A4lambda/debuginfo.mli\\@@@*I@@@@1@@@>*@A@8:3:3@@@-Aఠ5split_static_functiony8:g:o8:g:@8zA@@@+I@@@JF@>@,3#Set!t@@@IF@>@0@@@>F@>(7'&lambda@@@>@@@>@@>@@>@@>388888888@avo@p@q@@@࣠@)block_var{A8:g:8:g:@8|A@@4388888888@A@<@7@.)(@@@>@@@>@@>@@>@@>G@>@J@K,rebuild_armsz@LF@>@IF@>@8n@!a@>@7n&lambda@@@>@@>@@@>z8@@7&lambda@@@>@@>@@@>@@@>@@>@@>@@>@9xUU9xUU@@90{A@@@@TS@@,local_idents|A9$:g:9%:g:@9=}A@@39%9$9$9%9%9%9%9%@^j@a@b@@@@@@#lam}A95:g:96:g:@9N~A@@39695959696969696@@@@@@@@@ఐ#lam9G::9H::@@@@@39H9G9G9H9H9H9H9H@@@@Ġ$Lvar9W::9X::@, ఠ!v~9`::9a::@9yA@@,@@@>39d9c9c9d9d9d9d9d@@@@@@@@@@@@@@ఠ%param9s;B;J9t;B;O@9A@@- !t@@@?L@?39{9z9z9{9{9{9{9{@4$@@@@@డ3,create_local%Ident9;B;R9;B;W@ 9;B;X9;B;d@@@&stringQ@@@ %@@@ @@ @+b##+b#@@@-2E@@@@@@@?2@@@?@@?0@@-let_rec_param9;B;f9;B;s@@9;B;e9;B;t@@'@@@?M@?M@?D@@5 @@JE@A@9;B;F @@@ఠ'ap_func9;x;9;x;@9A@@1@@@?L@?399999999@[kd@e@f@@@ภ%Lprim9;;9;;@%ภ&Pfield9;;9;;@@9;;9;;@@@@@?L@?L@?"@ภ'Pointer:;;:;;@;'Pointer;@@@@@@AB@@A0_aVX0`aVa@@@2K@@  @@F@@@?L@@;@ఐ(0lifted_block_mut:;;:;;@°@@@@@?L@@L@@M@@<:&;;@@-@@@?L@?T@ภ$=:2;;:3;;A0ภ$Lvar :;;;@,ఐ)block_var:D;;:E;;@@@o@@@@2E@@@?L@@ L@@w@ภ$;"A0K@#A@9Ġ@@@@ L@@@@:];;+@@&,@@@?L@@ @ఐ#&no_loc:l;;:m;;@@@&4@@@@L@@@@:u;;@@2o@@@?@A@:z;x;|@@@ఠ$body:;;:;;@:A@@2@@@@&L@@#3::::::::@@@@@@ภ&Lapply:;;:;;@*3'ap_func+@@@2@@@@@@ 3'ap_args (2@@@@@@@@A @A1S,,1S,,@@2)@3&ap_loc&z@@@@@B@A1T,,1T,-@@2*@3+ap_tailcall 22tailcall_attribute@@@@@C@A1U--1U--4@@2+@3*ap_inlined+20inline_attribute@@@@@D*@A1&V-5-91'V-5-W@@2,@3.ap_specialised624specialise_attribute@@@@@E5@A11W--12W--@@2-@@A15R,,16R,,@@2(@'ap_func:;<:;< Aఐ" @`@2@@@@.L@@/g@O'ap_args:<<:<<@ภ% ;<<3= =<4= =)A2@ఐΠ%param==@T@U@V@@@@@A K@A K@A 3=E=D=D=E=E=E=E=E@Wf @@@ภ%Lprim=Q===R==@)&ภ*Pmakeblock=Z===[=>@@=a=> =b=> @@@@@A K@A$K@A#"@ఐ0lifted_block_mut=r=> =s=>@@@@@@A!K@A&K@A%4@ภ$None==>==>#@3F@@@@@@A"K@A3C@@2==>$@@0@@@AK@AJ@ภ'==>'==>.A4 ภ$Lvar ==>+@0UఐJ!v==>,==>-@,@@0a@@@AHK@AJK@AIl@@ @@5@@@AK@AAK@AGt@ภ')A3@*A@=1@@@ABK@AP@@==>&2@@)@@@AK@A@@ఐ&no_loc==>0==>6@ @@)@@@AUK@AT@@==>7@@8@@ @@@A@@@@@@@4@@e@z @@@1 @@o@@@?@@@?@Ġ)Lfunction>>9>=>>9>F@.)ఠ$lfun>>9>G>>9>K@>)A@@.1@@@?3>>>>>>>>@@@@@@@@p@@p@@@@ఠ)free_vars>#>O>W>$>O>`@><A@@0#Set!t@@@IL@AZ3>.>->->.>.>.>.>.@' @!@"@@@డ<.free_variables&Lambda>A>O>c>B>O>i@ >E>O>j>F>O>x@@@6D@@@ %@@@ @@ @499499@@6IP@@@@6Q@@@A^2@@@A]@@A\-@@ఐZ$lfun>j>O>y>k>O>}@9@@.@@@I@IA@$body>v>O>~>w>O>@ @@6v@@@IM@IM@IO@@@ @@XP@A@>>O>S @@@ఠ/local_free_vars>>>>>>@>A@@@@@IL@I3>>>>>>>>@fyr@s@t@@@డ8#Set%inter%Ident>>>>>>@ >>>>>>@@>>>>>>@ @@@@@Bm@@@@Bl!@@@Bk@@Bj@@Bi@1@+Stdlib__SetJ@@@@)@@@I@.@@@I1@@@I@@I@@I>@@ఐ)free_vars>>>>>>@H@@E@@@IM@IM@IR@@ఐѠ,local_idents>>>>>>@@@W_@@L@@c`@A@>>>@@@@ఠ4free_vars_block_size?>>?>>@?A@@#intA@@@J-L@I3????????@}@@@@@@ఠ%subst ?>>?>>@?6A@@27!@@@JdO@J4@@@JkL@I@@ఠ0block_fields_revà?4>>?5>>@?MA@@>78@@@JL@J@@@JL@I1@@>@@@>@)@@@I:@డ9h#Set$fold%Ident?]???^?? @ ?a???b??@@?f???g??@ @@@#elt@@@B@#acc@A@@B@@B@@@@B@  @@B@@B@@B@1@\@%@@@@@@@I@@@t@_@@JL@IL@I @@I@@I@@@@I@@@I@@I@@I3????????@@@@@࣠@#varA??????@?A@@C@@@I@@@@9\A@ఠ!iŠ???!???"@?A@@L@I3????????@%^@@@I@@ @@@@ఠ%substƠ???$???)@?A@@L@I@@ఠ&fieldsǠ???+???1@?A@@L@I"@@??? ???2@@@+@@ @@I-@@  @@@ఠ&accessȠ@?6?D@?6?J@@A@@8@@@IP@I3@@@@@@@@@EPI@J@K=6@7@80)@*@+@@@ภ%Lprim@?M?Y@?M?^@+ภ&Pfield@!?M?`@"?M?f@ఐh!i@+?M?h@,?M?i@@@g#@ภ'Pointer@5?M?k@6?M?r@4@@@p@@@IP@I2@ఐR0lifted_block_mut@E?M?t@F?M?@@@@@@IP@IP@ID@@/@P?M?@@3F@@@IP@IK@ภ*g@\??@]??A6͠ภ$Lvar @e??@3ఐ)block_var@n??@o??@F@@f@@@@8o@@@IP@JP@J n@ภ*e"A6u@#A@?@@@JP@J{@@@??+@@,V@@@IP@J@ఐM&no_loc@??@??@ݰ@@,^@@@JP@J@@@??@@8@@@I@A@@?6?@@@@డ?:$succ@??@??@@@@@v@@@u@@t(%succintAA @@@*stdlib.mli*+_+_*+_+@@8l@@@@@@@J&@@@J%@@J$3@@@@@@@@@@@@@@@ఐ!i@??@??@Ѱ@@@@0@@P@J,@@డ;#Map#add%Ident@??@??@ @??@??@@A??A??@ @0] @@@3w@@@J6@@4@@@J54@@@J3@@J2@@J1@@J0D@@ఐu#varA??A ??@V@@@@@JVT@@ఐ-&accessA/??A0??@^@@ a@@ఐe%substA<?@A=?@@.@@dn@@I@@4Ӡ@@@JOs@@ภ"::AL?@AM?@@7ภ$LvarAU?@AV?@ @4 ఐ#varA_?@ A`?@@@@@@@J@@@@)O@J@ఐ&fieldsAp?@Aq?@@a@@@@@@9s:@@@J@@Ay??Az?@@@@@A@@@J@ @@ y@A??A?@@@@@@@I@@@I@@IM@JM@J@@ఐ/local_free_varsA@@$A@@3@@@ @@@IM@JM@J@@@@A@@5A@@6@@M@J@@డ;#Map%empty%IdentA@@8A@@=@ A@@>A@@A@@A@@BA@@G@ @  @@5fL@J@@@J;@@ภ,A@@IA@@K@7@@@L@JG@@A@@4A@@L@@]L@JL@@@@`@A@A>>@@@ఠ'new_funʠAAAAAA@BA@@2@@@JL@J3AAAAAAAA@@@@@@@@@@ఐ 3lfunction_with_bodyBAABAA@ @@@22@@@J@:@@@J2:@@@J@@J@@J3BBBBBBBB@ @@@@ఐ$lfunB+AAB,AA@@@2O@@@JM@JM@J5@@డ@%subst&LambdaBEAABFAA@ BIAABJAA@@@@5!t@@@ <@G1value_description@@@ ;@#Env!t@@@ :!t@@@ 9@@ 8@@ 7@@ 67freshen_bound_variables--@@@ 5@@@ 4@5/#Map!t:@@@ 3@@@ 2@:@@@ 1:@@@ 0@@ /@@ .@@ -@@ ,@8;;8;;@@:V@RM@@@@J@@@J@G@@@J@D@@@J?@@@J@@J@@J@@J<:9@@@J@@@J@8:@@@J@@@J@:@@@J:@@@J@@J@@J@@J@@J@@࣠@@@@JN@KTN@KR@@@KQ)@@ఐE$lfunCUAACVAA@$@@3w@@@Kj@Kh=@$bodyCaAACbAA@@@;a@@@JN@KkN@KiK@@ClAACmAA@@;k@@@J@KlN@Ju@@f @@yv@A@CwAA @@@ఠ&liftedΠCBB CBB@CA@@@@@KqL@Km3CCCCCCCC@@@@@@ຠ$lfunCBBCBB@ఐ'new_funCBBCBB$@@@ l@@@KsL@Kt@4free_vars_block_sizeCBB&CBB:Aఐ @@ q@@@KzL@K{0@@@CBBCBB<@@83@A@CBB@@@ఠ%blockϠCB@BHCB@BM@CA@@;@@@KL@K}3CCCCCCCC@IWP@Q@R@@@ภ%LprimCBPBVCBPB[@/ภ*PmakeblockCBPB]CBPBg@=@CBPBiCBPBj@@E@@@KL@KL@K"@ఐ 0lifted_block_mutCBPBlCBPB|@ @@R@@@KL@KL@K4@ภ$NoneDBPB~DBPB@9@@@[@@@KL@KC@@2DBPB@@7 @@@KL@KJ@డB$List#revD+BBD,BB@ D/BBD0BB@@@7!a@$*@@@$7 @@@$@@$@1e1e@@1M@@@@K@LGK@KL@K@@@KL@K@@ _@@@LJK@L8K@K@@KM L@K@@@KL@K@@K@@KL@Kఐ Ơ5split_static_functionEWC"C(EXC"C=@ @@@ @ @   @@@K@@@K@@K@@K@@K3EdEcEcEdEdEdEdEd@ !@@~@@xq@r@skd@e@f^W@X@Y@@@@ఐ )block_varE|C"C>E}C"CG@ T@@ @@డ?#Set#add%IdentEC"CIEC"CN@ EC"COEC"CR@@EC"CSEC"CV@ @@4@@@B[@ @@@BZ @@@BY@@BX@@BW@8@F@@@@C@@@K@ @@@K @@@K@@K@@KU@@ఐˠ#varEC"CWEC"CZ@Y@@]@@@LM@Lg@@ఐ ,local_identsEC"C[EC"Cg@ @@ =t@@EC"CHEC"Ch@@ >@@@L z@@ఐԠ$bodyEC"CiEC"Cm@|@@ EL@L.@@@@@@@L/L@K@ECuC@@$bodyFCCFCC@FA@@@@@ภ$LletF CuCyF CuC}@5ఐ6%lkindFCuCFCuC@@@6 @@@L:L@L@L@L?3FFFFFFFF@'@@@@@ఐ<%vkindF)CuCF*CuC@@@6@@@L;L@LBL@LA@ఐ@#varF;CuCF<CuC@ΰ@@6&@@@LM@@@L=L@LFL@LE9@ఐb$bodyF_CuCF`CuC@A@@.D@@Yk@@#E@A=l@@o3FaF`F`FaFaFaFaFa@@@@Ġ'LmutletFo CCFp CC@4ˠఠ%vkindFx CCFy CC@FA@@6f@@@?3F|F{F{F|F|F|F|F|@ 4@@@ఠ#varF CCF CC@FA@@4@@@?@ఠ#defF CCF CC@FA@@>@@@?@ఠ$bodyF CCF CC@FA@@>@@@?+@@@<F CC@@-@@-@@@ $let+F CCF CC@@>@@@LK@LK@LRL@LP@@@LQL@LV@@ @@@LK@LK@LS@@LT٠ L@LN@@@LML@LU@@LW@@LXL@LKఐR5split_static_functionF CCF CC@@@@Q@L@C>=@@@L^@@@L]@@L\@@L[@@LZ3FFFFFFFF@ }@~@vo@p@qib@c@d\U@V@W@@@@ఐB)block_varG CCG CC@ ް@@r@@డA(#Set#add%IdentG CCG CD@ G! CDG" CD@@G& CDG' CD@ @ @@@@@@Lq@@@@Lp@@@Lo@@Ln@@LmD@@ఐ#varGA CD GB CD @J@@@@@LM@LV@@ఐ2,local_identsGS CD GT CD@@@c@@GW CCGX CD@@@@@Li@@ఐà$bodyGf CDGg CD@m@@L@Lx@@@@r@@@LL@Lj@Gs D'DJ@@$bodyG{ CCG| CC@GA@@@@@ภ'LmutletG D'D+G D'D2@5ఐ%vkindG D'D4G D'D9@@@7@@@LL@LL@L3GGGGGGGG@'@@@@@ఐ#varG D'D;G D'D>@@@5@@@LL@LL@L@ఐ!#defG D'D@G D'DC@@@?@@@LL@LL@L'@ఐP$bodyG D'DEG D'DI@/@@ 2@@GY@@3@AZ@@ 3GGGGGGGG@@@@Ġ'LletrecGDKDOGDKDV@5ఠ(bindingsGDKDXGDKD`@GA@@55@@@?@@@?3GGGGGGGG@@@@ఠ$bodyGDKDbGDKDf@H A@@?@@@?@@@$GDKDg@@T@@T@@@@ఠ,local_identsҠHDkDsHDkD@H A@@m@@@LL@L3H H H H H H H H @6/@0@1$@@@@@డF$List)fold_leftH"DDH#DD@ H&DDH'DD@@5@@@@#L@L@6@@@LL@L @@L@@L@ @; @@@L@@L@@L@@L3H<H;H;H<H<H<H<H<@/@@@@࣠@#idsAHNDDHODD@HgA@@$B@@@@AAঠ"idH_DDH`DDA5}ఠԠ@H}A@5~@@@L3HgHfHfHgHgHgHgHg@[%?@@@@@@@HnDDHoDD@@>P@L@@@@డB#Set#add%IdentHDDHDD@ HDDHDD@@HDDHDD@ @ @@@ &@@@L@@@@L@@@L@@L@@L3HHHHHHHH@6>;@=@<@@@@ఐE"idHDDHDD@ @@ C@@@MP@M@@ఐs#idsHDDHDD@T@@"@@=@@P@L%@HDDHDD@@@@@@L@@LM@MM@M@@ఐ,local_identsHDDHDD@@@>@@ఐ(bindingsHDDHDD@հ@@<8@@@LM@MM@M@@ @@@A@HDkDo @@ $let+HDDHDD@@A@@@MLK@MQK@M&L@M$@@@M%L@M*@@  3@@@MTK@MHK@M'@@M(! L@M"@@@M!L@M)@@M+@@M,L@Mఐ5split_static_functionI+DDI,DE@_@@@@@@@@M2@@@M1@@M0@@M/@@M.3I8I7I7I8I8I8I8I8@,:3@4@5@@@@ఐ)block_varIHDEIIDE@ @@@@ఐN,local_identsIUDEIVDE'@@@M@@ఐn$bodyIbDE(IcDE,@P@@L@M@,@@=@@ng@@@MAL@M>3@tIoE4EP@@$bodyIwDDIxDD@IA@@s@@@@ภ'LletrecIE4E8IE4E?@7^ఐ(bindingsIE4EAIE4EI@z@@7j7g@@@MK@@@MJL@MOL@MM3IIIIIIII@_+@"@#@@@ఐ0$bodyIE4EKIE4EO@ @@@@'9@@@A:@@ @@@MSK@MR3IIIIIIII@t@@@B@@ @Ġ%LprimIEQEUIEQEZ@5Ġ&PraiseIEQE\IEQEb@ @IEQEcIEQEd@@ @@@?$@@@ @@<@@@?%@@IEQEfIEQEg@@5A@@@?'@@@?&@@IEQEiIEQEj@@5@@@?(@@@,IEQEk@@?@@?@@@ภ+UnreachableIEQEoIEQEz@@@@ @Ġ,LstaticraiseIE{EIE{E@1@JE{EJE{E@@1@@@?-@@@1B@@@?/@@@?."@@@@@f#@@f#@@@ภ+UnreachableJE{EJE{E@@@@ #,@Ġ'LswitchJ"EEJ#EE@5\ఠ#argJ+EEJ,EE@JDA@@B(@@@?43J/J.J.J/J/J/J/J/@@@@ఠ"swJ:EEJ;EE@JSA@@5o@@@?5@ఠ#locJHEEJIEE@JaA@@6@@@?6@@@.JPEE@@@@@@@@ఠ-sw_consts_resנJ[EEJ\EE@JtA@@a`@5@@@ML@Mk@d@@@M@@M@@@M@@@ML@Mc3JtJsJsJtJtJtJtJt@/TM@N@OF?@@@A92@3@4@@@ఐ,rebuild_armsJEEJEE@@@@@@@,@@@@Mo@@Mn@@@Mm@<@@@@Ml@@Mj@@@Mi@@@Mh@@Mg@@Mf@@Me7@@ఐ)block_varJEEJEE@@@$D@@ఐ,local_identsJEEJEE@@@*Q@@ఐ"swJEEJEE@Z@@6 @@@M@Me@)sw_constsJEEJEF@5@@@@@@@M@@M@@@MM@MM@M}@@n@@~@A@JEE@@@ఠ-sw_blocks_resؠKFFKFF@KA@@@5@@@ML@M@ @@@M@@M@@@M@@@ML@M3KKKKKKKK@@@@@@ఐG,rebuild_armsK)FFK*FF+@K@@@K@I@G@(@B@@@M@@M@@@M?>@8@=@@@M@@M@@@M@@@M@@M@@M@@M3@@ఐ)block_varKZFF,K[FF5@2@@@@@ఐF,local_identsKgFF6KhFFB@.@@M@@ఐ<"swKvFFCKwFFE@@@6@@@M@Ma@)sw_blocksKFFFKFFO@6@@@@@@@M@@M@@@MM@MM@My@@n@@z@A@KFF @@@ఠ1sw_failaction_res٠KFSF[KFSFl@KA@@C@@@M@@@ML@M@@@ML@M3KKKKKKKK@@@@@@డJK&Option#mapKFoFuKFoF{@ KFoF|KFoF@@A?@@@@)L@M(@@M@A9@@@MCȠ1@@@M@@M@@M(@@ఐY5split_static_functionKFoFKFoF@@@@X@S@JED@@@M@@@M@@M@@M@@MD@@ఐ@)block_varLFoFLFoF@ܰ@@pQ@@ఐ,local_identsLFoFLFoF@ذ@@v^@@LFoFLFoF@@@pkj@@@M@@@M@@Mj@@ఐ"swL,FoFL-FoF@@@7b@@@M@M~@-sw_failactionL8FoFL9FoF@6@@Ap@@@MM@MM@M@@~ @@@A@LEFSFW @@@ఐ-sw_consts_resLSFFLTFF@6@@VU@6@@@M@W@@@M@@M@@@M@@@M3LgLfLfLgLgLgLgLg@@@@@@@ఐu-sw_blocks_resLvFFLwFF@@@yx@6@@@N@z@@@N@@N@@@M@@@M#@@ఐ1sw_failaction_resLFFLFG@,@@D@@@N@@@N@@@N:@@R@@@S@2@@@NC@@Ġ+UnreachableL G GL G G@`@@@@@7a@@@N1@@@@N2@@N0@@@N/@@@N.3LLLLLLLL@h@@@@Ġ+UnreachableL G GL G G*@@@@@ޠݠ@7_@@@N=@@@@N>@@N<@@@N;@@@N: @@Ġ$NoneL G G-L G G1@B@@@@DTS@@@NF@@@NE@@@ND8@Ġ$SomeM G G4M G G8@BĠ+UnreachableM G G9M G GD@@@@@nm@@@NQ@@@NPQ@@@ @@Eyx@@@NT@@@NS@@@NR]@@M0 G G,M1 G GE@@E @@@NW@@@NV@@@NUk@@ @@@@f@@@NXt@ @@JI@7@@@N]@K@@@N^@@N\@@@N[@@@NZ@`_@7@@@Nb@a@@@Nc@@Na@@@N`@@@N_@Edˠ@@@Nf@@@Ne@@@Nd@@NY@@@ภ+UnreachableM G GIM G GT@,@@@@@@P{@@@Pz@@Ġ)ReachableM!GUG[M!GUGd@(ఠ$lfunڠM!GUGfM!GUGj@MA@@@@@N3MMMMMMMM@E@@@ఠ)sw_consts۠M!GUGlM!GUGu@MA@@@8[@@@N@@@@N@@N@@@N@@@-M!GUGv@@̠͠@8p@@@N@@@@N@@N@@@N@@@N2@@Ġ+UnreachableM!GUGxM!GUG@@@@@@8m@@@N@@@@N@@N@@@N@@@NQ@@Ġ$NoneN !GUGN !GUG@C@@@@Eba@@@N@@@N@@@Ni@Ġ$SomeN!GUGN!GUG@DĠ+UnreachableN'!GUGN(!GUG@@@@@|{@@@N@@@N@@@ @@F @@@N@@@N@@@N@@N>!GUGN?!GUG@@F.@@@N@@@N@@@N@@ @@@@f@@@N@ @@XW@8@@@Nà@Y@@@N@@N@@@N@@@N@nm@8@@@NȠ@o@@@N@@N@@@N@@@NŠ@Fr٠@@@N@@@N@@@N@@N@@@ภ)ReachableN"GGN"GG@ఐ$lfunN"GGN"GG@@@@@@@@PM@PM@P3NNNNNNNN@B  @@@@@ภ'LswitchN"GGN"GG@9ఐ#argN"GGN"GG@F@@F@@@PM@PM@P@Р9}9~@@@PM@P@9x)sw_constsN"GGN"GGAఐ, @5@9@9@@@P@F@@@P@@P@@@PM@PJ@99@@@PM@P@9}9~@9}@@@P̠@G@@@P@@P@@@PM@P@9Ϡ9͠G@@@P@@@PM@P@@ఐ蠐"swO""GGO#"GG@@@:Z@@@PM@PM@P@O-"GGO."GG@@:b@@@PM@P@ఐ#locO<"GGO="GG@@@;@@@PM@PM@P@@OG"GG@@e@@@PM@P@@ON"GG@@@@Ġ+UnreachableO]#GGO^#GG@@@@@`_@:@@@N@a@@@N@@N@@@N@@@N3OqOpOpOqOqOqOqOq@ @@@@Ġ)ReachableO}#GGO~#GH@ఠ$lfunܠO#GHO#GH@OA@@@@@O@ఠ)sw_blocksݠO#GHO#GH@OA@@@:@@@O@@@@O@@O@@@O4@@@,O#GH@@@:+@@@O @@@@O @@O@@@O@@@OJ@@Ġ$NoneO#GHO#GH@E@@@@G @@@O@@@O@@@Ob@Ġ$SomeO#GHO#GH @EàĠ+UnreachableO#GH!O#GH,@@@@@:9@@@O@@@O{@@@ @@GޠED@@@O @@@O@@@O@@O#GHO#GH-@@GSR@@@O#@@@O"@@@O!@@ @@@@f@@@O$@ @@@:@@@O)@@@@O*@@O(@@@O'@@@O&@,+@:@@@O.@-@@@O/@@O-@@@O,@@@O+@H0@@@O2@@@O1@@@O0@@O%@@@ภ)ReachablePS$H1H7PT$H1H@@ܠఐנ$lfunP]$H1HBP^$H1HF@@@ذ@@@@@PM@PM@P3PePdPdPePePePePe@ @@@@@ภ'LswitchPs$H1HHPt$H1HO@;ఐR#argP}$H1HQP~$H1HT@@@H}@@@PM@PM@P@Р;;;<@@@QM@Q@;6;7@;6@@@Q@H@@@Q@@Q@@@QM@Q@;2;3@@@Q!M@Q@;/)sw_blocksP$H1H`P$H1HiAఐ( @P@;<@;;@@@Q@H@@@Q@@Q@@@QM@Qe@;;H@@@Q-@@@Q,M@Q)@@ఐ"swP$H1HXP$H1HZ@f@@<@@@Q+M@Q(M@Q@P$H1HVP$H1Hk@@< @@@PM@Q0@ఐ#locP$H1HmP$H1Hp@@@<@@@PM@Q4M@Q3@@Q$H1Hq@@#@@@PM@P@@Q $H1Hr@@@@Ġ+UnreachableQ%HsHyQ%HsH@@@@@@;@@@O]@@@@O^@@O\@@@O[@@@OZ@@Ġ+UnreachableQ:%HsHQ;%HsH@@@@@=<@;@@@Oi@>@@@Oj@@Oh@@@Og@@@Of@@Ġ$SomeQY%HsHQZ%HsH@G@Ġ)ReachableQb%HsHQc%HsH@ఠ$lfunޠQk%HsHQl%HsH@QA@@@@@Ou@ఠ*failactionߠQy%HsHQz%HsH@QA@@@@@Ov@@@Q%HsHQ%HsH@@ՠ@@@Ox@@@Ow @@@2 @@Iy@@@O{@@@Oz@@@Oy,@@|@@@}@`@@@O|5@ @@@]@@@Q>N@QN@Q~@@R'HI@@J@@@Q;@A@R&HH@@ภ)ReachableR)II$R)II-@3ఐI$lfunR)II/R)II3@ư@@@@@QM@QM@Q3RRRRRRRR@@@@@@ఐ堐&switchR)II5R)II;@ @@@@@QM@QM@Q@@*R)II<@@٠@@@Q@7@@P@@Ġ)ReachableR*I=ICR*I=IL@u@R*I=IMR*I=IN@@8@@@O@@@@=@@@O@@@@O@@O@@@O@@@@@ @=@@@O@ @@@O@@O@@@O@@@O@@Ġ)ReachableS%*I=IPS&*I=IY@@S**I=IZS+*I=I[@@q@@@O@@@-@=@@@OȠ@/@@@O@@O@@@O@@@@@BA@=@@@O͠@C@@@O@@O@@@O@@@O@@@SZ*I=I]S[*I=I^@@KJ@@@O@@@O@@@O@@| @@@c@,@@@O@ @@@Ġ)ReachableS|*I=IaS}*I=Ij@@S*I=IkS*I=Il@@@@@O@@@@>(@@@O@@@@O@@O@@@O.@@@@@@><@@@O@@@@O@@O@@@O@@@OC@@@S*I=InS*I=Io@@@>4@@@O@@@@O@@O@@@O@@@O]@@Ġ$SomeS*I=IqS*I=Iu@IĠ)ReachableS*I=IwS*I=I@a@S*I=IS*I=I@@$@@@Px@@@2@@@P}@@@S*I=IvS*I=I@@<;@@@P @@@P@@@# @@KGF@@@P @@@P @@@P @@@@@i@Q@@@P @ @@@@@@  @>@@@P@ @@@P@@P@@@P@@@P@! @>@@@P@"@@@P@@P@@@P@@@P@L%@@@P@@@P@@@P@@P@@@TJ+IITK+II@@LK@>@@@P1@M@@@P2@@P0@@@P/@@@P.@@Ġ)ReachableTh+IITi+II@@Tm+IITn+II@@@@@P;@@@p@>@@@P>@r@@@P?@@P=@@@P<@@@@@@?@@@PC@@@@PD@@PB@@@PA@@@P@/@@Ġ$SomeT+IIT+II@JĠ)ReachableT+IIT+II@3@T+IIT+II@@@@@POJ@@@@@@PPO@@@T+IIT+II@@ @@@PR@@@PQY@@@# @@L@@@PU@@@PT@@@PSe@@@@@@Q@@@PVn@ @n@@@@@ݠܠ@?@@@Pi@@@@Pj@@Ph@@@Pg@@@Pf@@?t@@@Pn@@@@Po@@Pm@@@Pl@@@Pk@L^]@@@Pr@@@Pq@@@Pp@@Pe@@@డN+fatal_error$MiscU!,IIU",II@ U%,IIU&,II@@N@@@N@@@Q;N@@@Q@@@QN@Q@@Q@@:letrec: multiple functionsU?,IIU@,II@@UB,IIUC,II@@N@@@QN@QN@Q@@+ @@@@@AUMFFUN-II@@Zm@@@S@@@S@  @@ @  @@  ;@ c @@d @Ġ-LstringswitchUc.IIUd.II@>Xఠ#argUl.IIUm.IJ@UA@@Mi@@@?@3UpUoUoUpUpUpUpUp@(@@@ఠ$armsU{.IJU|.IJ@UA@@>k@>j@@@?C@M@@@?D@@?B@@@?A@ఠ*failactionU.IJ U.IJ@UA@@>qM@@@?F@@@?E.@ఠ#locU.IJU.IJ@UA@@Ao@@@?G<@@@MU.IJ@@>@@>@@@@ఠ(arms_resU/JJ&U/JJ.@UA@@@>@@@T&L@T@@@@T@@T@@@T@@@TL@S3UUUUUUUU@tm@n@of_@`@aLE@F@G;4@5@6@@@ఐ,rebuild_armsU/JJ1U/JJ=@ @@@ @ @@.@@@@T@@T@@@T@>@@@@T@@T@@@T@@@T@@T@@S@@S9@@ఐV)block_varV/JJ>V/JJG@@@F@@ఐ,local_identsV'/JJHV(/JJT@@@S@@ఐ$armsV4/JJUV5/JJY@Y@@P@w@K@@@T@@T@@@TM@T(M@T$q@@`@@r@A@VJ/JJ"@@@ఠ.failaction_resVU0J]JeVV0J]Js@VnA@@NI@@@TY@@@TXL@T0@@@T=L@T+3VeVdVdVeVeVeVeVe@@@@@@డT&Option#mapVx1JvJ|Vy1JvJ@ V|1JvJV}1JvJ@@K@@@@L@T2(@@T3@K@@@T1Nz1@@@T/@@T.@@T-(@@ఐ 5split_static_functionV1JvJV1JvJ@а@@@ @@@@@TF@@@TE@@TD@@TC@@TBD@@ఐ)block_varV1JvJV1JvJ@@@"Q@@ఐ,local_identsV1JvJV1JvJ@@@(^@@V1JvJV1JvJ@@@"@@@TV@@@TU@@TTj@@ఐF*failactionV1JvJV1JvJ@@@LFb@@@T>M@T\M@TZ@@p @@@A@V0J]Ja @@@ఐ<(arms_resV3JJV3JJ@@@@?@@@Td@@@@Te@@Tc@@@Tb@@@Ta3W W W W W W W W @@@@@@@ఐŠ.failaction_resW3JJW3JJ@ @@O rq@@@Th@@@Tg@@@Tf@@2@@@3@@@Ti!@@Ġ+UnreachableW=4JJW>4JK@@@@@@?@@.@@@T@A@@@T@@T@@@T@@@T3WQWPWPWQWQWQWQWQ@F@@@@Ġ$NoneW_4JK W`4JK@M"@@@@OP@@@T@@@T@@@T@Ġ$SomeWs4JKWt4JK@MZĠ+UnreachableW|4JKW}4JK!@ !@@@@Ѡ@@@T@@@T2@@@ @@Ouܠ@@@T@@@T@@@T>@@W4JK W4JK"@@O@@@T@@@T@@@TL@@d @@@e@@@TS@@@@@@@@T@@@@T@@T@@@T@@@T@O@@@T@@@T@@@T@@Tx@@@ภ+UnreachableW4JK&W4JK1@ w@@@@@@U|@@@U{@@Ġ)ReachableW5K2K8W5K2KA@ sఠ$lfunW5K2KCW5K2KG@X A@@!<@@@T3WWWWWWWW@@@@ఠ$armsX5K2KIX5K2KM@XA@@@@@@@TΠ@@@@T@@T@@@T@@@-X5K2KN@@@A@@@TӠ@@@@T@@T@@@T@@@T2@@Ġ$NoneX65K2KQX75K2KU@M@@@@P'@@@T@@@T@@@TJ@Ġ$SomeXJ5K2KXXK5K2K\@N1Ġ+UnreachableXS5K2K]XT5K2Kh@ @@@@@@@T@@@Tc@@@ @@PL@@@T@@@T@@@To@@Xj5K2KPXk5K2Ki@@PZ@@@T@@@T@@@T}@@ @@@d@@@T@@@@Ap@@@T@@@@T@@T@@@T@@@T@P@@@T@@@T@@@T@@T@@@ภ)ReachableX6KmKsX6KmK|@!2ఐ$lfunX6KmK~X6KmK@@@@@"@@@UM@UM@U3XXXXXXXX@ @@@@@ภ-LstringswitchX6KmKX6KmK@Aఐg#argX6KmKX6KmK@@@P@@@UM@UM@U@ఐ㠐$armsX6KmKX6KmK@&@@Aؠ@A@@@U@P@@@U@@U@@@UM@UM@U>@ఐn*failactionY6KmKY6KmK@(@@AQ@@@U@@@UM@UM@UT@ఐr#locY6KmKY6KmK@=@@D@@@UM@UM@Uf@@\Y%6KmK@@C@@@UM@Um@@Y,6KmK@@Xo@@Ġ+UnreachableY;7KKY<7KK@!@@@@ > =@B,@@@U@ ?@@@U@@U@@@U@@@UD@@Ġ$SomeYZ7KKY[7KK@OAĠ)ReachableYc7KKYd7KK@!ఠ$lfunYl7KKYm7KK@YA@@"@@@U#e@ఠ*failactionYz7KKY{7KK@YA@@ @@@U$s@@@Y7KKY7KK@@ ֠ @@@U&@@@U%}@@@2 @@Qz  @@@U)@@@U(@@@U'@@]@@@^@@@U*@@@  @B@@@U/@ @@@U0@@U.@@@U-@@@U,@Q! ! @@@U3@@@U2@@@U1@@U+@@@ภ)ReachableY8KKY8KK@"Rఐg$lfunY8KKY8KK@f@g@h@@# @@@UM@UM@U3YYYYYYYY@y kd@e@f@@@ภ-LstringswitchY8KLY8KL@Bޠఐ#argY8KLY8KL@@@Q@@@UM@UM@U@ఐ$armsZ8KLZ8KL@*@@B@B@@@UϠ@R@@@U@@U@@@UM@UM@U>@ภ$SomeZ#8KLZ$8KL@P ఐ*failactionZ-8KL Z.8KL*@N@@R/@@@UM@UM@UM@U[@@ @@C @@@UM@Ub@ఐ#locZH8KL,ZI8KL/@k@@F@@@UM@UM@Ut@@jZS8KL0@@q@@@UM@U{@@ZZ8KL1@@}@@Ġ)ReachableZi9L2L8Zj9L2LA@"@Zn9L2LBZo9L2LC@@#@@@UQe@@@!q@C`@@@UT@!s@@@UU@@US@@@URw@@@@@!!@Ct@@@UY@!@@@UZ@@UX@@@UW@@@UV@@Ġ$SomeZ9L2LEZ9L2LI@PĠ)ReachableZ9L2LKZ9L2LT@#4@Z9L2LUZ9L2LV@@#@@@Ue@@@"@@@Uf@@@Z9L2LJZ9L2LW@@""@@@Uh@@@Ug@@@# @@R""@@@Uk@@@Uj@@@Ui@@h@@@O@@@Ul@@@!۠!ڠ@C@@@Uq@!@@@Ur@@Up@@@Uo@@@Un@Rߠ"F"E@@@Uu@@@Ut@@@Us@@Um@@@డT+fatal_error$Misc[ :L[La[ :L[Le@ [ :L[Lf[:L[Lq@@T@@@T@@@U#6@@@U@@@UN@U@@U@@:letrec: multiple functions[':L[Ls[(:L[L@@[*:L[Lr[+:L[L@@T@@@UN@UN@U%@@+ @@_&@@@A[53JJ[6;LL@@BU@@@W@@@W@V @@@ @@Ki@Ġ,Lstaticcatch[J<LL[K<LL@B%ఠ$body[S<LL[T<LL@[lA@@SP@@@?Q3[W[V[V[W[W[W[W[W@"@@@@ఠ%nfail[f<LL[g<LL@[A@@B8@@@?[@@ఠ¶ms[u<LL[v<LL@[A@@BA@B@@@@?^@Ko@@@?_@@?]@@@?\/@@[<LL[<LL@@@&@@@?`8@ఠ'handler[<LL[<LL@[A@@S@@@?aF@@@W[<LL@@"H@@"H@@@@ఠ(body_res[=LL[=LL@[A@@##@@@W@@@WL@W3[[[[[[[[@"roh@i@j]V@W@XOH@I@J,%@&@'@@@ఐ#:5split_static_function[=LL[=LL@"@@@#9@#4@#+#&#%@@@W@@@W@@W@@W@@W"@@ఐ#!)block_var[=LL[=LL@"@@#Q/@@ఐ"Ѡ,local_idents[=LL[=LM @"@@#W<@@ఐ$body[=LM \=LM@C@@#YM@WK@@:@@SL@A@\=LL@@@ఠ+handler_res\>MM\>MM'@\*A@@#i#h@@@X3@@@X2L@W3\\\\\\\\@fxq@r@s@@@@ఠ,local_idents\+?M*M4\,?M*M@@\DA@@#@@@XM@W@డZ$List)fold_left\A@MCMK\B@MCMO@ \E@MCMP\F@MCMY@@I@@@@M@W@@@@@XM@Wᠠ@LJ@@@XM@W@@WM@W@@W@@W@@O@@@W@@W@@W@@W3\h\g\g\h\h\h\h\h@M@@@@࣠@$varsA\z@MCM_\{@MCMc@\A@@1`@@@@V&A@ఠ#var\@MCMe\@MCMh@\A@@:3\\\\\\\\@t G@@@@@@@\@MCMj\@MCMk@@< @@\@MCMd\@MCMl@@@J@E@@W@@ @@డV#Set#add%Ident\@MCMp\@MCMu@ \@MCMv\@MCMy@@\@MCMz\@MCM}@ @# @@@W@@@W@$*@@@W$-@@@W@@W@@W3\\\\\\\\@@I|@C@D@@@@ఐP#var\@MCM~\@MCM@ @@@@ఐs$vars\@MCM\@MCM@Y@@@@8@@Q@W @\@MCMZ\@MCM@@@@@@W@@WN@XN@X@@ఐ#䠐,local_idents]AMM]AMM@#̰@@$j@@ఐ¶ms]AMM]AMM@T@@Pd@@@WN@XN@X@@ @@@A@]?M*M0 @@ఐ$5split_static_function])CMM]*CMM@$]@@@$@$@$$$@@@X&@@@X%@@X$@@X#@@X"3]6]5]5]6]6]6]6]6@ @@@@@@ఐ$)block_var]FCMM]GCMM@$@@$@@ఐ(,local_idents]SCMM]TCMM@@@'@@ఐǠ'handler]`CMM]aCMM@@@$M@X4,@@=@@O-@H@@PI@A@]h>MM@@@ఐʠ(body_res]vEMN]wEMN @X@@$ˠ$@@@X:@@@X93]}]|]|]}]}]}]}]}@cun@o@p@@@@ఐ{+handler_res]EMN ]EMN@ @@$$@@@X<@@@X;@@! @@@"@@@X=@@Ġ+Unreachable]FNN"]FNN-@&P@@@@%$@@@XP@@@XO3]]]]]]]]@5@@@@Ġ+Unreachable]FNN/]FNN:@&c@@@@%%@@@XV@@@XU@@ @@@@@@XW@@@%%%$@@@XZ@@@XY@%.%-@@@X\@@@X[@@XX.@@@ภ+Unreachable]FNN>]FNNI@&@@@ @@@X@@@X>@@Ġ)Reachable^GNJNP^GNJNY@&ఠ$lfun^ GNJN[^ GNJN_@^#A@@'S@@@Xo3^^ ^ ^^^^^@@@@ఠ$body^GNJNa^GNJNe@^2A@@%k@@@Xp@@@ ^!GNJNf@@%t%s@@@Xr@@@Xq@@Ġ+Unreachable^1GNJNh^2GNJNs@&@@@@%%@@@Xx@@@Xw*@@; @@@@@@Xy1@@@%%@@@X|@@@X{@%%@@@X~@@@X}@@XzE@@@ภ)Reachable^\HNwN}^]HNwN@&ఐ\$lfun^fHNwN^gHNwN@[@\@]@@'@@@XM@XM@X3^n^m^m^n^n^n^n^n@n _X@Y@Z@@@ภ,Lstaticcatch^|HNwN^}HNwN@EWఐm$body^HNwN^HNwN@@@V@@@XM@XM@X@@ఐ6%nfail^HNwN^HNwN@߰@@Eq@@@XM@XM@X5@@ఐ:¶ms^HNwN^HNwN@@@E~@E}@@@X@N@@@X@@X@@@XM@YM@YU@@^HNwN^HNwN@@@,@@@XM@Y`@ఐ@'handler^HNwN^HNwN@@@V@@@XM@Y M@Y r@@h^HNwN@@!@@@XM@Xy@@^HNwN@@{@@Ġ+Unreachable^INN^INN@'@@@@&O&N@@@X@@@X@@Ġ)Reachable_ INN_ INN@'ఠ$lfun_INN_INN@_.A@@(^@@@X@ఠ'handler_#INN_$INN@_<A@@&u@@@X@@@_+INN@@&~&}@@@X@@@X@@: @@@;@@@X@@@&&@@@X@@@X@&&@@@X@@@X@@X@@@ภ)Reachable_TJNN_UJNN@'ݠఐI$lfun_^JNN__JNO@H@I@J@@(@@@YM@YM@Y3_f_e_e_f_f_f_f_f@[ MF@G@H@@@ภ,Lstaticcatch_tJNO_uJNO@FOఐ+$body_~JNO_JNO@°@@W~@@@Y"M@Y+M@Y*@@ఐ.%nfail_JNO_JNO@װ@@Fi@@@Y$M@Y6M@Y55@@ఐ2¶ms_JNO _JNO&@@@Fv@Fu@@@Y'@O@@@Y(@@Y&@@@Y%M@Y;M@Y7U@@_JNO_JNO'@@@,@@@Y#M@Y?`@ఐ'handler_JNO)_JNO0@g@@W@@@Y)M@YAM@Y@r@@h_JNO1@@!@@@YM@Y!y@@_JNO2@@{@@Ġ)Reachable_KO3O9_KO3OB@({@_KO3OC_KO3OD@@)>@@@X|@@@'L@@@X@@@ @@'T'S@@@X@@@X@@Ġ)Reachable`KO3OF`KO3OO@(@`KO3OP`KO3OQ@@)]@@@X@@@'k@@@X@@@ @@'s'r@@@X@@@X@@7@@@+@@@X@@@''@@@X@@@X @''@@@X@@@X@@X@@@డY+fatal_error$Misc`PLOUO[`QLOUO_@ `TLOUO``ULOUOk@@YͰ@@@Y@@@YE"j"}@@@YN@@@YMN@YD@@YC@@:letrec: multiple functions`nLOUOm`oLOUO@@`qLOUOl`rLOUO@@Y@@@YJN@YLN@YK@@+ @@@@@A`|EMM`}MOO@@""@@@Z@@@Z@ @@h@ @@"@Ġ(Ltrywith`NOO`NOO@Fఠ$body`NOO`NOO@`A@@X@@@?f3````````@'V@@@ఠ'exn_var`NOO`NOO@`A@@G@@@?g@ఠ'handler`NOO`NOO@`A@@X@@@?h@@@.`NOO@@(@@(@@@@ఠ(body_res`OOO`OOO@`A@@("(!@@@Z@@@ZL@Z3````````@'E>@?@@70@1@2*#@$@%@@@ఐ(V5split_static_function`OOO`OOO@(@@@(U@(P@(G(B(A@@@Z@@@Z@@Z@@Z@@Z @@ఐ(=)block_varaOOOaOOO@'ٰ@@(m-@@ఐ',local_identsaOOOaOOO@'հ@@(s:@@ఐ$bodyaOOOaOOO@B@@(uM@ZI@@:@@QJ@A@a"OOO@@@ఠ+handler_resa-PPP a.PPP@aFA@@((@@@Z@@@ZL@Z3a7a6a6a7a7a7a7a7@dvo@p@q@@@ఐ(5split_static_functionaFQPPaGQPP3@(z@@@(@(@(((@@@Z@@@Z@@Z@@Z@@Z@@ఐ()block_vara`QPP4aaQPP=@(8@@()@@డ[#Set#add%IdentawRP>PGaxRP>PL@ a{RP>PMa|RP>PP@@aRP>PQaRP>PT@ @ @@@"@@@Z@(@@@Z(@@@Z@@Z@@ZW@@ఐ'exn_varaRP>PUaRP>P\@@@"2@@@[N@[i@@ఐ(,local_identsaRP>P]aRP>Pi@(t@@)v@@aRP>PFaRP>Pj@@)@@@[ |@@ఐ 'handleraRP>PkaRP>Pr@@@)M@[/@@@@@A@aPPP@@@ఐ (body_resaTPzPaTPzP@@@)*))@@@[5@@@[43aaaaaaaa@@@@@@@ఐ+handler_resaTPzPaTPzP@ @@)@)?@@@[7@@@[6@@! @@@"@@@[8@@Ġ+Unreachableb UPPb UPP@*@@@@)_)^@@@[K@@@[J3bbbbbbbb@5@@@@Ġ+UnreachablebUPPbUPP@*@@@@)r)q@@@[Q@@@[P@@ @@@@@@[R@@@))@@@[U@@@[T@))@@@[W@@@[V@@[S.@@@ภ+UnreachablebHUPPbIUPP@*@@@$V$i@@@[@@@[>@@Ġ)Reachableb`VPPbaVPP@*ఠ$lfunbiVPPbjVPP@bA@@+@@@[j3bmblblbmbmbmbmbm@@@@ఠ$bodybxVPPbyVPP@bA@@)@@@[k@@@ bVPP@@)Ӡ)@@@[m@@@[l@@Ġ+UnreachablebVPPbVPP@+5@@@@))@@@[s@@@[r*@@; @@@@@@[t1@@@))@@@[w@@@[v@*)@@@[y@@@[x@@[uE@@@ภ)ReachablebWQQbWQQ@+Dఐ\$lfunbWQQbWQQ@[@\@]@@,@@@[M@[M@[3bbbbbbbb@n _X@Y@Z@@@ภ(LtrywithbWQQbWQQ@I=ఐm$bodybWQQ!bWQQ%@@@Z@@@[M@[M@[@ఐN'exn_varbWQQ'bWQQ.@@@IW@@@[M@[M@[1@ఐR'handlerc WQQ0c WQQ7@.@@[ @@@[M@[M@[C@@9cWQQ8@@%2@@@[M@[J@@`cWQQ9@@L@@Ġ+Unreachablec*XQ:Q@c+XQ:QK@+@@@@**~@@@[@@@[U@@Ġ)Reachablec<XQ:QMc=XQ:QV@+Šఠ$lfuncEXQ:QXcFXQ:Q\@c^A@@,@@@[m@ఠ'handlercSXQ:Q^cTXQ:Qe@clA@@*@@@[{@@@c[XQ:Qf@@**@@@[@@@[@@: @@@;@@@[@@@**@@@[@@@[@*ɠ*@@@[@@@[@@[@@@ภ)ReachablecYQjQpcYQjQy@, ఐI$lfuncYQjQ{cYQjQ@H@I@J@@,@@@[M@[M@[3cccccccc@[ MF@G@H@@@ภ(LtrywithcYQjQcYQjQ@Jఐ$bodycYQjQcYQjQ@հ@@[@@@[M@\M@[@ఐ'exn_varcYQjQcYQjQ@@@J @@@[M@\M@\1@ఐ'handlercYQjQcYQjQ@8@@[@@@[M@\M@\C@@9cYQjQ@@%@@@[M@[J@@`cYQjQ@@L@@Ġ)ReachablecZQQcZQQ@,|@cZQQcZQQ@@-?@@@[@@@+M@@@[#@@@ @@+U+T@@@[@@@[+@@Ġ)ReachabledZQQdZQQ@,@dZQQdZQQ@@-^@@@[=@@@+l@@@[B@@@ @@+t+s@@@[@@@[J@@7@@@+@@@[Q@@@++@@@[@@@[@++@@@[@@@[@@[e@@@డ]+fatal_error$MiscdQ[QQdR[QQ@ dU[QQdV[QQ@@]ΰ@@@]@@@\&k&~@@@\@@@\N@\@@\@@:letrec: multiple functionsdo[QQdp[QQ@@dr[QQds[QQ@@]@@@\ N@\N@\@@+ @@1@@@Ad}TPzP~d~\QR@@&&@@@]@@@]r@ @@M@f @@&@Ġ+Lifthenelsed]RRd]RR@JHఠ$condd]RRd]RR@dA@@\@@@?m3dddddddd@+W@@@ఠ$ifsod]RRd]RR@dA@@\@@@?n@ఠ%ifnotd]RRd]RR$@dA@@\@@@?o@@@.d]RR%@@,@@,@@@@ఠ(ifso_resd^R)R1d^R)R9@dA@@,#,"@@@]@@@]L@]3dddddddd@+E>@?@@70@1@2*#@$@%@@@ఐ,W5split_static_functiond^R)R<d^R)RQ@,@@@,V@,Q@,H,C,B@@@]@@@]@@]@@]@@] @@ఐ,>)block_vare^R)RRe^R)R[@+ڰ@@,n-@@ఐ+,local_identse^R)R\e^R)Rh@+ְ@@,t:@@ఐr$ifsoe^R)Rie^R)Rm@A@@,vM@]I@@:@@QJ@A@e#^R)R-@@@ఠ)ifnot_rese._RqRye/_RqR@eGA@@,,@@@]@@@]L@]3e8e7e7e8e8e8e8e8@dvo@p@q@@@ఐ,5split_static_functioneG_RqReH_RqR@,{@@@,@,@,,,@@@]@@@]@@]@@]@@]@@ఐ,)block_varea_RqReb_RqR@,9@@,)@@ఐ,M,local_identsen_RqReo_RqR@,5@@,6@@ఐà%ifnote{_RqRe|_RqR@@@,M@]E@@:@@MF@A@e_RqRu@@@ఐŠ(ifso_rese`RRe`RR@U@@,,@@@]@@@]3eeeeeeee@`rk@l@m@@@@ఐx)ifnot_rese`RRe`RR@ @@,,@@@]@@@]@@! @@@"@@@]@@Ġ+UnreachableeaRReaRR@.j@@@@--@@@]@@@]3eeeeeeee@5@@@@Ġ+UnreachableeaRReaRS@.}@@@@---,@@@]@@@]@@ @@@@@@]@@@-?->@@@]@@@]ޠ@-H-G@@@]@@@]@@].@@@ภ+UnreachablefaRSfaRS@.@@@(($@@@^Q@@@^P>@@Ġ)ReachablefbSSfbSS!@.ఠ$lfunf$bSS#f%bSS'@f=A@@/m@@@]3f(f'f'f(f(f(f(f(@@@@ఠ$ifsof3bSS)f4bSS-@fLA@@-@@@]@@@ f;bSS.@@--@@@]@@@]@@Ġ+UnreachablefKbSS0fLbSS;@.@@@@--@@@]@@@]*@@; @@@@@@]1@@@--@@@^@@@^@--@@@^@@@^@@]E@@@ภ)ReachablefvcS?SEfwcS?SN@.ఐ\$lfunfcS?SPfcS?ST@[@\@]@@/@@@^aM@^cM@^b3ffffffff@n _X@Y@Z@@@ภ+LifthenelsefcS?SVfcS?Sa@LLఐ$condfcS?ScfcS?Sg@ư@@^@@@^kM@^oM@^n@ఐ$ifsofcS?SifcS?Sm@&@@^@@@^lM@^qM@^p1@ఐ %ifnotfcS?SofcS?St@@@^@@@^mM@^sM@^rC@@9fcS?Su@@(@@@^`M@^jJ@@`fcS?Sv@@L@@Ġ+UnreachablefdSwS}fdSwS@/@@@@.:.9@@@^@@@^U@@Ġ)ReachablefdSwSfdSwS@/ఠ$lfungdSwSgdSwS@gA@@0I@@@^m@ఠ%ifnotgdSwSgdSwS@g'A@@.`@@@^{@@@gdSwS@@.i.h@@@^@@@^@@: @@@;@@@^ @@@.{.z@@@^#@@@^"@..@@@^%@@@^$@@^!@@@ภ)Reachableg?eSSg@eSS@/ȠఐI$lfungIeSSgJeSS@H@I@J@@0@@@^|M@^~M@^}3gQgPgPgQgQgQgQgQ@[ MF@G@H@@@ภ+Lifthenelseg_eSSg`eSS@MఐΠ$condgieSSgjeSS@@@_i@@@^M@^M@^@ఐѠ$ifsog{eSSg|eSS@@@_{@@@^M@^M@^1@ఐ%ifnotgeSSgeSS@8@@_@@@^M@^M@^C@@9geSS@@)@@@^{M@^J@@`geSS@@L@@Ġ)ReachablegfSSgfSS@07@gfSSgfSS@@0@@@^8@@@/@@@^9#@@@ @@//@@@^;@@@^:+@@Ġ)ReachablegfSSgfSS@0V@gfSSgfSS@@1@@@^A=@@@/'@@@^BB@@@ @@///.@@@^D@@@^CJ@@7@@@+@@@^EQ@@@/A/@@@@^H@@@^G@/J/I@@@^J@@@^I@@^Fe@@@డa+fatal_error$Misch gSTh gST @ hgST hgST@@a@@@a@@@^*&*9@@@^@@@^N@^@@^@@:letrec: multiple functionsh*gSTh+gST1@@h-gSTh.gST2@@a@@@^N@^N@^@@+ @@1@@@Ah8`RRh9hT3T:@@*E*X@@@`@@@`r@ @@@  @@*Nk@Ġ)LsequencehMiT;T?hNiT;TH@MMఠ"e1hViT;TJhWiT;TL@hoA@@`S@@@?s3hZhYhYhZhZhZhZhZ@/@@@ఠ"e2heiT;TNhfiT;TP@h~A@@`b@@@?t@@@ hmiT;TQ@@/@@/@@@1$let+hujTUTYhvjTUT]@0@1`@@@`EK@`HK@`L@`@@@`L@`!@@ *@@@`KK@`BK@`@@`1 L@`@@@`L@` @@`"@@`#L@`ఐ05split_static_functionhjTUTchjTUTx@/ٰ@@@0@0@00/@@@`)@@@`(@@`'@@`&@@`%3hhhhhhhh@/lf_@`@aXQ@R@S@@@@ఐ0)block_varhjTUTyhjTUT@/@@00@@ఐ/,local_identshjTUThjTUT@/@@06@@ఐy"e2hjTUThjTUT@'@@08L@`;.@@?@@1i@@@`jBqU:UD@Z@jFqU:UEjGqU:UF@@Z@@@?1@@@ @@11@@11@@3@@11@Ġ%LprimjUrUGUKjVrUGUP@V*@jZrUGUQj[rUGUR@@]O@@@?1@@@V-b]@@@?@@@?1@@@V-@@@?1"@@@@@11#@@11#@@U@@11$@Ġ&LwhilejwsUSUWjxsUSU]@O@j|sUSU^j}sUSU_@@bw@@@?16@@@b|@@@?1;@@@ @@11<@@11<@@n @@11=@Ġ$LforjtU`UdjtU`Uh@O@jtU`UijtU`Uj@@O@@@?1O@@@b@@@?1T@@ @b@@@?1Y@@@O@@@?1^@@@b@@@?1c@@@@@21d@@21d@@@@21e@Ġ'LassignjuUkUojuUkUv@N@juUkUwjuUkUx@@N@@@?1w@@@b@@@?1|@@@ @@21}@@21}@@ @@2 1~@Ġ%LsendjvUyU}jvUyU@NĠ@jvUyUjvUyU@@N@@@?1@@@b@@@?1@@ @b@@@?1@@@NǠb@@@?@@@?1@@@V@@@?1@@@#@@2K1@@2K1@@@@2L1@Ġ'LifusedjwUUjwUU@N@kwUUkwUU@@N@@@?1@@@c@@@?1@@@ @@2d1@@2d1@@ @@2e1@@@డd+fatal_error$MisckwUUkwUU@ kwUUk wUU@@d@@@d@@@`-5-H@@@`@@@`L@`@@`1@@ 'letrec binding is not a static functionk9wUUk:wUU@@k<wUUk=wUU@@d@@@`L@`L@`1@@+ @@-Q1@@@AkG:: @г-V,split_resultkQ::kR::@г-o&Lambdak\::k]::@2k`::ka::@@@2@@@aI@>3kekdkdkekekekeke@2@@ @@@2 @@@aI@>@@+@@ @25A@@2@2@22̠2@@@a@@@a@@a@@a@@aF@a2@@@k:g:gF@222r2q@2p2sШ2@б@@@@>3kkkkkkkk@2@@kyUUkyUU@@б@@@@> kyUUkyUU@@б@г2$listkyUV kyUV@В@А!a2@> kyUUkyUU@@@г2&LambdakyUUkyUV@2ǰkyUVkyUV @@@2@@@>7 @@@@@ @@>> @@@2 @@@>CkyUU0@@г2٠,split_resultkzVV/kzVV;@г2ޠ$listkzVV*kzVV.@В@А!a@^kzVVkzVV@@@г2頡&LambdakzVVlzVV!@2lzVV"lzVV(@@@2@@@>u @@@@\@ @@>| @@@3  @@@>lzVV.@@@3 @@@><@@@K@@>G?@@@@@>B@@@@@>E@@v@@>@3IA@@@3J@3H@3F@@>Ϡ@3B@@@>@@>@@@>3?3>@@3=@@@>@@>@@@>@@@>@@>@@>@@>Р@@>@࣠@)block_varAl\{V>VDl]{V>VM@luA@@3H@a3l_l^l^l_l_l_l_l_@33oH;@@@A@@@A@lhyUUliyUU@@@@lA@@@@@@,local_identsAlu{V>VNlv{V>VZ@lA@@3H@a3lxlwlwlxlxlxlxlx@(@@ @@@@  @@$armsAl{V>V[l{V>V_@lA@@l@3@@@b8@k3@@@b9@@b7@@@b63llllllll@&4*@+@,@@@@@@ఐ)$armsl|VcVkl|VcVo@%@$@@@b4@#@@@b5@@b3@@@b2@6@7@@6@5@@@bD@4@@@bE@@bC@@@bB3llllllll@3S$@@@ĠWl}VuVyl}VuV{@b@@@@T@S@@@bR@R@@@bS@@bQ@@@bP3llllllll@@@@@e@d@@@bV@c@@@bW@@bU@@@bT@@@ภ+Unreachablem}VuVm}VuV@5@@@6l@@@@b@k4@@@b@@b~@@@b}@@@b|3@ĠD°m,~VVm-~VV@c@ఠ!im9~VVm:~VV@mRA@@@@@bin@@ఠ#lammH~VVmI~VV@maA@@@@@bj}@@mP~VVmQ~VV@@@@ @@bk@ఠ$armsm_~VVm`~VV@mxA@@lϠ@@@@bn@@@@bo@@bm@@@bl@@@$@@@@@@br@@@@bs@@bq@@@bp@@@@@@bv@@@@bw@@bu@@@bt@@@@ఠ#resmVVmVV@mA@@44@@@@bN@b@4@@@b@@b@@@b@@@bN@b3mmmmmmmm@@@{t@u@ve^@_@`@@@ఐ4蠐,rebuild_armsmVVmVV@4@@@4@4@4@,@4@@@b@@b@@@b44ߠ@<@4@@@b@@b@@@b@@@b@@b@@b@@b7@@ఐ)block_varmVVmVV@@@D@@ఐ,local_identsnVVn VV@h@@Q@@ఐ$armsnVVnVV@W@@51@u@5,@@@b@@b@@@bO@bO@bo@@`@@p@A@n+VV@@@ఠ'lam_resn6VVn7VV@nOA@@55@@@b@@@bN@b3n@n?n?n@n@n@n@n@@@@@@@ఐ55split_static_functionnOVVnPVW@5@@@5@5@555@@@b@@@b@@b@@b@@b@@ఐ)block_varniVWnjVW@@@ )@@ఐ,local_identsnvVWnwVW@ְ@@6@@ఐ;#lamnVWnVW@ư@@5O@bE@@:@@MF@A@nVV@@@ఐb'lam_resnW#W-nW#W4@a@b@c@@55@@@b@@@b3nnnnnnnn@as @@@@ఐ#resnW#W6nW#W9@k@@55@'@@@b۠@5@@@b@@b@@@b@@@b"@@.@@@.@@@b)@@Ġ+UnreachablenW?WEnW?WP@7@@@@6/6.@@@b@@@b3nnnnnnnn@A@@@@Ġ+UnreachablenW?WRnW?W]@7@@@@55@f@@@c@5@@@c@@c@@@b@@@b @@+@@@,@@@c'@@@6a6`@@@c@@@c@66@@@@c @6@@@c @@c @@@c@@@c@@cH@@@ภ+Unreachableo2W?Wao3W?Wl@7@@@+*@)@@@c@(@@@c@@c@@@c@@@ce@@Ġ)ReachableoWWmWsoXWmW|@7ఠ$lfuno`WmW~oaWmW@oyA@@8@@@c$3odococododododod@@@@ఠ#lam ooWmWopWmW@oA@@6@@@c%@@@ owWmW@@6ʠ6@@@c'@@@c&@@Ġ+UnreachableoWmWoWmW@8,@@@@66@@@@c2@6@@@c3@@c1@@@c0@@@c/7@@H@@@+@@@c4>@@@66@@@c7@@@c6@66@(@@@c;@6@@@c<@@c:@@@c9@@@c8@@c5_@@@ภ)ReachableoWWoWW@8Uఐv$lfunoWWoWW@u@v@w@@9#@@@cO@cO@c3oooooooo@@ yr@s@t@@@ภ.oWWoWW@f\@ఐ!ioWWoWW@=@@@@@cO@cO@cO@c$@@ఐ#lampWWpWW@,@@@@@cO@cO@cO@c9@@pWWpWW@@@#@@@cO@cO@cF@ఐР$armsp/WWp0WW@q@@o@@@cO@cO@cY@@  @@/@@@cO@c`@@vpBWW@@b@@Ġ+UnreachablepQWWpRWW@8@@@@77@@@cU@@@cT@@Ġ)ReachablepcWWpdWW@8ఠ$lfun plWWpmWW@pA@@9@@@c^@ఠ$arms pzWWp{WW@pA@@7z@@@@ca@7|@@@cb@@c`@@@c_@@@,pWW@@77@@@@cf@7@@@cg@@ce@@@cd@@@cc@@T@@@U@@@ch@@@88@@@ck@@@cj@77@.@@@co@7@@@cp@@cn@@@cm@@@cl@@ci)@@@ภ)ReachablepWWpWW@9[ఐp$lfunpWXpWX@o@p@q@@:)@@@cO@dO@c3pppppppp@F tm@n@o@@@ภ/pWXpWX@gb@ఐƠ!ipWXqWX@C@@@@@cO@d O@dO@d$@@ఐ̠#lamqWX qWX @W@@@@@cO@d O@dO@d9@@q!WXq"WX@@@#@@@cO@d O@dF@ఐ$armsq5WXq6WX@M@@p@@@d O@dO@dY@@  @@5@@@cO@d `@@vqHWX@@b@@Ġ)ReachableqWXXqXXX'@9@q\XX(q]XX)@@:@@@c@@@8@@@c@@@ @@88@@@c@@@c@@Ġ)ReachableqvXX+qwXX4@9@q{XX5q|XX6@@:@@@c@@@8~@@@@c@8@@@c@@c@@@c@@@@@88@ @@@c@8@@@c@@c@@@c@@@c@@Q,@@@E@@@c @@@99@@@c@@@c@88@1@@@c@8@@@c@@c@@@c@@@c@@c,@@@డk[+fatal_error$MiscqX:X@qX:XD@ qX:XEqX:XP@@kY@@@kY@@@d$@@@@d/@@@@d0@@d.@@@d-@@@d,P@d#@@d"\@@:letrec: multiple functionsrX:XRrX:Xl@@r X:XQr X:Xm@@k@@@d)P@d+P@d*p@@8 @@q@@@ArW#W' @@  @ @@@e͠@ @@@e@@e@@@e@@@eF@ @@@!@@"r@@@Ar-|VcVe#@@$#@"@@@e렠@!@@@e@@e@@@e@@@eR@9,8A9P@б@@@б@@@б@гŠВ@гƠ@@@@@a@@гʠ9n@@@@a @@@@ @@a@@ @@@a@гnгoВ@гp@@u@@@a,@@гt9@{@@@a8@@@@ @@a>@@ @@@aB@@@@@aF@@6@@aH@@3@@aJ@@N@@aL@l@@@9@9@9ˠ@9@aȠ@9@@@fV@@fU@@@fT9Š9Ġ@@9@@@fS@@fR@@@fQ@@@fP@@fO@@fN@@fMF@f>t@@@rxUU@@W@: rr될2 {1. Compilation} rXoXorXoX@@@@@@3rrrrrrrr@:@@rr 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. rXXrclco@@@@@@A+,rec_bindings Fscqcvscqc@@;@@&static @@r@m.!t@@@f@n@@@f@q&lambda@@@f@@f@@@fs+ccs,cc@@sDA)functions@@r@mS!t@@@f@q)lfunction@@@f@@f@@@fsJccsKcc@@scA'dynamic@@rԠ@mr!t@@@f@q&lambda@@@f@@f@@@fsiccsjcd@@sA@@A@@@@@smcqcqsnd d#@@@@sA@#hhJsucc@I@@Ш@гk$lists~ccscc@В@гp%Identsccscc@wsccscc@@@3ssssssss@:;@@@A@@@@@,@@@)@@ @@@г~*block_sizesccscc@@@@@г&Lambdasccscc@sccscc@@@!@@@"*@@@#scc:@@@@f'@@#uscc@t@@Ш@г$listsccscc@В@г%Identsccscc@sccscc@@@J@@@г&Lambdasccscc@sccscc@@@\@@@]@@@^scc+@@@@fb@@#scc@@@Ш@г$listtcdtcd@В@г%Identtcdtcd@tcdtcd@@@@@@г&Lambdat$cd t%cd@°t(cdt)cd@@@@@@@@@t.cd+@@@@f@@@A@@@@H@ఠ.empty_bindingst=d%d)t>d%d7@tVA@@E@@@fG@f3tDtCtCtDtDtDtDtD@;}HB@@@ະ3B @@@fD@@@3"!@@A@A @3@@B@A@@A*@'&statictYd:d>tZd:dD@ภ^t`d:dGtad:dI@jX@@@X@W@@@fʠ@T@@@fˠ@S@@@f@@f@@@fG@f3@))functionstdKdOtdKdX@ภ^İtdKd[tdKd]@j@@@Z@Y@@@f栠@V@@@f@@f@@@fG@fU@J'dynamictd_dctd_dj@ภ^td_dmtd_do@j@@@]@\@@@f@Y@@@g@@f@@@fG@gw@@@td:d<tdqdt@@z@A@td%d%@@@}tt֐ " Allocation and backpatching code tdvdvtdvd@@@@@@3tttttttt@@@@@@ఠ0compile_indirecttddtdd@tA@@@l@@@g>G@g l@@@g+G@g@@gG@g  @࣠@&newvalAuddudd@uA@@3uuuuuuuu@0&uddu ee@@@@@  @@@ఠ(indirectuddudd@u/A@@m@@@g"I@g3uuuuuuuu@(7@@ @@@డs+transl_prim&Lambdau/ddu0dd@ u3ddu4dd@@@^@@@ @^#@@@ m<@@@ @@ @@@k8h8hk8h8@@m>N@@@@@@@g@@@@gmN@@@g@@g@@g9@@0CamlinternalLazyu`dduadd@@ucdduddd@@0@@@g$J@g&J@g%M@@(indirectutdduudd@@uwdduxdd@@>@@@g#J@g(J@g'a@@R @@eb@A@udd @@ภ&Lapplyueeuee @e:򡠐'ap_funcue eue e@ఐ(indirectue eue e#@@@@@m@@@g3H@g43uuuuuuuu@ @@@;'ap_argsue%e)ue%e0@ภ_ue%e4ue%e;Al'ఐà&newval ue%e:@ @@@ภ_Ak@ A@u7G@gF@@@gGH@gN)@@ue%e3@@;+@@@g=H@gE1@;$&ap_locue=eAue=eG@ఐ=&no_locue=eJue=eP@=.@@a@@@gYH@gXH@;2+ap_tailcallueReVueRea@ภ0Default_tailcallueRedueRet@:@@@;B@@@gcH@gg^@;=*ap_inlinedv evezv eve@ภ.Default_inlineveveveve@:@@@;M@@@gmH@gqt@;H.ap_specialisedv!eev"ee@ภ2Default_specialisev)eev*ee@:@@@;X@@@gwH@g{@@@v2ee *@@f@@@g-H@g~@@0@@n2@@@g,@4@@@>5A@WG@g<@A@9@98@l@ఠ-compile_allocvLeevMee@veA@@@n<@@@gG@gnT@@@gG@g@@gG@g3v[vZvZv[v[v[v[v[@z@{@|@@@࣠@$sizeAvleevmee@vA@@3vmvlvlvmvmvmvmvm@)vteevu gg@@@@@  @@@ఠ%allocveevee@vA@@@M`@@@gI@g@aB@@@gI@gn@@@gI@g@@gI@g@@gI@g3vvvvvvvv@/;M@2@3@@@࣠@$primAveevee@vA@@&3vvvvvvvv@3veevf;fM@@@@@  @@$sizeAveevee@vA@@13vvvvvvvv@!=@@@@@@@@ภ%Lprimveevee@bภ&Pccallvefvef@Mఐ9$primvefvef @@@[3vvvvvvvv@".U@%@&@@@@@@i@@@gK@g @ภ`vffvff9Ameภ&Lconst vff @m`డuv)const_int&Lambdaw ff"w ff(@ wff)wff2@@@@@@mu@@@@@@mr33ms33@@oE@@@@@@@gm@@@g@@gD@@ఐv$sizew3ff3w4ff7@N@@Q@@w7ff!w8ff8@@m@@@g@gL@g[@@M @@o>@@@gK@gK@gc@ภa4YAmD@ZA@v@@@gK@gp@@wVffb@@c%@@@gK@gx@ఐ?&no_locwef;fFwff;fL@>@@c-@@@gK@g@@@@og@@@g@A@I@g@A@@ఐ$sizew}ffw~ff@߰@@,3w}w|w|w}w}w}w}w}@@@@@@Ġ-Regular_blockwffwff@lఠ$sizewffwff@wA@@sB@@@g3wwwwwwww@@@@@@@@K@@K@@@ఐ&%allocwffwff@(@@@N@@@g@@@@go@@@g@@g@@g3wwwwwwww@9(!@"@#@@@@ఐv *alloc_primwffwfg@uX@@N@@@gK@gK@g@@ఐC$sizewfgwfg @!@@K@@@gK@gK@g+@@< @@,@Ġ,Float_recordwg gwg g@lcఠ$sizewg gwg g@xA@@s@@@g~@@@@@@@@@@ఐ%allocxg#g)x g#g.@@@@N@@@g@}@@@gp@@@g@@g@@g3xxxxxxxx@' @!@"@@@@ఐu7alloc_float_record_primx%g#g/x&g#gF@uB@@O@@@hK@hK@h@@ఐB$sizex9g#gGx:g#gK@!@@@@@hK@h K@h+@@< @@,@Ġ*Lazy_blockxNgLgPxOgLgZ@lL@@@@@@@@@ภ%LprimxWg^gdxXg^gi@d,ภ&Pccallx`g^gjxag^gp@O9ఐu/alloc_lazy_primxjg^gqxkg^g@u@@OE@@@hJ@hJ@h@@ @@kj@@@hJ@h@ภbxggxggAnడv+lambda_unit&Lambdaxgg@ xggxgg@@p@@@@n33n33@@pF@ @@p@@@hJ@h$J@h'J@h&&@ภb+An@,A@x@@@h%J@h-3@@xgg4@@d@@@hJ@h#;@ఐ@z&no_locx ggx gg@@ @@d@@@h2J@h1K@@uW@@sL@@@AxffY@@u3xxxxxxxx@N@@@[@@w2@e\A@G@hAc@A@`@`_@v@ఠ.compile_updatex ggx gg@xA@@@p@@@hYG@hC@p@@@hG@hH@ G@hMp@@@hG@hN@@hOG@hI@@hJG@hD@@hEG@hB3xxxxxxxx@@@@@@࣠@$size Ay  ggy gg@y&A@@*3yy y yyyyy@7y ggy-ll@@@@@  @@%dummy!Ay! ggy" gg@y:A@@53y"y!y!y"y"y"y"y"@!A@@@@@@@@&newval"Ay2 ggy3 gg@yKA@@=3y3y2y2y3y3y3y3y3@I@@@@@@@@@@ఠ$prim#yI ggyJ gg@ybA@@w@@@hfK@hS3yOyNyNyOyOyOyOyO@)\@ @!@@@@ఠ&newval$y] ggy^ gg@yvA@@wG@hG@hG@hG@hT@@  @@@ @@@hW@ఐn$sizeyx ggyy gh@S@@)@Ġ-Regular_blockyh hyh h@n@yh hyh h@@u6@@@h[?@@@ @@@@@@@Ġ,Float_recordyh h!yh h-@n@yh h.yh h/@@u;@@@h^R@@@ @@S@@S@@@@T@@@@ఐva+update_primyh3h9yh3hD@u@@eb@@ఐ&newvalyh3hFyh3hL@k@@n@@@@@x@f@@hau@Ġ*Lazy_blockyhMhSyhMh]@m@@@@@@@@@@ఐv0update_lazy_primy"k*k0y"k*k@@u@@M@hl@@ఐ&newvaly#kBkTy#kBkZ@@@@Ġ%Lprimy$k`kjy$k`ko@eѠĠ.Pmakelazyblockz$k`kpz$k`k~@S@z $k`kz $k`k@@S@@@hv@@@ @@m@@@hw@@z$k`kz$k`k@@er@@@hy@@@hx@@z"$k`kz#$k`k@@e@@@hz@@@,z($k`k@@0@@0@@@ఐ&newvalz0(lJlTz1(lJlZ@ް@@G@h@hi@@z<)l[lez=)l[lf@@E@@E@@@ఐd0compile_indirectzG)l[ljzH)l[lz@@@@rE@@@hrH@@@h~@@h}@@ఐ-&newvalz\)l[l{z])l[l@ @@f @@@@-@@@Aza#kBkHzb*ll@@0@@@@@@@Aze gg@@@@ @@h@A@zm gg @@ภ%Lprimzt,llzu,ll@fIภ&Pccallz},llz~,ll@QVఐ>$primz,llz,ll@=@>@?@@Qc@@@hJ@hJ@h3zzzzzzzz@BP <5@6@7@@@@@@m@@@hJ@h @ภdz,llz,llAqఐ%dummy z,ll@u @@@ภdz,llAq$ఐ`&newval z,ll@) @@^-@ภd"Ap@ #A@z4f@@@hJ@h:@@*A@z;k@@@hJ@hA@@z,ll2@@f@@@hJ@hI@ఐB&no_locz-llz-ll@B*@@f@@@hJ@hY@@x@@r@@@h]@@@@A@G@h@A@@@{{6 Compilation function {/ll{/ll@@@@@@3{{{{{{{{@,%@&@'@@@ఠ.compile_letrec%{1ll{1ll@{,A@@@nh@m@@@i$J@it@/Value_rec_types6recursive_binding_kind@@@iJ@iu@s4@@@kJ@iv@@iwJ@i\@@@ikG@h@s>@@@nG@hG@h@@hG@h@@hG@hE@࣠@.input_bindings'A{U1ll{V1lm@{nA@@>3{V{U{U{V{V{V{V{V@UK{]1ll{^}xx@@@@@  @@$body(A{i1lm {j1lm @{A@@*3{j{i{i{j{j{j{j{j@!U@@@@@@@@@ఠ3subst_for_constants){|2mm{}2mm)@{A@@os@@@i*M@i@@@i1J@h3{{{{{{{{@+K@"@#@@@డz $List)fold_left{3m,m0{3m,m4@ {3m,m5{3m,m>@@i@@@@'J@h@G@hJ@h@@h@@h@ @n @@@h@@h@@h@@h3{{{{{{{{@,@@@@࣠@%subst*A{3m,mD{3m,mI@{A@@#?@@@@ur,A@ఠ"id+{3m,mK{3m,mM@{A@@J@h3{{{{{{{{@U";@@@@@@@{3m,mO{3m,mP@@G@h @@@{3m,mR{3m,mS@@G@h@@{3m,mJ{3m,mT@@@@@ @@h@@  @@డv#Map#add%Ident|4mXm`|4mXme@ |4mXmf|4mXmi@@|4mXmj|4mXmm@ @kv @@@n@@@i @@o@@@io@@@i@@i@@i@@i3|+|*|*|+|+|+|+|+@P[T@U@V@@@@ఐb"id|;4mXmn|<4mXmp@ @@a@@డz.dummy_constant&Lambda|L4mXmq|M4mXmw@ |P4mXmx|Q4mXm@@tM@@@@r4E4Er4E4_@@tOG@ @@.@@ఐ%subst|f4mXm|g4mXm@@@;@@Z@@o@@@i"@@|o3m,m?|p4mXm@@@@@@h@@hK@iJK@iH@@డv#Map%empty%Ident|5mm|5mm@ |5mm|5mm@@|5mm|5mm@ @Hİ @@p+J@iM@@@iL@@ఐV.input_bindings|5mm|5mm@;@@@@@@!@A@|2mm@@@ఠ0all_bindings_rev-|7mm|7mm@| A@@{@@@lvJ@iU3||||||||@7KD@E@F@@@డ{V$List)fold_left|8mm|8mm@ |8mm|8mm@@jI@@@@!J@iZ@@@i^@@i]@@p0@@@i[ @@iY@@iX@@iW3||||||||@(@@@@࣠@,rev_bindings.A|8mm|8mm@} A@@;@@@@v@A@ఠ"id/} 8mm} 8mm@}$ A@@3} } } } } } } } @O 5@@@@@@ఠ%rkind0}8mm}8mn@}3 A@@@@ఠ#def1}&8mn}'8mn@}? A@@@@}+8mm},8mn@@@ @@@@iy&@@  @@ఐ&%rkind}@9n n}A9n n@@&@'@г/Value_rec_types}O9n n!}P9n n0@}S9n n1}T9n nG@@@'@@@i3}V}U}U}V}V}V}V}V@MV8@P@QH<&@6@7@@ @@}a9n n}b9n nH@@@4@@@i @Ġ'Dynamic}p:nNnX}q:nNn_@;'Dynamic/Value_rec_types6recursive_binding_kind@@@i@@@AB@@A:typing/value_rec_types.mliYY@@@ B@@@@@T@@@i3}}}}}}}}@-@@@@X@@@i@@@ະ A @ @@@iǠ@ @@@iȠ@ @@@i@@i@@@iO@i@ U x@ w@@@iҠ@ t@@@i@@i@@@iO@i@ h'dynamic};ncn};ncn@ภ<|};ncn};ncn@t8@ఐʠ"id};ncn};ncn@z@@R@@ఐ#def};ncn};ncn@@@^@@};ncn};ncn@@@G@lXJ@l_J@kZJ@kfJ@koJ@jJ@k J@kJ@jJ@jJ@jJ@i@J@kJ@kJ@kJ@kJ@j-J@jJ@iJ@iJ@i@@iO@iO@i@ఐ.,rev_bindings~#;ncn~$;ncn@@@I@'dynamic~*;ncn~+;ncn@ ٰ @@}K@@@iO@iO@i@@Q @@ P@@@iO@i@@ఐO,rev_bindings~D;ncno~E;ncn{@5@@j@~H;ncnm~I;ncn@@m@Ġ&Static~T<nn~U<nn@;&Static@@@@B@@AUU@@@A@@@  @@/@@@i@@2@@@i @@@@ఠ$size3~n=nn~o=nn@~A@@r7@@@iP@i@ఐrR3compute_static_size~=nn~=nn@J_@@@v~@@@irK@@@i@@i@@ఐo#def~=nn~=nn@9@@_@@@@%@A@~=nn@@ఐ6$size~>no ~>no @5@6@7@@rk@@@i3~~~~~~~~@SC@@@Ġ(Constant~?oo~?oo'@o0@@@@r@@@i3~~~~~~~~@@@@@@Ġ+Unreachable~?oo*~?oo5@w@@@@r@@@i@@@@@@r@@@i@@@@ఠ#def5~Dp3pC~Dp3pF@~A@@v@@@j,R@j3~~~~~~~~@:@@@డ}]%subst&Lambda~EpIpW~EpIp]@ ~EpIp^~EpIpc@@<@@@@<@@@j@<@@@j@<@@@j<@@@j@@j@@j @@j <<<@@@j @@@j @<w@@@j @@@j@w@@@jw@@@j@@j@@j@@j@@j3&%%&&&&&@~@@@@࣠@x8A@5EpIpi6EpIpj@@<@@@jBU@@@@x7A@AEpIpkBEpIpl@@<@@@jPa@@@@#env6APEpIpmQEpIpp@iA@@<@@@jZr@@@@ఐ#env`EpIptaEpIpw@=@@@jY@@@@=@@@j_V@j^3ihhiiiii@% @@@oEpIpdpEpIpx@@@=&@@@j8@=#@@@j7@= @@@j6=@@@j5@@j4@@j3@@j2S@jzS@js@=ภGppGpp@vk@ఐ"idGpp Gpp@@@3@a5.@/@0@@@@ఐ;#defGppGpp@ @@ @@@jQ@jQ@jQ@j@@$Gpp%Gpp@@@9@@@jQ@jQ@j%@ఐE,rev_bindings:Gpp;Gpp@+@@`2@'dynamicAGppBGpp@  @@#@@@jQ@jQ@jA@@) @@ (@@@jQ@jH@@ఐf,rev_bindings[Gpp\Gpp@L@@S@_Gpp`Gpp@@V@@@}@Ġ%BlocklHppmHpp@[ఠ$size4uHpqvHpq@A@@{y@@@i3yxxyyyyy@@@@@@@@tA@@@i@@tD@@@i@@@ະ ;&staticJq(q6Jq(q<@ภ?IJq(qOJq(qQ@w@ఐ"idJq(q@Jq(qB@G@@3@6/@0@1@@@@ఐ<$sizeJq(qDJq(qH@ @@ @@@kQ@kQ@kQ@k@@ఐ#defJq(qJJq(qM@j@@$@@Jq(q?Jq(qN@@@٠@@@@jQ@k Q@k3@ఐ,rev_bindingsJq(qRJq(q^@Ӱ@@@@&staticJq(q_Jq(qe@  @@\%@@@kQ@k%Q@kO@@+ @@ *@@@jQ@k V@  ͠@ @@@k8@ @@@k9@@k7@@@k6Q@k1@   @ @@@kB@ @@@kC@@kA@@@k@Q@k;@@ఐ6,rev_bindings+Iqq,Iqq"@@@Q@/Iqq0Jq(qg@@T@Ġ(Function;Kqhqt<Kqhq|@q?@@@@u@@@i@@u@@@i@@@ఐ'#defMLqqNLqq@@@@Ġ)LfunctionZMqq[Mqq@q|ఠ$lfun9cMqqdMqq@|A@@q@@@kH3gffggggg@@@@@@@@3@@3@@@ະ #f@e@@@k@b@@@k@a@@@k@@k@@@kS@k~@ 7)functionsOqqOqq@ภ@JOqr Oqr @x@ఐ"idOqrOqr@H@@3@IB@C@D@@@@ఐO$lfunOqrOqr@ @@y@@@k[S@kgS@kqS@kp@@OqqOqr @@@Ƞ@@@kYS@keS@kr%@ఐࠐ,rev_bindingsOqr Oqr@ư@@2@)functionsOqrOqr#@  @@O#@@@khS@kyS@ktA@@) @@(@@@kXS@kdH@ @@@@k@@@@k@@k@@@kS@k@@ఐ,rev_bindings Nqq Nqq@@@0g@NqqPr$r3@@3j@@Qr4rBQr4rC@@m@@m@@@@ఠ&ctx_id:"RrGrY#RrGr_@;A@@H@@@kT@k@డ|F,create_local%Ident8RrGrb9RrGrg@ <RrGrh=RrGrt@@H@@@H@@@kH@@@k@@k@@7letrec_function_contextPRrGrvQRrGr@@SRrGruTRrGr@@H@@@kU@kU@k@@% @@5@A@^RrGrU @@ఐI٠5split_static_functionjSrrkSrr@I@@@u@@@k@I@@@k@zr@@@kIΠI@@@k@@@k@@k@@k@@k3@g`@a@b@@@@ఐn&ctx_idSrrSrr@ @@uG@@@kU@kU@k@@డ|#Set%empty%IdentSrrSrr@ SrrSrr@@SrrSrr@ @J@@@BV@u@CE@@@J"@@@kU@kU@kB@@ఐ#defSrrSrr@s@@O@@i@@J%J$@@@k@@@kW@Ġ+UnreachableTrrTrr@K@@@@J9J8@@@k@@@k3@k@@@ @JAJ@@@@k@@@k@@@డ|+fatal_error$MiscUssUss@ UssUss!@@|@@@|@@@k?J@lqJ@llJ@lgJ@l+J@lJ@kV@k@@k/@@?letrec: no function for binding%Uss#&UssB@@(Uss")UssC@@|@@@kV@kV@kC@@/ @@UD@Ġ)Reachable<VsDsT=VsDs]@KŠঠ$lfunGVsDsaHVsDseAFPఠ;@eA@M@@@k@4free_vars_block_sizeXVsDsgYVsDs{AF\ఠ<@vA@M@@@k@@@dVsDs_eVsDs}@@L@@@kV@k@ఠ#lam=rVsDssVsDs@A@@J@@@k@@@>zVsDs@@J͠J@@@k@@@k@ @JԠJ@@@k@@@k@@@@ఠ)functions>WssWss@A@@{@V@l@Mo@@@lV@l@@lV@k@@@lV@k3@,eb@d@cUR@T@SD=@>@?@@@ภBmWssWss@z)@ఐ"idWssWss@k@@@@ఐ$lfunWssWss@$@@-)@@WssWss@@@@@@l?@@@@l@@@l=@@@l@\tlt|\tlt@@#A@l@@$@@@%V@@@ASrr]tt@@(@@@)@@@ALqq^tt@@,@@@A >nn _tt@@/'@s@@0@@@A9n n@@2@8mm_tt@@@;@ =@@im@@ilK@lK@lY@@ఐ砐.empty_bindings$`tt%`tt@O@@kK@l@@@ఐ ᠐.input_bindings3`tt4`tt@ ư@@ M@@f@@Zv@A@87mm@@@ఠ1body_with_patchesACbtuDbtu@\A@@ G@nGG@mG@mJ@l3KJJKKKKK@@@@@@డ$List)fold_left^cuu_cuu @ bcuu!ccuu*@@rְ@@@@%G@mJ@l@@x'@@@m9J@m @}d@@@m2J@m @}~@@@m1J@m@@mJ@l@@l@@l@ @xנ @@@l&@@l@@l@@l3@B@@@@࣠@$bodyBAcuu0cuu4@A@@9U@@@@KFA@ఠ"idCcuu6cuu8@A@@A3@i O@@@@@@ఠ$sizeDcuu:cuu>@A@@I@@ఠ#lamEcuu@cuuC@A@@N@@cuu5cuuD@@@c@^@Y@@m&@@  @@ภ)LsequenceduHuPduHuY@jఐ .compile_updateduHu[duHui@ @@@}@@@m#@}@@@m"@}@@@m!@@m @@m@@m3@OX@R@SJ@D@E?@9@:@@@@ఐR$sizeduHujduHun@@@@@ภ$LvarduHup duHut@xԠఐw"id)duHuu*duHuw@%@@*@@-duHuo.duHux@@N@m8/@@ఐn#lam;duHuy<duHu|@5@@<@@O@@~<@@@m@m@?@@@డ$List'rev_mapalvFvNblvFvR@ elvFvSflvFvZ@@@@!a@#!b@#@@$@z @@@$5@@@$@@$@@$@t,,t,Z@@tY@$@@@@@t@@@mM@m@w@@@mM@m@@mM@mP@@m@&@@@m~ZY@@@m|@@m{@@mz3@T@@@@࣠@RLA@ఠ"idJlvFvalvFvc@!A@@.l@@ఠ$lfunKlvFvelvFvi@"A@@3x@@lvFv`lvFvj@@@A@<@@m@@ @@ຠt"idmvnv|mvnv~Aఐ- @W@*@+@W3@4(T@"@#@@@t#defmvnvmvnv@ఐ4$lfunmvnvmvnv@@@f@@@mvnvzmvnv@@@lvFv[mvnv@@@@@mN@mN@m@@ఐ,bindings_revnvvnvv@@@@@@mN@mN@mx@@ @@@A@kv(v. @@ภ'Lletrec&pvv'pvv@vఐ1function_bindings0pvv1pvv@@@@@vv @@@m@@@mL@mL@m3<;;<<<<<@@@@ఐ1body_with_patchesIpvvJpvv@@@ @@'Mpvv@@G@@@m@3@@@@@AShuu@@@A@Uguu @@@ఠ8body_with_dynamic_valuesM`rvvarvw@y#A@@ !J@n3baabbbbb@@@@@@డ$List)fold_leftusw w vsw w@ ysw wzsw w@@u@@@@6J@n@@xq@@@nEJ@n3@@@@nFJ@n4@@n5J@n@@n@@n@@{@@@n@@n@@n@@n3@:@@@@࣠@$bodyNAsw w!sw w%@$A@@1M@@@@ZQA@ఠ"idOsw w'sw w)@%A@@:3@a G@@@@@@ఠ#lamPsw w+sw w.@&A@@B@@sw w&sw w/@@@P@K@@n7@@ @@ภ$Llettw3w;tw3w?@xڠภ&Stricttw3w@tw3wF@;&Strictx@@@%@@@@C@@AL!k!{M!k!@@@@@  @@x@@@nCM@nK3@=Fy@@@A8s@2@3@@@ภ'Pgenval tw3wH tw3wO@L@@@x@@@nDM@nO@ఐ["idtw3wQtw3wS@@@@ఐW#lam'tw3wU(tw3wX@%@@*@ఐ$body2tw3wZ3tw3w^@m@@5@@Q6tw3w_@@0@@@nB:@;sw w<tw3w`@@@@@@n,@@n+K@nYK@nW@@ఐ3body_with_functionsOuwawgPuwawz@@@@@ఐ 0all_bindings_rev^uwaw{_uwaw@@@ @@@na@n\@'dynamicjuwawkuwaw@@@|@@@n*K@nbK@n]@@ @@@A@wrvv @@@ఠ9body_with_pre_allocationsRwwwwww@'A@@CJ@nc3@$.'@(@)@@@డ$List)fold_leftxwwxww@ xwwxww@@w@@@@aJ@nh@@y@@@nJ@n@@@@nJ@n@@@@nJ@n@@nJ@nj@@nl@@nk@@} @@@ni%@@ng@@nf@@ne3@A@@@@࣠@$bodySAxwwxww@(A@@8T@@@@XA@ఠ"idTxwwxww@)A@@A3@h N@@@@@@ఠ$sizeUxwwxww@*A@@I@@ఠ$_lamVxwwxww@+A@@N@@ xww xww@@@c@^@Y@@n&@@  @@@ఠ%allocW!yww"yww@:,A@@ @@@nN@n3'&&'''''@>G@A@B9{@3@4.u@(@)@@@ఐ-compile_alloc:ywx;ywx @;@@@%@@@n;@@@n@@n@@ఐU$sizeOywxPywx@"@@(@@@@,)@A@Tyww@@ภ$Llet[zxx\zxx"@zPภ&Strictdzxx#ezxx)@v@@@zY@@@nM@n3ihhiiiii@CQJ@K@L@@@ภ'Pgenvalvzxx+wzxx2@N"@@@ze@@@nM@n@ఐ"idzxx4zxx6@Z@@@ఐp%alloczxx8zxx=@%@@@@@nM@nM@n/@ఐΠ$bodyzxx?zxxC@@@:@@LzxxD@@@@@n?@X@@@xwwzxxE@@@@@@n{@@nzK@nK@n/@@ఐa8body_with_dynamic_values{xFxL{xFxd@9@@`@@ఐ0all_bindings_rev{xFxe{xFxu@@@@@@n@n@&static{xFxv{xFx|@@@~.>@@@nyK@nK@n@@P @@D`@A@www @@ఐo9body_with_pre_allocations}xx@m@n@o@@n3@mx@@@@@qo@@@r@@@sT@e@@t@@@u:@O@@vq@A@G@n@A@@@@J@@0@7@H@A@c]A@A@?B@4@R@.~@~V@WT@TTA@TTwA@T4S4@S5R@RRk@RRZ@RLRJ@+%A@W@Q@1@Y-@' @!@"@@343344444@3*@@@&2Value_rec_compilerB@@ H************************************************************************AA@@BA@L@ H GBMMHBM@ H OCaml MCNC@ H SDTD3@ H Vincent Laviron, OCamlPro YE44ZE4@ H _F`F@ H Copyright 2023 OCamlPro SAS eGfG@ H kHlHg@ H All rights reserved. This file is distributed under the terms of qIhhrIh@ H the GNU Lesser General Public License version 2.1, with the wJxJ@ H special exception on linking described in the file LICENSE. }K~KN@ H LOOLO@ H************************************************************************MM@ /* Compilation of generic recursive definitions  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 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. ʠ * Function definitions. This includes more than just obvious, syntactic function definitions; see {!Function Lifting} for details.  * Allocated values of a fixed size. This corresponds to expressions ending in a single obvious allocation, but also some more complex expressions where the block is bound to an intermediate variable before being returned.  > [join_sizes] is used to compute the size of an expression with multiple branches. Such expressions are normally classified as [Dynamic] by [Value_rec_check], so the default behaviour is a compile-time failure. However, for partial pattern-matching (typically in let bindings) the compiler will later add a branch for the failing cases, and this is handled here with the [Unreachable] case. Note that the current compilation scheme would work if we allowed the [Constant] and [Block] cases to be joined, but [Function] needs to be a single function. 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} U 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 7 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"-c`a S/home/teraram/ci/builds/workspace/parallel-build/flambda/true/label/ocaml-manycores ?>3210/.-,+*)('&%$#"! @@0hNl$=b3|{{|||||@z@@(Asttypes0E\eǥ]k6e5Build_path_prefix_map0gMOBnM`8CamlinternalFormatBasics0oZ2t,ݠ0CamlinternalLazy0;x#5䢜hLm*Cmi_format0KuEB젠*Data_types0-k(.I7)Debuginfo0.6硏]fSvi#Env0؞X:Fݗ)*Format_doc0Mv9630A %Ident0y43a$+,Identifiable0XnAZ4eҠ&0 [, U(Z!07bʮ i )Load_path02&9Q҄;L(Location0nݹV 2f-V )Longident0@#j,6.Nt蠠$Misc0  =73 Z +Outcometree0yl4>Yfܠ)Parsetree0Z<4$PC$Path09{ְZsv)Primitive0{mV|{J %Shape0OĸT>b&Stdlib0y{x!O!.Stdlib__Buffer0_?K|/V>O}~Nࠠ.Stdlib__Digest0 Jjrڵ6.Stdlib__Domain0iW',P6wz.Stdlib__Either0FԤ) 4'>.Stdlib__Format0)n[-Ob/Stdlib__Hashtbl0^iaxG$+,Stdlib__Lazy0OM>x9%@((WђW@OOKU@ݕn̓@@  @ @@@PJ@'@$@@@A@@