← Back to branch summary

~ubuntu-branches/debian/sid/ocaml/sid

« back to all changes in this revision

Viewing changes to testsuite/tests/tool-ocaml/t350-heapcheck.ml

  • Committer: Bazaar Package Importer
  • Author(s): Stéphane Glondu
  • Date: 2011-04-21 21:35:08 UTC
  • mfrom: (1.1.11 upstream) (12.1.14 sid)
  • Revision ID: james.westby@ubuntu.com-20110421213508-kg34453aqmb0moha
* Fixes related to -output-obj with g++ (in debian/patches):
  - add Declare-primitive-name-table-as-const-char
  - add Avoid-multiple-declarations-in-generated-.c-files-in
  - fix Embed-bytecode-in-C-object-when-using-custom: the closing
    brace for extern "C" { ... } was missing in some cases

Show diffs side-by-side

added added

removed removed

Lines of Context:
testsuite/tests/tool-ocaml/t350-heapcheck.ml
 
1
open Lib;;
 
2
ignore (Gc.stat ());
 
3
let x = Array.make 20 "" in
 
4
let w = weak_create 20 in
 
5
for i = 0 to 19 do
 
6
  x.(i) <- String.make 20 's';
 
7
  weak_set w i (Some x.(i));
 
8
done;
 
9
Gc.full_major ();
 
10
for i = 0 to 19 do
 
11
  match weak_get w i with
 
12
  | None -> raise Not_found
 
13
  | _ -> ()
 
14
done;
 
15
for i = 0 to 19 do
 
16
  if i mod 2 = 0 then x.(i) <- ""
 
17
done;
 
18
Gc.full_major ();
 
19
for i = 0 to 19 do
 
20
  match weak_get w i with
 
21
  | None when i mod 2 = 0 -> ()
 
22
  | Some s when i mod 2 = 1 -> if s.[5] <> 's' then raise Not_found
 
23
  | _ -> raise Not_found
 
24
done
 
25
;;
 
26
 
 
27
(**
 
28
       0 CONSTINT 42
 
29
       2 PUSHACC0 
 
30
       3 MAKEBLOCK1 0
 
31
       5 POP 1
 
32
       7 SETGLOBAL Lib
 
33
       9 BRANCH 746
 
34
      11 RESTART 
 
35
      12 GRAB 1
 
36
      14 ACC0 
 
37
      15 BRANCHIFNOT 28
 
38
      17 ACC1 
 
39
      18 PUSHACC1 
 
40
      19 GETFIELD1 
 
41
      20 PUSHOFFSETCLOSURE0 
 
42
      21 APPLY2 
 
43
      22 PUSHACC1 
 
44
      23 GETFIELD0 
 
45
      24 MAKEBLOCK2 0
 
46
      26 RETURN 2
 
47
      28 ACC1 
 
48
      29 RETURN 2
 
49
      31 RESTART 
 
50
      32 GRAB 3
 
51
      34 CONST0 
 
52
      35 PUSHACC4 
 
53
      36 LEINT 
 
54
      37 BRANCHIFNOT 42
 
55
      39 CONST0 
 
56
      40 RETURN 4
 
57
      42 ACC3 
 
58
      43 PUSHACC3 
 
59
      44 PUSHACC3 
 
60
      45 PUSHACC3 
 
61
      46 C_CALL4 caml_input
 
62
      48 PUSHCONST0 
 
63
      49 PUSHACC1 
 
64
      50 EQ 
 
65
      51 BRANCHIFNOT 58
 
66
      53 GETGLOBAL End_of_file
 
67
      55 MAKEBLOCK1 0
 
68
      57 RAISE 
 
69
      58 ACC0 
 
70
      59 PUSHACC5 
 
71
      60 SUBINT 
 
72
      61 PUSHACC1 
 
73
      62 PUSHACC5 
 
74
      63 ADDINT 
 
75
      64 PUSHACC4 
 
76
      65 PUSHACC4 
 
77
      66 PUSHOFFSETCLOSURE0 
 
78
      67 APPTERM 4, 9
 
79
      70 ACC0 
 
80
      71 C_CALL1 caml_input_scan_line
 
81
      73 PUSHCONST0 
 
82
      74 PUSHACC1 
 
83
      75 EQ 
 
84
      76 BRANCHIFNOT 83
 
85
      78 GETGLOBAL End_of_file
 
86
      80 MAKEBLOCK1 0
 
87
      82 RAISE 
 
88
      83 CONST0 
 
89
      84 PUSHACC1 
 
90
      85 GTINT 
 
91
      86 BRANCHIFNOT 107
 
92
      88 ACC0 
 
93
      89 OFFSETINT -1
 
94
      91 C_CALL1 create_string
 
95
      93 PUSHACC1 
 
96
      94 OFFSETINT -1
 
97
      96 PUSHCONST0 
 
98
      97 PUSHACC2 
 
99
      98 PUSHACC5 
 
100
      99 C_CALL4 caml_input
 
101
     101 ACC2 
 
102
     102 C_CALL1 caml_input_char
 
103
     104 ACC0 
 
104
     105 RETURN 3
 
105
     107 ACC0 
 
106
     108 NEGINT 
 
107
     109 C_CALL1 create_string
 
108
     111 PUSHACC1 
 
109
     112 NEGINT 
 
110
     113 PUSHCONST0 
 
111
     114 PUSHACC2 
 
112
     115 PUSHACC5 
 
113
     116 C_CALL4 caml_input
 
114
     118 CONST0 
 
115
     119 PUSHTRAP 130
 
116
     121 ACC6 
 
117
     122 PUSHOFFSETCLOSURE0 
 
118
     123 APPLY1 
 
119
     124 PUSHACC5 
 
120
     125 PUSHENVACC1 
 
121
     126 APPLY2 
 
122
     127 POPTRAP 
 
123
     128 RETURN 3
 
124
     130 PUSHGETGLOBAL End_of_file
 
125
     132 PUSHACC1 
 
126
     133 GETFIELD0 
 
127
     134 EQ 
 
128
     135 BRANCHIFNOT 140
 
129
     137 ACC1 
 
130
     138 RETURN 4
 
131
     140 ACC0 
 
132
     141 RAISE 
 
133
     142 ACC0 
 
134
     143 C_CALL1 caml_flush
 
135
     145 RETURN 1
 
136
     147 RESTART 
 
137
     148 GRAB 1
 
138
     150 ACC1 
 
139
     151 PUSHACC1 
 
140
     152 C_CALL2 caml_output_char
 
141
     154 RETURN 2
 
142
     156 RESTART 
 
143
     157 GRAB 1
 
144
     159 ACC1 
 
145
     160 PUSHACC1 
 
146
     161 C_CALL2 caml_output_char
 
147
     163 RETURN 2
 
148
     165 RESTART 
 
149
     166 GRAB 1
 
150
     168 ACC1 
 
151
     169 PUSHACC1 
 
152
     170 C_CALL2 caml_output_int
 
153
     172 RETURN 2
 
154
     174 RESTART 
 
155
     175 GRAB 1
 
156
     177 ACC1 
 
157
     178 PUSHACC1 
 
158
     179 C_CALL2 caml_seek_out
 
159
     181 RETURN 2
 
160
     183 ACC0 
 
161
     184 C_CALL1 caml_pos_out
 
162
     186 RETURN 1
 
163
     188 ACC0 
 
164
     189 C_CALL1 caml_channel_size
 
165
     191 RETURN 1
 
166
     193 RESTART 
 
167
     194 GRAB 1
 
168
     196 ACC1 
 
169
     197 PUSHACC1 
 
170
     198 C_CALL2 caml_set_binary_mode
 
171
     200 RETURN 2
 
172
     202 ACC0 
 
173
     203 C_CALL1 caml_input_char
 
174
     205 RETURN 1
 
175
     207 ACC0 
 
176
     208 C_CALL1 caml_input_char
 
177
     210 RETURN 1
 
178
     212 ACC0 
 
179
     213 C_CALL1 caml_input_int
 
180
     215 RETURN 1
 
181
     217 ACC0 
 
182
     218 C_CALL1 input_value
 
183
     220 RETURN 1
 
184
     222 RESTART 
 
185
     223 GRAB 1
 
186
     225 ACC1 
 
187
     226 PUSHACC1 
 
188
     227 C_CALL2 caml_seek_in
 
189
     229 RETURN 2
 
190
     231 ACC0 
 
191
     232 C_CALL1 caml_pos_in
 
192
     234 RETURN 1
 
193
     236 ACC0 
 
194
     237 C_CALL1 caml_channel_size
 
195
     239 RETURN 1
 
196
     241 ACC0 
 
197
     242 C_CALL1 caml_close_channel
 
198
     244 RETURN 1
 
199
     246 RESTART 
 
200
     247 GRAB 1
 
201
     249 ACC1 
 
202
     250 PUSHACC1 
 
203
     251 C_CALL2 caml_set_binary_mode
 
204
     253 RETURN 2
 
205
     255 CONST0 
 
206
     256 PUSHENVACC1 
 
207
     257 APPLY1 
 
208
     258 ACC0 
 
209
     259 C_CALL1 sys_exit
 
210
     261 RETURN 1
 
211
     263 CONST0 
 
212
     264 PUSHENVACC1 
 
213
     265 GETFIELD0 
 
214
     266 APPTERM1 2
 
215
     268 CONST0 
 
216
     269 PUSHENVACC1 
 
217
     270 APPLY1 
 
218
     271 CONST0 
 
219
     272 PUSHENVACC2 
 
220
     273 APPTERM1 2
 
221
     275 ENVACC1 
 
222
     276 GETFIELD0 
 
223
     277 PUSHACC0 
 
224
     278 PUSHACC2 
 
225
     279 CLOSURE 2, 268
 
226
     282 PUSHENVACC1 
 
227
     283 SETFIELD0 
 
228
     284 RETURN 2
 
229
     286 ENVACC1 
 
230
     287 C_CALL1 caml_flush
 
231
     289 ENVACC2 
 
232
     290 C_CALL1 caml_flush
 
233
     292 RETURN 1
 
234
     294 CONST0 
 
235
     295 PUSHENVACC1 
 
236
     296 APPLY1 
 
237
     297 C_CALL1 float_of_string
 
238
     299 RETURN 1
 
239
     301 CONST0 
 
240
     302 PUSHENVACC1 
 
241
     303 APPLY1 
 
242
     304 C_CALL1 int_of_string
 
243
     306 RETURN 1
 
244
     308 ENVACC2 
 
245
     309 C_CALL1 caml_flush
 
246
     311 ENVACC1 
 
247
     312 PUSHENVACC3 
 
248
     313 APPTERM1 2
 
249
     315 CONSTINT 13
 
250
     317 PUSHENVACC1 
 
251
     318 C_CALL2 caml_output_char
 
252
     320 ENVACC1 
 
253
     321 C_CALL1 caml_flush
 
254
     323 RETURN 1
 
255
     325 ACC0 
 
256
     326 PUSHENVACC1 
 
257
     327 PUSHENVACC2 
 
258
     328 APPLY2 
 
259
     329 CONSTINT 13
 
260
     331 PUSHENVACC1 
 
261
     332 C_CALL2 caml_output_char
 
262
     334 ENVACC1 
 
263
     335 C_CALL1 caml_flush
 
264
     337 RETURN 1
 
265
     339 ACC0 
 
266
     340 PUSHENVACC1 
 
267
     341 APPLY1 
 
268
     342 PUSHENVACC2 
 
269
     343 PUSHENVACC3 
 
270
     344 APPTERM2 3
 
271
     346 ACC0 
 
272
     347 PUSHENVACC1 
 
273
     348 APPLY1 
 
274
     349 PUSHENVACC2 
 
275
     350 PUSHENVACC3 
 
276
     351 APPTERM2 3
 
277
     353 ACC0 
 
278
     354 PUSHENVACC1 
 
279
     355 PUSHENVACC2 
 
280
     356 APPTERM2 3
 
281
     358 ACC0 
 
282
     359 PUSHENVACC1 
 
283
     360 C_CALL2 caml_output_char
 
284
     362 RETURN 1
 
285
     364 CONSTINT 13
 
286
     366 PUSHENVACC1 
 
287
     367 C_CALL2 caml_output_char
 
288
     369 ENVACC1 
 
289
     370 C_CALL1 caml_flush
 
290
     372 RETURN 1
 
291
     374 ACC0 
 
292
     375 PUSHENVACC1 
 
293
     376 PUSHENVACC2 
 
294
     377 APPLY2 
 
295
     378 CONSTINT 13
 
296
     380 PUSHENVACC1 
 
297
     381 C_CALL2 caml_output_char
 
298
     383 RETURN 1
 
299
     385 ACC0 
 
300
     386 PUSHENVACC1 
 
301
     387 APPLY1 
 
302
     388 PUSHENVACC2 
 
303
     389 PUSHENVACC3 
 
304
     390 APPTERM2 3
 
305
     392 ACC0 
 
306
     393 PUSHENVACC1 
 
307
     394 APPLY1 
 
308
     395 PUSHENVACC2 
 
309
     396 PUSHENVACC3 
 
310
     397 APPTERM2 3
 
311
     399 ACC0 
 
312
     400 PUSHENVACC1 
 
313
     401 PUSHENVACC2 
 
314
     402 APPTERM2 3
 
315
     404 ACC0 
 
316
     405 PUSHENVACC1 
 
317
     406 C_CALL2 caml_output_char
 
318
     408 RETURN 1
 
319
     410 RESTART 
 
320
     411 GRAB 3
 
321
     413 CONST0 
 
322
     414 PUSHACC3 
 
323
     415 LTINT 
 
324
     416 BRANCHIF 427
 
325
     418 ACC1 
 
326
     419 C_CALL1 ml_string_length
 
327
     421 PUSHACC4 
 
328
     422 PUSHACC4 
 
329
     423 ADDINT 
 
330
     424 GTINT 
 
331
     425 BRANCHIFNOT 432
 
332
     427 GETGLOBAL "really_input"
 
333
     429 PUSHENVACC1 
 
334
     430 APPTERM1 5
 
335
     432 ACC3 
 
336
     433 PUSHACC3 
 
337
     434 PUSHACC3 
 
338
     435 PUSHACC3 
 
339
     436 PUSHENVACC2 
 
340
     437 APPTERM 4, 8
 
341
     440 RESTART 
 
342
     441 GRAB 3
 
343
     443 CONST0 
 
344
     444 PUSHACC3 
 
345
     445 LTINT 
 
346
     446 BRANCHIF 457
 
347
     448 ACC1 
 
348
     449 C_CALL1 ml_string_length
 
349
     451 PUSHACC4 
 
350
     452 PUSHACC4 
 
351
     453 ADDINT 
 
352
     454 GTINT 
 
353
     455 BRANCHIFNOT 462
 
354
     457 GETGLOBAL "input"
 
355
     459 PUSHENVACC1 
 
356
     460 APPTERM1 5
 
357
     462 ACC3 
 
358
     463 PUSHACC3 
 
359
     464 PUSHACC3 
 
360
     465 PUSHACC3 
 
361
     466 C_CALL4 caml_input
 
362
     468 RETURN 4
 
363
     470 ACC0 
 
364
     471 PUSHCONST0 
 
365
     472 PUSHGETGLOBAL <0>(0, <0>(6, 0))
 
366
     474 PUSHENVACC1 
 
367
     475 APPTERM3 4
 
368
     477 ACC0 
 
369
     478 PUSHCONST0 
 
370
     479 PUSHGETGLOBAL <0>(0, <0>(7, 0))
 
371
     481 PUSHENVACC1 
 
372
     482 APPTERM3 4
 
373
     484 RESTART 
 
374
     485 GRAB 2
 
375
     487 ACC1 
 
376
     488 PUSHACC1 
 
377
     489 PUSHACC4 
 
378
     490 C_CALL3 sys_open
 
379
     492 C_CALL1 caml_open_descriptor
 
380
     494 RETURN 3
 
381
     496 ACC0 
 
382
     497 C_CALL1 caml_flush
 
383
     499 ACC0 
 
384
     500 C_CALL1 caml_close_channel
 
385
     502 RETURN 1
 
386
     504 RESTART 
 
387
     505 GRAB 1
 
388
     507 CONST0 
 
389
     508 PUSHACC2 
 
390
     509 PUSHACC2 
 
391
     510 C_CALL3 output_value
 
392
     512 RETURN 2
 
393
     514 RESTART 
 
394
     515 GRAB 3
 
395
     517 CONST0 
 
396
     518 PUSHACC3 
 
397
     519 LTINT 
 
398
     520 BRANCHIF 531
 
399
     522 ACC1 
 
400
     523 C_CALL1 ml_string_length
 
401
     525 PUSHACC4 
 
402
     526 PUSHACC4 
 
403
     527 ADDINT 
 
404
     528 GTINT 
 
405
     529 BRANCHIFNOT 536
 
406
     531 GETGLOBAL "output"
 
407
     533 PUSHENVACC1 
 
408
     534 APPTERM1 5
 
409
     536 ACC3 
 
410
     537 PUSHACC3 
 
411
     538 PUSHACC3 
 
412
     539 PUSHACC3 
 
413
     540 C_CALL4 caml_output
 
414
     542 RETURN 4
 
415
     544 RESTART 
 
416
     545 GRAB 1
 
417
     547 ACC1 
 
418
     548 C_CALL1 ml_string_length
 
419
     550 PUSHCONST0 
 
420
     551 PUSHACC3 
 
421
     552 PUSHACC3 
 
422
     553 C_CALL4 caml_output
 
423
     555 RETURN 2
 
424
     557 ACC0 
 
425
     558 PUSHCONSTINT 438
 
426
     560 PUSHGETGLOBAL <0>(1, <0>(3, <0>(4, <0>(6, 0))))
 
427
     562 PUSHENVACC1 
 
428
     563 APPTERM3 4
 
429
     565 ACC0 
 
430
     566 PUSHCONSTINT 438
 
431
     568 PUSHGETGLOBAL <0>(1, <0>(3, <0>(4, <0>(7, 0))))
 
432
     570 PUSHENVACC1 
 
433
     571 APPTERM3 4
 
434
     573 RESTART 
 
435
     574 GRAB 2
 
436
     576 ACC1 
 
437
     577 PUSHACC1 
 
438
     578 PUSHACC4 
 
439
     579 C_CALL3 sys_open
 
440
     581 C_CALL1 caml_open_descriptor
 
441
     583 RETURN 3
 
442
     585 ACC0 
 
443
     586 PUSHGETGLOBAL "%.12g"
 
444
     588 C_CALL2 format_float
 
445
     590 RETURN 1
 
446
     592 ACC0 
 
447
     593 PUSHGETGLOBAL "%d"
 
448
     595 C_CALL2 format_int
 
449
     597 RETURN 1
 
450
     599 GETGLOBAL "false"
 
451
     601 PUSHACC1 
 
452
     602 C_CALL2 string_equal
 
453
     604 BRANCHIFNOT 609
 
454
     606 CONST0 
 
455
     607 RETURN 1
 
456
     609 GETGLOBAL "true"
 
457
     611 PUSHACC1 
 
458
     612 C_CALL2 string_equal
 
459
     614 BRANCHIFNOT 619
 
460
     616 CONST1 
 
461
     617 RETURN 1
 
462
     619 GETGLOBAL "bool_of_string"
 
463
     621 PUSHENVACC1 
 
464
     622 APPTERM1 2
 
465
     624 ACC0 
 
466
     625 BRANCHIFNOT 631
 
467
     627 GETGLOBAL "true"
 
468
     629 RETURN 1
 
469
     631 GETGLOBAL "false"
 
470
     633 RETURN 1
 
471
     635 CONST0 
 
472
     636 PUSHACC1 
 
473
     637 LTINT 
 
474
     638 BRANCHIF 646
 
475
     640 CONSTINT 255
 
476
     642 PUSHACC1 
 
477
     643 GTINT 
 
478
     644 BRANCHIFNOT 651
 
479
     646 GETGLOBAL "char_of_int"
 
480
     648 PUSHENVACC1 
 
481
     649 APPTERM1 2
 
482
     651 ACC0 
 
483
     652 RETURN 1
 
484
     654 RESTART 
 
485
     655 GRAB 1
 
486
     657 ACC0 
 
487
     658 C_CALL1 ml_string_length
 
488
     660 PUSHACC2 
 
489
     661 C_CALL1 ml_string_length
 
490
     663 PUSHACC0 
 
491
     664 PUSHACC2 
 
492
     665 ADDINT 
 
493
     666 C_CALL1 create_string
 
494
     668 PUSHACC2 
 
495
     669 PUSHCONST0 
 
496
     670 PUSHACC2 
 
497
     671 PUSHCONST0 
 
498
     672 PUSHACC7 
 
499
     673 C_CALL5 blit_string
 
500
     675 ACC1 
 
501
     676 PUSHACC3 
 
502
     677 PUSHACC2 
 
503
     678 PUSHCONST0 
 
504
     679 PUSHACC 8
 
505
     681 C_CALL5 blit_string
 
506
     683 ACC0 
 
507
     684 RETURN 5
 
508
     686 CONSTINT -1
 
509
     688 PUSHACC1 
 
510
     689 XORINT 
 
511
     690 RETURN 1
 
512
     692 CONST0 
 
513
     693 PUSHACC1 
 
514
     694 GEINT 
 
515
     695 BRANCHIFNOT 700
 
516
     697 ACC0 
 
517
     698 RETURN 1
 
518
     700 ACC0 
 
519
     701 NEGINT 
 
520
     702 RETURN 1
 
521
     704 RESTART 
 
522
     705 GRAB 1
 
523
     707 ACC1 
 
524
     708 PUSHACC1 
 
525
     709 C_CALL2 greaterequal
 
526
     711 BRANCHIFNOT 716
 
527
     713 ACC0 
 
528
     714 RETURN 2
 
529
     716 ACC1 
 
530
     717 RETURN 2
 
531
     719 RESTART 
 
532
     720 GRAB 1
 
533
     722 ACC1 
 
534
     723 PUSHACC1 
 
535
     724 C_CALL2 lessequal
 
536
     726 BRANCHIFNOT 731
 
537
     728 ACC0 
 
538
     729 RETURN 2
 
539
     731 ACC1 
 
540
     732 RETURN 2
 
541
     734 ACC0 
 
542
     735 PUSHGETGLOBAL Invalid_argument
 
543
     737 MAKEBLOCK2 0
 
544
     739 RAISE 
 
545
     740 ACC0 
 
546
     741 PUSHGETGLOBAL Failure
 
547
     743 MAKEBLOCK2 0
 
548
     745 RAISE 
 
549
     746 CLOSURE 0, 740
 
550
     749 PUSH 
 
551
     750 CLOSURE 0, 734
 
552
     753 PUSHGETGLOBAL "Pervasives.Exit"
 
553
     755 MAKEBLOCK1 0
 
554
     757 PUSHGETGLOBAL "Pervasives.Assert_failure"
 
555
     759 MAKEBLOCK1 0
 
556
     761 PUSH 
 
557
     762 CLOSURE 0, 720
 
558
     765 PUSH 
 
559
     766 CLOSURE 0, 705
 
560
     769 PUSH 
 
561
     770 CLOSURE 0, 692
 
562
     773 PUSH 
 
563
     774 CLOSURE 0, 686
 
564
     777 PUSHCONST0 
 
565
     778 PUSHCONSTINT 31
 
566
     780 PUSHCONST1 
 
567
     781 LSLINT 
 
568
     782 EQ 
 
569
     783 BRANCHIFNOT 789
 
570
     785 CONSTINT 30
 
571
     787 BRANCH 791
 
572
     789 CONSTINT 62
 
573
     791 PUSHCONST1 
 
574
     792 LSLINT 
 
575
     793 PUSHACC0 
 
576
     794 OFFSETINT -1
 
577
     796 PUSH 
 
578
     797 CLOSURE 0, 655
 
579
     800 PUSHACC 9
 
580
     802 CLOSURE 1, 635
 
581
     805 PUSH 
 
582
     806 CLOSURE 0, 624
 
583
     809 PUSHACC 11
 
584
     811 CLOSURE 1, 599
 
585
     814 PUSH 
 
586
     815 CLOSURE 0, 592
 
587
     818 PUSH 
 
588
     819 CLOSURE 0, 585
 
589
     822 PUSH 
 
590
     823 CLOSUREREC 0, 12
 
591
     827 CONST0 
 
592
     828 C_CALL1 caml_open_descriptor
 
593
     830 PUSHCONST1 
 
594
     831 C_CALL1 caml_open_descriptor
 
595
     833 PUSHCONST2 
 
596
     834 C_CALL1 caml_open_descriptor
 
597
     836 PUSH 
 
598
     837 CLOSURE 0, 574
 
599
     840 PUSHACC0 
 
600
     841 CLOSURE 1, 565
 
601
     844 PUSHACC1 
 
602
     845 CLOSURE 1, 557
 
603
     848 PUSH 
 
604
     849 CLOSURE 0, 545
 
605
     852 PUSHACC 22
 
606
     854 CLOSURE 1, 515
 
607
     857 PUSH 
 
608
     858 CLOSURE 0, 505
 
609
     861 PUSH 
 
610
     862 CLOSURE 0, 496
 
611
     865 PUSH 
 
612
     866 CLOSURE 0, 485
 
613
     869 PUSHACC0 
 
614
     870 CLOSURE 1, 477
 
615
     873 PUSHACC1 
 
616
     874 CLOSURE 1, 470
 
617
     877 PUSHACC 28
 
618
     879 CLOSURE 1, 441
 
619
     882 PUSH 
 
620
     883 CLOSUREREC 0, 32
 
621
     887 ACC0 
 
622
     888 PUSHACC 31
 
623
     890 CLOSURE 2, 411
 
624
     893 PUSHACC 22
 
625
     895 CLOSUREREC 1, 70
 
626
     899 ACC 15
 
627
     901 CLOSURE 1, 404
 
628
     904 PUSHACC 11
 
629
     906 PUSHACC 17
 
630
     908 CLOSURE 2, 399
 
631
     911 PUSHACC 12
 
632
     913 PUSHACC 18
 
633
     915 PUSHACC 23
 
634
     917 CLOSURE 3, 392
 
635
     920 PUSHACC 13
 
636
     922 PUSHACC 19
 
637
     924 PUSHACC 23
 
638
     926 CLOSURE 3, 385
 
639
     929 PUSHACC 14
 
640
     931 PUSHACC 20
 
641
     933 CLOSURE 2, 374
 
642
     936 PUSHACC 20
 
643
     938 CLOSURE 1, 364
 
644
     941 PUSHACC 20
 
645
     943 CLOSURE 1, 358
 
646
     946 PUSHACC 17
 
647
     948 PUSHACC 22
 
648
     950 CLOSURE 2, 353
 
649
     953 PUSHACC 18
 
650
     955 PUSHACC 23
 
651
     957 PUSHACC 29
 
652
     959 CLOSURE 3, 346
 
653
     962 PUSHACC 19
 
654
     964 PUSHACC 24
 
655
     966 PUSHACC 29
 
656
     968 CLOSURE 3, 339
 
657
     971 PUSHACC 20
 
658
     973 PUSHACC 25
 
659
     975 CLOSURE 2, 325
 
660
     978 PUSHACC 25
 
661
     980 CLOSURE 1, 315
 
662
     983 PUSHACC 12
 
663
     985 PUSHACC 28
 
664
     987 PUSHACC 30
 
665
     989 CLOSURE 3, 308
 
666
     992 PUSHACC0 
 
667
     993 CLOSURE 1, 301
 
668
     996 PUSHACC1 
 
669
     997 CLOSURE 1, 294
 
670
    1000 PUSHACC 29
 
671
    1002 PUSHACC 31
 
672
    1004 CLOSURE 2, 286
 
673
    1007 MAKEBLOCK1 0
 
674
    1009 PUSHACC0 
 
675
    1010 CLOSURE 1, 275
 
676
    1013 PUSHACC1 
 
677
    1014 CLOSURE 1, 263
 
678
    1017 PUSHACC0 
 
679
    1018 CLOSURE 1, 255
 
680
    1021 PUSHACC1 
 
681
    1022 PUSHACC 22
 
682
    1024 PUSHACC4 
 
683
    1025 PUSHACC3 
 
684
    1026 PUSH 
 
685
    1027 CLOSURE 0, 247
 
686
    1030 PUSH 
 
687
    1031 CLOSURE 0, 241
 
688
    1034 PUSH 
 
689
    1035 CLOSURE 0, 236
 
690
    1038 PUSH 
 
691
    1039 CLOSURE 0, 231
 
692
    1042 PUSH 
 
693
    1043 CLOSURE 0, 223
 
694
    1046 PUSH 
 
695
    1047 CLOSURE 0, 217
 
696
    1050 PUSH 
 
697
    1051 CLOSURE 0, 212
 
698
    1054 PUSH 
 
699
    1055 CLOSURE 0, 207
 
700
    1058 PUSHACC 32
 
701
    1060 PUSHACC 35
 
702
    1062 PUSHACC 33
 
703
    1064 PUSH 
 
704
    1065 CLOSURE 0, 202
 
705
    1068 PUSHACC 41
 
706
    1070 PUSHACC 40
 
707
    1072 PUSHACC 42
 
708
    1074 PUSH 
 
709
    1075 CLOSURE 0, 194
 
710
    1078 PUSHACC 46
 
711
    1080 PUSH 
 
712
    1081 CLOSURE 0, 188
 
713
    1084 PUSH 
 
714
    1085 CLOSURE 0, 183
 
715
    1088 PUSH 
 
716
    1089 CLOSURE 0, 175
 
717
    1092 PUSHACC 51
 
718
    1094 PUSH 
 
719
    1095 CLOSURE 0, 166
 
720
    1098 PUSH 
 
721
    1099 CLOSURE 0, 157
 
722
    1102 PUSHACC 55
 
723
    1104 PUSHACC 57
 
724
    1106 PUSH 
 
725
    1107 CLOSURE 0, 148
 
726
    1110 PUSH 
 
727
    1111 CLOSURE 0, 142
 
728
    1114 PUSHACC 63
 
729
    1116 PUSHACC 62
 
730
    1118 PUSHACC 64
 
731
    1120 PUSHACC 38
 
732
    1122 PUSHACC 40
 
733
    1124 PUSHACC 42
 
734
    1126 PUSHACC 44
 
735
    1128 PUSHACC 46
 
736
    1130 PUSHACC 48
 
737
    1132 PUSHACC 50
 
738
    1134 PUSHACC 52
 
739
    1136 PUSHACC 54
 
740
    1138 PUSHACC 56
 
741
    1140 PUSHACC 58
 
742
    1142 PUSHACC 60
 
743
    1144 PUSHACC 62
 
744
    1146 PUSHACC 64
 
745
    1148 PUSHACC 66
 
746
    1150 PUSHACC 82
 
747
    1152 PUSHACC 84
 
748
    1154 PUSHACC 86
 
749
    1156 PUSHACC 88
 
750
    1158 PUSHACC 90
 
751
    1160 PUSHACC 92
 
752
    1162 PUSHACC 94
 
753
    1164 PUSHACC 96
 
754
    1166 PUSHACC 98
 
755
    1168 PUSHACC 100
 
756
    1170 PUSHACC 104
 
757
    1172 PUSHACC 104
 
758
    1174 PUSHACC 104
 
759
    1176 PUSHACC 108
 
760
    1178 PUSHACC 110
 
761
    1180 PUSHACC 112
 
762
    1182 PUSHACC 117
 
763
    1184 PUSHACC 117
 
764
    1186 PUSHACC 117
 
765
    1188 PUSHACC 117
 
766
    1190 MAKEBLOCK 69, 0
 
767
    1193 POP 53
 
768
    1195 SETGLOBAL Pervasives
 
769
    1197 BRANCH 2177
 
770
    1199 RESTART 
 
771
    1200 GRAB 1
 
772
    1202 ACC1 
 
773
    1203 BRANCHIFNOT 1213
 
774
    1205 ACC1 
 
775
    1206 GETFIELD1 
 
776
    1207 PUSHACC1 
 
777
    1208 OFFSETINT 1
 
778
    1210 PUSHOFFSETCLOSURE0 
 
779
    1211 APPTERM2 4
 
780
    1213 ACC0 
 
781
    1214 RETURN 2
 
782
    1216 RESTART 
 
783
    1217 GRAB 1
 
784
    1219 ACC0 
 
785
    1220 BRANCHIFNOT 1251
 
786
    1222 CONST0 
 
787
    1223 PUSHACC2 
 
788
    1224 EQ 
 
789
    1225 BRANCHIFNOT 1231
 
790
    1227 ACC0 
 
791
    1228 GETFIELD0 
 
792
    1229 RETURN 2
 
793
    1231 CONST0 
 
794
    1232 PUSHACC2 
 
795
    1233 GTINT 
 
796
    1234 BRANCHIFNOT 1244
 
797
    1236 ACC1 
 
798
    1237 OFFSETINT -1
 
799
    1239 PUSHACC1 
 
800
    1240 GETFIELD1 
 
801
    1241 PUSHOFFSETCLOSURE0 
 
802
    1242 APPTERM2 4
 
803
    1244 GETGLOBAL "List.nth"
 
804
    1246 PUSHGETGLOBALFIELD Pervasives, 2
 
805
    1249 APPTERM1 3
 
806
    1251 GETGLOBAL "nth"
 
807
    1253 PUSHGETGLOBALFIELD Pervasives, 3
 
808
    1256 APPTERM1 3
 
809
    1258 RESTART 
 
810
    1259 GRAB 1
 
811
    1261 ACC0 
 
812
    1262 BRANCHIFNOT 1274
 
813
    1264 ACC1 
 
814
    1265 PUSHACC1 
 
815
    1266 GETFIELD0 
 
816
    1267 MAKEBLOCK2 0
 
817
    1269 PUSHACC1 
 
818
    1270 GETFIELD1 
 
819
    1271 PUSHOFFSETCLOSURE0 
 
820
    1272 APPTERM2 4
 
821
    1274 ACC1 
 
822
    1275 RETURN 2
 
823
    1277 ACC0 
 
824
    1278 BRANCHIFNOT 1291
 
825
    1280 ACC0 
 
826
    1281 GETFIELD1 
 
827
    1282 PUSHOFFSETCLOSURE0 
 
828
    1283 APPLY1 
 
829
    1284 PUSHACC1 
 
830
    1285 GETFIELD0 
 
831
    1286 PUSHGETGLOBALFIELD Pervasives, 16
 
832
    1289 APPTERM2 3
 
833
    1291 RETURN 1
 
834
    1293 RESTART 
 
835
    1294 GRAB 1
 
836
    1296 ACC1 
 
837
    1297 BRANCHIFNOT 1313
 
838
    1299 ACC1 
 
839
    1300 GETFIELD0 
 
840
    1301 PUSHACC1 
 
841
    1302 APPLY1 
 
842
    1303 PUSHACC2 
 
843
    1304 GETFIELD1 
 
844
    1305 PUSHACC2 
 
845
    1306 PUSHOFFSETCLOSURE0 
 
846
    1307 APPLY2 
 
847
    1308 PUSHACC1 
 
848
    1309 MAKEBLOCK2 0
 
849
    1311 POP 1
 
850
    1313 RETURN 2
 
851
    1315 RESTART 
 
852
    1316 GRAB 1
 
853
    1318 ACC1 
 
854
    1319 BRANCHIFNOT 1331
 
855
    1321 ACC1 
 
856
    1322 GETFIELD0 
 
857
    1323 PUSHACC1 
 
858
    1324 APPLY1 
 
859
    1325 ACC1 
 
860
    1326 GETFIELD1 
 
861
    1327 PUSHACC1 
 
862
    1328 PUSHOFFSETCLOSURE0 
 
863
    1329 APPTERM2 4
 
864
    1331 RETURN 2
 
865
    1333 RESTART 
 
866
    1334 GRAB 2
 
867
    1336 ACC2 
 
868
    1337 BRANCHIFNOT 1350
 
869
    1339 ACC2 
 
870
    1340 GETFIELD1 
 
871
    1341 PUSHACC3 
 
872
    1342 GETFIELD0 
 
873
    1343 PUSHACC3 
 
874
    1344 PUSHACC3 
 
875
    1345 APPLY2 
 
876
    1346 PUSHACC2 
 
877
    1347 PUSHOFFSETCLOSURE0 
 
878
    1348 APPTERM3 6
 
879
    1350 ACC1 
 
880
    1351 RETURN 3
 
881
    1353 RESTART 
 
882
    1354 GRAB 2
 
883
    1356 ACC1 
 
884
    1357 BRANCHIFNOT 1370
 
885
    1359 ACC2 
 
886
    1360 PUSHACC2 
 
887
    1361 GETFIELD1 
 
888
    1362 PUSHACC2 
 
889
    1363 PUSHOFFSETCLOSURE0 
 
890
    1364 APPLY3 
 
891
    1365 PUSHACC2 
 
892
    1366 GETFIELD0 
 
893
    1367 PUSHACC2 
 
894
    1368 APPTERM2 5
 
895
    1370 ACC2 
 
896
    1371 RETURN 3
 
897
    1373 RESTART 
 
898
    1374 GRAB 2
 
899
    1376 ACC1 
 
900
    1377 BRANCHIFNOT 1400
 
901
    1379 ACC2 
 
902
    1380 BRANCHIFNOT 1407
 
903
    1382 ACC2 
 
904
    1383 GETFIELD0 
 
905
    1384 PUSHACC2 
 
906
    1385 GETFIELD0 
 
907
    1386 PUSHACC2 
 
908
    1387 APPLY2 
 
909
    1388 PUSHACC3 
 
910
    1389 GETFIELD1 
 
911
    1390 PUSHACC3 
 
912
    1391 GETFIELD1 
 
913
    1392 PUSHACC3 
 
914
    1393 PUSHOFFSETCLOSURE0 
 
915
    1394 APPLY3 
 
916
    1395 PUSHACC1 
 
917
    1396 MAKEBLOCK2 0
 
918
    1398 RETURN 4
 
919
    1400 ACC2 
 
920
    1401 BRANCHIFNOT 1405
 
921
    1403 BRANCH 1407
 
922
    1405 RETURN 3
 
923
    1407 GETGLOBAL "List.map2"
 
924
    1409 PUSHGETGLOBALFIELD Pervasives, 2
 
925
    1412 APPTERM1 4
 
926
    1414 RESTART 
 
927
    1415 GRAB 2
 
928
    1417 ACC1 
 
929
    1418 BRANCHIFNOT 1437
 
930
    1420 ACC2 
 
931
    1421 BRANCHIFNOT 1444
 
932
    1423 ACC2 
 
933
    1424 GETFIELD0 
 
934
    1425 PUSHACC2 
 
935
    1426 GETFIELD0 
 
936
    1427 PUSHACC2 
 
937
    1428 APPLY2 
 
938
    1429 ACC2 
 
939
    1430 GETFIELD1 
 
940
    1431 PUSHACC2 
 
941
    1432 GETFIELD1 
 
942
    1433 PUSHACC2 
 
943
    1434 PUSHOFFSETCLOSURE0 
 
944
    1435 APPTERM3 6
 
945
    1437 ACC2 
 
946
    1438 BRANCHIFNOT 1442
 
947
    1440 BRANCH 1444
 
948
    1442 RETURN 3
 
949
    1444 GETGLOBAL "List.iter2"
 
950
    1446 PUSHGETGLOBALFIELD Pervasives, 2
 
951
    1449 APPTERM1 4
 
952
    1451 RESTART 
 
953
    1452 GRAB 3
 
954
    1454 ACC2 
 
955
    1455 BRANCHIFNOT 1476
 
956
    1457 ACC3 
 
957
    1458 BRANCHIFNOT 1482
 
958
    1460 ACC3 
 
959
    1461 GETFIELD1 
 
960
    1462 PUSHACC3 
 
961
    1463 GETFIELD1 
 
962
    1464 PUSHACC5 
 
963
    1465 GETFIELD0 
 
964
    1466 PUSHACC5 
 
965
    1467 GETFIELD0 
 
966
    1468 PUSHACC5 
 
967
    1469 PUSHACC5 
 
968
    1470 APPLY3 
 
969
    1471 PUSHACC3 
 
970
    1472 PUSHOFFSETCLOSURE0 
 
971
    1473 APPTERM 4, 8
 
972
    1476 ACC3 
 
973
    1477 BRANCHIF 1482
 
974
    1479 ACC1 
 
975
    1480 RETURN 4
 
976
    1482 GETGLOBAL "List.fold_left2"
 
977
    1484 PUSHGETGLOBALFIELD Pervasives, 2
 
978
    1487 APPTERM1 5
 
979
    1489 RESTART 
 
980
    1490 GRAB 3
 
981
    1492 ACC1 
 
982
    1493 BRANCHIFNOT 1516
 
983
    1495 ACC2 
 
984
    1496 BRANCHIFNOT 1522
 
985
    1498 PUSH_RETADDR 1509
 
986
    1500 ACC6 
 
987
    1501 PUSHACC6 
 
988
    1502 GETFIELD1 
 
989
    1503 PUSHACC6 
 
990
    1504 GETFIELD1 
 
991
    1505 PUSHACC6 
 
992
    1506 PUSHOFFSETCLOSURE0 
 
993
    1507 APPLY 4
 
994
    1509 PUSHACC3 
 
995
    1510 GETFIELD0 
 
996
    1511 PUSHACC3 
 
997
    1512 GETFIELD0 
 
998
    1513 PUSHACC3 
 
999
    1514 APPTERM3 7
 
1000
    1516 ACC2 
 
1001
    1517 BRANCHIF 1522
 
1002
    1519 ACC3 
 
1003
    1520 RETURN 4
 
1004
    1522 GETGLOBAL "List.fold_right2"
 
1005
    1524 PUSHGETGLOBALFIELD Pervasives, 2
 
1006
    1527 APPTERM1 5
 
1007
    1529 RESTART 
 
1008
    1530 GRAB 1
 
1009
    1532 ACC1 
 
1010
    1533 BRANCHIFNOT 1549
 
1011
    1535 ACC1 
 
1012
    1536 GETFIELD0 
 
1013
    1537 PUSHACC1 
 
1014
    1538 APPLY1 
 
1015
    1539 BRANCHIFNOT 1547
 
1016
    1541 ACC1 
 
1017
    1542 GETFIELD1 
 
1018
    1543 PUSHACC1 
 
1019
    1544 PUSHOFFSETCLOSURE0 
 
1020
    1545 APPTERM2 4
 
1021
    1547 RETURN 2
 
1022
    1549 CONST1 
 
1023
    1550 RETURN 2
 
1024
    1552 RESTART 
 
1025
    1553 GRAB 1
 
1026
    1555 ACC1 
 
1027
    1556 BRANCHIFNOT 1570
 
1028
    1558 ACC1 
 
1029
    1559 GETFIELD0 
 
1030
    1560 PUSHACC1 
 
1031
    1561 APPLY1 
 
1032
    1562 BRANCHIF 1570
 
1033
    1564 ACC1 
 
1034
    1565 GETFIELD1 
 
1035
    1566 PUSHACC1 
 
1036
    1567 PUSHOFFSETCLOSURE0 
 
1037
    1568 APPTERM2 4
 
1038
    1570 RETURN 2
 
1039
    1572 RESTART 
 
1040
    1573 GRAB 2
 
1041
    1575 ACC1 
 
1042
    1576 BRANCHIFNOT 1599
 
1043
    1578 ACC2 
 
1044
    1579 BRANCHIFNOT 1605
 
1045
    1581 ACC2 
 
1046
    1582 GETFIELD0 
 
1047
    1583 PUSHACC2 
 
1048
    1584 GETFIELD0 
 
1049
    1585 PUSHACC2 
 
1050
    1586 APPLY2 
 
1051
    1587 BRANCHIFNOT 1597
 
1052
    1589 ACC2 
 
1053
    1590 GETFIELD1 
 
1054
    1591 PUSHACC2 
 
1055
    1592 GETFIELD1 
 
1056
    1593 PUSHACC2 
 
1057
    1594 PUSHOFFSETCLOSURE0 
 
1058
    1595 APPTERM3 6
 
1059
    1597 RETURN 3
 
1060
    1599 ACC2 
 
1061
    1600 BRANCHIF 1605
 
1062
    1602 CONST1 
 
1063
    1603 RETURN 3
 
1064
    1605 GETGLOBAL "List.for_all2"
 
1065
    1607 PUSHGETGLOBALFIELD Pervasives, 2
 
1066
    1610 APPTERM1 4
 
1067
    1612 RESTART 
 
1068
    1613 GRAB 2
 
1069
    1615 ACC1 
 
1070
    1616 BRANCHIFNOT 1639
 
1071
    1618 ACC2 
 
1072
    1619 BRANCHIFNOT 1646
 
1073
    1621 ACC2 
 
1074
    1622 GETFIELD0 
 
1075
    1623 PUSHACC2 
 
1076
    1624 GETFIELD0 
 
1077
    1625 PUSHACC2 
 
1078
    1626 APPLY2 
 
1079
    1627 BRANCHIF 1637
 
1080
    1629 ACC2 
 
1081
    1630 GETFIELD1 
 
1082
    1631 PUSHACC2 
 
1083
    1632 GETFIELD1 
 
1084
    1633 PUSHACC2 
 
1085
    1634 PUSHOFFSETCLOSURE0 
 
1086
    1635 APPTERM3 6
 
1087
    1637 RETURN 3
 
1088
    1639 ACC2 
 
1089
    1640 BRANCHIFNOT 1644
 
1090
    1642 BRANCH 1646
 
1091
    1644 RETURN 3
 
1092
    1646 GETGLOBAL "List.exists2"
 
1093
    1648 PUSHGETGLOBALFIELD Pervasives, 2
 
1094
    1651 APPTERM1 4
 
1095
    1653 RESTART 
 
1096
    1654 GRAB 1
 
1097
    1656 ACC1 
 
1098
    1657 BRANCHIFNOT 1672
 
1099
    1659 ACC0 
 
1100
    1660 PUSHACC2 
 
1101
    1661 GETFIELD0 
 
1102
    1662 C_CALL2 equal
 
1103
    1664 BRANCHIF 1672
 
1104
    1666 ACC1 
 
1105
    1667 GETFIELD1 
 
1106
    1668 PUSHACC1 
 
1107
    1669 PUSHOFFSETCLOSURE0 
 
1108
    1670 APPTERM2 4
 
1109
    1672 RETURN 2
 
1110
    1674 RESTART 
 
1111
    1675 GRAB 1
 
1112
    1677 ACC1 
 
1113
    1678 BRANCHIFNOT 1692
 
1114
    1680 ACC0 
 
1115
    1681 PUSHACC2 
 
1116
    1682 GETFIELD0 
 
1117
    1683 EQ 
 
1118
    1684 BRANCHIF 1692
 
1119
    1686 ACC1 
 
1120
    1687 GETFIELD1 
 
1121
    1688 PUSHACC1 
 
1122
    1689 PUSHOFFSETCLOSURE0 
 
1123
    1690 APPTERM2 4
 
1124
    1692 RETURN 2
 
1125
    1694 RESTART 
 
1126
    1695 GRAB 1
 
1127
    1697 ACC1 
 
1128
    1698 BRANCHIFNOT 1719
 
1129
    1700 ACC1 
 
1130
    1701 GETFIELD0 
 
1131
    1702 PUSHACC1 
 
1132
    1703 PUSHACC1 
 
1133
    1704 GETFIELD0 
 
1134
    1705 C_CALL2 equal
 
1135
    1707 BRANCHIFNOT 1713
 
1136
    1709 ACC0 
 
1137
    1710 GETFIELD1 
 
1138
    1711 RETURN 3
 
1139
    1713 ACC2 
 
1140
    1714 GETFIELD1 
 
1141
    1715 PUSHACC2 
 
1142
    1716 PUSHOFFSETCLOSURE0 
 
1143
    1717 APPTERM2 5
 
1144
    1719 GETGLOBAL Not_found
 
1145
    1721 MAKEBLOCK1 0
 
1146
    1723 RAISE 
 
1147
    1724 RESTART 
 
1148
    1725 GRAB 1
 
1149
    1727 ACC1 
 
1150
    1728 BRANCHIFNOT 1748
 
1151
    1730 ACC1 
 
1152
    1731 GETFIELD0 
 
1153
    1732 PUSHACC1 
 
1154
    1733 PUSHACC1 
 
1155
    1734 GETFIELD0 
 
1156
    1735 EQ 
 
1157
    1736 BRANCHIFNOT 1742
 
1158
    1738 ACC0 
 
1159
    1739 GETFIELD1 
 
1160
    1740 RETURN 3
 
1161
    1742 ACC2 
 
1162
    1743 GETFIELD1 
 
1163
    1744 PUSHACC2 
 
1164
    1745 PUSHOFFSETCLOSURE0 
 
1165
    1746 APPTERM2 5
 
1166
    1748 GETGLOBAL Not_found
 
1167
    1750 MAKEBLOCK1 0
 
1168
    1752 RAISE 
 
1169
    1753 RESTART 
 
1170
    1754 GRAB 1
 
1171
    1756 ACC1 
 
1172
    1757 BRANCHIFNOT 1773
 
1173
    1759 ACC0 
 
1174
    1760 PUSHACC2 
 
1175
    1761 GETFIELD0 
 
1176
    1762 GETFIELD0 
 
1177
    1763 C_CALL2 equal
 
1178
    1765 BRANCHIF 1773
 
1179
    1767 ACC1 
 
1180
    1768 GETFIELD1 
 
1181
    1769 PUSHACC1 
 
1182
    1770 PUSHOFFSETCLOSURE0 
 
1183
    1771 APPTERM2 4
 
1184
    1773 RETURN 2
 
1185
    1775 RESTART 
 
1186
    1776 GRAB 1
 
1187
    1778 ACC1 
 
1188
    1779 BRANCHIFNOT 1794
 
1189
    1781 ACC0 
 
1190
    1782 PUSHACC2 
 
1191
    1783 GETFIELD0 
 
1192
    1784 GETFIELD0 
 
1193
    1785 EQ 
 
1194
    1786 BRANCHIF 1794
 
1195
    1788 ACC1 
 
1196
    1789 GETFIELD1 
 
1197
    1790 PUSHACC1 
 
1198
    1791 PUSHOFFSETCLOSURE0 
 
1199
    1792 APPTERM2 4
 
1200
    1794 RETURN 2
 
1201
    1796 RESTART 
 
1202
    1797 GRAB 1
 
1203
    1799 ACC1 
 
1204
    1800 BRANCHIFNOT 1825
 
1205
    1802 ACC1 
 
1206
    1803 GETFIELD0 
 
1207
    1804 PUSHACC2 
 
1208
    1805 GETFIELD1 
 
1209
    1806 PUSHACC2 
 
1210
    1807 PUSHACC2 
 
1211
    1808 GETFIELD0 
 
1212
    1809 C_CALL2 equal
 
1213
    1811 BRANCHIFNOT 1816
 
1214
    1813 ACC0 
 
1215
    1814 RETURN 4
 
1216
    1816 ACC0 
 
1217
    1817 PUSHACC3 
 
1218
    1818 PUSHOFFSETCLOSURE0 
 
1219
    1819 APPLY2 
 
1220
    1820 PUSHACC2 
 
1221
    1821 MAKEBLOCK2 0
 
1222
    1823 POP 2
 
1223
    1825 RETURN 2
 
1224
    1827 RESTART 
 
1225
    1828 GRAB 1
 
1226
    1830 ACC1 
 
1227
    1831 BRANCHIFNOT 1855
 
1228
    1833 ACC1 
 
1229
    1834 GETFIELD0 
 
1230
    1835 PUSHACC2 
 
1231
    1836 GETFIELD1 
 
1232
    1837 PUSHACC2 
 
1233
    1838 PUSHACC2 
 
1234
    1839 GETFIELD0 
 
1235
    1840 EQ 
 
1236
    1841 BRANCHIFNOT 1846
 
1237
    1843 ACC0 
 
1238
    1844 RETURN 4
 
1239
    1846 ACC0 
 
1240
    1847 PUSHACC3 
 
1241
    1848 PUSHOFFSETCLOSURE0 
 
1242
    1849 APPLY2 
 
1243
    1850 PUSHACC2 
 
1244
    1851 MAKEBLOCK2 0
 
1245
    1853 POP 2
 
1246
    1855 RETURN 2
 
1247
    1857 RESTART 
 
1248
    1858 GRAB 1
 
1249
    1860 ACC1 
 
1250
    1861 BRANCHIFNOT 1879
 
1251
    1863 ACC1 
 
1252
    1864 GETFIELD0 
 
1253
    1865 PUSHACC0 
 
1254
    1866 PUSHACC2 
 
1255
    1867 APPLY1 
 
1256
    1868 BRANCHIFNOT 1873
 
1257
    1870 ACC0 
 
1258
    1871 RETURN 3
 
1259
    1873 ACC2 
 
1260
    1874 GETFIELD1 
 
1261
    1875 PUSHACC2 
 
1262
    1876 PUSHOFFSETCLOSURE0 
 
1263
    1877 APPTERM2 5
 
1264
    1879 GETGLOBAL Not_found
 
1265
    1881 MAKEBLOCK1 0
 
1266
    1883 RAISE 
 
1267
    1884 RESTART 
 
1268
    1885 GRAB 2
 
1269
    1887 ACC2 
 
1270
    1888 BRANCHIFNOT 1917
 
1271
    1890 ACC2 
 
1272
    1891 GETFIELD0 
 
1273
    1892 PUSHACC3 
 
1274
    1893 GETFIELD1 
 
1275
    1894 PUSHACC1 
 
1276
    1895 PUSHENVACC2 
 
1277
    1896 APPLY1 
 
1278
    1897 BRANCHIFNOT 1908
 
1279
    1899 ACC0 
 
1280
    1900 PUSHACC4 
 
1281
    1901 PUSHACC4 
 
1282
    1902 PUSHACC4 
 
1283
    1903 MAKEBLOCK2 0
 
1284
    1905 PUSHOFFSETCLOSURE0 
 
1285
    1906 APPTERM3 8
 
1286
    1908 ACC0 
 
1287
    1909 PUSHACC4 
 
1288
    1910 PUSHACC3 
 
1289
    1911 MAKEBLOCK2 0
 
1290
    1913 PUSHACC4 
 
1291
    1914 PUSHOFFSETCLOSURE0 
 
1292
    1915 APPTERM3 8
 
1293
    1917 ACC1 
 
1294
    1918 PUSHENVACC1 
 
1295
    1919 APPLY1 
 
1296
    1920 PUSHACC1 
 
1297
    1921 PUSHENVACC1 
 
1298
    1922 APPLY1 
 
1299
    1923 MAKEBLOCK2 0
 
1300
    1925 RETURN 3
 
1301
    1927 RESTART 
 
1302
    1928 GRAB 1
 
1303
    1930 ACC0 
 
1304
    1931 PUSHENVACC1 
 
1305
    1932 CLOSUREREC 2, 1885
 
1306
    1936 ACC2 
 
1307
    1937 PUSHCONST0 
 
1308
    1938 PUSHCONST0 
 
1309
    1939 PUSHACC3 
 
1310
    1940 APPTERM3 6
 
1311
    1942 ACC0 
 
1312
    1943 BRANCHIFNOT 1967
 
1313
    1945 ACC0 
 
1314
    1946 GETFIELD0 
 
1315
    1947 PUSHACC1 
 
1316
    1948 GETFIELD1 
 
1317
    1949 PUSHOFFSETCLOSURE0 
 
1318
    1950 APPLY1 
 
1319
    1951 PUSHACC0 
 
1320
    1952 GETFIELD1 
 
1321
    1953 PUSHACC2 
 
1322
    1954 GETFIELD1 
 
1323
    1955 MAKEBLOCK2 0
 
1324
    1957 PUSHACC1 
 
1325
    1958 GETFIELD0 
 
1326
    1959 PUSHACC3 
 
1327
    1960 GETFIELD0 
 
1328
    1961 MAKEBLOCK2 0
 
1329
    1963 MAKEBLOCK2 0
 
1330
    1965 RETURN 3
 
1331
    1967 GETGLOBAL <0>(0, 0)
 
1332
    1969 RETURN 1
 
1333
    1971 RESTART 
 
1334
    1972 GRAB 1
 
1335
    1974 ACC0 
 
1336
    1975 BRANCHIFNOT 1996
 
1337
    1977 ACC1 
 
1338
    1978 BRANCHIFNOT 2003
 
1339
    1980 ACC1 
 
1340
    1981 GETFIELD1 
 
1341
    1982 PUSHACC1 
 
1342
    1983 GETFIELD1 
 
1343
    1984 PUSHOFFSETCLOSURE0 
 
1344
    1985 APPLY2 
 
1345
    1986 PUSHACC2 
 
1346
    1987 GETFIELD0 
 
1347
    1988 PUSHACC2 
 
1348
    1989 GETFIELD0 
 
1349
    1990 MAKEBLOCK2 0
 
1350
    1992 MAKEBLOCK2 0
 
1351
    1994 RETURN 2
 
1352
    1996 ACC1 
 
1353
    1997 BRANCHIFNOT 2001
 
1354
    1999 BRANCH 2003
 
1355
    2001 RETURN 2
 
1356
    2003 GETGLOBAL "List.combine"
 
1357
    2005 PUSHGETGLOBALFIELD Pervasives, 2
 
1358
    2008 APPTERM1 3
 
1359
    2010 RESTART 
 
1360
    2011 GRAB 1
 
1361
    2013 ACC1 
 
1362
    2014 BRANCHIFNOT 2038
 
1363
    2016 ACC1 
 
1364
    2017 GETFIELD0 
 
1365
    2018 PUSHACC2 
 
1366
    2019 GETFIELD1 
 
1367
    2020 PUSHACC1 
 
1368
    2021 PUSHENVACC2 
 
1369
    2022 APPLY1 
 
1370
    2023 BRANCHIFNOT 2033
 
1371
    2025 ACC0 
 
1372
    2026 PUSHACC3 
 
1373
    2027 PUSHACC3 
 
1374
    2028 MAKEBLOCK2 0
 
1375
    2030 PUSHOFFSETCLOSURE0 
 
1376
    2031 APPTERM2 6
 
1377
    2033 ACC0 
 
1378
    2034 PUSHACC3 
 
1379
    2035 PUSHOFFSETCLOSURE0 
 
1380
    2036 APPTERM2 6
 
1381
    2038 ACC0 
 
1382
    2039 PUSHENVACC1 
 
1383
    2040 APPTERM1 3
 
1384
    2042 ACC0 
 
1385
    2043 PUSHENVACC1 
 
1386
    2044 CLOSUREREC 2, 2011
 
1387
    2048 CONST0 
 
1388
    2049 PUSHACC1 
 
1389
    2050 APPTERM1 3
 
1390
    2052 RESTART 
 
1391
    2053 GRAB 2
 
1392
    2055 ACC1 
 
1393
    2056 BRANCHIFNOT 2077
 
1394
    2058 ACC2 
 
1395
    2059 BRANCHIFNOT 2084
 
1396
    2061 ACC2 
 
1397
    2062 GETFIELD1 
 
1398
    2063 PUSHACC2 
 
1399
    2064 GETFIELD1 
 
1400
    2065 PUSHACC2 
 
1401
    2066 PUSHACC5 
 
1402
    2067 GETFIELD0 
 
1403
    2068 PUSHACC5 
 
1404
    2069 GETFIELD0 
 
1405
    2070 PUSHENVACC1 
 
1406
    2071 APPLY2 
 
1407
    2072 MAKEBLOCK2 0
 
1408
    2074 PUSHOFFSETCLOSURE0 
 
1409
    2075 APPTERM3 6
 
1410
    2077 ACC2 
 
1411
    2078 BRANCHIFNOT 2082
 
1412
    2080 BRANCH 2084
 
1413
    2082 RETURN 3
 
1414
    2084 GETGLOBAL "List.rev_map2"
 
1415
    2086 PUSHGETGLOBALFIELD Pervasives, 2
 
1416
    2089 APPTERM1 4
 
1417
    2091 RESTART 
 
1418
    2092 GRAB 2
 
1419
    2094 ACC0 
 
1420
    2095 CLOSUREREC 1, 2053
 
1421
    2099 ACC3 
 
1422
    2100 PUSHACC3 
 
1423
    2101 PUSHCONST0 
 
1424
    2102 PUSHACC3 
 
1425
    2103 APPTERM3 7
 
1426
    2105 RESTART 
 
1427
    2106 GRAB 1
 
1428
    2108 ACC1 
 
1429
    2109 BRANCHIFNOT 2123
 
1430
    2111 ACC1 
 
1431
    2112 GETFIELD1 
 
1432
    2113 PUSHACC1 
 
1433
    2114 PUSHACC3 
 
1434
    2115 GETFIELD0 
 
1435
    2116 PUSHENVACC1 
 
1436
    2117 APPLY1 
 
1437
    2118 MAKEBLOCK2 0
 
1438
    2120 PUSHOFFSETCLOSURE0 
 
1439
    2121 APPTERM2 4
 
1440
    2123 ACC0 
 
1441
    2124 RETURN 2
 
1442
    2126 RESTART 
 
1443
    2127 GRAB 1
 
1444
    2129 ACC0 
 
1445
    2130 CLOSUREREC 1, 2106
 
1446
    2134 ACC2 
 
1447
    2135 PUSHCONST0 
 
1448
    2136 PUSHACC2 
 
1449
    2137 APPTERM2 5
 
1450
    2139 CONST0 
 
1451
    2140 PUSHACC1 
 
1452
    2141 PUSHENVACC1 
 
1453
    2142 APPTERM2 3
 
1454
    2144 ACC0 
 
1455
    2145 BRANCHIFNOT 2151
 
1456
    2147 ACC0 
 
1457
    2148 GETFIELD1 
 
1458
    2149 RETURN 1
 
1459
    2151 GETGLOBAL "tl"
 
1460
    2153 PUSHGETGLOBALFIELD Pervasives, 3
 
1461
    2156 APPTERM1 2
 
1462
    2158 ACC0 
 
1463
    2159 BRANCHIFNOT 2165
 
1464
    2161 ACC0 
 
1465
    2162 GETFIELD0 
 
1466
    2163 RETURN 1
 
1467
    2165 GETGLOBAL "hd"
 
1468
    2167 PUSHGETGLOBALFIELD Pervasives, 3
 
1469
    2170 APPTERM1 2
 
1470
    2172 ACC0 
 
1471
    2173 PUSHCONST0 
 
1472
    2174 PUSHENVACC1 
 
1473
    2175 APPTERM2 3
 
1474
    2177 CLOSUREREC 0, 1200
 
1475
    2181 ACC0 
 
1476
    2182 CLOSURE 1, 2172
 
1477
    2185 PUSH 
 
1478
    2186 CLOSURE 0, 2158
 
1479
    2189 PUSH 
 
1480
    2190 CLOSURE 0, 2144
 
1481
    2193 PUSH 
 
1482
    2194 CLOSUREREC 0, 1217
 
1483
    2198 GETGLOBALFIELD Pervasives, 16
 
1484
    2201 PUSH 
 
1485
    2202 CLOSUREREC 0, 1259
 
1486
    2206 ACC0 
 
1487
    2207 CLOSURE 1, 2139
 
1488
    2210 PUSH 
 
1489
    2211 CLOSUREREC 0, 1277
 
1490
    2215 CLOSUREREC 0, 1294
 
1491
    2219 CLOSURE 0, 2127
 
1492
    2222 PUSH 
 
1493
    2223 CLOSUREREC 0, 1316
 
1494
    2227 CLOSUREREC 0, 1334
 
1495
    2231 CLOSUREREC 0, 1354
 
1496
    2235 CLOSUREREC 0, 1374
 
1497
    2239 CLOSURE 0, 2092
 
1498
    2242 PUSH 
 
1499
    2243 CLOSUREREC 0, 1415
 
1500
    2247 CLOSUREREC 0, 1452
 
1501
    2251 CLOSUREREC 0, 1490
 
1502
    2255 CLOSUREREC 0, 1530
 
1503
    2259 CLOSUREREC 0, 1553
 
1504
    2263 CLOSUREREC 0, 1573
 
1505
    2267 CLOSUREREC 0, 1613
 
1506
    2271 CLOSUREREC 0, 1654
 
1507
    2275 CLOSUREREC 0, 1675
 
1508
    2279 CLOSUREREC 0, 1695
 
1509
    2283 CLOSUREREC 0, 1725
 
1510
    2287 CLOSUREREC 0, 1754
 
1511
    2291 CLOSUREREC 0, 1776
 
1512
    2295 CLOSUREREC 0, 1797
 
1513
    2299 CLOSUREREC 0, 1828
 
1514
    2303 CLOSUREREC 0, 1858
 
1515
    2307 ACC 24
 
1516
    2309 CLOSURE 1, 2042
 
1517
    2312 PUSHACC 25
 
1518
    2314 CLOSUREREC 1, 1928
 
1519
    2318 CLOSUREREC 0, 1942
 
1520
    2322 CLOSUREREC 0, 1972
 
1521
    2326 ACC0 
 
1522
    2327 PUSHACC2 
 
1523
    2328 PUSHACC7 
 
1524
    2329 PUSHACC 9
 
1525
    2331 PUSHACC 11
 
1526
    2333 PUSHACC 13
 
1527
    2335 PUSHACC 15
 
1528
    2337 PUSHACC 17
 
1529
    2339 PUSHACC 10
 
1530
    2341 PUSHACC 12
 
1531
    2343 PUSHACC 13
 
1532
    2345 PUSHACC 15
 
1533
    2347 PUSHACC 23
 
1534
    2349 PUSHACC 25
 
1535
    2351 PUSHACC 27
 
1536
    2353 PUSHACC 29
 
1537
    2355 PUSHACC 31
 
1538
    2357 PUSHACC 33
 
1539
    2359 PUSHACC 35
 
1540
    2361 PUSHACC 37
 
1541
    2363 PUSHACC 40
 
1542
    2365 PUSHACC 42
 
1543
    2367 PUSHACC 41
 
1544
    2369 PUSHACC 45
 
1545
    2371 PUSHACC 47
 
1546
    2373 PUSHACC 50
 
1547
    2375 PUSHACC 52
 
1548
    2377 PUSHACC 51
 
1549
    2379 PUSHACC 55
 
1550
    2381 PUSHACC 56
 
1551
    2383 PUSHACC 59
 
1552
    2385 PUSHACC 61
 
1553
    2387 PUSHACC 60
 
1554
    2389 PUSHACC 64
 
1555
    2391 PUSHACC 66
 
1556
    2393 PUSHACC 68
 
1557
    2395 PUSHACC 70
 
1558
    2397 MAKEBLOCK 37, 0
 
1559
    2400 POP 36
 
1560
    2402 SETGLOBAL List
 
1561
    2404 BRANCH 2622
 
1562
    2406 CONSTINT 97
 
1563
    2408 PUSHACC1 
 
1564
    2409 GEINT 
 
1565
    2410 BRANCHIFNOT 2418
 
1566
    2412 CONSTINT 122
 
1567
    2414 PUSHACC1 
 
1568
    2415 LEINT 
 
1569
    2416 BRANCHIF 2442
 
1570
    2418 CONSTINT 224
 
1571
    2420 PUSHACC1 
 
1572
    2421 GEINT 
 
1573
    2422 BRANCHIFNOT 2430
 
1574
    2424 CONSTINT 246
 
1575
    2426 PUSHACC1 
 
1576
    2427 LEINT 
 
1577
    2428 BRANCHIF 2442
 
1578
    2430 CONSTINT 248
 
1579
    2432 PUSHACC1 
 
1580
    2433 GEINT 
 
1581
    2434 BRANCHIFNOT 2447
 
1582
    2436 CONSTINT 254
 
1583
    2438 PUSHACC1 
 
1584
    2439 LEINT 
 
1585
    2440 BRANCHIFNOT 2447
 
1586
    2442 ACC0 
 
1587
    2443 OFFSETINT -32
 
1588
    2445 RETURN 1
 
1589
    2447 ACC0 
 
1590
    2448 RETURN 1
 
1591
    2450 CONSTINT 65
 
1592
    2452 PUSHACC1 
 
1593
    2453 GEINT 
 
1594
    2454 BRANCHIFNOT 2462
 
1595
    2456 CONSTINT 90
 
1596
    2458 PUSHACC1 
 
1597
    2459 LEINT 
 
1598
    2460 BRANCHIF 2486
 
1599
    2462 CONSTINT 192
 
1600
    2464 PUSHACC1 
 
1601
    2465 GEINT 
 
1602
    2466 BRANCHIFNOT 2474
 
1603
    2468 CONSTINT 214
 
1604
    2470 PUSHACC1 
 
1605
    2471 LEINT 
 
1606
    2472 BRANCHIF 2486
 
1607
    2474 CONSTINT 216
 
1608
    2476 PUSHACC1 
 
1609
    2477 GEINT 
 
1610
    2478 BRANCHIFNOT 2491
 
1611
    2480 CONSTINT 222
 
1612
    2482 PUSHACC1 
 
1613
    2483 LEINT 
 
1614
    2484 BRANCHIFNOT 2491
 
1615
    2486 ACC0 
 
1616
    2487 OFFSETINT 32
 
1617
    2489 RETURN 1
 
1618
    2491 ACC0 
 
1619
    2492 RETURN 1
 
1620
    2494 CONSTINT 39
 
1621
    2496 PUSHACC1 
 
1622
    2497 LTINT 
 
1623
    2498 BRANCHIFNOT 2520
 
1624
    2500 CONSTINT 9
 
1625
    2502 PUSHACC1 
 
1626
    2503 EQ 
 
1627
    2504 BRANCHIFNOT 2510
 
1628
    2506 GETGLOBAL "\\t"
 
1629
    2508 RETURN 1
 
1630
    2510 CONSTINT 13
 
1631
    2512 PUSHACC1 
 
1632
    2513 EQ 
 
1633
    2514 BRANCHIFNOT 2540
 
1634
    2516 GETGLOBAL "\\n"
 
1635
    2518 RETURN 1
 
1636
    2520 CONSTINT 39
 
1637
    2522 PUSHACC1 
 
1638
    2523 EQ 
 
1639
    2524 BRANCHIFNOT 2530
 
1640
    2526 GETGLOBAL "\\'"
 
1641
    2528 RETURN 1
 
1642
    2530 CONSTINT 92
 
1643
    2532 PUSHACC1 
 
1644
    2533 EQ 
 
1645
    2534 BRANCHIFNOT 2540
 
1646
    2536 GETGLOBAL "\\\\"
 
1647
    2538 RETURN 1
 
1648
    2540 ACC0 
 
1649
    2541 C_CALL1 is_printable
 
1650
    2543 BRANCHIFNOT 2555
 
1651
    2545 CONST1 
 
1652
    2546 C_CALL1 create_string
 
1653
    2548 PUSHACC1 
 
1654
    2549 PUSHCONST0 
 
1655
    2550 PUSHACC2 
 
1656
    2551 SETSTRINGCHAR 
 
1657
    2552 ACC0 
 
1658
    2553 RETURN 2
 
1659
    2555 ACC0 
 
1660
    2556 PUSHCONSTINT 4
 
1661
    2558 C_CALL1 create_string
 
1662
    2560 PUSHCONSTINT 92
 
1663
    2562 PUSHCONST0 
 
1664
    2563 PUSHACC2 
 
1665
    2564 SETSTRINGCHAR 
 
1666
    2565 CONSTINT 100
 
1667
    2567 PUSHACC2 
 
1668
    2568 DIVINT 
 
1669
    2569 PUSHCONSTINT 48
 
1670
    2571 ADDINT 
 
1671
    2572 PUSHCONST1 
 
1672
    2573 PUSHACC2 
 
1673
    2574 SETSTRINGCHAR 
 
1674
    2575 CONSTINT 10
 
1675
    2577 PUSHCONSTINT 10
 
1676
    2579 PUSHACC3 
 
1677
    2580 DIVINT 
 
1678
    2581 MODINT 
 
1679
    2582 PUSHCONSTINT 48
 
1680
    2584 ADDINT 
 
1681
    2585 PUSHCONST2 
 
1682
    2586 PUSHACC2 
 
1683
    2587 SETSTRINGCHAR 
 
1684
    2588 CONSTINT 10
 
1685
    2590 PUSHACC2 
 
1686
    2591 MODINT 
 
1687
    2592 PUSHCONSTINT 48
 
1688
    2594 ADDINT 
 
1689
    2595 PUSHCONST3 
 
1690
    2596 PUSHACC2 
 
1691
    2597 SETSTRINGCHAR 
 
1692
    2598 ACC0 
 
1693
    2599 RETURN 3
 
1694
    2601 CONST0 
 
1695
    2602 PUSHACC1 
 
1696
    2603 LTINT 
 
1697
    2604 BRANCHIF 2612
 
1698
    2606 CONSTINT 255
 
1699
    2608 PUSHACC1 
 
1700
    2609 GTINT 
 
1701
    2610 BRANCHIFNOT 2619
 
1702
    2612 GETGLOBAL "Char.chr"
 
1703
    2614 PUSHGETGLOBALFIELD Pervasives, 2
 
1704
    2617 APPTERM1 2
 
1705
    2619 ACC0 
 
1706
    2620 RETURN 1
 
1707
    2622 CLOSURE 0, 2601
 
1708
    2625 PUSH 
 
1709
    2626 CLOSURE 0, 2494
 
1710
    2629 PUSH 
 
1711
    2630 CLOSURE 0, 2450
 
1712
    2633 PUSH 
 
1713
    2634 CLOSURE 0, 2406
 
1714
    2637 PUSHACC0 
 
1715
    2638 PUSHACC2 
 
1716
    2639 PUSHACC4 
 
1717
    2640 PUSHACC6 
 
1718
    2641 MAKEBLOCK 4, 0
 
1719
    2644 POP 4
 
1720
    2646 SETGLOBAL Char
 
1721
    2648 BRANCH 3540
 
1722
    2650 RESTART 
 
1723
    2651 GRAB 3
 
1724
    2653 ACC1 
 
1725
    2654 PUSHACC3 
 
1726
    2655 GEINT 
 
1727
    2656 BRANCHIFNOT 2663
 
1728
    2658 GETGLOBAL Not_found
 
1729
    2660 MAKEBLOCK1 0
 
1730
    2662 RAISE 
 
1731
    2663 ACC3 
 
1732
    2664 PUSHACC3 
 
1733
    2665 PUSHACC2 
 
1734
    2666 GETSTRINGCHAR 
 
1735
    2667 EQ 
 
1736
    2668 BRANCHIFNOT 2673
 
1737
    2670 ACC2 
 
1738
    2671 RETURN 4
 
1739
    2673 ACC3 
 
1740
    2674 PUSHACC3 
 
1741
    2675 OFFSETINT 1
 
1742
    2677 PUSHACC3 
 
1743
    2678 PUSHACC3 
 
1744
    2679 PUSHOFFSETCLOSURE0 
 
1745
    2680 APPTERM 4, 8
 
1746
    2683 RESTART 
 
1747
    2684 GRAB 2
 
1748
    2686 CONST0 
 
1749
    2687 PUSHACC2 
 
1750
    2688 LTINT 
 
1751
    2689 BRANCHIFNOT 2696
 
1752
    2691 GETGLOBAL Not_found
 
1753
    2693 MAKEBLOCK1 0
 
1754
    2695 RAISE 
 
1755
    2696 ACC2 
 
1756
    2697 PUSHACC2 
 
1757
    2698 PUSHACC2 
 
1758
    2699 GETSTRINGCHAR 
 
1759
    2700 EQ 
 
1760
    2701 BRANCHIFNOT 2706
 
1761
    2703 ACC1 
 
1762
    2704 RETURN 3
 
1763
    2706 ACC2 
 
1764
    2707 PUSHACC2 
 
1765
    2708 OFFSETINT -1
 
1766
    2710 PUSHACC2 
 
1767
    2711 PUSHOFFSETCLOSURE0 
 
1768
    2712 APPTERM3 6
 
1769
    2714 RESTART 
 
1770
    2715 GRAB 1
 
1771
    2717 ACC1 
 
1772
    2718 PUSHCONST0 
 
1773
    2719 PUSHACC2 
 
1774
    2720 PUSHENVACC1 
 
1775
    2721 APPTERM3 5
 
1776
    2723 RESTART 
 
1777
    2724 GRAB 2
 
1778
    2726 CONST0 
 
1779
    2727 PUSHACC2 
 
1780
    2728 LTINT 
 
1781
    2729 BRANCHIF 2738
 
1782
    2731 ACC0 
 
1783
    2732 C_CALL1 ml_string_length
 
1784
    2734 PUSHACC2 
 
1785
    2735 GEINT 
 
1786
    2736 BRANCHIFNOT 2745
 
1787
    2738 GETGLOBAL "String.rcontains_from"
 
1788
    2740 PUSHGETGLOBALFIELD Pervasives, 2
 
1789
    2743 APPTERM1 4
 
1790
    2745 PUSHTRAP 2756
 
1791
    2747 ACC6 
 
1792
    2748 PUSHACC6 
 
1793
    2749 PUSHACC6 
 
1794
    2750 PUSHENVACC1 
 
1795
    2751 APPLY3 
 
1796
    2752 CONST1 
 
1797
    2753 POPTRAP 
 
1798
    2754 RETURN 3
 
1799
    2756 PUSHGETGLOBAL Not_found
 
1800
    2758 PUSHACC1 
 
1801
    2759 GETFIELD0 
 
1802
    2760 EQ 
 
1803
    2761 BRANCHIFNOT 2766
 
1804
    2763 CONST0 
 
1805
    2764 RETURN 4
 
1806
    2766 ACC0 
 
1807
    2767 RAISE 
 
1808
    2768 RESTART 
 
1809
    2769 GRAB 2
 
1810
    2771 CONST0 
 
1811
    2772 PUSHACC2 
 
1812
    2773 LTINT 
 
1813
    2774 BRANCHIF 2783
 
1814
    2776 ACC0 
 
1815
    2777 C_CALL1 ml_string_length
 
1816
    2779 PUSHACC2 
 
1817
    2780 GTINT 
 
1818
    2781 BRANCHIFNOT 2790
 
1819
    2783 GETGLOBAL "String.contains_from"
 
1820
    2785 PUSHGETGLOBALFIELD Pervasives, 2
 
1821
    2788 APPTERM1 4
 
1822
    2790 PUSHTRAP 2811
 
1823
    2792 PUSH_RETADDR 2807
 
1824
    2794 ACC 9
 
1825
    2796 PUSHACC 9
 
1826
    2798 PUSHACC 9
 
1827
    2800 C_CALL1 ml_string_length
 
1828
    2802 PUSHACC 10
 
1829
    2804 PUSHENVACC1 
 
1830
    2805 APPLY 4
 
1831
    2807 CONST1 
 
1832
    2808 POPTRAP 
 
1833
    2809 RETURN 3
 
1834
    2811 PUSHGETGLOBAL Not_found
 
1835
    2813 PUSHACC1 
 
1836
    2814 GETFIELD0 
 
1837
    2815 EQ 
 
1838
    2816 BRANCHIFNOT 2821
 
1839
    2818 CONST0 
 
1840
    2819 RETURN 4
 
1841
    2821 ACC0 
 
1842
    2822 RAISE 
 
1843
    2823 RESTART 
 
1844
    2824 GRAB 2
 
1845
    2826 CONST0 
 
1846
    2827 PUSHACC2 
 
1847
    2828 LTINT 
 
1848
    2829 BRANCHIF 2838
 
1849
    2831 ACC0 
 
1850
    2832 C_CALL1 ml_string_length
 
1851
    2834 PUSHACC2 
 
1852
    2835 GEINT 
 
1853
    2836 BRANCHIFNOT 2845
 
1854
    2838 GETGLOBAL "String.rindex_from"
 
1855
    2840 PUSHGETGLOBALFIELD Pervasives, 2
 
1856
    2843 APPTERM1 4
 
1857
    2845 ACC2 
 
1858
    2846 PUSHACC2 
 
1859
    2847 PUSHACC2 
 
1860
    2848 PUSHENVACC1 
 
1861
    2849 APPTERM3 6
 
1862
    2851 RESTART 
 
1863
    2852 GRAB 1
 
1864
    2854 ACC1 
 
1865
    2855 PUSHACC1 
 
1866
    2856 C_CALL1 ml_string_length
 
1867
    2858 OFFSETINT -1
 
1868
    2860 PUSHACC2 
 
1869
    2861 PUSHENVACC1 
 
1870
    2862 APPTERM3 5
 
1871
    2864 RESTART 
 
1872
    2865 GRAB 2
 
1873
    2867 CONST0 
 
1874
    2868 PUSHACC2 
 
1875
    2869 LTINT 
 
1876
    2870 BRANCHIF 2879
 
1877
    2872 ACC0 
 
1878
    2873 C_CALL1 ml_string_length
 
1879
    2875 PUSHACC2 
 
1880
    2876 GTINT 
 
1881
    2877 BRANCHIFNOT 2886
 
1882
    2879 GETGLOBAL "String.index_from"
 
1883
    2881 PUSHGETGLOBALFIELD Pervasives, 2
 
1884
    2884 APPTERM1 4
 
1885
    2886 ACC2 
 
1886
    2887 PUSHACC2 
 
1887
    2888 PUSHACC2 
 
1888
    2889 C_CALL1 ml_string_length
 
1889
    2891 PUSHACC3 
 
1890
    2892 PUSHENVACC1 
 
1891
    2893 APPTERM 4, 7
 
1892
    2896 RESTART 
 
1893
    2897 GRAB 1
 
1894
    2899 ACC1 
 
1895
    2900 PUSHCONST0 
 
1896
    2901 PUSHACC2 
 
1897
    2902 C_CALL1 ml_string_length
 
1898
    2904 PUSHACC3 
 
1899
    2905 PUSHENVACC1 
 
1900
    2906 APPTERM 4, 6
 
1901
    2909 ACC0 
 
1902
    2910 PUSHGETGLOBALFIELD Char, 2
 
1903
    2913 PUSHENVACC1 
 
1904
    2914 APPTERM2 3
 
1905
    2916 ACC0 
 
1906
    2917 PUSHGETGLOBALFIELD Char, 3
 
1907
    2920 PUSHENVACC1 
 
1908
    2921 APPTERM2 3
 
1909
    2923 RESTART 
 
1910
    2924 GRAB 1
 
1911
    2926 CONST0 
 
1912
    2927 PUSHACC2 
 
1913
    2928 C_CALL1 ml_string_length
 
1914
    2930 EQ 
 
1915
    2931 BRANCHIFNOT 2936
 
1916
    2933 ACC1 
 
1917
    2934 RETURN 2
 
1918
    2936 ACC1 
 
1919
    2937 PUSHENVACC1 
 
1920
    2938 APPLY1 
 
1921
    2939 PUSHCONST0 
 
1922
    2940 PUSHACC3 
 
1923
    2941 GETSTRINGCHAR 
 
1924
    2942 PUSHACC2 
 
1925
    2943 APPLY1 
 
1926
    2944 PUSHCONST0 
 
1927
    2945 PUSHACC2 
 
1928
    2946 SETSTRINGCHAR 
 
1929
    2947 ACC0 
 
1930
    2948 RETURN 3
 
1931
    2950 ACC0 
 
1932
    2951 PUSHGETGLOBALFIELD Char, 2
 
1933
    2954 PUSHENVACC1 
 
1934
    2955 APPTERM2 3
 
1935
    2957 ACC0 
 
1936
    2958 PUSHGETGLOBALFIELD Char, 3
 
1937
    2961 PUSHENVACC1 
 
1938
    2962 APPTERM2 3
 
1939
    2964 RESTART 
 
1940
    2965 GRAB 1
 
1941
    2967 ACC1 
 
1942
    2968 C_CALL1 ml_string_length
 
1943
    2970 PUSHCONST0 
 
1944
    2971 PUSHACC1 
 
1945
    2972 EQ 
 
1946
    2973 BRANCHIFNOT 2978
 
1947
    2975 ACC2 
 
1948
    2976 RETURN 3
 
1949
    2978 ACC0 
 
1950
    2979 C_CALL1 create_string
 
1951
    2981 PUSHCONST0 
 
1952
    2982 PUSHACC2 
 
1953
    2983 OFFSETINT -1
 
1954
    2985 PUSH 
 
1955
    2986 BRANCH 3002
 
1956
    2988 CHECK_SIGNALS 
 
1957
    2989 ACC1 
 
1958
    2990 PUSHACC6 
 
1959
    2991 GETSTRINGCHAR 
 
1960
    2992 PUSHACC5 
 
1961
    2993 APPLY1 
 
1962
    2994 PUSHACC2 
 
1963
    2995 PUSHACC4 
 
1964
    2996 SETSTRINGCHAR 
 
1965
    2997 ACC1 
 
1966
    2998 OFFSETINT 1
 
1967
    3000 ASSIGN 1
 
1968
    3002 ACC0 
 
1969
    3003 PUSHACC2 
 
1970
    3004 LEINT 
 
1971
    3005 BRANCHIF 2988
 
1972
    3007 CONST0 
 
1973
    3008 POP 2
 
1974
    3010 ACC0 
 
1975
    3011 RETURN 4
 
1976
    3013 CONST0 
 
1977
    3014 PUSHCONST0 
 
1978
    3015 PUSHACC2 
 
1979
    3016 C_CALL1 ml_string_length
 
1980
    3018 OFFSETINT -1
 
1981
    3020 PUSH 
 
1982
    3021 BRANCH 3059
 
1983
    3023 CHECK_SIGNALS 
 
1984
    3024 ACC1 
 
1985
    3025 PUSHACC4 
 
1986
    3026 GETSTRINGCHAR 
 
1987
    3027 PUSHACC0 
 
1988
    3028 PUSHGETGLOBAL "\000\"\000\000\004\000\000\000\000\000\000\016\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
 
1989
    3030 C_CALL2 bitvect_test
 
1990
    3032 BRANCHIFNOT 3038
 
1991
    3034 CONST0 
 
1992
    3035 CONST2 
 
1993
    3036 BRANCH 3048
 
1994
    3038 ACC0 
 
1995
    3039 C_CALL1 is_printable
 
1996
    3041 BRANCHIFNOT 3046
 
1997
    3043 CONST1 
 
1998
    3044 BRANCH 3048
 
1999
    3046 CONSTINT 4
 
2000
    3048 POP 1
 
2001
    3050 PUSHACC3 
 
2002
    3051 ADDINT 
 
2003
    3052 ASSIGN 2
 
2004
    3054 ACC1 
 
2005
    3055 OFFSETINT 1
 
2006
    3057 ASSIGN 1
 
2007
    3059 ACC0 
 
2008
    3060 PUSHACC2 
 
2009
    3061 LEINT 
 
2010
    3062 BRANCHIF 3023
 
2011
    3064 CONST0 
 
2012
    3065 POP 2
 
2013
    3067 ACC1 
 
2014
    3068 C_CALL1 ml_string_length
 
2015
    3070 PUSHACC1 
 
2016
    3071 EQ 
 
2017
    3072 BRANCHIFNOT 3077
 
2018
    3074 ACC1 
 
2019
    3075 RETURN 2
 
2020
    3077 ACC0 
 
2021
    3078 C_CALL1 create_string
 
2022
    3080 PUSHCONST0 
 
2023
    3081 ASSIGN 1
 
2024
    3083 CONST0 
 
2025
    3084 PUSHACC3 
 
2026
    3085 C_CALL1 ml_string_length
 
2027
    3087 OFFSETINT -1
 
2028
    3089 PUSH 
 
2029
    3090 BRANCH 3245
 
2030
    3092 CHECK_SIGNALS 
 
2031
    3093 ACC1 
 
2032
    3094 PUSHACC5 
 
2033
    3095 GETSTRINGCHAR 
 
2034
    3096 PUSHACC0 
 
2035
    3097 PUSHGETGLOBAL "\000\000\000\000\004\000\000\000\000\000\000\016\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
 
2036
    3099 C_CALL2 bitvect_test
 
2037
    3101 BRANCHIFNOT 3120
 
2038
    3103 CONST0 
 
2039
    3104 CONSTINT 92
 
2040
    3106 PUSHACC5 
 
2041
    3107 PUSHACC5 
 
2042
    3108 SETSTRINGCHAR 
 
2043
    3109 ACC4 
 
2044
    3110 OFFSETINT 1
 
2045
    3112 ASSIGN 4
 
2046
    3114 ACC0 
 
2047
    3115 PUSHACC5 
 
2048
    3116 PUSHACC5 
 
2049
    3117 SETSTRINGCHAR 
 
2050
    3118 BRANCH 3233
 
2051
    3120 CONSTINT 9
 
2052
    3122 PUSHACC1 
 
2053
    3123 EQ 
 
2054
    3124 BRANCHIFNOT 3143
 
2055
    3126 CONSTINT 92
 
2056
    3128 PUSHACC5 
 
2057
    3129 PUSHACC5 
 
2058
    3130 SETSTRINGCHAR 
 
2059
    3131 ACC4 
 
2060
    3132 OFFSETINT 1
 
2061
    3134 ASSIGN 4
 
2062
    3136 CONSTINT 116
 
2063
    3138 PUSHACC5 
 
2064
    3139 PUSHACC5 
 
2065
    3140 SETSTRINGCHAR 
 
2066
    3141 BRANCH 3233
 
2067
    3143 CONSTINT 13
 
2068
    3145 PUSHACC1 
 
2069
    3146 EQ 
 
2070
    3147 BRANCHIFNOT 3166
 
2071
    3149 CONSTINT 92
 
2072
    3151 PUSHACC5 
 
2073
    3152 PUSHACC5 
 
2074
    3153 SETSTRINGCHAR 
 
2075
    3154 ACC4 
 
2076
    3155 OFFSETINT 1
 
2077
    3157 ASSIGN 4
 
2078
    3159 CONSTINT 110
 
2079
    3161 PUSHACC5 
 
2080
    3162 PUSHACC5 
 
2081
    3163 SETSTRINGCHAR 
 
2082
    3164 BRANCH 3233
 
2083
    3166 ACC0 
 
2084
    3167 C_CALL1 is_printable
 
2085
    3169 BRANCHIFNOT 3177
 
2086
    3171 ACC0 
 
2087
    3172 PUSHACC5 
 
2088
    3173 PUSHACC5 
 
2089
    3174 SETSTRINGCHAR 
 
2090
    3175 BRANCH 3233
 
2091
    3177 ACC0 
 
2092
    3178 PUSHCONSTINT 92
 
2093
    3180 PUSHACC6 
 
2094
    3181 PUSHACC6 
 
2095
    3182 SETSTRINGCHAR 
 
2096
    3183 ACC5 
 
2097
    3184 OFFSETINT 1
 
2098
    3186 ASSIGN 5
 
2099
    3188 CONSTINT 100
 
2100
    3190 PUSHACC1 
 
2101
    3191 DIVINT 
 
2102
    3192 PUSHCONSTINT 48
 
2103
    3194 ADDINT 
 
2104
    3195 PUSHACC6 
 
2105
    3196 PUSHACC6 
 
2106
    3197 SETSTRINGCHAR 
 
2107
    3198 ACC5 
 
2108
    3199 OFFSETINT 1
 
2109
    3201 ASSIGN 5
 
2110
    3203 CONSTINT 10
 
2111
    3205 PUSHCONSTINT 10
 
2112
    3207 PUSHACC2 
 
2113
    3208 DIVINT 
 
2114
    3209 MODINT 
 
2115
    3210 PUSHCONSTINT 48
 
2116
    3212 ADDINT 
 
2117
    3213 PUSHACC6 
 
2118
    3214 PUSHACC6 
 
2119
    3215 SETSTRINGCHAR 
 
2120
    3216 ACC5 
 
2121
    3217 OFFSETINT 1
 
2122
    3219 ASSIGN 5
 
2123
    3221 CONSTINT 10
 
2124
    3223 PUSHACC1 
 
2125
    3224 MODINT 
 
2126
    3225 PUSHCONSTINT 48
 
2127
    3227 ADDINT 
 
2128
    3228 PUSHACC6 
 
2129
    3229 PUSHACC6 
 
2130
    3230 SETSTRINGCHAR 
 
2131
    3231 POP 1
 
2132
    3233 POP 1
 
2133
    3235 ACC3 
 
2134
    3236 OFFSETINT 1
 
2135
    3238 ASSIGN 3
 
2136
    3240 ACC1 
 
2137
    3241 OFFSETINT 1
 
2138
    3243 ASSIGN 1
 
2139
    3245 ACC0 
 
2140
    3246 PUSHACC2 
 
2141
    3247 LEINT 
 
2142
    3248 BRANCHIF 3092
 
2143
    3250 CONST0 
 
2144
    3251 POP 2
 
2145
    3253 ACC0 
 
2146
    3254 RETURN 3
 
2147
    3256 ENVACC1 
 
2148
    3257 C_CALL1 ml_string_length
 
2149
    3259 PUSHENVACC3 
 
2150
    3260 GETFIELD0 
 
2151
    3261 PUSHENVACC2 
 
2152
    3262 PUSHCONST0 
 
2153
    3263 PUSHENVACC1 
 
2154
    3264 C_CALL5 blit_string
 
2155
    3266 ENVACC1 
 
2156
    3267 C_CALL1 ml_string_length
 
2157
    3269 PUSHENVACC3 
 
2158
    3270 GETFIELD0 
 
2159
    3271 ADDINT 
 
2160
    3272 PUSHENVACC3 
 
2161
    3273 SETFIELD0 
 
2162
    3274 ACC0 
 
2163
    3275 C_CALL1 ml_string_length
 
2164
    3277 PUSHENVACC3 
 
2165
    3278 GETFIELD0 
 
2166
    3279 PUSHENVACC2 
 
2167
    3280 PUSHCONST0 
 
2168
    3281 PUSHACC4 
 
2169
    3282 C_CALL5 blit_string
 
2170
    3284 ACC0 
 
2171
    3285 C_CALL1 ml_string_length
 
2172
    3287 PUSHENVACC3 
 
2173
    3288 GETFIELD0 
 
2174
    3289 ADDINT 
 
2175
    3290 PUSHENVACC3 
 
2176
    3291 SETFIELD0 
 
2177
    3292 RETURN 1
 
2178
    3294 ENVACC1 
 
2179
    3295 OFFSETREF 1
 
2180
    3297 ACC0 
 
2181
    3298 C_CALL1 ml_string_length
 
2182
    3300 PUSHENVACC2 
 
2183
    3301 GETFIELD0 
 
2184
    3302 ADDINT 
 
2185
    3303 PUSHENVACC2 
 
2186
    3304 SETFIELD0 
 
2187
    3305 RETURN 1
 
2188
    3307 RESTART 
 
2189
    3308 GRAB 1
 
2190
    3310 ACC1 
 
2191
    3311 BRANCHIFNOT 3374
 
2192
    3313 ACC1 
 
2193
    3314 GETFIELD0 
 
2194
    3315 PUSHCONST0 
 
2195
    3316 MAKEBLOCK1 0
 
2196
    3318 PUSHCONST0 
 
2197
    3319 MAKEBLOCK1 0
 
2198
    3321 PUSHACC4 
 
2199
    3322 PUSHACC1 
 
2200
    3323 PUSHACC3 
 
2201
    3324 CLOSURE 2, 3294
 
2202
    3327 PUSHGETGLOBALFIELD List, 9
 
2203
    3330 APPLY2 
 
2204
    3331 ACC1 
 
2205
    3332 GETFIELD0 
 
2206
    3333 OFFSETINT -1
 
2207
    3335 PUSHACC4 
 
2208
    3336 C_CALL1 ml_string_length
 
2209
    3338 MULINT 
 
2210
    3339 PUSHACC1 
 
2211
    3340 GETFIELD0 
 
2212
    3341 ADDINT 
 
2213
    3342 C_CALL1 create_string
 
2214
    3344 PUSHACC3 
 
2215
    3345 C_CALL1 ml_string_length
 
2216
    3347 PUSHCONST0 
 
2217
    3348 PUSHACC2 
 
2218
    3349 PUSHCONST0 
 
2219
    3350 PUSHACC7 
 
2220
    3351 C_CALL5 blit_string
 
2221
    3353 ACC3 
 
2222
    3354 C_CALL1 ml_string_length
 
2223
    3356 MAKEBLOCK1 0
 
2224
    3358 PUSHACC6 
 
2225
    3359 GETFIELD1 
 
2226
    3360 PUSHACC1 
 
2227
    3361 PUSHACC3 
 
2228
    3362 PUSHACC 8
 
2229
    3364 CLOSURE 3, 3256
 
2230
    3367 PUSHGETGLOBALFIELD List, 9
 
2231
    3370 APPLY2 
 
2232
    3371 ACC1 
 
2233
    3372 RETURN 7
 
2234
    3374 GETGLOBAL ""
 
2235
    3376 RETURN 2
 
2236
    3378 RESTART 
 
2237
    3379 GRAB 4
 
2238
    3381 CONST0 
 
2239
    3382 PUSHACC5 
 
2240
    3383 LTINT 
 
2241
    3384 BRANCHIF 3414
 
2242
    3386 CONST0 
 
2243
    3387 PUSHACC2 
 
2244
    3388 LTINT 
 
2245
    3389 BRANCHIF 3414
 
2246
    3391 ACC0 
 
2247
    3392 C_CALL1 ml_string_length
 
2248
    3394 PUSHACC5 
 
2249
    3395 PUSHACC3 
 
2250
    3396 ADDINT 
 
2251
    3397 GTINT 
 
2252
    3398 BRANCHIF 3414
 
2253
    3400 CONST0 
 
2254
    3401 PUSHACC4 
 
2255
    3402 LTINT 
 
2256
    3403 BRANCHIF 3414
 
2257
    3405 ACC2 
 
2258
    3406 C_CALL1 ml_string_length
 
2259
    3408 PUSHACC5 
 
2260
    3409 PUSHACC5 
 
2261
    3410 ADDINT 
 
2262
    3411 GTINT 
 
2263
    3412 BRANCHIFNOT 3421
 
2264
    3414 GETGLOBAL "String.blit"
 
2265
    3416 PUSHGETGLOBALFIELD Pervasives, 2
 
2266
    3419 APPTERM1 6
 
2267
    3421 ACC4 
 
2268
    3422 PUSHACC4 
 
2269
    3423 PUSHACC4 
 
2270
    3424 PUSHACC4 
 
2271
    3425 PUSHACC4 
 
2272
    3426 C_CALL5 blit_string
 
2273
    3428 RETURN 5
 
2274
    3430 RESTART 
 
2275
    3431 GRAB 3
 
2276
    3433 CONST0 
 
2277
    3434 PUSHACC2 
 
2278
    3435 LTINT 
 
2279
    3436 BRANCHIF 3452
 
2280
    3438 CONST0 
 
2281
    3439 PUSHACC3 
 
2282
    3440 LTINT 
 
2283
    3441 BRANCHIF 3452
 
2284
    3443 ACC0 
 
2285
    3444 C_CALL1 ml_string_length
 
2286
    3446 PUSHACC3 
 
2287
    3447 PUSHACC3 
 
2288
    3448 ADDINT 
 
2289
    3449 GTINT 
 
2290
    3450 BRANCHIFNOT 3459
 
2291
    3452 GETGLOBAL "String.fill"
 
2292
    3454 PUSHGETGLOBALFIELD Pervasives, 2
 
2293
    3457 APPTERM1 5
 
2294
    3459 ACC3 
 
2295
    3460 PUSHACC3 
 
2296
    3461 PUSHACC3 
 
2297
    3462 PUSHACC3 
 
2298
    3463 C_CALL4 fill_string
 
2299
    3465 RETURN 4
 
2300
    3467 RESTART 
 
2301
    3468 GRAB 2
 
2302
    3470 CONST0 
 
2303
    3471 PUSHACC2 
 
2304
    3472 LTINT 
 
2305
    3473 BRANCHIF 3489
 
2306
    3475 CONST0 
 
2307
    3476 PUSHACC3 
 
2308
    3477 LTINT 
 
2309
    3478 BRANCHIF 3489
 
2310
    3480 ACC0 
 
2311
    3481 C_CALL1 ml_string_length
 
2312
    3483 PUSHACC3 
 
2313
    3484 PUSHACC3 
 
2314
    3485 ADDINT 
 
2315
    3486 GTINT 
 
2316
    3487 BRANCHIFNOT 3496
 
2317
    3489 GETGLOBAL "String.sub"
 
2318
    3491 PUSHGETGLOBALFIELD Pervasives, 2
 
2319
    3494 APPTERM1 4
 
2320
    3496 ACC2 
 
2321
    3497 C_CALL1 create_string
 
2322
    3499 PUSHACC3 
 
2323
    3500 PUSHCONST0 
 
2324
    3501 PUSHACC2 
 
2325
    3502 PUSHACC5 
 
2326
    3503 PUSHACC5 
 
2327
    3504 C_CALL5 blit_string
 
2328
    3506 ACC0 
 
2329
    3507 RETURN 4
 
2330
    3509 ACC0 
 
2331
    3510 C_CALL1 ml_string_length
 
2332
    3512 PUSHACC0 
 
2333
    3513 C_CALL1 create_string
 
2334
    3515 PUSHACC1 
 
2335
    3516 PUSHCONST0 
 
2336
    3517 PUSHACC2 
 
2337
    3518 PUSHCONST0 
 
2338
    3519 PUSHACC6 
 
2339
    3520 C_CALL5 blit_string
 
2340
    3522 ACC0 
 
2341
    3523 RETURN 3
 
2342
    3525 RESTART 
 
2343
    3526 GRAB 1
 
2344
    3528 ACC0 
 
2345
    3529 C_CALL1 create_string
 
2346
    3531 PUSHACC2 
 
2347
    3532 PUSHACC2 
 
2348
    3533 PUSHCONST0 
 
2349
    3534 PUSHACC3 
 
2350
    3535 C_CALL4 fill_string
 
2351
    3537 ACC0 
 
2352
    3538 RETURN 3
 
2353
    3540 CLOSURE 0, 3526
 
2354
    3543 PUSH 
 
2355
    3544 CLOSURE 0, 3509
 
2356
    3547 PUSH 
 
2357
    3548 CLOSURE 0, 3468
 
2358
    3551 PUSH 
 
2359
    3552 CLOSURE 0, 3431
 
2360
    3555 PUSH 
 
2361
    3556 CLOSURE 0, 3379
 
2362
    3559 PUSH 
 
2363
    3560 CLOSURE 0, 3308
 
2364
    3563 PUSH 
 
2365
    3564 CLOSURE 0, 3013
 
2366
    3567 PUSH 
 
2367
    3568 CLOSURE 0, 2965
 
2368
    3571 PUSHACC0 
 
2369
    3572 CLOSURE 1, 2957
 
2370
    3575 PUSHACC1 
 
2371
    3576 CLOSURE 1, 2950
 
2372
    3579 PUSHACC 8
 
2373
    3581 CLOSURE 1, 2924
 
2374
    3584 PUSHACC0 
 
2375
    3585 CLOSURE 1, 2916
 
2376
    3588 PUSHACC1 
 
2377
    3589 CLOSURE 1, 2909
 
2378
    3592 PUSH 
 
2379
    3593 CLOSUREREC 0, 2651
 
2380
    3597 ACC0 
 
2381
    3598 CLOSURE 1, 2897
 
2382
    3601 PUSHACC1 
 
2383
    3602 CLOSURE 1, 2865
 
2384
    3605 PUSH 
 
2385
    3606 CLOSUREREC 0, 2684
 
2386
    3610 ACC0 
 
2387
    3611 CLOSURE 1, 2852
 
2388
    3614 PUSHACC1 
 
2389
    3615 CLOSURE 1, 2824
 
2390
    3618 PUSHACC5 
 
2391
    3619 CLOSURE 1, 2769
 
2392
    3622 PUSHACC3 
 
2393
    3623 CLOSURE 1, 2724
 
2394
    3626 PUSHACC1 
 
2395
    3627 CLOSURE 1, 2715
 
2396
    3630 PUSHACC 9
 
2397
    3632 PUSHACC 11
 
2398
    3634 PUSHACC 14
 
2399
    3636 PUSHACC 16
 
2400
    3638 PUSHACC5 
 
2401
    3639 PUSHACC7 
 
2402
    3640 PUSHACC6 
 
2403
    3641 PUSHACC 10
 
2404
    3643 PUSHACC 14
 
2405
    3645 PUSHACC 13
 
2406
    3647 PUSHACC 17
 
2407
    3649 PUSHACC 26
 
2408
    3651 PUSHACC 28
 
2409
    3653 PUSHACC 30
 
2410
    3655 PUSHACC 32
 
2411
    3657 PUSHACC 34
 
2412
    3659 PUSHACC 36
 
2413
    3661 PUSHACC 38
 
2414
    3663 MAKEBLOCK 18, 0
 
2415
    3666 POP 22
 
2416
    3668 SETGLOBAL String
 
2417
    3670 CONST0 
 
2418
    3671 C_CALL1 gc_stat
 
2419
    3673 GETGLOBAL ""
 
2420
    3675 PUSHCONSTINT 20
 
2421
    3677 C_CALL2 make_vect
 
2422
    3679 PUSHCONSTINT 20
 
2423
    3681 C_CALL1 weak_create
 
2424
    3683 PUSHCONST0 
 
2425
    3684 PUSHCONSTINT 19
 
2426
    3686 PUSH 
 
2427
    3687 BRANCH 3715
 
2428
    3689 CHECK_SIGNALS 
 
2429
    3690 CONSTINT 115
 
2430
    3692 PUSHCONSTINT 20
 
2431
    3694 PUSHGETGLOBALFIELD String, 0
 
2432
    3697 APPLY2 
 
2433
    3698 PUSHACC2 
 
2434
    3699 PUSHACC5 
 
2435
    3700 SETVECTITEM 
 
2436
    3701 ACC1 
 
2437
    3702 PUSHACC4 
 
2438
    3703 GETVECTITEM 
 
2439
    3704 MAKEBLOCK1 0
 
2440
    3706 PUSHACC2 
 
2441
    3707 PUSHACC4 
 
2442
    3708 C_CALL3 weak_set
 
2443
    3710 ACC1 
 
2444
    3711 OFFSETINT 1
 
2445
    3713 ASSIGN 1
 
2446
    3715 ACC0 
 
2447
    3716 PUSHACC2 
 
2448
    3717 LEINT 
 
2449
    3718 BRANCHIF 3689
 
2450
    3720 CONST0 
 
2451
    3721 POP 2
 
2452
    3723 CONST0 
 
2453
    3724 C_CALL1 gc_full_major
 
2454
    3726 CONST0 
 
2455
    3727 PUSHCONSTINT 19
 
2456
    3729 PUSH 
 
2457
    3730 BRANCH 3753
 
2458
    3732 CHECK_SIGNALS 
 
2459
    3733 ACC1 
 
2460
    3734 PUSHACC3 
 
2461
    3735 C_CALL2 weak_get
 
2462
    3737 PUSHACC0 
 
2463
    3738 BRANCHIF 3745
 
2464
    3740 GETGLOBAL Not_found
 
2465
    3742 MAKEBLOCK1 0
 
2466
    3744 RAISE 
 
2467
    3745 CONST0 
 
2468
    3746 POP 1
 
2469
    3748 ACC1 
 
2470
    3749 OFFSETINT 1
 
2471
    3751 ASSIGN 1
 
2472
    3753 ACC0 
 
2473
    3754 PUSHACC2 
 
2474
    3755 LEINT 
 
2475
    3756 BRANCHIF 3732
 
2476
    3758 CONST0 
 
2477
    3759 POP 2
 
2478
    3761 CONST0 
 
2479
    3762 PUSHCONSTINT 19
 
2480
    3764 PUSH 
 
2481
    3765 BRANCH 3785
 
2482
    3767 CHECK_SIGNALS 
 
2483
    3768 CONST0 
 
2484
    3769 PUSHCONST2 
 
2485
    3770 PUSHACC3 
 
2486
    3771 MODINT 
 
2487
    3772 EQ 
 
2488
    3773 BRANCHIFNOT 3780
 
2489
    3775 GETGLOBAL ""
 
2490
    3777 PUSHACC2 
 
2491
    3778 PUSHACC5 
 
2492
    3779 SETVECTITEM 
 
2493
    3780 ACC1 
 
2494
    3781 OFFSETINT 1
 
2495
    3783 ASSIGN 1
 
2496
    3785 ACC0 
 
2497
    3786 PUSHACC2 
 
2498
    3787 LEINT 
 
2499
    3788 BRANCHIF 3767
 
2500
    3790 CONST0 
 
2501
    3791 POP 2
 
2502
    3793 CONST0 
 
2503
    3794 C_CALL1 gc_full_major
 
2504
    3796 CONST0 
 
2505
    3797 PUSHCONSTINT 19
 
2506
    3799 PUSH 
 
2507
    3800 BRANCH 3854
 
2508
    3802 CHECK_SIGNALS 
 
2509
    3803 ACC1 
 
2510
    3804 PUSHACC3 
 
2511
    3805 C_CALL2 weak_get
 
2512
    3807 PUSHACC0 
 
2513
    3808 BRANCHIFNOT 3832
 
2514
    3810 CONST1 
 
2515
    3811 PUSHCONST2 
 
2516
    3812 PUSHACC4 
 
2517
    3813 MODINT 
 
2518
    3814 EQ 
 
2519
    3815 BRANCHIFNOT 3842
 
2520
    3817 CONSTINT 115
 
2521
    3819 PUSHCONSTINT 5
 
2522
    3821 PUSHACC2 
 
2523
    3822 GETFIELD0 
 
2524
    3823 GETSTRINGCHAR 
 
2525
    3824 NEQ 
 
2526
    3825 BRANCHIFNOT 3847
 
2527
    3827 GETGLOBAL Not_found
 
2528
    3829 MAKEBLOCK1 0
 
2529
    3831 RAISE 
 
2530
    3832 CONST0 
 
2531
    3833 PUSHCONST2 
 
2532
    3834 PUSHACC4 
 
2533
    3835 MODINT 
 
2534
    3836 EQ 
 
2535
    3837 BRANCHIFNOT 3842
 
2536
    3839 CONST0 
 
2537
    3840 BRANCH 3847
 
2538
    3842 GETGLOBAL Not_found
 
2539
    3844 MAKEBLOCK1 0
 
2540
    3846 RAISE 
 
2541
    3847 POP 1
 
2542
    3849 ACC1 
 
2543
    3850 OFFSETINT 1
 
2544
    3852 ASSIGN 1
 
2545
    3854 ACC0 
 
2546
    3855 PUSHACC2 
 
2547
    3856 LEINT 
 
2548
    3857 BRANCHIF 3802
 
2549
    3859 CONST0 
 
2550
    3860 POP 4
 
2551
    3862 ATOM0 
 
2552
    3863 SETGLOBAL T350-heapcheck
 
2553
    3865 STOP 
 
2554
**)