2
let v = Array.make 200000 2 in
4
Array.iter (fun x -> t := !t + x) v;
5
if !t <> 400000 then raise Not_found
47
53 GETGLOBAL End_of_file
61
71 C_CALL1 caml_input_scan_line
66
78 GETGLOBAL End_of_file
75
91 C_CALL1 create_string
83
102 C_CALL1 caml_input_char
88
109 C_CALL1 create_string
94
116 C_CALL4 caml_input
98
122 PUSHOFFSETCLOSURE0
105
130 PUSHGETGLOBAL End_of_file
115
143 C_CALL1 caml_flush
121
152 C_CALL2 caml_output_char
127
161 C_CALL2 caml_output_char
133
170 C_CALL2 caml_output_int
139
179 C_CALL2 caml_seek_out
142
184 C_CALL1 caml_pos_out
145
189 C_CALL1 caml_channel_size
151
198 C_CALL2 caml_set_binary_mode
154
203 C_CALL1 caml_input_char
157
208 C_CALL1 caml_input_char
160
213 C_CALL1 caml_input_int
163
218 C_CALL1 input_value
169
227 C_CALL2 caml_seek_in
172
232 C_CALL1 caml_pos_in
175
237 C_CALL1 caml_channel_size
178
242 C_CALL1 caml_close_channel
184
251 C_CALL2 caml_set_binary_mode
211
287 C_CALL1 caml_flush
213
290 C_CALL1 caml_flush
218
297 C_CALL1 float_of_string
223
304 C_CALL1 int_of_string
226
309 C_CALL1 caml_flush
232
318 C_CALL2 caml_output_char
234
321 C_CALL1 caml_flush
242
332 C_CALL2 caml_output_char
244
335 C_CALL1 caml_flush
264
360 C_CALL2 caml_output_char
268
367 C_CALL2 caml_output_char
270
370 C_CALL1 caml_flush
278
381 C_CALL2 caml_output_char
298
406 C_CALL2 caml_output_char
307
419 C_CALL1 ml_string_length
313
427 GETGLOBAL "really_input"
329
449 C_CALL1 ml_string_length
335
457 GETGLOBAL "input"
342
466 C_CALL4 caml_input
346
472 PUSHGETGLOBAL <0>(0, <0>(6, 0))
351
479 PUSHGETGLOBAL <0>(0, <0>(7, 0))
360
492 C_CALL1 caml_open_descriptor
363
497 C_CALL1 caml_flush
365
500 C_CALL1 caml_close_channel
372
510 C_CALL3 output_value
381
523 C_CALL1 ml_string_length
387
531 GETGLOBAL "output"
394
540 C_CALL4 caml_output
399
548 C_CALL1 ml_string_length
403
553 C_CALL4 caml_output
407
560 PUSHGETGLOBAL <0>(1, <0>(3, <0>(4, <0>(6, 0))))
412
568 PUSHGETGLOBAL <0>(1, <0>(3, <0>(4, <0>(7, 0))))
421
581 C_CALL1 caml_open_descriptor
424
586 PUSHGETGLOBAL "%.12g"
425
588 C_CALL2 format_float
428
593 PUSHGETGLOBAL "%d"
429
595 C_CALL2 format_int
431
599 GETGLOBAL "false"
433
602 C_CALL2 string_equal
439
612 C_CALL2 string_equal
443
619 GETGLOBAL "bool_of_string"
450
631 GETGLOBAL "false"
460
646 GETGLOBAL "char_of_int"
468
658 C_CALL1 ml_string_length
470
661 C_CALL1 ml_string_length
474
666 C_CALL1 create_string
480
673 C_CALL5 blit_string
486
681 C_CALL5 blit_string
506
709 C_CALL2 greaterequal
516
724 C_CALL2 lessequal
523
735 PUSHGETGLOBAL Invalid_argument
527
741 PUSHGETGLOBAL Failure
533
753 PUSHGETGLOBAL "Pervasives.Exit"
535
757 PUSHGETGLOBAL "Pervasives.Assert_failure"
573
828 C_CALL1 caml_open_descriptor
575
831 C_CALL1 caml_open_descriptor
577
834 C_CALL1 caml_open_descriptor
749
1195 SETGLOBAL Pervasives
754
1203 BRANCHIFNOT 1213
759
1210 PUSHOFFSETCLOSURE0
766
1220 BRANCHIFNOT 1251
770
1225 BRANCHIFNOT 1231
777
1234 BRANCHIFNOT 1244
782
1241 PUSHOFFSETCLOSURE0
784
1244 GETGLOBAL "List.nth"
785
1246 PUSHGETGLOBALFIELD Pervasives, 2
788
1253 PUSHGETGLOBALFIELD Pervasives, 3
793
1262 BRANCHIFNOT 1274
800
1271 PUSHOFFSETCLOSURE0
805
1278 BRANCHIFNOT 1291
808
1282 PUSHOFFSETCLOSURE0
812
1286 PUSHGETGLOBALFIELD Pervasives, 16
818
1297 BRANCHIFNOT 1313
826
1306 PUSHOFFSETCLOSURE0
835
1319 BRANCHIFNOT 1331
843
1328 PUSHOFFSETCLOSURE0
849
1337 BRANCHIFNOT 1350
858
1347 PUSHOFFSETCLOSURE0
865
1357 BRANCHIFNOT 1370
870
1363 PUSHOFFSETCLOSURE0
881
1377 BRANCHIFNOT 1400
883
1380 BRANCHIFNOT 1407
895
1393 PUSHOFFSETCLOSURE0
901
1401 BRANCHIFNOT 1405
904
1407 GETGLOBAL "List.map2"
905
1409 PUSHGETGLOBALFIELD Pervasives, 2
910
1418 BRANCHIFNOT 1437
912
1421 BRANCHIFNOT 1444
924
1434 PUSHOFFSETCLOSURE0
927
1438 BRANCHIFNOT 1442
930
1444 GETGLOBAL "List.iter2"
931
1446 PUSHGETGLOBALFIELD Pervasives, 2
936
1455 BRANCHIFNOT 1476
938
1458 BRANCHIFNOT 1482
951
1472 PUSHOFFSETCLOSURE0
957
1482 GETGLOBAL "List.fold_left2"
958
1484 PUSHGETGLOBALFIELD Pervasives, 2
963
1493 BRANCHIFNOT 1516
965
1496 BRANCHIFNOT 1522
966
1498 PUSH_RETADDR 1509
973
1506 PUSHOFFSETCLOSURE0
985
1522 GETGLOBAL "List.fold_right2"
986
1524 PUSHGETGLOBALFIELD Pervasives, 2
991
1533 BRANCHIFNOT 1549
996
1539 BRANCHIFNOT 1547
1000
1544 PUSHOFFSETCLOSURE0
1008
1556 BRANCHIFNOT 1570
1017
1567 PUSHOFFSETCLOSURE0
1023
1576 BRANCHIFNOT 1599
1025
1579 BRANCHIFNOT 1605
1032
1587 BRANCHIFNOT 1597
1038
1594 PUSHOFFSETCLOSURE0
1045
1605 GETGLOBAL "List.for_all2"
1046
1607 PUSHGETGLOBALFIELD Pervasives, 2
1051
1616 BRANCHIFNOT 1639
1053
1619 BRANCHIFNOT 1646
1066
1634 PUSHOFFSETCLOSURE0
1070
1640 BRANCHIFNOT 1644
1073
1646 GETGLOBAL "List.exists2"
1074
1648 PUSHGETGLOBALFIELD Pervasives, 2
1079
1657 BRANCHIFNOT 1672
1088
1669 PUSHOFFSETCLOSURE0
1094
1678 BRANCHIFNOT 1692
1103
1689 PUSHOFFSETCLOSURE0
1109
1698 BRANCHIFNOT 1719
1116
1707 BRANCHIFNOT 1713
1123
1716 PUSHOFFSETCLOSURE0
1125
1719 GETGLOBAL Not_found
1131
1728 BRANCHIFNOT 1748
1138
1736 BRANCHIFNOT 1742
1145
1745 PUSHOFFSETCLOSURE0
1147
1748 GETGLOBAL Not_found
1153
1757 BRANCHIFNOT 1773
1163
1770 PUSHOFFSETCLOSURE0
1169
1779 BRANCHIFNOT 1794
1179
1791 PUSHOFFSETCLOSURE0
1185
1800 BRANCHIFNOT 1825
1194
1811 BRANCHIFNOT 1816
1199
1818 PUSHOFFSETCLOSURE0
1208
1831 BRANCHIFNOT 1855
1217
1841 BRANCHIFNOT 1846
1222
1848 PUSHOFFSETCLOSURE0
1231
1861 BRANCHIFNOT 1879
1237
1868 BRANCHIFNOT 1873
1243
1876 PUSHOFFSETCLOSURE0
1245
1879 GETGLOBAL Not_found
1251
1888 BRANCHIFNOT 1917
1259
1897 BRANCHIFNOT 1908
1265
1905 PUSHOFFSETCLOSURE0
1272
1914 PUSHOFFSETCLOSURE0
1286
1932 CLOSUREREC 2, 1885
1293
1943 BRANCHIFNOT 1967
1298
1949 PUSHOFFSETCLOSURE0
1312
1967 GETGLOBAL <0>(0, 0)
1317
1975 BRANCHIFNOT 1996
1319
1978 BRANCHIFNOT 2003
1324
1984 PUSHOFFSETCLOSURE0
1334
1997 BRANCHIFNOT 2001
1337
2003 GETGLOBAL "List.combine"
1338
2005 PUSHGETGLOBALFIELD Pervasives, 2
1343
2014 BRANCHIFNOT 2038
1351
2023 BRANCHIFNOT 2033
1356
2030 PUSHOFFSETCLOSURE0
1360
2035 PUSHOFFSETCLOSURE0
1367
2044 CLOSUREREC 2, 2011
1374
2056 BRANCHIFNOT 2077
1376
2059 BRANCHIFNOT 2084
1389
2074 PUSHOFFSETCLOSURE0
1392
2078 BRANCHIFNOT 2082
1395
2084 GETGLOBAL "List.rev_map2"
1396
2086 PUSHGETGLOBALFIELD Pervasives, 2
1401
2095 CLOSUREREC 1, 2053
1410
2109 BRANCHIFNOT 2123
1419
2120 PUSHOFFSETCLOSURE0
1426
2130 CLOSUREREC 1, 2106
1436
2145 BRANCHIFNOT 2151
1441
2153 PUSHGETGLOBALFIELD Pervasives, 3
1444
2159 BRANCHIFNOT 2165
1449
2167 PUSHGETGLOBALFIELD Pervasives, 3
1455
2177 CLOSUREREC 0, 1200
1457
2182 CLOSURE 1, 2172
1459
2186 CLOSURE 0, 2158
1461
2190 CLOSURE 0, 2144
1463
2194 CLOSUREREC 0, 1217
1464
2198 GETGLOBALFIELD Pervasives, 16
1466
2202 CLOSUREREC 0, 1259
1468
2207 CLOSURE 1, 2139
1470
2211 CLOSUREREC 0, 1277
1471
2215 CLOSUREREC 0, 1294
1472
2219 CLOSURE 0, 2127
1474
2223 CLOSUREREC 0, 1316
1475
2227 CLOSUREREC 0, 1334
1476
2231 CLOSUREREC 0, 1354
1477
2235 CLOSUREREC 0, 1374
1478
2239 CLOSURE 0, 2092
1480
2243 CLOSUREREC 0, 1415
1481
2247 CLOSUREREC 0, 1452
1482
2251 CLOSUREREC 0, 1490
1483
2255 CLOSUREREC 0, 1530
1484
2259 CLOSUREREC 0, 1553
1485
2263 CLOSUREREC 0, 1573
1486
2267 CLOSUREREC 0, 1613
1487
2271 CLOSUREREC 0, 1654
1488
2275 CLOSUREREC 0, 1675
1489
2279 CLOSUREREC 0, 1695
1490
2283 CLOSUREREC 0, 1725
1491
2287 CLOSUREREC 0, 1754
1492
2291 CLOSUREREC 0, 1776
1493
2295 CLOSUREREC 0, 1797
1494
2299 CLOSUREREC 0, 1828
1495
2303 CLOSUREREC 0, 1858
1497
2309 CLOSURE 1, 2042
1499
2314 CLOSUREREC 1, 1928
1500
2318 CLOSUREREC 0, 1942
1501
2322 CLOSUREREC 0, 1972
1539
2397 MAKEBLOCK 37, 0
1556
2422 C_CALL2 array_unsafe_get
1583
2459 C_CALL2 array_unsafe_get
1602
2486 BRANCHIFNOT 2502
1607
2492 C_CALL3 array_unsafe_set
1612
2499 PUSHOFFSETCLOSURE0
1617
2506 BRANCHIFNOT 2531
1623
2513 PUSHGETGLOBALFIELD List, 0
1626
2519 C_CALL2 make_vect
1628
2522 CLOSUREREC 1, 2483
1640
2540 BRANCHIFNOT 2545
1646
2548 C_CALL2 array_unsafe_get
1650
2555 PUSHOFFSETCLOSURE0
1653
2559 CLOSUREREC 1, 2535
1667
2579 BRANCHIFNOT 2584
1672
2586 C_CALL2 array_unsafe_get
1677
2592 C_CALL2 make_vect
1686
2604 C_CALL2 array_unsafe_get
1692
2611 C_CALL3 array_unsafe_set
1715
2643 C_CALL2 array_unsafe_get
1735
2669 BRANCHIFNOT 2674
1740
2676 C_CALL2 array_unsafe_get
1744
2681 C_CALL2 make_vect
1753
2693 C_CALL2 array_unsafe_get
1758
2699 C_CALL3 array_unsafe_set
1781
2731 C_CALL2 array_unsafe_get
1820
2780 BRANCHIFNOT 2789
1821
2782 GETGLOBAL "Array.blit"
1822
2784 PUSHGETGLOBALFIELD Pervasives, 2
1827
2792 BRANCHIFNOT 2827
1838
2806 C_CALL2 array_unsafe_get
1843
2812 C_CALL3 array_unsafe_set
1863
2839 C_CALL2 array_unsafe_get
1868
2845 C_CALL3 array_unsafe_set
1894
2879 BRANCHIFNOT 2888
1895
2881 GETGLOBAL "Array.fill"
1896
2883 PUSHGETGLOBALFIELD Pervasives, 2
1909
2901 C_CALL3 array_unsafe_set
1935
2935 BRANCHIFNOT 2944
1936
2937 GETGLOBAL "Array.sub"
1937
2939 PUSHGETGLOBALFIELD Pervasives, 2
1942
2947 BRANCHIFNOT 2952
1947
2954 C_CALL2 array_unsafe_get
1949
2957 C_CALL2 make_vect
1960
2971 C_CALL2 array_unsafe_get
1963
2975 C_CALL3 array_unsafe_set
1976
2994 BRANCHIFNOT 3017
1983
3002 BRANCHIFNOT 3012
1987
3007 C_CALL2 array_unsafe_get
1992
3014 PUSHOFFSETCLOSURE0
1998
3022 CLOSUREREC 2, 2993
2011
3041 C_CALL2 array_unsafe_get
2015
3046 C_CALL3 array_unsafe_set
2039
3079 CLOSURE 0, 3065
2040
3082 PUSHGETGLOBALFIELD List, 12
2044
3088 C_CALL2 make_vect
2050
3096 CLOSURE 2, 3030
2051
3099 PUSHGETGLOBALFIELD List, 9
2064
3116 BRANCHIFNOT 3126
2068
3121 BRANCHIFNOT 3126
2075
3130 BRANCHIFNOT 3135
2079
3136 C_CALL2 array_unsafe_get
2083
3141 C_CALL2 make_vect
2092
3153 C_CALL2 array_unsafe_get
2095
3157 C_CALL3 array_unsafe_set
2113
3182 C_CALL2 array_unsafe_get
2118
3188 C_CALL3 array_unsafe_set
2135
3211 BRANCHIFNOT 3216
2140
3218 C_CALL2 array_unsafe_get
2142
3221 C_CALL2 make_vect
2151
3233 C_CALL2 array_unsafe_get
2154
3237 C_CALL3 array_unsafe_set
2170
3260 C_CALL2 make_vect
2179
3272 C_CALL2 make_vect
2199
3299 BRANCHIFNOT 3304
2206
3308 C_CALL2 make_vect
2218
3323 C_CALL3 array_unsafe_set
2230
3341 CLOSURE 0, 3294
2232
3345 CLOSURE 0, 3256
2234
3349 CLOSURE 0, 3206
2236
3353 CLOSURE 0, 3107
2238
3357 CLOSURE 0, 3074
2240
3361 CLOSURE 1, 3020
2242
3365 CLOSURE 0, 2917
2244
3369 CLOSURE 0, 2861
2246
3373 CLOSURE 0, 2749
2248
3377 CLOSURE 0, 2718
2250
3381 CLOSURE 0, 2662
2252
3385 CLOSURE 0, 2630
2254
3389 CLOSURE 0, 2572
2256
3393 CLOSURE 0, 2558
2258
3397 CLOSURE 0, 2505
2260
3401 CLOSURE 0, 2445
2262
3405 CLOSURE 0, 2407
2280
3439 MAKEBLOCK 17, 0
2282
3444 SETGLOBAL Array
2292
3457 PUSHCONSTINT 200000
2293
3459 C_CALL2 make_vect
2298
3466 CLOSURE 1, 3448
2299
3469 PUSHGETGLOBALFIELD Array, 11
2301
3473 CONSTINT 400000
2305
3478 BRANCHIFNOT 3485
2306
3480 GETGLOBAL Not_found
2311
3488 SETGLOBAL T310-alloc-2