path: root/testsuite/tests/tool-ocaml/t310-alloc-2.ml

open Lib;;
let v = Array.make 200000 2 in
let t = ref 0 in
Array.iter (fun x -> t := !t + x) v;
if !t <> 400000 then raise Not_found
;;

(**
       0 CONSTINT 42
       2 PUSHACC0 
       3 MAKEBLOCK1 0
       5 POP 1
       7 SETGLOBAL Lib
       9 BRANCH 746
      11 RESTART 
      12 GRAB 1
      14 ACC0 
      15 BRANCHIFNOT 28
      17 ACC1 
      18 PUSHACC1 
      19 GETFIELD1 
      20 PUSHOFFSETCLOSURE0 
      21 APPLY2 
      22 PUSHACC1 
      23 GETFIELD0 
      24 MAKEBLOCK2 0
      26 RETURN 2
      28 ACC1 
      29 RETURN 2
      31 RESTART 
      32 GRAB 3
      34 CONST0 
      35 PUSHACC4 
      36 LEINT 
      37 BRANCHIFNOT 42
      39 CONST0 
      40 RETURN 4
      42 ACC3 
      43 PUSHACC3 
      44 PUSHACC3 
      45 PUSHACC3 
      46 C_CALL4 caml_input
      48 PUSHCONST0 
      49 PUSHACC1 
      50 EQ 
      51 BRANCHIFNOT 58
      53 GETGLOBAL End_of_file
      55 MAKEBLOCK1 0
      57 RAISE 
      58 ACC0 
      59 PUSHACC5 
      60 SUBINT 
      61 PUSHACC1 
      62 PUSHACC5 
      63 ADDINT 
      64 PUSHACC4 
      65 PUSHACC4 
      66 PUSHOFFSETCLOSURE0 
      67 APPTERM 4, 9
      70 ACC0 
      71 C_CALL1 caml_input_scan_line
      73 PUSHCONST0 
      74 PUSHACC1 
      75 EQ 
      76 BRANCHIFNOT 83
      78 GETGLOBAL End_of_file
      80 MAKEBLOCK1 0
      82 RAISE 
      83 CONST0 
      84 PUSHACC1 
      85 GTINT 
      86 BRANCHIFNOT 107
      88 ACC0 
      89 OFFSETINT -1
      91 C_CALL1 create_string
      93 PUSHACC1 
      94 OFFSETINT -1
      96 PUSHCONST0 
      97 PUSHACC2 
      98 PUSHACC5 
      99 C_CALL4 caml_input
     101 ACC2 
     102 C_CALL1 caml_input_char
     104 ACC0 
     105 RETURN 3
     107 ACC0 
     108 NEGINT 
     109 C_CALL1 create_string
     111 PUSHACC1 
     112 NEGINT 
     113 PUSHCONST0 
     114 PUSHACC2 
     115 PUSHACC5 
     116 C_CALL4 caml_input
     118 CONST0 
     119 PUSHTRAP 130
     121 ACC6 
     122 PUSHOFFSETCLOSURE0 
     123 APPLY1 
     124 PUSHACC5 
     125 PUSHENVACC1 
     126 APPLY2 
     127 POPTRAP 
     128 RETURN 3
     130 PUSHGETGLOBAL End_of_file
     132 PUSHACC1 
     133 GETFIELD0 
     134 EQ 
     135 BRANCHIFNOT 140
     137 ACC1 
     138 RETURN 4
     140 ACC0 
     141 RAISE 
     142 ACC0 
     143 C_CALL1 caml_flush
     145 RETURN 1
     147 RESTART 
     148 GRAB 1
     150 ACC1 
     151 PUSHACC1 
     152 C_CALL2 caml_output_char
     154 RETURN 2
     156 RESTART 
     157 GRAB 1
     159 ACC1 
     160 PUSHACC1 
     161 C_CALL2 caml_output_char
     163 RETURN 2
     165 RESTART 
     166 GRAB 1
     168 ACC1 
     169 PUSHACC1 
     170 C_CALL2 caml_output_int
     172 RETURN 2
     174 RESTART 
     175 GRAB 1
     177 ACC1 
     178 PUSHACC1 
     179 C_CALL2 caml_seek_out
     181 RETURN 2
     183 ACC0 
     184 C_CALL1 caml_pos_out
     186 RETURN 1
     188 ACC0 
     189 C_CALL1 caml_channel_size
     191 RETURN 1
     193 RESTART 
     194 GRAB 1
     196 ACC1 
     197 PUSHACC1 
     198 C_CALL2 caml_set_binary_mode
     200 RETURN 2
     202 ACC0 
     203 C_CALL1 caml_input_char
     205 RETURN 1
     207 ACC0 
     208 C_CALL1 caml_input_char
     210 RETURN 1
     212 ACC0 
     213 C_CALL1 caml_input_int
     215 RETURN 1
     217 ACC0 
     218 C_CALL1 input_value
     220 RETURN 1
     222 RESTART 
     223 GRAB 1
     225 ACC1 
     226 PUSHACC1 
     227 C_CALL2 caml_seek_in
     229 RETURN 2
     231 ACC0 
     232 C_CALL1 caml_pos_in
     234 RETURN 1
     236 ACC0 
     237 C_CALL1 caml_channel_size
     239 RETURN 1
     241 ACC0 
     242 C_CALL1 caml_close_channel
     244 RETURN 1
     246 RESTART 
     247 GRAB 1
     249 ACC1 
     250 PUSHACC1 
     251 C_CALL2 caml_set_binary_mode
     253 RETURN 2
     255 CONST0 
     256 PUSHENVACC1 
     257 APPLY1 
     258 ACC0 
     259 C_CALL1 sys_exit
     261 RETURN 1
     263 CONST0 
     264 PUSHENVACC1 
     265 GETFIELD0 
     266 APPTERM1 2
     268 CONST0 
     269 PUSHENVACC1 
     270 APPLY1 
     271 CONST0 
     272 PUSHENVACC2 
     273 APPTERM1 2
     275 ENVACC1 
     276 GETFIELD0 
     277 PUSHACC0 
     278 PUSHACC2 
     279 CLOSURE 2, 268
     282 PUSHENVACC1 
     283 SETFIELD0 
     284 RETURN 2
     286 ENVACC1 
     287 C_CALL1 caml_flush
     289 ENVACC2 
     290 C_CALL1 caml_flush
     292 RETURN 1
     294 CONST0 
     295 PUSHENVACC1 
     296 APPLY1 
     297 C_CALL1 float_of_string
     299 RETURN 1
     301 CONST0 
     302 PUSHENVACC1 
     303 APPLY1 
     304 C_CALL1 int_of_string
     306 RETURN 1
     308 ENVACC2 
     309 C_CALL1 caml_flush
     311 ENVACC1 
     312 PUSHENVACC3 
     313 APPTERM1 2
     315 CONSTINT 13
     317 PUSHENVACC1 
     318 C_CALL2 caml_output_char
     320 ENVACC1 
     321 C_CALL1 caml_flush
     323 RETURN 1
     325 ACC0 
     326 PUSHENVACC1 
     327 PUSHENVACC2 
     328 APPLY2 
     329 CONSTINT 13
     331 PUSHENVACC1 
     332 C_CALL2 caml_output_char
     334 ENVACC1 
     335 C_CALL1 caml_flush
     337 RETURN 1
     339 ACC0 
     340 PUSHENVACC1 
     341 APPLY1 
     342 PUSHENVACC2 
     343 PUSHENVACC3 
     344 APPTERM2 3
     346 ACC0 
     347 PUSHENVACC1 
     348 APPLY1 
     349 PUSHENVACC2 
     350 PUSHENVACC3 
     351 APPTERM2 3
     353 ACC0 
     354 PUSHENVACC1 
     355 PUSHENVACC2 
     356 APPTERM2 3
     358 ACC0 
     359 PUSHENVACC1 
     360 C_CALL2 caml_output_char
     362 RETURN 1
     364 CONSTINT 13
     366 PUSHENVACC1 
     367 C_CALL2 caml_output_char
     369 ENVACC1 
     370 C_CALL1 caml_flush
     372 RETURN 1
     374 ACC0 
     375 PUSHENVACC1 
     376 PUSHENVACC2 
     377 APPLY2 
     378 CONSTINT 13
     380 PUSHENVACC1 
     381 C_CALL2 caml_output_char
     383 RETURN 1
     385 ACC0 
     386 PUSHENVACC1 
     387 APPLY1 
     388 PUSHENVACC2 
     389 PUSHENVACC3 
     390 APPTERM2 3
     392 ACC0 
     393 PUSHENVACC1 
     394 APPLY1 
     395 PUSHENVACC2 
     396 PUSHENVACC3 
     397 APPTERM2 3
     399 ACC0 
     400 PUSHENVACC1 
     401 PUSHENVACC2 
     402 APPTERM2 3
     404 ACC0 
     405 PUSHENVACC1 
     406 C_CALL2 caml_output_char
     408 RETURN 1
     410 RESTART 
     411 GRAB 3
     413 CONST0 
     414 PUSHACC3 
     415 LTINT 
     416 BRANCHIF 427
     418 ACC1 
     419 C_CALL1 ml_string_length
     421 PUSHACC4 
     422 PUSHACC4 
     423 ADDINT 
     424 GTINT 
     425 BRANCHIFNOT 432
     427 GETGLOBAL "really_input"
     429 PUSHENVACC1 
     430 APPTERM1 5
     432 ACC3 
     433 PUSHACC3 
     434 PUSHACC3 
     435 PUSHACC3 
     436 PUSHENVACC2 
     437 APPTERM 4, 8
     440 RESTART 
     441 GRAB 3
     443 CONST0 
     444 PUSHACC3 
     445 LTINT 
     446 BRANCHIF 457
     448 ACC1 
     449 C_CALL1 ml_string_length
     451 PUSHACC4 
     452 PUSHACC4 
     453 ADDINT 
     454 GTINT 
     455 BRANCHIFNOT 462
     457 GETGLOBAL "input"
     459 PUSHENVACC1 
     460 APPTERM1 5
     462 ACC3 
     463 PUSHACC3 
     464 PUSHACC3 
     465 PUSHACC3 
     466 C_CALL4 caml_input
     468 RETURN 4
     470 ACC0 
     471 PUSHCONST0 
     472 PUSHGETGLOBAL <0>(0, <0>(6, 0))
     474 PUSHENVACC1 
     475 APPTERM3 4
     477 ACC0 
     478 PUSHCONST0 
     479 PUSHGETGLOBAL <0>(0, <0>(7, 0))
     481 PUSHENVACC1 
     482 APPTERM3 4
     484 RESTART 
     485 GRAB 2
     487 ACC1 
     488 PUSHACC1 
     489 PUSHACC4 
     490 C_CALL3 sys_open
     492 C_CALL1 caml_open_descriptor
     494 RETURN 3
     496 ACC0 
     497 C_CALL1 caml_flush
     499 ACC0 
     500 C_CALL1 caml_close_channel
     502 RETURN 1
     504 RESTART 
     505 GRAB 1
     507 CONST0 
     508 PUSHACC2 
     509 PUSHACC2 
     510 C_CALL3 output_value
     512 RETURN 2
     514 RESTART 
     515 GRAB 3
     517 CONST0 
     518 PUSHACC3 
     519 LTINT 
     520 BRANCHIF 531
     522 ACC1 
     523 C_CALL1 ml_string_length
     525 PUSHACC4 
     526 PUSHACC4 
     527 ADDINT 
     528 GTINT 
     529 BRANCHIFNOT 536
     531 GETGLOBAL "output"
     533 PUSHENVACC1 
     534 APPTERM1 5
     536 ACC3 
     537 PUSHACC3 
     538 PUSHACC3 
     539 PUSHACC3 
     540 C_CALL4 caml_output
     542 RETURN 4
     544 RESTART 
     545 GRAB 1
     547 ACC1 
     548 C_CALL1 ml_string_length
     550 PUSHCONST0 
     551 PUSHACC3 
     552 PUSHACC3 
     553 C_CALL4 caml_output
     555 RETURN 2
     557 ACC0 
     558 PUSHCONSTINT 438
     560 PUSHGETGLOBAL <0>(1, <0>(3, <0>(4, <0>(6, 0))))
     562 PUSHENVACC1 
     563 APPTERM3 4
     565 ACC0 
     566 PUSHCONSTINT 438
     568 PUSHGETGLOBAL <0>(1, <0>(3, <0>(4, <0>(7, 0))))
     570 PUSHENVACC1 
     571 APPTERM3 4
     573 RESTART 
     574 GRAB 2
     576 ACC1 
     577 PUSHACC1 
     578 PUSHACC4 
     579 C_CALL3 sys_open
     581 C_CALL1 caml_open_descriptor
     583 RETURN 3
     585 ACC0 
     586 PUSHGETGLOBAL "%.12g"
     588 C_CALL2 format_float
     590 RETURN 1
     592 ACC0 
     593 PUSHGETGLOBAL "%d"
     595 C_CALL2 format_int
     597 RETURN 1
     599 GETGLOBAL "false"
     601 PUSHACC1 
     602 C_CALL2 string_equal
     604 BRANCHIFNOT 609
     606 CONST0 
     607 RETURN 1
     609 GETGLOBAL "true"
     611 PUSHACC1 
     612 C_CALL2 string_equal
     614 BRANCHIFNOT 619
     616 CONST1 
     617 RETURN 1
     619 GETGLOBAL "bool_of_string"
     621 PUSHENVACC1 
     622 APPTERM1 2
     624 ACC0 
     625 BRANCHIFNOT 631
     627 GETGLOBAL "true"
     629 RETURN 1
     631 GETGLOBAL "false"
     633 RETURN 1
     635 CONST0 
     636 PUSHACC1 
     637 LTINT 
     638 BRANCHIF 646
     640 CONSTINT 255
     642 PUSHACC1 
     643 GTINT 
     644 BRANCHIFNOT 651
     646 GETGLOBAL "char_of_int"
     648 PUSHENVACC1 
     649 APPTERM1 2
     651 ACC0 
     652 RETURN 1
     654 RESTART 
     655 GRAB 1
     657 ACC0 
     658 C_CALL1 ml_string_length
     660 PUSHACC2 
     661 C_CALL1 ml_string_length
     663 PUSHACC0 
     664 PUSHACC2 
     665 ADDINT 
     666 C_CALL1 create_string
     668 PUSHACC2 
     669 PUSHCONST0 
     670 PUSHACC2 
     671 PUSHCONST0 
     672 PUSHACC7 
     673 C_CALL5 blit_string
     675 ACC1 
     676 PUSHACC3 
     677 PUSHACC2 
     678 PUSHCONST0 
     679 PUSHACC 8
     681 C_CALL5 blit_string
     683 ACC0 
     684 RETURN 5
     686 CONSTINT -1
     688 PUSHACC1 
     689 XORINT 
     690 RETURN 1
     692 CONST0 
     693 PUSHACC1 
     694 GEINT 
     695 BRANCHIFNOT 700
     697 ACC0 
     698 RETURN 1
     700 ACC0 
     701 NEGINT 
     702 RETURN 1
     704 RESTART 
     705 GRAB 1
     707 ACC1 
     708 PUSHACC1 
     709 C_CALL2 greaterequal
     711 BRANCHIFNOT 716
     713 ACC0 
     714 RETURN 2
     716 ACC1 
     717 RETURN 2
     719 RESTART 
     720 GRAB 1
     722 ACC1 
     723 PUSHACC1 
     724 C_CALL2 lessequal
     726 BRANCHIFNOT 731
     728 ACC0 
     729 RETURN 2
     731 ACC1 
     732 RETURN 2
     734 ACC0 
     735 PUSHGETGLOBAL Invalid_argument
     737 MAKEBLOCK2 0
     739 RAISE 
     740 ACC0 
     741 PUSHGETGLOBAL Failure
     743 MAKEBLOCK2 0
     745 RAISE 
     746 CLOSURE 0, 740
     749 PUSH 
     750 CLOSURE 0, 734
     753 PUSHGETGLOBAL "Pervasives.Exit"
     755 MAKEBLOCK1 0
     757 PUSHGETGLOBAL "Pervasives.Assert_failure"
     759 MAKEBLOCK1 0
     761 PUSH 
     762 CLOSURE 0, 720
     765 PUSH 
     766 CLOSURE 0, 705
     769 PUSH 
     770 CLOSURE 0, 692
     773 PUSH 
     774 CLOSURE 0, 686
     777 PUSHCONST0 
     778 PUSHCONSTINT 31
     780 PUSHCONST1 
     781 LSLINT 
     782 EQ 
     783 BRANCHIFNOT 789
     785 CONSTINT 30
     787 BRANCH 791
     789 CONSTINT 62
     791 PUSHCONST1 
     792 LSLINT 
     793 PUSHACC0 
     794 OFFSETINT -1
     796 PUSH 
     797 CLOSURE 0, 655
     800 PUSHACC 9
     802 CLOSURE 1, 635
     805 PUSH 
     806 CLOSURE 0, 624
     809 PUSHACC 11
     811 CLOSURE 1, 599
     814 PUSH 
     815 CLOSURE 0, 592
     818 PUSH 
     819 CLOSURE 0, 585
     822 PUSH 
     823 CLOSUREREC 0, 12
     827 CONST0 
     828 C_CALL1 caml_open_descriptor
     830 PUSHCONST1 
     831 C_CALL1 caml_open_descriptor
     833 PUSHCONST2 
     834 C_CALL1 caml_open_descriptor
     836 PUSH 
     837 CLOSURE 0, 574
     840 PUSHACC0 
     841 CLOSURE 1, 565
     844 PUSHACC1 
     845 CLOSURE 1, 557
     848 PUSH 
     849 CLOSURE 0, 545
     852 PUSHACC 22
     854 CLOSURE 1, 515
     857 PUSH 
     858 CLOSURE 0, 505
     861 PUSH 
     862 CLOSURE 0, 496
     865 PUSH 
     866 CLOSURE 0, 485
     869 PUSHACC0 
     870 CLOSURE 1, 477
     873 PUSHACC1 
     874 CLOSURE 1, 470
     877 PUSHACC 28
     879 CLOSURE 1, 441
     882 PUSH 
     883 CLOSUREREC 0, 32
     887 ACC0 
     888 PUSHACC 31
     890 CLOSURE 2, 411
     893 PUSHACC 22
     895 CLOSUREREC 1, 70
     899 ACC 15
     901 CLOSURE 1, 404
     904 PUSHACC 11
     906 PUSHACC 17
     908 CLOSURE 2, 399
     911 PUSHACC 12
     913 PUSHACC 18
     915 PUSHACC 23
     917 CLOSURE 3, 392
     920 PUSHACC 13
     922 PUSHACC 19
     924 PUSHACC 23
     926 CLOSURE 3, 385
     929 PUSHACC 14
     931 PUSHACC 20
     933 CLOSURE 2, 374
     936 PUSHACC 20
     938 CLOSURE 1, 364
     941 PUSHACC 20
     943 CLOSURE 1, 358
     946 PUSHACC 17
     948 PUSHACC 22
     950 CLOSURE 2, 353
     953 PUSHACC 18
     955 PUSHACC 23
     957 PUSHACC 29
     959 CLOSURE 3, 346
     962 PUSHACC 19
     964 PUSHACC 24
     966 PUSHACC 29
     968 CLOSURE 3, 339
     971 PUSHACC 20
     973 PUSHACC 25
     975 CLOSURE 2, 325
     978 PUSHACC 25
     980 CLOSURE 1, 315
     983 PUSHACC 12
     985 PUSHACC 28
     987 PUSHACC 30
     989 CLOSURE 3, 308
     992 PUSHACC0 
     993 CLOSURE 1, 301
     996 PUSHACC1 
     997 CLOSURE 1, 294
    1000 PUSHACC 29
    1002 PUSHACC 31
    1004 CLOSURE 2, 286
    1007 MAKEBLOCK1 0
    1009 PUSHACC0 
    1010 CLOSURE 1, 275
    1013 PUSHACC1 
    1014 CLOSURE 1, 263
    1017 PUSHACC0 
    1018 CLOSURE 1, 255
    1021 PUSHACC1 
    1022 PUSHACC 22
    1024 PUSHACC4 
    1025 PUSHACC3 
    1026 PUSH 
    1027 CLOSURE 0, 247
    1030 PUSH 
    1031 CLOSURE 0, 241
    1034 PUSH 
    1035 CLOSURE 0, 236
    1038 PUSH 
    1039 CLOSURE 0, 231
    1042 PUSH 
    1043 CLOSURE 0, 223
    1046 PUSH 
    1047 CLOSURE 0, 217
    1050 PUSH 
    1051 CLOSURE 0, 212
    1054 PUSH 
    1055 CLOSURE 0, 207
    1058 PUSHACC 32
    1060 PUSHACC 35
    1062 PUSHACC 33
    1064 PUSH 
    1065 CLOSURE 0, 202
    1068 PUSHACC 41
    1070 PUSHACC 40
    1072 PUSHACC 42
    1074 PUSH 
    1075 CLOSURE 0, 194
    1078 PUSHACC 46
    1080 PUSH 
    1081 CLOSURE 0, 188
    1084 PUSH 
    1085 CLOSURE 0, 183
    1088 PUSH 
    1089 CLOSURE 0, 175
    1092 PUSHACC 51
    1094 PUSH 
    1095 CLOSURE 0, 166
    1098 PUSH 
    1099 CLOSURE 0, 157
    1102 PUSHACC 55
    1104 PUSHACC 57
    1106 PUSH 
    1107 CLOSURE 0, 148
    1110 PUSH 
    1111 CLOSURE 0, 142
    1114 PUSHACC 63
    1116 PUSHACC 62
    1118 PUSHACC 64
    1120 PUSHACC 38
    1122 PUSHACC 40
    1124 PUSHACC 42
    1126 PUSHACC 44
    1128 PUSHACC 46
    1130 PUSHACC 48
    1132 PUSHACC 50
    1134 PUSHACC 52
    1136 PUSHACC 54
    1138 PUSHACC 56
    1140 PUSHACC 58
    1142 PUSHACC 60
    1144 PUSHACC 62
    1146 PUSHACC 64
    1148 PUSHACC 66
    1150 PUSHACC 82
    1152 PUSHACC 84
    1154 PUSHACC 86
    1156 PUSHACC 88
    1158 PUSHACC 90
    1160 PUSHACC 92
    1162 PUSHACC 94
    1164 PUSHACC 96
    1166 PUSHACC 98
    1168 PUSHACC 100
    1170 PUSHACC 104
    1172 PUSHACC 104
    1174 PUSHACC 104
    1176 PUSHACC 108
    1178 PUSHACC 110
    1180 PUSHACC 112
    1182 PUSHACC 117
    1184 PUSHACC 117
    1186 PUSHACC 117
    1188 PUSHACC 117
    1190 MAKEBLOCK 69, 0
    1193 POP 53
    1195 SETGLOBAL Pervasives
    1197 BRANCH 2177
    1199 RESTART 
    1200 GRAB 1
    1202 ACC1 
    1203 BRANCHIFNOT 1213
    1205 ACC1 
    1206 GETFIELD1 
    1207 PUSHACC1 
    1208 OFFSETINT 1
    1210 PUSHOFFSETCLOSURE0 
    1211 APPTERM2 4
    1213 ACC0 
    1214 RETURN 2
    1216 RESTART 
    1217 GRAB 1
    1219 ACC0 
    1220 BRANCHIFNOT 1251
    1222 CONST0 
    1223 PUSHACC2 
    1224 EQ 
    1225 BRANCHIFNOT 1231
    1227 ACC0 
    1228 GETFIELD0 
    1229 RETURN 2
    1231 CONST0 
    1232 PUSHACC2 
    1233 GTINT 
    1234 BRANCHIFNOT 1244
    1236 ACC1 
    1237 OFFSETINT -1
    1239 PUSHACC1 
    1240 GETFIELD1 
    1241 PUSHOFFSETCLOSURE0 
    1242 APPTERM2 4
    1244 GETGLOBAL "List.nth"
    1246 PUSHGETGLOBALFIELD Pervasives, 2
    1249 APPTERM1 3
    1251 GETGLOBAL "nth"
    1253 PUSHGETGLOBALFIELD Pervasives, 3
    1256 APPTERM1 3
    1258 RESTART 
    1259 GRAB 1
    1261 ACC0 
    1262 BRANCHIFNOT 1274
    1264 ACC1 
    1265 PUSHACC1 
    1266 GETFIELD0 
    1267 MAKEBLOCK2 0
    1269 PUSHACC1 
    1270 GETFIELD1 
    1271 PUSHOFFSETCLOSURE0 
    1272 APPTERM2 4
    1274 ACC1 
    1275 RETURN 2
    1277 ACC0 
    1278 BRANCHIFNOT 1291
    1280 ACC0 
    1281 GETFIELD1 
    1282 PUSHOFFSETCLOSURE0 
    1283 APPLY1 
    1284 PUSHACC1 
    1285 GETFIELD0 
    1286 PUSHGETGLOBALFIELD Pervasives, 16
    1289 APPTERM2 3
    1291 RETURN 1
    1293 RESTART 
    1294 GRAB 1
    1296 ACC1 
    1297 BRANCHIFNOT 1313
    1299 ACC1 
    1300 GETFIELD0 
    1301 PUSHACC1 
    1302 APPLY1 
    1303 PUSHACC2 
    1304 GETFIELD1 
    1305 PUSHACC2 
    1306 PUSHOFFSETCLOSURE0 
    1307 APPLY2 
    1308 PUSHACC1 
    1309 MAKEBLOCK2 0
    1311 POP 1
    1313 RETURN 2
    1315 RESTART 
    1316 GRAB 1
    1318 ACC1 
    1319 BRANCHIFNOT 1331
    1321 ACC1 
    1322 GETFIELD0 
    1323 PUSHACC1 
    1324 APPLY1 
    1325 ACC1 
    1326 GETFIELD1 
    1327 PUSHACC1 
    1328 PUSHOFFSETCLOSURE0 
    1329 APPTERM2 4
    1331 RETURN 2
    1333 RESTART 
    1334 GRAB 2
    1336 ACC2 
    1337 BRANCHIFNOT 1350
    1339 ACC2 
    1340 GETFIELD1 
    1341 PUSHACC3 
    1342 GETFIELD0 
    1343 PUSHACC3 
    1344 PUSHACC3 
    1345 APPLY2 
    1346 PUSHACC2 
    1347 PUSHOFFSETCLOSURE0 
    1348 APPTERM3 6
    1350 ACC1 
    1351 RETURN 3
    1353 RESTART 
    1354 GRAB 2
    1356 ACC1 
    1357 BRANCHIFNOT 1370
    1359 ACC2 
    1360 PUSHACC2 
    1361 GETFIELD1 
    1362 PUSHACC2 
    1363 PUSHOFFSETCLOSURE0 
    1364 APPLY3 
    1365 PUSHACC2 
    1366 GETFIELD0 
    1367 PUSHACC2 
    1368 APPTERM2 5
    1370 ACC2 
    1371 RETURN 3
    1373 RESTART 
    1374 GRAB 2
    1376 ACC1 
    1377 BRANCHIFNOT 1400
    1379 ACC2 
    1380 BRANCHIFNOT 1407
    1382 ACC2 
    1383 GETFIELD0 
    1384 PUSHACC2 
    1385 GETFIELD0 
    1386 PUSHACC2 
    1387 APPLY2 
    1388 PUSHACC3 
    1389 GETFIELD1 
    1390 PUSHACC3 
    1391 GETFIELD1 
    1392 PUSHACC3 
    1393 PUSHOFFSETCLOSURE0 
    1394 APPLY3 
    1395 PUSHACC1 
    1396 MAKEBLOCK2 0
    1398 RETURN 4
    1400 ACC2 
    1401 BRANCHIFNOT 1405
    1403 BRANCH 1407
    1405 RETURN 3
    1407 GETGLOBAL "List.map2"
    1409 PUSHGETGLOBALFIELD Pervasives, 2
    1412 APPTERM1 4
    1414 RESTART 
    1415 GRAB 2
    1417 ACC1 
    1418 BRANCHIFNOT 1437
    1420 ACC2 
    1421 BRANCHIFNOT 1444
    1423 ACC2 
    1424 GETFIELD0 
    1425 PUSHACC2 
    1426 GETFIELD0 
    1427 PUSHACC2 
    1428 APPLY2 
    1429 ACC2 
    1430 GETFIELD1 
    1431 PUSHACC2 
    1432 GETFIELD1 
    1433 PUSHACC2 
    1434 PUSHOFFSETCLOSURE0 
    1435 APPTERM3 6
    1437 ACC2 
    1438 BRANCHIFNOT 1442
    1440 BRANCH 1444
    1442 RETURN 3
    1444 GETGLOBAL "List.iter2"
    1446 PUSHGETGLOBALFIELD Pervasives, 2
    1449 APPTERM1 4
    1451 RESTART 
    1452 GRAB 3
    1454 ACC2 
    1455 BRANCHIFNOT 1476
    1457 ACC3 
    1458 BRANCHIFNOT 1482
    1460 ACC3 
    1461 GETFIELD1 
    1462 PUSHACC3 
    1463 GETFIELD1 
    1464 PUSHACC5 
    1465 GETFIELD0 
    1466 PUSHACC5 
    1467 GETFIELD0 
    1468 PUSHACC5 
    1469 PUSHACC5 
    1470 APPLY3 
    1471 PUSHACC3 
    1472 PUSHOFFSETCLOSURE0 
    1473 APPTERM 4, 8
    1476 ACC3 
    1477 BRANCHIF 1482
    1479 ACC1 
    1480 RETURN 4
    1482 GETGLOBAL "List.fold_left2"
    1484 PUSHGETGLOBALFIELD Pervasives, 2
    1487 APPTERM1 5
    1489 RESTART 
    1490 GRAB 3
    1492 ACC1 
    1493 BRANCHIFNOT 1516
    1495 ACC2 
    1496 BRANCHIFNOT 1522
    1498 PUSH_RETADDR 1509
    1500 ACC6 
    1501 PUSHACC6 
    1502 GETFIELD1 
    1503 PUSHACC6 
    1504 GETFIELD1 
    1505 PUSHACC6 
    1506 PUSHOFFSETCLOSURE0 
    1507 APPLY 4
    1509 PUSHACC3 
    1510 GETFIELD0 
    1511 PUSHACC3 
    1512 GETFIELD0 
    1513 PUSHACC3 
    1514 APPTERM3 7
    1516 ACC2 
    1517 BRANCHIF 1522
    1519 ACC3 
    1520 RETURN 4
    1522 GETGLOBAL "List.fold_right2"
    1524 PUSHGETGLOBALFIELD Pervasives, 2
    1527 APPTERM1 5
    1529 RESTART 
    1530 GRAB 1
    1532 ACC1 
    1533 BRANCHIFNOT 1549
    1535 ACC1 
    1536 GETFIELD0 
    1537 PUSHACC1 
    1538 APPLY1 
    1539 BRANCHIFNOT 1547
    1541 ACC1 
    1542 GETFIELD1 
    1543 PUSHACC1 
    1544 PUSHOFFSETCLOSURE0 
    1545 APPTERM2 4
    1547 RETURN 2
    1549 CONST1 
    1550 RETURN 2
    1552 RESTART 
    1553 GRAB 1
    1555 ACC1 
    1556 BRANCHIFNOT 1570
    1558 ACC1 
    1559 GETFIELD0 
    1560 PUSHACC1 
    1561 APPLY1 
    1562 BRANCHIF 1570
    1564 ACC1 
    1565 GETFIELD1 
    1566 PUSHACC1 
    1567 PUSHOFFSETCLOSURE0 
    1568 APPTERM2 4
    1570 RETURN 2
    1572 RESTART 
    1573 GRAB 2
    1575 ACC1 
    1576 BRANCHIFNOT 1599
    1578 ACC2 
    1579 BRANCHIFNOT 1605
    1581 ACC2 
    1582 GETFIELD0 
    1583 PUSHACC2 
    1584 GETFIELD0 
    1585 PUSHACC2 
    1586 APPLY2 
    1587 BRANCHIFNOT 1597
    1589 ACC2 
    1590 GETFIELD1 
    1591 PUSHACC2 
    1592 GETFIELD1 
    1593 PUSHACC2 
    1594 PUSHOFFSETCLOSURE0 
    1595 APPTERM3 6
    1597 RETURN 3
    1599 ACC2 
    1600 BRANCHIF 1605
    1602 CONST1 
    1603 RETURN 3
    1605 GETGLOBAL "List.for_all2"
    1607 PUSHGETGLOBALFIELD Pervasives, 2
    1610 APPTERM1 4
    1612 RESTART 
    1613 GRAB 2
    1615 ACC1 
    1616 BRANCHIFNOT 1639
    1618 ACC2 
    1619 BRANCHIFNOT 1646
    1621 ACC2 
    1622 GETFIELD0 
    1623 PUSHACC2 
    1624 GETFIELD0 
    1625 PUSHACC2 
    1626 APPLY2 
    1627 BRANCHIF 1637
    1629 ACC2 
    1630 GETFIELD1 
    1631 PUSHACC2 
    1632 GETFIELD1 
    1633 PUSHACC2 
    1634 PUSHOFFSETCLOSURE0 
    1635 APPTERM3 6
    1637 RETURN 3
    1639 ACC2 
    1640 BRANCHIFNOT 1644
    1642 BRANCH 1646
    1644 RETURN 3
    1646 GETGLOBAL "List.exists2"
    1648 PUSHGETGLOBALFIELD Pervasives, 2
    1651 APPTERM1 4
    1653 RESTART 
    1654 GRAB 1
    1656 ACC1 
    1657 BRANCHIFNOT 1672
    1659 ACC0 
    1660 PUSHACC2 
    1661 GETFIELD0 
    1662 C_CALL2 equal
    1664 BRANCHIF 1672
    1666 ACC1 
    1667 GETFIELD1 
    1668 PUSHACC1 
    1669 PUSHOFFSETCLOSURE0 
    1670 APPTERM2 4
    1672 RETURN 2
    1674 RESTART 
    1675 GRAB 1
    1677 ACC1 
    1678 BRANCHIFNOT 1692
    1680 ACC0 
    1681 PUSHACC2 
    1682 GETFIELD0 
    1683 EQ 
    1684 BRANCHIF 1692
    1686 ACC1 
    1687 GETFIELD1 
    1688 PUSHACC1 
    1689 PUSHOFFSETCLOSURE0 
    1690 APPTERM2 4
    1692 RETURN 2
    1694 RESTART 
    1695 GRAB 1
    1697 ACC1 
    1698 BRANCHIFNOT 1719
    1700 ACC1 
    1701 GETFIELD0 
    1702 PUSHACC1 
    1703 PUSHACC1 
    1704 GETFIELD0 
    1705 C_CALL2 equal
    1707 BRANCHIFNOT 1713
    1709 ACC0 
    1710 GETFIELD1 
    1711 RETURN 3
    1713 ACC2 
    1714 GETFIELD1 
    1715 PUSHACC2 
    1716 PUSHOFFSETCLOSURE0 
    1717 APPTERM2 5
    1719 GETGLOBAL Not_found
    1721 MAKEBLOCK1 0
    1723 RAISE 
    1724 RESTART 
    1725 GRAB 1
    1727 ACC1 
    1728 BRANCHIFNOT 1748
    1730 ACC1 
    1731 GETFIELD0 
    1732 PUSHACC1 
    1733 PUSHACC1 
    1734 GETFIELD0 
    1735 EQ 
    1736 BRANCHIFNOT 1742
    1738 ACC0 
    1739 GETFIELD1 
    1740 RETURN 3
    1742 ACC2 
    1743 GETFIELD1 
    1744 PUSHACC2 
    1745 PUSHOFFSETCLOSURE0 
    1746 APPTERM2 5
    1748 GETGLOBAL Not_found
    1750 MAKEBLOCK1 0
    1752 RAISE 
    1753 RESTART 
    1754 GRAB 1
    1756 ACC1 
    1757 BRANCHIFNOT 1773
    1759 ACC0 
    1760 PUSHACC2 
    1761 GETFIELD0 
    1762 GETFIELD0 
    1763 C_CALL2 equal
    1765 BRANCHIF 1773
    1767 ACC1 
    1768 GETFIELD1 
    1769 PUSHACC1 
    1770 PUSHOFFSETCLOSURE0 
    1771 APPTERM2 4
    1773 RETURN 2
    1775 RESTART 
    1776 GRAB 1
    1778 ACC1 
    1779 BRANCHIFNOT 1794
    1781 ACC0 
    1782 PUSHACC2 
    1783 GETFIELD0 
    1784 GETFIELD0 
    1785 EQ 
    1786 BRANCHIF 1794
    1788 ACC1 
    1789 GETFIELD1 
    1790 PUSHACC1 
    1791 PUSHOFFSETCLOSURE0 
    1792 APPTERM2 4
    1794 RETURN 2
    1796 RESTART 
    1797 GRAB 1
    1799 ACC1 
    1800 BRANCHIFNOT 1825
    1802 ACC1 
    1803 GETFIELD0 
    1804 PUSHACC2 
    1805 GETFIELD1 
    1806 PUSHACC2 
    1807 PUSHACC2 
    1808 GETFIELD0 
    1809 C_CALL2 equal
    1811 BRANCHIFNOT 1816
    1813 ACC0 
    1814 RETURN 4
    1816 ACC0 
    1817 PUSHACC3 
    1818 PUSHOFFSETCLOSURE0 
    1819 APPLY2 
    1820 PUSHACC2 
    1821 MAKEBLOCK2 0
    1823 POP 2
    1825 RETURN 2
    1827 RESTART 
    1828 GRAB 1
    1830 ACC1 
    1831 BRANCHIFNOT 1855
    1833 ACC1 
    1834 GETFIELD0 
    1835 PUSHACC2 
    1836 GETFIELD1 
    1837 PUSHACC2 
    1838 PUSHACC2 
    1839 GETFIELD0 
    1840 EQ 
    1841 BRANCHIFNOT 1846
    1843 ACC0 
    1844 RETURN 4
    1846 ACC0 
    1847 PUSHACC3 
    1848 PUSHOFFSETCLOSURE0 
    1849 APPLY2 
    1850 PUSHACC2 
    1851 MAKEBLOCK2 0
    1853 POP 2
    1855 RETURN 2
    1857 RESTART 
    1858 GRAB 1
    1860 ACC1 
    1861 BRANCHIFNOT 1879
    1863 ACC1 
    1864 GETFIELD0 
    1865 PUSHACC0 
    1866 PUSHACC2 
    1867 APPLY1 
    1868 BRANCHIFNOT 1873
    1870 ACC0 
    1871 RETURN 3
    1873 ACC2 
    1874 GETFIELD1 
    1875 PUSHACC2 
    1876 PUSHOFFSETCLOSURE0 
    1877 APPTERM2 5
    1879 GETGLOBAL Not_found
    1881 MAKEBLOCK1 0
    1883 RAISE 
    1884 RESTART 
    1885 GRAB 2
    1887 ACC2 
    1888 BRANCHIFNOT 1917
    1890 ACC2 
    1891 GETFIELD0 
    1892 PUSHACC3 
    1893 GETFIELD1 
    1894 PUSHACC1 
    1895 PUSHENVACC2 
    1896 APPLY1 
    1897 BRANCHIFNOT 1908
    1899 ACC0 
    1900 PUSHACC4 
    1901 PUSHACC4 
    1902 PUSHACC4 
    1903 MAKEBLOCK2 0
    1905 PUSHOFFSETCLOSURE0 
    1906 APPTERM3 8
    1908 ACC0 
    1909 PUSHACC4 
    1910 PUSHACC3 
    1911 MAKEBLOCK2 0
    1913 PUSHACC4 
    1914 PUSHOFFSETCLOSURE0 
    1915 APPTERM3 8
    1917 ACC1 
    1918 PUSHENVACC1 
    1919 APPLY1 
    1920 PUSHACC1 
    1921 PUSHENVACC1 
    1922 APPLY1 
    1923 MAKEBLOCK2 0
    1925 RETURN 3
    1927 RESTART 
    1928 GRAB 1
    1930 ACC0 
    1931 PUSHENVACC1 
    1932 CLOSUREREC 2, 1885
    1936 ACC2 
    1937 PUSHCONST0 
    1938 PUSHCONST0 
    1939 PUSHACC3 
    1940 APPTERM3 6
    1942 ACC0 
    1943 BRANCHIFNOT 1967
    1945 ACC0 
    1946 GETFIELD0 
    1947 PUSHACC1 
    1948 GETFIELD1 
    1949 PUSHOFFSETCLOSURE0 
    1950 APPLY1 
    1951 PUSHACC0 
    1952 GETFIELD1 
    1953 PUSHACC2 
    1954 GETFIELD1 
    1955 MAKEBLOCK2 0
    1957 PUSHACC1 
    1958 GETFIELD0 
    1959 PUSHACC3 
    1960 GETFIELD0 
    1961 MAKEBLOCK2 0
    1963 MAKEBLOCK2 0
    1965 RETURN 3
    1967 GETGLOBAL <0>(0, 0)
    1969 RETURN 1
    1971 RESTART 
    1972 GRAB 1
    1974 ACC0 
    1975 BRANCHIFNOT 1996
    1977 ACC1 
    1978 BRANCHIFNOT 2003
    1980 ACC1 
    1981 GETFIELD1 
    1982 PUSHACC1 
    1983 GETFIELD1 
    1984 PUSHOFFSETCLOSURE0 
    1985 APPLY2 
    1986 PUSHACC2 
    1987 GETFIELD0 
    1988 PUSHACC2 
    1989 GETFIELD0 
    1990 MAKEBLOCK2 0
    1992 MAKEBLOCK2 0
    1994 RETURN 2
    1996 ACC1 
    1997 BRANCHIFNOT 2001
    1999 BRANCH 2003
    2001 RETURN 2
    2003 GETGLOBAL "List.combine"
    2005 PUSHGETGLOBALFIELD Pervasives, 2
    2008 APPTERM1 3
    2010 RESTART 
    2011 GRAB 1
    2013 ACC1 
    2014 BRANCHIFNOT 2038
    2016 ACC1 
    2017 GETFIELD0 
    2018 PUSHACC2 
    2019 GETFIELD1 
    2020 PUSHACC1 
    2021 PUSHENVACC2 
    2022 APPLY1 
    2023 BRANCHIFNOT 2033
    2025 ACC0 
    2026 PUSHACC3 
    2027 PUSHACC3 
    2028 MAKEBLOCK2 0
    2030 PUSHOFFSETCLOSURE0 
    2031 APPTERM2 6
    2033 ACC0 
    2034 PUSHACC3 
    2035 PUSHOFFSETCLOSURE0 
    2036 APPTERM2 6
    2038 ACC0 
    2039 PUSHENVACC1 
    2040 APPTERM1 3
    2042 ACC0 
    2043 PUSHENVACC1 
    2044 CLOSUREREC 2, 2011
    2048 CONST0 
    2049 PUSHACC1 
    2050 APPTERM1 3
    2052 RESTART 
    2053 GRAB 2
    2055 ACC1 
    2056 BRANCHIFNOT 2077
    2058 ACC2 
    2059 BRANCHIFNOT 2084
    2061 ACC2 
    2062 GETFIELD1 
    2063 PUSHACC2 
    2064 GETFIELD1 
    2065 PUSHACC2 
    2066 PUSHACC5 
    2067 GETFIELD0 
    2068 PUSHACC5 
    2069 GETFIELD0 
    2070 PUSHENVACC1 
    2071 APPLY2 
    2072 MAKEBLOCK2 0
    2074 PUSHOFFSETCLOSURE0 
    2075 APPTERM3 6
    2077 ACC2 
    2078 BRANCHIFNOT 2082
    2080 BRANCH 2084
    2082 RETURN 3
    2084 GETGLOBAL "List.rev_map2"
    2086 PUSHGETGLOBALFIELD Pervasives, 2
    2089 APPTERM1 4
    2091 RESTART 
    2092 GRAB 2
    2094 ACC0 
    2095 CLOSUREREC 1, 2053
    2099 ACC3 
    2100 PUSHACC3 
    2101 PUSHCONST0 
    2102 PUSHACC3 
    2103 APPTERM3 7
    2105 RESTART 
    2106 GRAB 1
    2108 ACC1 
    2109 BRANCHIFNOT 2123
    2111 ACC1 
    2112 GETFIELD1 
    2113 PUSHACC1 
    2114 PUSHACC3 
    2115 GETFIELD0 
    2116 PUSHENVACC1 
    2117 APPLY1 
    2118 MAKEBLOCK2 0
    2120 PUSHOFFSETCLOSURE0 
    2121 APPTERM2 4
    2123 ACC0 
    2124 RETURN 2
    2126 RESTART 
    2127 GRAB 1
    2129 ACC0 
    2130 CLOSUREREC 1, 2106
    2134 ACC2 
    2135 PUSHCONST0 
    2136 PUSHACC2 
    2137 APPTERM2 5
    2139 CONST0 
    2140 PUSHACC1 
    2141 PUSHENVACC1 
    2142 APPTERM2 3
    2144 ACC0 
    2145 BRANCHIFNOT 2151
    2147 ACC0 
    2148 GETFIELD1 
    2149 RETURN 1
    2151 GETGLOBAL "tl"
    2153 PUSHGETGLOBALFIELD Pervasives, 3
    2156 APPTERM1 2
    2158 ACC0 
    2159 BRANCHIFNOT 2165
    2161 ACC0 
    2162 GETFIELD0 
    2163 RETURN 1
    2165 GETGLOBAL "hd"
    2167 PUSHGETGLOBALFIELD Pervasives, 3
    2170 APPTERM1 2
    2172 ACC0 
    2173 PUSHCONST0 
    2174 PUSHENVACC1 
    2175 APPTERM2 3
    2177 CLOSUREREC 0, 1200
    2181 ACC0 
    2182 CLOSURE 1, 2172
    2185 PUSH 
    2186 CLOSURE 0, 2158
    2189 PUSH 
    2190 CLOSURE 0, 2144
    2193 PUSH 
    2194 CLOSUREREC 0, 1217
    2198 GETGLOBALFIELD Pervasives, 16
    2201 PUSH 
    2202 CLOSUREREC 0, 1259
    2206 ACC0 
    2207 CLOSURE 1, 2139
    2210 PUSH 
    2211 CLOSUREREC 0, 1277
    2215 CLOSUREREC 0, 1294
    2219 CLOSURE 0, 2127
    2222 PUSH 
    2223 CLOSUREREC 0, 1316
    2227 CLOSUREREC 0, 1334
    2231 CLOSUREREC 0, 1354
    2235 CLOSUREREC 0, 1374
    2239 CLOSURE 0, 2092
    2242 PUSH 
    2243 CLOSUREREC 0, 1415
    2247 CLOSUREREC 0, 1452
    2251 CLOSUREREC 0, 1490
    2255 CLOSUREREC 0, 1530
    2259 CLOSUREREC 0, 1553
    2263 CLOSUREREC 0, 1573
    2267 CLOSUREREC 0, 1613
    2271 CLOSUREREC 0, 1654
    2275 CLOSUREREC 0, 1675
    2279 CLOSUREREC 0, 1695
    2283 CLOSUREREC 0, 1725
    2287 CLOSUREREC 0, 1754
    2291 CLOSUREREC 0, 1776
    2295 CLOSUREREC 0, 1797
    2299 CLOSUREREC 0, 1828
    2303 CLOSUREREC 0, 1858
    2307 ACC 24
    2309 CLOSURE 1, 2042
    2312 PUSHACC 25
    2314 CLOSUREREC 1, 1928
    2318 CLOSUREREC 0, 1942
    2322 CLOSUREREC 0, 1972
    2326 ACC0 
    2327 PUSHACC2 
    2328 PUSHACC7 
    2329 PUSHACC 9
    2331 PUSHACC 11
    2333 PUSHACC 13
    2335 PUSHACC 15
    2337 PUSHACC 17
    2339 PUSHACC 10
    2341 PUSHACC 12
    2343 PUSHACC 13
    2345 PUSHACC 15
    2347 PUSHACC 23
    2349 PUSHACC 25
    2351 PUSHACC 27
    2353 PUSHACC 29
    2355 PUSHACC 31
    2357 PUSHACC 33
    2359 PUSHACC 35
    2361 PUSHACC 37
    2363 PUSHACC 40
    2365 PUSHACC 42
    2367 PUSHACC 41
    2369 PUSHACC 45
    2371 PUSHACC 47
    2373 PUSHACC 50
    2375 PUSHACC 52
    2377 PUSHACC 51
    2379 PUSHACC 55
    2381 PUSHACC 56
    2383 PUSHACC 59
    2385 PUSHACC 61
    2387 PUSHACC 60
    2389 PUSHACC 64
    2391 PUSHACC 66
    2393 PUSHACC 68
    2395 PUSHACC 70
    2397 MAKEBLOCK 37, 0
    2400 POP 36
    2402 SETGLOBAL List
    2404 BRANCH 3341
    2406 RESTART 
    2407 GRAB 2
    2409 ACC2 
    2410 PUSHACC2 
    2411 VECTLENGTH 
    2412 OFFSETINT -1
    2414 PUSHCONST0 
    2415 PUSH 
    2416 BRANCH 2433
    2418 CHECK_SIGNALS 
    2419 ACC2 
    2420 PUSHACC2 
    2421 PUSHACC6 
    2422 C_CALL2 array_unsafe_get
    2424 PUSHACC5 
    2425 APPLY2 
    2426 ASSIGN 2
    2428 ACC1 
    2429 OFFSETINT -1
    2431 ASSIGN 1
    2433 ACC0 
    2434 PUSHACC2 
    2435 GEINT 
    2436 BRANCHIF 2418
    2438 CONST0 
    2439 POP 2
    2441 ACC0 
    2442 RETURN 4
    2444 RESTART 
    2445 GRAB 2
    2447 ACC1 
    2448 PUSHCONST0 
    2449 PUSHACC4 
    2450 VECTLENGTH 
    2451 OFFSETINT -1
    2453 PUSH 
    2454 BRANCH 2471
    2456 CHECK_SIGNALS 
    2457 ACC1 
    2458 PUSHACC6 
    2459 C_CALL2 array_unsafe_get
    2461 PUSHACC3 
    2462 PUSHACC5 
    2463 APPLY2 
    2464 ASSIGN 2
    2466 ACC1 
    2467 OFFSETINT 1
    2469 ASSIGN 1
    2471 ACC0 
    2472 PUSHACC2 
    2473 LEINT 
    2474 BRANCHIF 2456
    2476 CONST0 
    2477 POP 2
    2479 ACC0 
    2480 RETURN 4
    2482 RESTART 
    2483 GRAB 1
    2485 ACC1 
    2486 BRANCHIFNOT 2502
    2488 ACC1 
    2489 GETFIELD0 
    2490 PUSHACC1 
    2491 PUSHENVACC1 
    2492 C_CALL3 array_unsafe_set
    2494 ACC1 
    2495 GETFIELD1 
    2496 PUSHACC1 
    2497 OFFSETINT 1
    2499 PUSHOFFSETCLOSURE0 
    2500 APPTERM2 4
    2502 ENVACC1 
    2503 RETURN 2
    2505 ACC0 
    2506 BRANCHIFNOT 2531
    2508 ACC0 
    2509 GETFIELD1 
    2510 PUSHACC1 
    2511 GETFIELD0 
    2512 PUSHACC1 
    2513 PUSHGETGLOBALFIELD List, 0
    2516 APPLY1 
    2517 OFFSETINT 1
    2519 C_CALL2 make_vect
    2521 PUSHACC0 
    2522 CLOSUREREC 1, 2483
    2526 ACC2 
    2527 PUSHCONST1 
    2528 PUSHACC2 
    2529 APPTERM2 6
    2531 ATOM0 
    2532 RETURN 1
    2534 RESTART 
    2535 GRAB 1
    2537 CONST0 
    2538 PUSHACC1 
    2539 LTINT 
    2540 BRANCHIFNOT 2545
    2542 ACC1 
    2543 RETURN 2
    2545 ACC1 
    2546 PUSHACC1 
    2547 PUSHENVACC1 
    2548 C_CALL2 array_unsafe_get
    2550 MAKEBLOCK2 0
    2552 PUSHACC1 
    2553 OFFSETINT -1
    2555 PUSHOFFSETCLOSURE0 
    2556 APPTERM2 4
    2558 ACC0 
    2559 CLOSUREREC 1, 2535
    2563 CONST0 
    2564 PUSHACC2 
    2565 VECTLENGTH 
    2566 OFFSETINT -1
    2568 PUSHACC2 
    2569 APPTERM2 4
    2571 RESTART 
    2572 GRAB 1
    2574 ACC1 
    2575 VECTLENGTH 
    2576 PUSHCONST0 
    2577 PUSHACC1 
    2578 EQ 
    2579 BRANCHIFNOT 2584
    2581 ATOM0 
    2582 RETURN 3
    2584 CONST0 
    2585 PUSHACC3 
    2586 C_CALL2 array_unsafe_get
    2588 PUSHCONST0 
    2589 PUSHACC3 
    2590 APPLY2 
    2591 PUSHACC1 
    2592 C_CALL2 make_vect
    2594 PUSHCONST1 
    2595 PUSHACC2 
    2596 OFFSETINT -1
    2598 PUSH 
    2599 BRANCH 2618
    2601 CHECK_SIGNALS 
    2602 ACC1 
    2603 PUSHACC6 
    2604 C_CALL2 array_unsafe_get
    2606 PUSHACC2 
    2607 PUSHACC6 
    2608 APPLY2 
    2609 PUSHACC2 
    2610 PUSHACC4 
    2611 C_CALL3 array_unsafe_set
    2613 ACC1 
    2614 OFFSETINT 1
    2616 ASSIGN 1
    2618 ACC0 
    2619 PUSHACC2 
    2620 LEINT 
    2621 BRANCHIF 2601
    2623 CONST0 
    2624 POP 2
    2626 ACC0 
    2627 RETURN 4
    2629 RESTART 
    2630 GRAB 1
    2632 CONST0 
    2633 PUSHACC2 
    2634 VECTLENGTH 
    2635 OFFSETINT -1
    2637 PUSH 
    2638 BRANCH 2653
    2640 CHECK_SIGNALS 
    2641 ACC1 
    2642 PUSHACC4 
    2643 C_CALL2 array_unsafe_get
    2645 PUSHACC2 
    2646 PUSHACC4 
    2647 APPLY2 
    2648 ACC1 
    2649 OFFSETINT 1
    2651 ASSIGN 1
    2653 ACC0 
    2654 PUSHACC2 
    2655 LEINT 
    2656 BRANCHIF 2640
    2658 CONST0 
    2659 RETURN 4
    2661 RESTART 
    2662 GRAB 1
    2664 ACC1 
    2665 VECTLENGTH 
    2666 PUSHCONST0 
    2667 PUSHACC1 
    2668 EQ 
    2669 BRANCHIFNOT 2674
    2671 ATOM0 
    2672 RETURN 3
    2674 CONST0 
    2675 PUSHACC3 
    2676 C_CALL2 array_unsafe_get
    2678 PUSHACC2 
    2679 APPLY1 
    2680 PUSHACC1 
    2681 C_CALL2 make_vect
    2683 PUSHCONST1 
    2684 PUSHACC2 
    2685 OFFSETINT -1
    2687 PUSH 
    2688 BRANCH 2706
    2690 CHECK_SIGNALS 
    2691 ACC1 
    2692 PUSHACC6 
    2693 C_CALL2 array_unsafe_get
    2695 PUSHACC5 
    2696 APPLY1 
    2697 PUSHACC2 
    2698 PUSHACC4 
    2699 C_CALL3 array_unsafe_set
    2701 ACC1 
    2702 OFFSETINT 1
    2704 ASSIGN 1
    2706 ACC0 
    2707 PUSHACC2 
    2708 LEINT 
    2709 BRANCHIF 2690
    2711 CONST0 
    2712 POP 2
    2714 ACC0 
    2715 RETURN 4
    2717 RESTART 
    2718 GRAB 1
    2720 CONST0 
    2721 PUSHACC2 
    2722 VECTLENGTH 
    2723 OFFSETINT -1
    2725 PUSH 
    2726 BRANCH 2740
    2728 CHECK_SIGNALS 
    2729 ACC1 
    2730 PUSHACC4 
    2731 C_CALL2 array_unsafe_get
    2733 PUSHACC3 
    2734 APPLY1 
    2735 ACC1 
    2736 OFFSETINT 1
    2738 ASSIGN 1
    2740 ACC0 
    2741 PUSHACC2 
    2742 LEINT 
    2743 BRANCHIF 2728
    2745 CONST0 
    2746 RETURN 4
    2748 RESTART 
    2749 GRAB 4
    2751 CONST0 
    2752 PUSHACC5 
    2753 LTINT 
    2754 BRANCHIF 2782
    2756 CONST0 
    2757 PUSHACC2 
    2758 LTINT 
    2759 BRANCHIF 2782
    2761 ACC0 
    2762 VECTLENGTH 
    2763 PUSHACC5 
    2764 PUSHACC3 
    2765 ADDINT 
    2766 GTINT 
    2767 BRANCHIF 2782
    2769 CONST0 
    2770 PUSHACC4 
    2771 LTINT 
    2772 BRANCHIF 2782
    2774 ACC2 
    2775 VECTLENGTH 
    2776 PUSHACC5 
    2777 PUSHACC5 
    2778 ADDINT 
    2779 GTINT 
    2780 BRANCHIFNOT 2789
    2782 GETGLOBAL "Array.blit"
    2784 PUSHGETGLOBALFIELD Pervasives, 2
    2787 APPTERM1 6
    2789 ACC3 
    2790 PUSHACC2 
    2791 LTINT 
    2792 BRANCHIFNOT 2827
    2794 ACC4 
    2795 OFFSETINT -1
    2797 PUSHCONST0 
    2798 PUSH 
    2799 BRANCH 2819
    2801 CHECK_SIGNALS 
    2802 ACC1 
    2803 PUSHACC4 
    2804 ADDINT 
    2805 PUSHACC3 
    2806 C_CALL2 array_unsafe_get
    2808 PUSHACC2 
    2809 PUSHACC7 
    2810 ADDINT 
    2811 PUSHACC6 
    2812 C_CALL3 array_unsafe_set
    2814 ACC1 
    2815 OFFSETINT -1
    2817 ASSIGN 1
    2819 ACC0 
    2820 PUSHACC2 
    2821 GEINT 
    2822 BRANCHIF 2801
    2824 CONST0 
    2825 RETURN 7
    2827 CONST0 
    2828 PUSHACC5 
    2829 OFFSETINT -1
    2831 PUSH 
    2832 BRANCH 2852
    2834 CHECK_SIGNALS 
    2835 ACC1 
    2836 PUSHACC4 
    2837 ADDINT 
    2838 PUSHACC3 
    2839 C_CALL2 array_unsafe_get
    2841 PUSHACC2 
    2842 PUSHACC7 
    2843 ADDINT 
    2844 PUSHACC6 
    2845 C_CALL3 array_unsafe_set
    2847 ACC1 
    2848 OFFSETINT 1
    2850 ASSIGN 1
    2852 ACC0 
    2853 PUSHACC2 
    2854 LEINT 
    2855 BRANCHIF 2834
    2857 CONST0 
    2858 RETURN 7
    2860 RESTART 
    2861 GRAB 3
    2863 CONST0 
    2864 PUSHACC2 
    2865 LTINT 
    2866 BRANCHIF 2881
    2868 CONST0 
    2869 PUSHACC3 
    2870 LTINT 
    2871 BRANCHIF 2881
    2873 ACC0 
    2874 VECTLENGTH 
    2875 PUSHACC3 
    2876 PUSHACC3 
    2877 ADDINT 
    2878 GTINT 
    2879 BRANCHIFNOT 2888
    2881 GETGLOBAL "Array.fill"
    2883 PUSHGETGLOBALFIELD Pervasives, 2
    2886 APPTERM1 5
    2888 ACC1 
    2889 PUSHACC3 
    2890 PUSHACC3 
    2891 ADDINT 
    2892 OFFSETINT -1
    2894 PUSH 
    2895 BRANCH 2908
    2897 CHECK_SIGNALS 
    2898 ACC5 
    2899 PUSHACC2 
    2900 PUSHACC4 
    2901 C_CALL3 array_unsafe_set
    2903 ACC1 
    2904 OFFSETINT 1
    2906 ASSIGN 1
    2908 ACC0 
    2909 PUSHACC2 
    2910 LEINT 
    2911 BRANCHIF 2897
    2913 CONST0 
    2914 RETURN 6
    2916 RESTART 
    2917 GRAB 2
    2919 CONST0 
    2920 PUSHACC2 
    2921 LTINT 
    2922 BRANCHIF 2937
    2924 CONST0 
    2925 PUSHACC3 
    2926 LTINT 
    2927 BRANCHIF 2937
    2929 ACC0 
    2930 VECTLENGTH 
    2931 PUSHACC3 
    2932 PUSHACC3 
    2933 ADDINT 
    2934 GTINT 
    2935 BRANCHIFNOT 2944
    2937 GETGLOBAL "Array.sub"
    2939 PUSHGETGLOBALFIELD Pervasives, 2
    2942 APPTERM1 4
    2944 CONST0 
    2945 PUSHACC3 
    2946 EQ 
    2947 BRANCHIFNOT 2952
    2949 ATOM0 
    2950 RETURN 3
    2952 ACC1 
    2953 PUSHACC1 
    2954 C_CALL2 array_unsafe_get
    2956 PUSHACC3 
    2957 C_CALL2 make_vect
    2959 PUSHCONST1 
    2960 PUSHACC4 
    2961 OFFSETINT -1
    2963 PUSH 
    2964 BRANCH 2982
    2966 CHECK_SIGNALS 
    2967 ACC1 
    2968 PUSHACC5 
    2969 ADDINT 
    2970 PUSHACC4 
    2971 C_CALL2 array_unsafe_get
    2973 PUSHACC2 
    2974 PUSHACC4 
    2975 C_CALL3 array_unsafe_set
    2977 ACC1 
    2978 OFFSETINT 1
    2980 ASSIGN 1
    2982 ACC0 
    2983 PUSHACC2 
    2984 LEINT 
    2985 BRANCHIF 2966
    2987 CONST0 
    2988 POP 2
    2990 ACC0 
    2991 RETURN 4
    2993 ACC0 
    2994 BRANCHIFNOT 3017
    2996 ACC0 
    2997 GETFIELD0 
    2998 PUSHCONST0 
    2999 PUSHACC1 
    3000 VECTLENGTH 
    3001 GTINT 
    3002 BRANCHIFNOT 3012
    3004 ENVACC2 
    3005 PUSHCONST0 
    3006 PUSHACC2 
    3007 C_CALL2 array_unsafe_get
    3009 PUSHENVACC1 
    3010 APPTERM2 4
    3012 ACC1 
    3013 GETFIELD1 
    3014 PUSHOFFSETCLOSURE0 
    3015 APPTERM1 3
    3017 ATOM0 
    3018 RETURN 1
    3020 ACC0 
    3021 PUSHENVACC1 
    3022 CLOSUREREC 2, 2993
    3026 ACC1 
    3027 PUSHACC1 
    3028 APPTERM1 3
    3030 CONST0 
    3031 PUSHACC1 
    3032 VECTLENGTH 
    3033 OFFSETINT -1
    3035 PUSH 
    3036 BRANCH 3056
    3038 CHECK_SIGNALS 
    3039 ACC1 
    3040 PUSHACC3 
    3041 C_CALL2 array_unsafe_get
    3043 PUSHENVACC2 
    3044 GETFIELD0 
    3045 PUSHENVACC1 
    3046 C_CALL3 array_unsafe_set
    3048 ENVACC2 
    3049 OFFSETREF 1
    3051 ACC1 
    3052 OFFSETINT 1
    3054 ASSIGN 1
    3056 ACC0 
    3057 PUSHACC2 
    3058 LEINT 
    3059 BRANCHIF 3038
    3061 CONST0 
    3062 RETURN 3
    3064 RESTART 
    3065 GRAB 1
    3067 ACC1 
    3068 VECTLENGTH 
    3069 PUSHACC1 
    3070 ADDINT 
    3071 RETURN 2
    3073 RESTART 
    3074 GRAB 1
    3076 ACC1 
    3077 PUSHCONST0 
    3078 PUSH 
    3079 CLOSURE 0, 3065
    3082 PUSHGETGLOBALFIELD List, 12
    3085 APPLY3 
    3086 PUSHACC1 
    3087 PUSHACC1 
    3088 C_CALL2 make_vect
    3090 PUSHCONST0 
    3091 MAKEBLOCK1 0
    3093 PUSHACC4 
    3094 PUSHACC1 
    3095 PUSHACC3 
    3096 CLOSURE 2, 3030
    3099 PUSHGETGLOBALFIELD List, 9
    3102 APPLY2 
    3103 ACC1 
    3104 RETURN 5
    3106 RESTART 
    3107 GRAB 1
    3109 ACC0 
    3110 VECTLENGTH 
    3111 PUSHACC2 
    3112 VECTLENGTH 
    3113 PUSHCONST0 
    3114 PUSHACC2 
    3115 EQ 
    3116 BRANCHIFNOT 3126
    3118 CONST0 
    3119 PUSHACC1 
    3120 EQ 
    3121 BRANCHIFNOT 3126
    3123 ATOM0 
    3124 RETURN 4
    3126 CONST0 
    3127 PUSHCONST0 
    3128 PUSHACC3 
    3129 GTINT 
    3130 BRANCHIFNOT 3135
    3132 ACC3 
    3133 BRANCH 3136
    3135 ACC4 
    3136 C_CALL2 array_unsafe_get
    3138 PUSHACC1 
    3139 PUSHACC3 
    3140 ADDINT 
    3141 C_CALL2 make_vect
    3143 PUSHCONST0 
    3144 PUSHACC3 
    3145 OFFSETINT -1
    3147 PUSH 
    3148 BRANCH 3164
    3150 CHECK_SIGNALS 
    3151 ACC1 
    3152 PUSHACC6 
    3153 C_CALL2 array_unsafe_get
    3155 PUSHACC2 
    3156 PUSHACC4 
    3157 C_CALL3 array_unsafe_set
    3159 ACC1 
    3160 OFFSETINT 1
    3162 ASSIGN 1
    3164 ACC0 
    3165 PUSHACC2 
    3166 LEINT 
    3167 BRANCHIF 3150
    3169 CONST0 
    3170 POP 2
    3172 CONST0 
    3173 PUSHACC2 
    3174 OFFSETINT -1
    3176 PUSH 
    3177 BRANCH 3195
    3179 CHECK_SIGNALS 
    3180 ACC1 
    3181 PUSHACC7 
    3182 C_CALL2 array_unsafe_get
    3184 PUSHACC5 
    3185 PUSHACC3 
    3186 ADDINT 
    3187 PUSHACC4 
    3188 C_CALL3 array_unsafe_set
    3190 ACC1 
    3191 OFFSETINT 1
    3193 ASSIGN 1
    3195 ACC0 
    3196 PUSHACC2 
    3197 LEINT 
    3198 BRANCHIF 3179
    3200 CONST0 
    3201 POP 2
    3203 ACC0 
    3204 RETURN 5
    3206 ACC0 
    3207 VECTLENGTH 
    3208 PUSHCONST0 
    3209 PUSHACC1 
    3210 EQ 
    3211 BRANCHIFNOT 3216
    3213 ATOM0 
    3214 RETURN 2
    3216 CONST0 
    3217 PUSHACC2 
    3218 C_CALL2 array_unsafe_get
    3220 PUSHACC1 
    3221 C_CALL2 make_vect
    3223 PUSHCONST1 
    3224 PUSHACC2 
    3225 OFFSETINT -1
    3227 PUSH 
    3228 BRANCH 3244
    3230 CHECK_SIGNALS 
    3231 ACC1 
    3232 PUSHACC5 
    3233 C_CALL2 array_unsafe_get
    3235 PUSHACC2 
    3236 PUSHACC4 
    3237 C_CALL3 array_unsafe_set
    3239 ACC1 
    3240 OFFSETINT 1
    3242 ASSIGN 1
    3244 ACC0 
    3245 PUSHACC2 
    3246 LEINT 
    3247 BRANCHIF 3230
    3249 CONST0 
    3250 POP 2
    3252 ACC0 
    3253 RETURN 3
    3255 RESTART 
    3256 GRAB 2
    3258 ATOM0 
    3259 PUSHACC1 
    3260 C_CALL2 make_vect
    3262 PUSHCONST0 
    3263 PUSHACC2 
    3264 OFFSETINT -1
    3266 PUSH 
    3267 BRANCH 3282
    3269 CHECK_SIGNALS 
    3270 ACC5 
    3271 PUSHACC5 
    3272 C_CALL2 make_vect
    3274 PUSHACC2 
    3275 PUSHACC4 
    3276 SETVECTITEM 
    3277 ACC1 
    3278 OFFSETINT 1
    3280 ASSIGN 1
    3282 ACC0 
    3283 PUSHACC2 
    3284 LEINT 
    3285 BRANCHIF 3269
    3287 CONST0 
    3288 POP 2
    3290 ACC0 
    3291 RETURN 4
    3293 RESTART 
    3294 GRAB 1
    3296 CONST0 
    3297 PUSHACC1 
    3298 EQ 
    3299 BRANCHIFNOT 3304
    3301 ATOM0 
    3302 RETURN 2
    3304 CONST0 
    3305 PUSHACC2 
    3306 APPLY1 
    3307 PUSHACC1 
    3308 C_CALL2 make_vect
    3310 PUSHCONST1 
    3311 PUSHACC2 
    3312 OFFSETINT -1
    3314 PUSH 
    3315 BRANCH 3330
    3317 CHECK_SIGNALS 
    3318 ACC1 
    3319 PUSHACC5 
    3320 APPLY1 
    3321 PUSHACC2 
    3322 PUSHACC4 
    3323 C_CALL3 array_unsafe_set
    3325 ACC1 
    3326 OFFSETINT 1
    3328 ASSIGN 1
    3330 ACC0 
    3331 PUSHACC2 
    3332 LEINT 
    3333 BRANCHIF 3317
    3335 CONST0 
    3336 POP 2
    3338 ACC0 
    3339 RETURN 3
    3341 CLOSURE 0, 3294
    3344 PUSH 
    3345 CLOSURE 0, 3256
    3348 PUSH 
    3349 CLOSURE 0, 3206
    3352 PUSH 
    3353 CLOSURE 0, 3107
    3356 PUSH 
    3357 CLOSURE 0, 3074
    3360 PUSHACC0 
    3361 CLOSURE 1, 3020
    3364 PUSH 
    3365 CLOSURE 0, 2917
    3368 PUSH 
    3369 CLOSURE 0, 2861
    3372 PUSH 
    3373 CLOSURE 0, 2749
    3376 PUSH 
    3377 CLOSURE 0, 2718
    3380 PUSH 
    3381 CLOSURE 0, 2662
    3384 PUSH 
    3385 CLOSURE 0, 2630
    3388 PUSH 
    3389 CLOSURE 0, 2572
    3392 PUSH 
    3393 CLOSURE 0, 2558
    3396 PUSH 
    3397 CLOSURE 0, 2505
    3400 PUSH 
    3401 CLOSURE 0, 2445
    3404 PUSH 
    3405 CLOSURE 0, 2407
    3408 PUSHACC0 
    3409 PUSHACC2 
    3410 PUSHACC6 
    3411 PUSHACC 8
    3413 PUSHACC 10
    3415 PUSHACC 12
    3417 PUSHACC 8
    3419 PUSHACC 10
    3421 PUSHACC 16
    3423 PUSHACC 18
    3425 PUSHACC 24
    3427 PUSHACC 21
    3429 PUSHACC 23
    3431 PUSHACC 26
    3433 PUSHACC 29
    3435 PUSHACC 30
    3437 PUSHACC 32
    3439 MAKEBLOCK 17, 0
    3442 POP 17
    3444 SETGLOBAL Array
    3446 BRANCH 3456
    3448 ACC0 
    3449 PUSHENVACC1 
    3450 GETFIELD0 
    3451 ADDINT 
    3452 PUSHENVACC1 
    3453 SETFIELD0 
    3454 RETURN 1
    3456 CONST2 
    3457 PUSHCONSTINT 200000
    3459 C_CALL2 make_vect
    3461 PUSHCONST0 
    3462 MAKEBLOCK1 0
    3464 PUSHACC1 
    3465 PUSHACC1 
    3466 CLOSURE 1, 3448
    3469 PUSHGETGLOBALFIELD Array, 11
    3472 APPLY2 
    3473 CONSTINT 400000
    3475 PUSHACC1 
    3476 GETFIELD0 
    3477 NEQ 
    3478 BRANCHIFNOT 3485
    3480 GETGLOBAL Not_found
    3482 MAKEBLOCK1 0
    3484 RAISE 
    3485 POP 2
    3487 ATOM0 
    3488 SETGLOBAL T310-alloc-2
    3490 STOP 
**)