(setglobal Bytegen!

(let

(label_counter = (makemutable 0 (int) 0)

new_label =

(function param : int

(funct-body bytecomp/bytegen.ml(30)<ghost>:1314-1355

(before bytecomp/bytegen.ml(31):1321-1355

(seq (+:=1 label_counter)

(before bytecomp/bytegen.ml(31):1341-1355

(field 0 label_counter))))))

empty_env =

(makeblock 0 (field 26 (global Ident!)) (field 26 (global Ident!))

(field 26 (global Ident!)))

add_var =

(function id pos[int] env

(funct-body bytecomp/bytegen.ml(40)<ghost>:1551-1662

(before bytecomp/bytegen.ml(41):1566-1662

(makeblock 0

(after bytecomp/bytegen.ml(41):1579-1608

(apply (field 27 (global Ident!)) id pos (field 0 env)))

(field 1 env) (field 2 env))))))

(letrec

(add_vars

(function idlist pos[int] env

(funct-body bytecomp/bytegen.ml(45)<ghost>:1681-1792

(before bytecomp/bytegen.ml(46):1700-1792

(if idlist

(let (rem =a (field 1 idlist) id =a (field 0 idlist))

(before bytecomp/bytegen.ml(48):1749-1792

(after bytecomp/bytegen.ml(48):1749-1792

(apply add_vars rem (+ pos 1)

(after bytecomp/bytegen.ml(48):1772-1792

(apply add_var id pos env))))))

(before bytecomp/bytegen.ml(47):1728-1731 env))))))

(let

(label_code =

(function cont

(funct-body bytecomp/bytegen.ml(56):2042-2200

(catch

(if cont

(let (*match* =a (field 0 cont))

(switch *match*

case tag 0:

(let (cont =a cont lbl =a (field 0 *match*))

(before bytecomp/bytegen.ml(58):2126-2137

(makeblock 0 (int,*) lbl cont)))

case tag 22:

(let (lbl =a (field 0 *match*))

(before bytecomp/bytegen.ml(57):2083-2094

(makeblock 0 (int,*) lbl cont)))

default: (exit 1)))

(exit 1))

with (1)

(let (cont =a cont)

(before bytecomp/bytegen.ml(59):2150-2200

(let

(lbl =[int]

(after bytecomp/bytegen.ml(59):2160-2171

(apply new_label 0a)))

(before bytecomp/bytegen.ml(59):2175-2200

(makeblock 0 (int,*) lbl

(makeblock 0 (makeblock 0 (int) lbl) cont))))))))))

(letrec

(make_branch_2

(function lbl n[int] cont param

(funct-body bytecomp/bytegen.ml(66)<ghost>:2461-2796

(catch

(if param

(let (*match* =a (field 0 param))

(switch *match*

case tag 0:

(let (c =a (field 1 param))

(before bytecomp/bytegen.ml(69):2553-2579

(after bytecomp/bytegen.ml(69):2553-2579

(apply make_branch_2 lbl n cont c))))

case tag 3:

(let (c =a (field 1 param) m =a (field 0 *match*))

(before bytecomp/bytegen.ml(70):2602-2634

(after bytecomp/bytegen.ml(70):2602-2634

(apply make_branch_2 lbl (+ n m) cont c))))

case tag 8:

(let (m =a (field 0 *match*))

(before bytecomp/bytegen.ml(68):2507-2530

(makeblock 0 (makeblock 8 (int) (+ n m)) cont)))

default: (exit 2)))

(exit 2))

with (2)

(before bytecomp/bytegen.ml(72):2663-2796

(if lbl

(let (lbl =a (field 0 lbl))

(before bytecomp/bytegen.ml(73):2698-2717

(makeblock 0 (makeblock 22 (int) lbl) cont)))

(before bytecomp/bytegen.ml(74):2738-2796

(let

(lbl =[int]

(after bytecomp/bytegen.ml(74):2748-2759

(apply new_label 0a)))

(before bytecomp/bytegen.ml(74):2763-2796

(makeblock 0 (makeblock 22 (int) lbl)

(makeblock 0 (makeblock 0 (int) lbl) cont)))))))))))

(let

(make_branch =

(function cont

(funct-body bytecomp/bytegen.ml(76)<ghost>:2814-3077

(before bytecomp/bytegen.ml(77):2823-3077

(catch

(if cont

(let (branch =a (field 0 cont))

(switch branch

case tag 0:

(let (lbl =a (field 0 branch))

(before bytecomp/bytegen.ml(81):2998-3034

(after bytecomp/bytegen.ml(81):2998-3034

(apply make_branch_2

(makeblock 0 (int) lbl) 0 cont cont))))

case tag 8:

(let (return =a branch)

(before bytecomp/bytegen.ml(79):2922-2936

(makeblock 0 return cont)))

case tag 22:

(before bytecomp/bytegen.ml(78):2873-2887

(makeblock 0 branch cont))

case tag 29:

(let (k =a (field 0 branch))

(before bytecomp/bytegen.ml(80):2958-2974

(makeblock 0 (makeblock 29 k) cont)))

default: (exit 3)))

(exit 3))

with (3)

(before bytecomp/bytegen.ml(82):3045-3077

(after bytecomp/bytegen.ml(82):3045-3077

(apply make_branch_2 0a 0 cont cont)))))))

branch_to =

(function label[int] cont

(funct-body bytecomp/bytegen.ml(86)<ghost>:3151-3253

(before bytecomp/bytegen.ml(86):3164-3253

(catch

(if cont

(let (*match* =a (field 0 cont))

(switch *match*

case tag 0:

(let (label0 =a (field 0 *match*))

(before bytecomp/bytegen.ml(87):3204-3218

(if (== label label0)

(before bytecomp/bytegen.ml(87):3222-3226

cont)

(exit 4))))

default: (exit 4)))

(exit 4))

with (4)

(before bytecomp/bytegen.ml(88):3234-3253

(makeblock 0 (makeblock 22 (int) label) cont)))))))

(letrec

(discard_dead_code

(function cont

(funct-body bytecomp/bytegen.ml(94):3478-3601

(if cont

(let (*match* =a (field 0 cont))

(catch

(catch

(switch *match*

case int 1: (exit 5)

case tag 0: (exit 5)

case tag 14: (exit 5)

default: (exit 6))

with (6)

(let (cont =a (field 1 cont))

(before bytecomp/bytegen.ml(97):3579-3601

(after bytecomp/bytegen.ml(97):3579-3601

(apply discard_dead_code cont)))))

with (5)

(before bytecomp/bytegen.ml(96):3557-3561 cont)))

(before bytecomp/bytegen.ml(95):3497-3499 0a)))))

(letrec

(is_tailcall

(function param

(funct-body bytecomp/bytegen.ml(101):3668-3786

(catch

(if param

(let (*match* =a (field 0 param))

(switch *match*

case tag 0:

(let (c =a (field 1 param))

(before bytecomp/bytegen.ml(103):3725-3738

(after bytecomp/bytegen.ml(103):3725-3738

(apply is_tailcall c))))

case tag 3:

(let (c =a (field 1 param))

(before bytecomp/bytegen.ml(104):3758-3771

(after bytecomp/bytegen.ml(104):3758-3771

(apply is_tailcall c))))

case tag 8:

(before bytecomp/bytegen.ml(102):3699-3703 1a)

default: (exit 7)))

(exit 7))

with (7)

(before bytecomp/bytegen.ml(105):3781-3786 0a)))))

(letrec

(add_pop

(function n[int] cont

(funct-body bytecomp/bytegen.ml(109)<ghost>:3863-4066

(before bytecomp/bytegen.ml(110):3874-4066

(if (== n 0)

(before bytecomp/bytegen.ml(110):3888-3892 cont)

(before bytecomp/bytegen.ml(111):3902-4066

(catch

(if cont

(let (*match* =a (field 0 cont))

(switch *match*

case tag 3:

(let

(cont =a (field 1 cont)

m =a (field 0 *match*))

(before bytecomp/bytegen.ml(112):3942-3962

(after bytecomp/bytegen.ml(112):3942-3962

(apply add_pop (+ n m) cont))))

case tag 8:

(let

(cont =a (field 1 cont)

m =a (field 0 *match*))

(before bytecomp/bytegen.ml(113):3990-4012

(makeblock 0

(makeblock 8 (int) (+ n m))

cont)))

case tag 29:

(before bytecomp/bytegen.ml(114):4036-4040

cont)

default: (exit 8)))

(exit 8))

with (8)

(before bytecomp/bytegen.ml(115):4052-4066

(makeblock 0 (makeblock 3 (int) n) cont)))))))))

(let

(add_const_unit =

(function cont

(funct-body bytecomp/bytegen.ml(119):4147-4271

(catch

(if cont

(let (*match* =a (field 0 cont))

(catch

(switch *match*

case tag 1: (exit 10)

case tag 5: (exit 10)

case tag 13: (exit 10)

case tag 15: (exit 10)

default: (exit 9))

with (10)

(before bytecomp/bytegen.ml(120):4229-4233

cont)))

(exit 9))

with (9)

(let (cont =a cont)

(before bytecomp/bytegen.ml(121):4246-4271

(makeblock 0

(makeblock 15 (field 7 (global Lambda!)))

cont)))))))

(letrec

(push_dummies

(function n[int] k

(funct-body bytecomp/bytegen.ml(123)<ghost>:4294-4375

(before bytecomp/bytegen.ml(123):4300-4375

(if (!= n 0)

(before bytecomp/bytegen.ml(125):4329-4375

(makeblock 0

(makeblock 15

(field 7 (global Lambda!)))

(makeblock 0 0a

(after bytecomp/bytegen.ml(125):4355-4375

(apply push_dummies (- n 1) k)))))

(before bytecomp/bytegen.ml(124):4320-4321

k))))))

(letrec

(check_recordwith_updates

(function id e

(funct-body bytecomp/bytegen.ml(138)<ghost>:4621-4817

(before bytecomp/bytegen.ml(139):4630-4817

(catch

(switch e

case tag 0:

(let (id2 =a (field 0 e))

(before bytecomp/bytegen.ml(142):4794-4802

(after bytecomp/bytegen.ml(142):4794-4802

(caml_equal id2 id))))

case tag 13:

(let (*match* =a (field 0 e))

(switch *match*

case tag 6:

(let (*match* =a (field 0 *match*))

(catch

(switch *match*

case tag 4: (exit 13)

case tag 7: (exit 13)

default: (exit 12))

with (13)

(let

(*match* =a (field 1 *match*))

(if *match*

(let

(*match* =a

(field 0 *match*))

(switch *match*

case tag 0:

(let

(*match* =a

(field 1 *match*))

(if *match*

(let

(*match* =a

(field 1

*match*))

(if *match*

(exit 12)

(let

(cont =a

(field 1 e)

id2 =a

(field 0

*match*))

(before bytecomp/bytegen.ml(141):4733-4777

(&&

(after bytecomp/bytegen.ml(141):4733-4741

(caml_equal

id2 id))

(after bytecomp/bytegen.ml(141):4745-4777

(apply

check_recordwith_updates

id cont)))))))

(exit 12)))

default: (exit 12)))

(exit 12)))))

default: (exit 12)))

default: (exit 12))

with (12)

(before bytecomp/bytegen.ml(143):4812-4817

0a))))))

(letrec

(size_of_lambda

(function env funct

(funct-body bytecomp/bytegen.ml(146)<ghost>:4845-7257

(catch

(switch funct

case tag 0:

(let (id =a (field 0 funct))

(before bytecomp/bytegen.ml(148):4881-4946

(try

(after bytecomp/bytegen.ml(148):4891-4913

(apply

(field 28 (global Ident!)) id

env))

with exn

(if

(== exn

(field 7 (global Stdlib!)))

(before bytecomp/bytegen.ml(148):4932-4942

0a)

(reraise exn)))))

case tag 3:

(let

(*match* =a (field 0 funct)

params =a (field 1 *match*))

(before bytecomp/bytegen.ml(150):4987-5086

(makeblock 3 (int,int)

(+ 1

(after bytecomp/bytegen.ml(150):5005-5045

(apply

(field 19

(field 5 (global Ident!)))

(after bytecomp/bytegen.ml(150):5023-5045

(apply

(field 14

(global Lambda!))

funct)))))

(after bytecomp/bytegen.ml(151):5067-5085

(apply

(field 0

(global Stdlib__list!))

params)))))

case tag 4:

(let (_str =a (field 0 funct))

(catch

(if _str (exit 18)

(let (*match* =a (field 3 funct))

(switch *match*

case tag 6:

(let

(*match* =a

(field 0 *match*))

(switch *match*

case tag 8:

(let

(body =a (field 4 funct)

size =a

(field 1 *match*)

kind =a

(field 0 *match*)

id =a (field 2 funct))

(before bytecomp/bytegen.ml(153):5167-5199

(if

(after bytecomp/bytegen.ml(153):5167-5199

(apply

check_recordwith_updates

id body))

(before bytecomp/bytegen.ml(154):5209-5436

(catch

(switch* kind

case int 0:

(exit 15)

case int 1:

(before bytecomp/bytegen.ml(157):5356-5375

(makeblock 2 (int)

size))

case tag 0:

(before bytecomp/bytegen.ml(156):5319-5331

(raise

(after bytecomp/bytegen.ml(156):5319-5331

(makeblock 0

(global Assert_failure!)

[0:

"bytecomp/bytegen.ml"

156 28]))))

case tag 1:

(exit 15)

case tag 2:

(before bytecomp/bytegen.ml(158):5406-5426

(makeblock 0 (int)

(+ size 1))))

with (15)

(before bytecomp/bytegen.ml(155):5276-5290

(makeblock 0 (int)

size))))

(exit 18))))

default: (exit 18)))

default: (exit 18))))

with (18)

(let

(body =a (field 4 funct)

arg =a (field 3 funct)

id =a (field 2 funct))

(before bytecomp/bytegen.ml(161):5480-5543

(after bytecomp/bytegen.ml(161):5480-5543

(apply size_of_lambda

(after bytecomp/bytegen.ml(161):5495-5538

(apply

(field 27

(global Ident!))

id

(after bytecomp/bytegen.ml(161):5509-5533

(apply size_of_lambda

env arg))

env))

body))))))

case tag 5:

(let

(body =a (field 1 funct)

bindings =a (field 0 funct))

(before bytecomp/bytegen.ml(164):5625-5695

(if

(after bytecomp/bytegen.ml(164):5625-5695

(apply

(field 27

(global Stdlib__list!))

(function param

(funct-body bytecomp/bytegen.ml(164):5638-5686

(let

(*match* =a

(field 1 param))

(switch *match*

case tag 3:

(before bytecomp/bytegen.ml(164):5668-5672

1a)

default:

(before bytecomp/bytegen.ml(164):5680-5685

0a)))))

bindings))

(before bytecomp/bytegen.ml(166):5738-6182

(let

(fv =

(after bytecomp/bytegen.ml(167):5755-5823

(apply

(field 20

(field 5

(global Ident!)))

(after bytecomp/bytegen.ml(167):5774-5823

(apply

(field 14

(global Lambda!))

(makeblock 5

bindings

(field 8

(global Lambda!))))))))

(before bytecomp/bytegen.ml(169):5882-6182

(let

(blocksize =[int]

(+

(-

(*

(after bytecomp/bytegen.ml(169):5898-5918

(apply

(field 0

(global Stdlib__list!))

bindings))

2)

1)

(after bytecomp/bytegen.ml(169):5929-5943

(apply

(field 0

(global Stdlib__list!))

fv))))

(before bytecomp/bytegen.ml(170):5953-6182

(let

(offsets =

(after bytecomp/bytegen.ml(170):5967-6017

(apply

(field 17

(global Stdlib__list!))

(function

i[int] param

(funct-body bytecomp/bytegen.ml(170):5977-6008

(let

(id =a

(field 0

param))

(before bytecomp/bytegen.ml(170):5996-6007

(makeblock 0 (*,int)

id

(* i 2))))))

bindings)))

(before bytecomp/bytegen.ml(171):6027-6182

(let

(env =

(after bytecomp/bytegen.ml(171):6037-6149

(apply

(field 21

(global Stdlib__list!))

(function

param env

(funct-body bytecomp/bytegen.ml(171):6053-6137

(let

(offset =a

(field 1

param)

id =a

(field 0

param))

(before bytecomp/bytegen.ml(172):6086-6136

(after bytecomp/bytegen.ml(172):6086-6136

(apply

(field 27

(global Ident!))

id

(makeblock 1 (int,int)

blocksize

offset)

env))))))

offsets

env)))

(before bytecomp/bytegen.ml(173):6159-6182

(after bytecomp/bytegen.ml(173):6159-6182

(apply

size_of_lambda

env body)))))))))))

(let

(body =a body

bindings =a bindings)

(before bytecomp/bytegen.ml(175):6220-6374

(let

(env =

(after bytecomp/bytegen.ml(175):6230-6335

(apply

(field 21

(global Stdlib__list!))

(function param env

(funct-body bytecomp/bytegen.ml(176):6254-6314

(let

(e =a

(field 1

param)

id =a

(field 0

param))

(before bytecomp/bytegen.ml(176):6274-6313

(after bytecomp/bytegen.ml(176):6274-6313

(apply

(field 27

(global Ident!))

id

(after bytecomp/bytegen.ml(176):6287-6309

(apply

size_of_lambda

env e))

env))))))

bindings env)))

(before bytecomp/bytegen.ml(179):6351-6374

(after bytecomp/bytegen.ml(179):6351-6374

(apply size_of_lambda

env body)))))))))

case tag 6:

(let (*match* =a (field 0 funct))

(switch *match*

case tag 2:

(let (args =a (field 1 funct))

(before bytecomp/bytegen.ml(180):6411-6439

(makeblock 0 (int)

(after bytecomp/bytegen.ml(180):6421-6439

(apply

(field 0

(global Stdlib__list!))

args)))))

case tag 8:

(let (*match* =a (field 0 *match*))

(catch

(switch* *match*

case int 0: (exit 21)

case int 1:

(let

(size =a (field 1 *match*))

(before bytecomp/bytegen.ml(195):7118-7137

(makeblock 2 (int) size)))

case tag 0:

(before bytecomp/bytegen.ml(192):6966-6978

(raise

(after bytecomp/bytegen.ml(192):6966-6978

(makeblock 0

(global Assert_failure!)

[0:

"bytecomp/bytegen.ml"

192 6]))))

case tag 1: (exit 21)

case tag 2:

(let

(size =a (field 1 *match*))

(before bytecomp/bytegen.ml(194):7044-7064

(makeblock 0 (int)

(+ size 1)))))

with (21)

(let (size =a (field 1 *match*))

(before bytecomp/bytegen.ml(190):6891-6905

(makeblock 0 (int) size)))))

case tag 17:

(let (*match* =a (field 0 *match*))

(if *match*

(if (>= *match* 3)

(let (args =a (field 1 funct))

(before bytecomp/bytegen.ml(184):6596-6629

(makeblock 2 (int)

(after bytecomp/bytegen.ml(184):6611-6629

(apply

(field 0

(global Stdlib__list!))

args)))))

(let (args =a (field 1 funct))

(before bytecomp/bytegen.ml(182):6509-6537

(makeblock 0 (int)

(after bytecomp/bytegen.ml(182):6519-6537

(apply

(field 0

(global Stdlib__list!))

args))))))

(before bytecomp/bytegen.ml(188):6798-6808

0a)))

default: (exit 17)))

case tag 13:

(let (lam' =a (field 1 funct))

(before bytecomp/bytegen.ml(197):7214-7237

(after bytecomp/bytegen.ml(197):7214-7237

(apply size_of_lambda env lam'))))

case tag 18:

(let (lam =a (field 0 funct))

(before bytecomp/bytegen.ml(196):7161-7183

(after bytecomp/bytegen.ml(196):7161-7183

(apply size_of_lambda env lam))))

default: (exit 17))

with (17)

(before bytecomp/bytegen.ml(198):7247-7257

0a)))))

(let

(copy_event =

(function ev kind info repr

(funct-body bytecomp/bytegen.ml(202)<ghost>:7314-7640

(before bytecomp/bytegen.ml(203):7336-7640

(makemutable 0 (int,*,*,*,*,*,*,*,int,*)

0 (field 1 ev) (field 2 ev) kind info

(field 5 ev) (field 6 ev) (field 7 ev)

(field 8 ev) repr))))

merge_infos =

(function ev ev'

(funct-body bytecomp/bytegen.ml(214)<ghost>:7658-7822

(before bytecomp/bytegen.ml(215):7669-7822

(let

(*match* = (field 4 ev)

*match* = (field 4 ev')

*match* = *match*

*match* = *match*)

(catch

(catch

(if (isint *match*)

(if *match*

(let (info =a *match*)

(before bytecomp/bytegen.ml(216):7729-7733

info))

(exit 23))

(exit 23))

with (23)

(if (isint *match*)

(if *match*

(let (info =a *match*)

(before bytecomp/bytegen.ml(217):7759-7763

info))

(exit 22))

(exit 22)))

with (22)

(before bytecomp/bytegen.ml(218):7789-7822

(after bytecomp/bytegen.ml(218):7789-7822

(apply (field 0 (global Misc!))

"Bytegen.merge_infos"))))))))

merge_repr =

(function ev ev'

(funct-body bytecomp/bytegen.ml(220)<ghost>:7839-8122

(before bytecomp/bytegen.ml(221):7850-8122

(let

(*match* = (field 9 ev)

*match* = (field 9 ev')

*match* = *match*

*match* = *match*)

(catch

(catch

(switch* *match*

case int 0:

(let (x =a *match*)

(before bytecomp/bytegen.ml(222):7906-7907

x))

case tag 0:

(let (r =a (field 0 *match*))

(switch* *match*

case int 0: (exit 25)

case tag 0: (exit 24)

case tag 1:

(let

(r' =a (field 0 *match*))

(before bytecomp/bytegen.ml(224):7971-7988

(if

(&& (== r r')

(== (field 0 r) 1))

(before bytecomp/bytegen.ml(224):7992-8002

0a)

(exit 24))))))

case tag 1:

(let (r =a (field 0 *match*))

(switch* *match*

case int 0: (exit 25)

case tag 0:

(let

(r' =a (field 0 *match*))

(before bytecomp/bytegen.ml(225):8043-8050

(if (== r r')

(before bytecomp/bytegen.ml(225):8054-8068

(makeblock 0 r))

(exit 24))))

case tag 1: (exit 24))))

with (25)

(let (x =a *match*)

(before bytecomp/bytegen.ml(223):7929-7930

x)))

with (24)

(before bytecomp/bytegen.ml(226):8090-8122

(after bytecomp/bytegen.ml(226):8090-8122

(apply (field 0 (global Misc!))

"Bytegen.merge_repr"))))))))

merge_events =

(function ev ev'

(funct-body bytecomp/bytegen.ml(228)<ghost>:8141-8694

(before bytecomp/bytegen.ml(229):8152-8694

(catch

(let

(*match* = (field 3 ev)

*match* = (field 3 ev')

*match* = *match*

*match* = *match*)

(catch

(if (isint *match*)

(if *match*

(before bytecomp/bytegen.ml(232):8295-8302

(let (min =a ev maj =a ev')

(exit 29 min maj)))

(catch

(if (isint *match*)

(if *match* (exit 26)

(exit 27))

(exit 27))

with (27)

(before bytecomp/bytegen.ml(235):8482-8490

(let

(min =a ev maj =a ev')

(exit 29 min maj)))))

(catch

(if (isint *match*)

(if *match* (exit 26)

(exit 28))

(exit 28))

with (28)

(before bytecomp/bytegen.ml(237):8610-8617

(let (min =a ev' maj =a ev)

(exit 29 min maj)))))

with (26)

(before bytecomp/bytegen.ml(233):8358-8366

(let (min =a ev' maj =a ev)

(exit 29 min maj)))))

with (29 min maj)

(before bytecomp/bytegen.ml(239):8625-8694

(after bytecomp/bytegen.ml(239):8625-8694

(apply copy_event maj

(field 3 maj)

(after bytecomp/bytegen.ml(239):8652-8673

(apply merge_infos maj min))

(after bytecomp/bytegen.ml(239):8674-8694

(apply merge_repr maj min)))))))))

weaken_event =

(function ev cont

(funct-body bytecomp/bytegen.ml(241)<ghost>:8713-9450

(before bytecomp/bytegen.ml(242):8725-9450

(let (*match* = (field 3 ev))

(if (isint *match*)

(before bytecomp/bytegen.ml(264):9433-9450

(makeblock 0 (makeblock 35 ev)

cont))

(before bytecomp/bytegen.ml(244):8774-9417

(catch

(if cont

(let

(*match* =a (field 0 cont))

(if (isint *match*)

(if *match* (exit 39)

(let

(*match* =a

(field 1 cont))

(if *match*

(let

(*match* =a

(field 0

*match*))

(switch *match*

case tag 35:

(let

(ev' =a

(field 0

*match*)

*match* =a

(field 9

ev'))

(if

(isint

*match*)

(let

(c =a

(field 1

*match*))

(before bytecomp/bytegen.ml(246):8870-9366

(let

(*match* =

(field 4

ev))

(if

(isint

*match*)

(before bytecomp/bytegen.ml(258):9348-9352

cont)

(before bytecomp/bytegen.ml(249):8975-9258

(let

(repr =

(makemutable 0 (int)

1))

(before bytecomp/bytegen.ml(250):9009-9258

(let

(ev =

(after bytecomp/bytegen.ml(251):9034-9091

(apply

copy_event

ev 1a

(field 4

ev)

(makeblock 0

repr)))

ev' =

(after bytecomp/bytegen.ml(253):9132-9189

(apply

copy_event

ev'

(field 3

ev')

(field 4

ev')

(makeblock 1

repr))))

(before bytecomp/bytegen.ml(255):9221-9258

(makeblock 0

(makeblock 35

ev)

(makeblock 0

0a

(makeblock 0

(makeblock 35

ev') c))))))))))))

(exit 39)))

default:

(exit 39)))

(exit 39))))

(exit 39)))

(exit 39))

with (39)

(before bytecomp/bytegen.ml(261):9390-9407

(makeblock 0 (makeblock 35 ev)

cont)))))))))

add_event =

(function ev cont

(funct-body bytecomp/bytegen.ml(266)<ghost>:9466-9594

(catch

(if cont

(let (*match* =a (field 0 cont))

(switch *match*

case tag 35:

(let

(cont =a (field 1 cont)

ev' =a (field 0 *match*))

(before bytecomp/bytegen.ml(268):9508-9547

(after bytecomp/bytegen.ml(268):9508-9547

(apply weaken_event

(after bytecomp/bytegen.ml(268):9521-9542

(apply merge_events ev

ev'))

cont))))

default: (exit 41)))

(exit 41))

with (41)

(before bytecomp/bytegen.ml(269):9574-9594

(after bytecomp/bytegen.ml(269):9574-9594

(apply weaken_event ev cont))))))

try_blocks = (makemutable 0 0a)

sz_static_raises = (makemutable 0 0a)

push_static_raise =

(function i[int] lbl_handler[int] sz[int]

(funct-body bytecomp/bytegen.ml(279)<ghost>:9847-9944

(before bytecomp/bytegen.ml(280):9868-9944

(setfield_ptr 0 sz_static_raises

(makeblock 0

(makeblock 0 (int,*) i

(makeblock 0 (int,int,*)

lbl_handler sz

(field 0 try_blocks)))

(field 0 sz_static_raises))))))

find_raise_label =

(function i[int]

(funct-body bytecomp/bytegen.ml(282)<ghost>:9967-10123

(before bytecomp/bytegen.ml(283):9973-10123

(try

(after bytecomp/bytegen.ml(284):9981-10011

(apply

(field 38 (global Stdlib__list!))

i (field 0 sz_static_raises)))

with exn

(if

(== exn (field 7 (global Stdlib!)))

(before bytecomp/bytegen.ml(287):10042-10123

(after bytecomp/bytegen.ml(287):10042-10123

(apply (field 0 (global Misc!))

(after bytecomp/bytegen.ml(288):10067-10123

(apply

(field 27

(global Stdlib!))

"exit("

(after bytecomp/bytegen.ml(288):10076-10122

(apply

(field 27

(global Stdlib!))

(after bytecomp/bytegen.ml(288):10076-10091

(apply

(field 9

(global Stdlib__int!))

i))

") outside appropriated catch")))))))

(reraise exn))))))

code_as_jump =

(function l sz[int]

(funct-body bytecomp/bytegen.ml(291)<ghost>:10200-10382

(before bytecomp/bytegen.ml(291):10207-10382

(catch

(switch l

case tag 9:

(let (*match* =a (field 1 l))

(if *match* (exit 46)

(let (i =a (field 0 l))

(before bytecomp/bytegen.ml(293):10249-10370

(let

(*match* =

(after bytecomp/bytegen.ml(293):10269-10287

(apply

find_raise_label i))

tb =a (field 2 *match*)

size =a (field 1 *match*)

label =a

(field 0 *match*))