002cf7b4
002cf7b4 10 00 18 00 30 00 01 03 00 00 00 00 ....0.......
002cf7c0 0b 6a 13 00 00 00 00 00 41 00 03 00 10 00 18 00 .j......A.......
002cf7d0 30 00 00 00 04 0a 00 00 f8 69 13 00 00 00 00 00 0........i......
002cf7e0 41 00 04 00 08 00 10 00 18 00 30 00 34 09 00 00 A.........0.4...
002cf7f0 d6 69 13 00 00 00 00 00 41 00 04 00 08 00 10 00 .i......A.......
002cf800 18 00 30 00 04 0a 00 00 ca 69 13 00 00 00 00 00 ..0......i......
002cf810 41 00 05 00 00 00 08 00 10 00 18 00 30 00 00 00 A...........0...
002cf820 20 09 00 00 00 00 00 00 b1 69 13 00 00 00 00 00 ........i......
002cf830 41 00 05 00 08 00 10 00 18 00 28 00 30 00 00 00 A.........(.0...
002cf840 e8 09 00 00 00 00 00 00 99 69 13 00 00 00 00 00 .........i......
002cf850 41 00 04 00 08 00 10 00 18 00 30 00 34 09 00 00 A.........0.4...
002cf860 70 69 13 00 00 00 00 00 41 00 07 00 00 00 08 00 pi......A.......
002cf870 10 00 18 00 20 00 28 00 30 00 00 00 ac 0b 00 00 .... .(.0.......
002cf880 5a 69 13 00 00 00 00 00 41 00 05 00 10 00 18 00 Zi......A.......
002cf890 20 00 28 00 30 00 00 00 58 0b 00 00 00 00 00 00 .(.0...X.......
002cf8a0 0b 68 13 00 00 00 00 00 32 00 03 00 08 00 10 00 .h......2.......
002cf8b0 18 00 01 01 00 00 00 00 d2 67 13 00 00 00 00 00 .........g......
002cf8c0 31 00 03 00 08 00 10 00 18 00 00 00 ac 0b 00 00 1...............
002cf8d0 ad 67 13 00 00 00 00 00 31 00 03 00 08 00 10 00 .g......1.......
002cf8e0 18 00 00 00 1c 09 00 00 66 67 13 00 00 00 00 00 ........fg......
002cf8f0 31 00 05 00 00 00 08 00 10 00 18 00 20 00 00 00 1........... ...
002cf900 f0 0b 00 00 00 00 00 00 12 68 13 00 00 00 00 00 .........h......
002cf910 32 00 00 00 01 01 00 00 9f 66 13 00 00 00 00 00 2........f......
002cf920 22 00 03 00 00 00 08 00 10 00 01 01 00 00 00 00 "...............
002cf930 5d 66 13 00 00 00 00 00 21 00 03 00 00 00 08 00 ]f......!.......
002cf940 10 00 00 00 74 09 00 00 a6 66 13 00 00 00 00 00 ....t....f......
002cf950 22 00 00 00 01 01 00 00 84 65 13 00 00 00 00 00 "........e......
002cf960 3a 00 00 00 01 01 00 00 8b 65 13 00 00 00 00 00 :........e......
002cf970 3a 00 02 00 03 00 05 00 01 01 00 00 00 00 00 00 :...............
002cf980 92 65 13 00 00 00 00 00 3a 00 02 00 00 00 08 00 .e......:.......
002cf990 01 01 00 00 00 00 00 00 9c 65 13 00 00 00 00 00 .........e......
002cf9a0 3a 00 04 00 10 00 18 00 20 00 28 00 02 01 01 00 :....... .(.....
002cf9b0 8f 64 13 00 00 00 00 00 39 00 06 00 00 00 08 00 .d......9.......
002cf9c0 10 00 18 00 20 00 28 00 a0 0a 00 00 00 00 00 00 .... .(.........
002cf9d0 a6 65 13 00 00 00 00 00 3a 00 02 00 03 00 05 00 .e......:.......
002cf9e0 01 01 00 00 00 00 00 00 b0 65 13 00 00 00 00 00 .........e......
002cf9f0 3a 00 02 00 03 00 05 00 01 01 00 00 00 00 00 00 :...............
002cfa00 ba 65 13 00 00 00 00 00 3a 00 02 00 03 00 05 00 .e......:.......
002cfa10 01 01 00 00 00 00 00 00 64 63 13 00 00 00 00 00 ........dc......
002cfa20 2a 00 00 00 01 01 00 00 f2 62 13 00 00 00 00 00 *........b......
002cfa30 29 00 04 00 00 00 08 00 10 00 18 00 ac 0a 00 00 )...............
002cfa40 be 62 13 00 00 00 00 00 29 00 04 00 00 00 08 00 .b......).......
002cfa50 10 00 18 00 4c 0a 00 00 6b 63 13 00 00 00 00 00 ....L...kc......
002cfa60 2a 00 04 00 01 00 03 00 05 00 07 00 00 00 00 00 *...............
002cfa70 4d 62 13 00 00 00 00 00 0a 00 02 00 01 00 03 00 Mb..............
002cfa80 00 00 00 00 00 00 00 00 e2 61 13 00 00 00 00 00 .........a......
002cfa90 42 00 02 00 18 00 20 00 00 00 00 00 B..... .....
002cfa9c
002cfa9c SwitchTable
002cfa9c 0x1361ec 0x10042 0x13613c 0x20041
002cfabc
002cfabc 18 00 20 00 .. .
002cfac0 a0 09 00 00 00 00 00 00 f6 61 13 00 00 00 00 00 .........a......
002cfad0 42 00 00 00 01 01 00 00 00 62 13 00 00 00 00 00 B........b......
002cfae0 42 00 00 00 01 01 00 00 0a 62 13 00 00 00 00 00 B........b......
002cfaf0 42 00 00 00 01 01 00 00 25 5f 13 00 00 00 00 00 B.......%_......
002cfb00 19 00 02 00 00 00 08 00 c0 09 00 00 00 00 00 00 ................
002cfb10 0a 5f 13 00 00 00 00 00 19 00 02 00 00 00 08 00 ._..............
002cfb20 38 09 00 00 00 00 00 00 67 5e 13 00 00 00 00 00 8.......g^......
002cfb30 19 00 02 00 00 00 08 00 a8 07 00 00 00 00 00 00 ................
002cfb40 54 5e 13 00 00 00 00 00 19 00 02 00 00 00 08 00 T^..............
002cfb50 08 06 00 00 00 00 00 00 ce 5d 13 00 00 00 00 00 .........]......
002cfb60 09 00 00 00 24 09 00 00 d9 5d 13 00 00 00 00 00 ....$....]......
002cfb70 0a 00 04 00 01 00 03 00 05 00 07 00 01 00 00 00 ................
002cfb80 4e 5d 13 00 00 00 00 00 39 00 00 00 c4 07 00 00 N]......9.......
002cfb90 16 5d 13 00 00 00 00 00 49 00 03 00 10 00 20 00 .]......I..... .
002cfba0 38 00 00 00 4c 06 00 00 f1 5c 13 00 00 00 00 00 8...L....\......
002cfbb0 49 00 03 00 10 00 20 00 38 00 00 00 b4 06 00 00 I..... .8.......
002cfbc0 ec 5c 13 00 00 00 00 00 49 00 03 00 10 00 20 00 .\......I..... .
002cfbd0 38 00 00 00 cc 07 00 00 dd 5c 13 00 00 00 00 00 8........\......
002cfbe0 49 00 03 00 10 00 20 00 38 00 00 00 2c 09 00 00 I..... .8...,...
002cfbf0 7a 5d 13 00 00 00 00 00 5a 00 06 00 01 00 20 00 z]......Z..... .
002cfc00 30 00 38 00 0.8.
002cfc04
002cfc04 SwitchTable
002cfc04 0x20002 0x135c60 0x50059
002cfc1c
002cfc1c 20 00 30 00 .0.
002cfc20 38 00 40 00 48 00 00 00 98 07 00 00 00 00 00 00 8.@.H...........
002cfc30 4a 5c 13 00 00 00 00 00 49 00 05 00 10 00 20 00 J\......I..... .
002cfc40 28 00 30 00 38 00 00 00 d0 05 00 00 00 00 00 00 (.0.8...........
002cfc50 40 5c 13 00 00 00 00 00 49 00 05 00 10 00 20 00 @\......I..... .
002cfc60 28 00 30 00 38 00 00 00 f8 04 00 00 00 00 00 00 (.0.8...........
002cfc70 24 5c 13 00 00 00 00 00 49 00 06 00 10 00 18 00 $\......I.......
002cfc80
002cfc80 SwitchTable
002cfc80 0x280020 0x500 0x135c0a
002cfc98
002cfc98 49 00 06 00 10 00 18 00 I.......
002cfca0
002cfca0 SwitchTable
002cfca0 0x280020 0x690 0x135bee
002cfcb8
002cfcb8 49 00 06 00 10 00 18 00 I.......
002cfcc0
002cfcc0 SwitchTable
002cfcc0 0x280020 0x5b0 0x135bd4
002cfcd8
002cfcd8 49 00 06 00 10 00 18 00 I.......
002cfce0
002cfce0 SwitchTable
002cfce0 0x280020 0x7e8 0x135bb3
002cfcf8
002cfcf8 49 00 05 00 10 00 18 00 I.......
002cfd00 20 00 28 00 38 00 00 00 90 07 00 00 00 00 00 00 .(.8...........
002cfd10 a4 5b 13 00 00 00 00 00 49 00 05 00 10 00 18 00 .[......I.......
002cfd20 20 00 28 00 38 00 00 00 e8 06 00 00 00 00 00 00 .(.8...........
002cfd30 97 5b 13 00 00 00 00 00 49 00 05 00 10 00 18 00 .[......I.......
002cfd40 20 00 28 00 38 00 00 00 68 07 00 00 00 00 00 00 .(.8...h.......
002cfd50 88 5b 13 00 00 00 00 00 49 00 05 00 10 00 18 00 .[......I.......
002cfd60 20 00 28 00 38 00 00 00 b0 03 00 00 00 00 00 00 .(.8...........
002cfd70 3a 5b 13 00 00 00 00 00 49 00 05 00 18 00 20 00 :[......I..... .
002cfd80 28 00 30 00 38 00 00 00 70 07 00 00 00 00 00 00 (.0.8...p.......
002cfd90 14 5b 13 00 00 00 00 00 49 00 04 00 10 00 28 00 .[......I.....(.
002cfda0 30 00 38 00 a4 04 00 00 ff 5a 13 00 00 00 00 00 0.8......Z......
002cfdb0 49 00 04 00 10 00 28 00 30 00 38 00 fc 05 00 00 I.....(.0.8.....
002cfdc0 fa 5a 13 00 00 00 00 00 49 00 04 00 10 00 28 00 .Z......I.....(.
002cfdd0 30 00 38 00 64 03 00 00 7d 5a 13 00 00 00 00 00 0.8.d...}Z......
002cfde0 09 00 00 00 6c 04 00 00 3a 5a 13 00 00 00 00 00 ....l...:Z......
002cfdf0 11 00 00 00 a4 04 00 00 ........
002cfdf8
002cfdf8 SwitchTable
002cfdf8 0x135a2e 0x10011 0x570 0x1359a6
002cfe18
002cfe18 29 00 02 00 10 00 18 00 ).......
002cfe20
002cfe20 SwitchTable
002cfe20 0x428 0x1358f6 0x10021 0x380 0x1358bd
002cfe48
002cfe48 31 00 01 00 18 00 00 00 1.......
002cfe50 78 03 00 00 00 00 00 00 ae 58 13 00 00 00 00 00 x........X......
002cfe60 31 00 01 00 18 00 00 00 70 05 00 00 00 00 00 00 1.......p.......
002cfe70 88 58 13 00 00 00 00 00 31 00 01 00 18 00 00 00 .X......1.......
002cfe80 40 06 00 00 00 00 00 00 83 58 13 00 00 00 00 00 @........X......
002cfe90 31 00 01 00 18 00 00 00 c0 04 00 00 00 00 00 00 1...............
002cfea0 74 58 13 00 00 00 00 00 31 00 01 00 18 00 00 00 tX......1.......
002cfeb0 50 05 00 00 00 00 00 00 63 58 13 00 00 00 00 00 P.......cX......
002cfec0 31 00 01 00 18 00 00 00 a8 04 00 00 00 00 00 00 1...............
002cfed0 54 58 13 00 00 00 00 00 31 00 01 00 18 00 00 00 TX......1.......
002cfee0 d0 04 00 00 00 00 00 00 22 59 13 00 00 00 00 00 ........"Y......
002cfef0 42 00 04 00 01 00 20 00 28 00 30 00 02 00 02 00 B..... .(.0.....
002cff00 e2 57 13 00 00 00 00 00 41 00 03 00 20 00 28 00 .W......A... .(.
002cff10 30 00 00 00 3c 05 00 00 dd 57 13 00 00 00 00 00 0...<....W......
002cff20 41 00 03 00 20 00 28 00 30 00 00 00 fc 01 00 00 A... .(.0.......
002cff30 ba 57 13 00 00 00 00 00 31 00 01 00 18 00 00 00 .W......1.......
002cff40 28 03 00 00 00 00 00 00 66 57 13 00 00 00 00 00 (.......fW......
002cff50 1a 00 01 00 00 00 01 00 ........
002cff58
002cff58 SwitchTable
002cff58 0x135740 0x10019 0x428 0x13573b 0x10019 0x330 0x13572c 0x10019
002cff98 0x450 0x135703
002cffa8
002cffa8 19 00 01 00 08 00 00 00 ........
002cffb0 60 01 00 00 00 00 00 00 6d 57 13 00 00 00 00 00 `.......mW......
002cffc0 1a 00 03 00 00 00 01 00 08 00 01 04 00 00 00 00 ................
002cffd0 b3 56 13 00 00 00 00 00 19 00 02 00 00 00 08 00 .V..............
002cffe0 80 02 00 00 00 00 00 00 a5 56 13 00 00 00 00 00 .........V......
002cfff0 19 00 01 00 08 00 00 00 68 03 00 00 00 00 00 00 ........h.......
002d0000 64 56 13 00 00 00 00 00 1a 00 00 00 01 01 00 00 dV..............
002d0010 16 56 13 00 00 00 00 00 19 00 01 00 08 00 00 00 .V..............
002d0020 48 03 00 00 00 00 00 00 07 56 13 00 00 00 00 00 H........V......
002d0030 19 00 01 00 08 00 00 00 38 04 00 00 00 00 00 00 ........8.......
002d0040 fb 55 13 00 00 00 00 00 19 00 02 00 00 00 08 00 .U..............
002d0050 78 02 00 00 00 00 00 00 ec 55 13 00 00 00 00 00 x........U......
002d0060 19 00 02 00 00 00 08 00 28 02 00 00 00 00 00 00 ........(.......
002d0070 cc 55 13 00 00 00 00 00 19 00 01 00 08 00 00 00 .U..............
002d0080 08 03 00 00 00 00 00 00 bd 55 13 00 00 00 00 00 .........U......
002d0090 19 00 01 00 08 00 00 00 60 03 00 00 00 00 00 00 ........`.......
002d00a0 68 55 13 00 00 00 00 00 19 00 01 00 08 00 00 00 hU..............
002d00b0 38 01 00 00 00 00 00 00 af 54 13 00 00 00 00 00 8........T......
002d00c0 0a 00 02 00 01 00 03 00 00 00 00 00 00 00 00 00 ................
002d00d0 99 54 13 00 00 00 00 00 0a 00 00 00 01 01 00 00 .T..............
002d00e0 32 54 13 00 00 00 00 00 09 00 00 00 84 00 00 00 2T..............
002d00f0 23 54 13 00 00 00 00 00 09 00 00 00 84 00 00 00 #T..............
002d0100 14 54 13 00 00 00 00 00 09 00 00 00 94 00 00 00 .T..............
002d0110
002d0110 SwitchTable
002d0110 0x4c0 0x724 0x590 0x694 0x4ec 0x704 0x570 0x6c8
002d0150 0x550 0x460 0x6dc 0x538
002d0170
002d0170 c8 05 00 84 ....
002d0174
002d0174 SwitchTable
002d0174 0x59c 0x5b8 0x6b4 0x520 0x4b8 0x598 0x56c 0x46c
002d01b4 0x6b0 0x538 0x5f4 0x390 0x4d8 0x380 0x5f8 0x64c
002d01f4 0x500 0x5fc 0x4a8 0x490 0x624 0x430 0x488 0x3d4
002d0234 0x418 0x4b8 0x508 0x330 0x448 0x370 0x4c0 0x5cc
002d0274 0x5c4 0x420 0x394 0x550 0x4d0 0x508 0x3d8 0x320
002d02b4 0x3b0 0x2a0 0x518 0x290 0x420 0x2d8 0x5ac
002d02ec
002d02ec a0 99 b0 09 ....
002d02f0 60 03 00 e4 62 08 25 09 0c 03 00 00 40 69 88 0b `...b.%.....@i..
002d0300 e4 03 00 00 50 0a 80 0a 94 02 00 5c ....P......\
002d030c
002d030c SwitchTable
002d030c 0x584 0x388 0x2e4 0x56c 0x3e4 0x504 0x554 0x358
002d034c 0x4ec
002d0354
002d0354 10 45 00 04 64 04 00 c8 .E..d...
002d035c
002d035c SwitchTable
002d035c 0x270 0x478 0x44c 0x3f0 0x320 0x458 0x240 0x330
002d039c 0x49c 0x47c 0x40c 0x484 0x47c 0x488 0x344 0x3e4
002d03dc 0x2c0 0x1e8 0x2c0 0x3e8
002d03fc
002d03fc 20 65 48 01 eH.
002d0400 bc 03 00 c8 ....
002d0404
002d0404 SwitchTable
002d0404 0x298 0x42c 0x148
002d041c
002d041c 58 65 40 08 Xe@.
002d0420 d8 02 00 fc ....
002d0424
002d0424 SwitchTable
002d0424 0x288 0x1ec 0x268 0x260 0x1bc 0x36c 0x160 0x418
002d0464 0x314 0x370 0x384 0xe0 0x164 0x18c 0x3a4 0x2f0
002d04a4
002d04a4 10 39 a0 05 94 01 00 4c 80 1a 79 0c .9.....L..y.
002d04b0 8c 03 00 00 88 81 58 03 98 01 00 00 f8 dd 08 09 ......X.........
002d04c0 fc 02 00 24 ...$
002d04c4
002d04c4 SwitchTable
002d04c4 0xf0 0x36c 0x3bc 0x80 0x2a8 0x30c 0x344 0x350
002d0504 0x1f0 0xf4 0x324 0x60
002d0524
002d0524 b8 69 f8 02 .i..
002d0528
002d0528 string "entry.ml",0
002d0531
002d0531 string "stdlib.ml",0
002d053b
002d053b string "index.ml",0
002d0544
002d0544 string "list.ml",0
002d054c
002d054c string "doOut.ml",0
002d0555
002d0555 string "table.ml",0
002d055e
002d055e 00 00 ..
002d0560 db ff ff ff 49 6e 64 65 78 2e 70 72 69 6e 74 5f ....Index.print_
002d0570 65 6e 74 72 79 2e 70 72 69 6e 74 73 00 00 00 00 entry.prints....
002d0580 bb ff ff ff 49 6e 64 65 78 2e 69 6e 64 65 78 5f ....Index.index_
002d0590 66 69 6c 65 6e 61 6d 65 00 00 00 00 9f ff ff ff filename........
002d05a0 04 00 0c 00 24 03 00 00 49 6e 64 65 78 2e 66 69 ....$...Index.fi
002d05b0 6e 61 6c 69 7a 65 00 00 83 ff ff ff 49 6e 64 65 nalize......Inde
002d05c0 78 2e 63 6f 6d 70 61 72 65 5f 63 68 61 72 00 00 x.compare_char..
002d05d0 6b ff ff ff 49 6e 64 65 78 2e 72 65 61 64 5f 69 k...Index.read_i
002d05e0 6e 64 65 78 5f 66 69 6c 65 00 00 00 4f ff ff ff ndex_file...O...
002d05f0 49 6e 64 65 78 2e 74 72 65 61 74 5f 61 6e 63 68 Index.treat_anch
002d0600 6f 72 00 00 37 ff ff ff 49 6e 64 65 78 2e 64 6f or..7...Index.do
002d0610 5f 64 75 6d 70 5f 69 6e 64 65 78 00 1f ff ff ff _dump_index.....
002d0620 49 6e 64 65 78 2e 6f 75 74 70 75 74 5f 69 6e 64 Index.output_ind
002d0630 65 78 2e 28 66 75 6e 29 00 00 00 00 ff fe ff ff ex.(fun)........
002d0640 49 6e 64 65 78 2e 66 69 6e 61 6c 69 7a 65 00 00 Index.finalize..
002d0650 eb fe ff ff 49 6e 64 65 78 2e 6f 75 74 70 75 74 ....Index.output
002d0660 5f 69 6e 64 65 78 00 00 d3 fe ff ff 49 6e 64 65 _index......Inde
002d0670 78 2e 63 6c 6f 73 65 5f 70 72 65 76 00 00 00 00 x.close_prev....
002d0680 bb fe ff ff 49 6e 64 65 78 2e 64 69 66 66 5f 65 ....Index.diff_e
002d0690 6e 74 72 69 65 73 2e 64 69 66 66 5f 72 65 63 00 ntries.diff_rec.
002d06a0 9b fe ff ff 49 6e 64 65 78 2e 70 72 69 6e 74 00 ....Index.print.
002d06b0 8b fe ff ff 49 6e 64 65 78 2e 70 72 69 6e 74 5f ....Index.print_
002d06c0 65 6e 74 72 79 00 00 00 84 fe ff ff 44 6f 4f 75 entry.......DoOu
002d06d0 74 2e 4d 61 6b 65 2e 63 72 65 61 74 65 5f 62 75 t.Make.create_bu
002d06e0 66 66 00 00 4d fe ff ff 53 74 64 6c 69 62 2e 6f ff..M...Stdlib.o
002d06f0 70 65 6e 5f 6f 75 74 00 43 fe ff ff 49 6e 64 65 pen_out.C...Inde
002d0700 78 2e 66 69 6e 61 6c 69 7a 65 2e 28 66 75 6e 29 x.finalize.(fun)
002d0710 00 00 00 00 27 fe ff ff 49 6e 64 65 78 2e 6e 65 ....'...Index.ne
002d0720 77 69 6e 64 65 78 00 00 00 fe ff ff 45 6e 74 72 windex......Entr
002d0730 79 2e 69 64 78 00 00 00 03 fe ff ff 49 6e 64 65 y.idx.......Inde
002d0740 78 2e 6d 69 73 73 69 6e 67 5f 69 6e 64 65 78 00 x.missing_index.
002d0750 eb fd ff ff 49 6e 64 65 78 2e 66 69 6e 64 5f 69 ....Index.find_i
002d0760 6e 64 65 78 00 00 00 00 d3 fd ff ff 49 6e 64 65 ndex........Inde
002d0770 78 2e 69 6e 64 65 78 5f 6c 62 6c 00 bf fd ff ff x.index_lbl.....
002d0780 49 6e 64 65 78 2e 63 6f 6d 6d 6f 6e 00 00 00 00 Index.common....
002d0790 ab fd ff ff 49 6e 64 65 78 2e 63 6f 6d 70 2e 63 ....Index.comp.c
002d07a0 5f 72 65 63 00 00 00 00 93 fd ff ff 49 6e 64 65 _rec........Inde
002d07b0 78 2e 4b 65 79 53 65 74 00 00 00 00 7f fd ff ff x.KeySet........
002d07c0 49 6e 64 65 78 2e 72 65 61 64 5f 69 6e 64 65 78 Index.read_index
002d07d0 5f 66 69 6c 65 2e 64 6f 5f 72 65 63 00 00 00 00 _file.do_rec....
002d07e0 5b fd ff ff 49 6e 64 65 78 2e 70 72 65 74 74 79 [...Index.pretty
002d07f0 5f 6b 65 79 2e 70 5f 72 65 63 00 00 3f fd ff ff _key.p_rec..?...
002d0800 49 6e 64 65 78 2e 6f 70 65 6e 5f 74 68 69 73 00 Index.open_this.
002d0810 21 fd ff ff 53 74 64 6c 69 62 2e 6f 70 65 6e 5f !...Stdlib.open_
002d0820 69 6e 00 00 20 fd ff ff 53 74 64 6c 69 62 5f 5f in.. ...Stdlib__
002d0830 4c 69 73 74 2e 72 65 76 00 00 00 00 ff fc ff ff List.rev........
002d0840 49 6e 64 65 78 2e 64 6f 5f 74 72 65 61 74 00 00 Index.do_treat..
002d0850 eb fc ff ff 49 6e 64 65 78 2e 6d 61 6b 65 5f 69 ....Index.make_i
002d0860 6e 64 65 78 00 00 00 00 ed fc ff ff 54 61 62 6c ndex........Tabl
002d0870 65 2e 74 72 69 6d 00 00 c3 fc ff ff 49 6e 64 65 e.trim......Inde
002d0880 78 2e 63 6f 6d 70 61 72 65 5f 73 74 72 69 6e 67 x.compare_string
002d0890 00 00 00 00 a7 fc ff ff 49 6e 64 65 78 2e 63 72 ........Index.cr
002d08a0 65 61 74 65 eate
002d08a4
002d08a4 SwitchTable
002d08a4 0x64 0xbf7 0x137e60 0x5 0xbf7 0x137f50 0x5 0xbf7
002d08e4 0x137ef0 0x5 0xbf7 0x138000 0x5 0xbf7 0x137fc0 0x5
002d0924 0xbf7 0x1380e0 0x5 0xbf7 0x138040 0x5 0xbf7 0x138100
002d0964 0x5 0xff7 0xf6f30 0x7 0x1381f0 0xbf7 0x138260 0x5
002d09a4 0x4300 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d09e4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d0a24 0x1 0x2d09b0
002d0a34
002d0a34 00 00 00 00 00 00 00 00 00 00 00 00 ............
002d0a40 fc 0f 00 00 00 00 00 00 ........
002d0a48
002d0a48 ; \clearpage% page: ← 0x1381c1
002d0a48 0a 5c 63 6c 65 61 72 70 .\clearp
002d0a50 61 67 65 25 age%
002d0a54
002d0a54 SwitchTable
002d0a54 0x203a65 0xb00 0x2d0aa0 0x2d0a80 0xffc
002d0a68
002d0a68 PointerTable ← camlImage.page_398
002d0a68 0x2d0aa0 0x2d0a80
002d0a7c
002d0a7c 00 00 00 00 ....
002d0a80
002d0a80 string "dump image number %d"
002d0a94
002d0a94 SwitchTable
002d0a94 0xb0b 0x2d0ae0 0x2d0ab8 0x1304 0x1 0x1 0x1 0x1
002d0ad4 0xffc
002d0aa0
002d0aa0 PointerTable
002d0aa0 0x2d0ae0 0x2d0ab8
002d0adc
002d0adc 00 00 00 00 ....
002d0ae0
002d0ae0 string "dump image number ",0
002d0af3
002d0af3 00 00 00 00 05 fc 0b 00 00 00 00 00 00 .............
002d0b00
002d0b00 string ".image.tex.new",0 ← 0x138593
002d0b0f
002d0b0f 01 .
002d0b10 fc 07 00 00 00 00 00 00 ........
002d0b18
002d0b18 uint8_t g_2d0b18 ← camlImage.page_398 camlImage.entry
002d0b18 00 00 00 00 ....
002d0b1c
002d0b1c SwitchTable
002d0b1c 0x7fc 0x27 0x7fc 0x20 0x1ffc
002d0b44
002d0b44 00 00 00 00 ....
002d0b48
002d0b48 string "HeVeA Warning: images may have changed, run 'imagen ",0 ← 0x138357
002d0b7d
002d0b7d 00 00 03 ...
002d0b80 fc 07 00 00 00 00 00 00 ........
002d0b88
002d0b88 string ".new" ← 0x1382b7
002d0b8c
002d0b8c SwitchTable
002d0b8c 0x7fc 0xa 0xbfc
002d0ba4
002d0ba4 00 00 00 00 ....
002d0ba8
002d0ba8 string "Image.active",0 ← 0x1384c2
002d0bb5
002d0bb5 00 00 03 00 00 00 00 00 00 00 00 ...........
002d0bc0 00 00 00 00 ....
002d0bc4
002d0bc4 SwitchTable
002d0bc4 0x20 0x1385aa 0x9
002d0bdc
002d0bdc fc 02 00 00 ....
002d0be0 af 84 13 00 00 00 00 00 0a 00 00 00 01 02 00 00 ................
002d0bf0 60 84 13 00 00 00 00 00 0a 00 00 00 01 00 00 00 `...............
002d0c00 2e 84 13 00 00 00 00 00 0a 00 00 00 01 00 00 00 ................
002d0c10 fc 83 13 00 00 00 00 00 0a 00 00 00 01 00 00 00 ................
002d0c20 84 83 13 00 00 00 00 00 11 00 00 00 74 02 00 00 ............t...
002d0c30 68 83 13 00 00 00 00 00 11 00 00 00 74 02 00 00 h...........t...
002d0c40 63 83 13 00 00 00 00 00 11 00 00 00 04 02 00 00 c...............
002d0c50 54 83 13 00 00 00 00 00 11 00 00 00 5c 02 00 00 T...........\...
002d0c60 29 83 13 00 00 00 00 00 11 00 00 00 04 02 00 00 )...............
002d0c70 1a 83 13 00 00 00 00 00 11 00 00 00 14 02 00 00 ................
002d0c80 03 83 13 00 00 00 00 00 11 00 00 00 44 02 00 00 ............D...
002d0c90
002d0c90 SwitchTable
002d0c90 0x1382e5 0x10011 0x190 0x1382ce
002d0c98
002d0c98 PointerTable
002d0c98 0x10011 0x190
002d0cb0
002d0cb0 11 00 00 00 e4 01 00 00 ........
002d0cb8
002d0cb8 SwitchTable
002d0cb8 0x1382a9 0x10011 0x200 0x138234
002d0cc0
002d0cc0 PointerTable
002d0cc0 0x10011 0x200
002d0cd8
002d0cd8 19 00 02 00 00 00 08 00 ........
002d0ce0 88 01 00 00 00 00 00 00 4b 82 13 00 00 00 00 00 ........K.......
002d0cf0 1a 00 03 00 00 00 07 00 08 00 00 00 00 00 00 00 ................
002d0d00 cd 81 13 00 00 00 00 00 19 00 00 00 b4 01 00 00 ................
002d0d10 be 81 13 00 00 00 00 00 19 00 00 00 44 01 00 00 ............D...
002d0d20 b2 81 13 00 00 00 00 00 19 00 00 00 54 01 00 00 ............T...
002d0d30
002d0d30 SwitchTable
002d0d30 0x13819a 0x10019 0x138 0x138186 0x10019 0x150 0x13817a 0x10019
002d0d70 0xb8 0x13816d 0x10019 0xa0 0x138146 0x10019 0x98 0x1380ca
002d0db0
002d0db0 12 00 01 00 00 00 01 00 ........
002d0db8
002d0db8 SwitchTable
002d0db8 0x138085 0x10011 0xc0 0x13806e
002d0dc0
002d0dc0 PointerTable
002d0dc0 0x10011 0xc0
002d0dd8
002d0dd8 11 00 00 00 6c 00 00 00 ....l...
002d0de0 94 7f 13 00 00 00 00 00 09 00 00 00 54 00 00 00 ............T...
002d0df0 4d 7f 13 00 00 00 00 00 0a 00 02 00 03 00 05 00 M...............
002d0e00 01 01 00 00 00 00 00 00 e0 7e 13 00 00 00 00 00 .........~......
002d0e10 0a 00 01 00 01 00 01 00 a3 7e 13 00 00 00 00 00 .........~......
002d0e20 09 00 00 00 34 00 00 00 ....4...
002d0e28
002d0e28 SwitchTable
002d0e28 0x124 0x170 0x114 0xbc 0x130
002d0e50
002d0e50 50 01 00 0c P...
002d0e54
002d0e54 SwitchTable
002d0e54 0x104 0xec 0xd4 0x130 0xd4 0xcc 0x88 0x110
002d0e94 0x108 0x100 0xa4
002d0eac
002d0eac a0 10 00 02 ....
002d0eb0 f0 00 00 60 ...`
002d0eb4
002d0eb4 SwitchTable
002d0eb4 0xe8 0x8c 0x5c 0xd0 0xb4
002d0edc
002d0edc d8 91 90 01 ....
002d0ee0
002d0ee0 string "stdlib.ml",0
002d0eea
002d0eea string "doOut.ml",0
002d0ef3
002d0ef3 string "image.ml",0
002d0efc
002d0efc f7 ff ff ff ....
002d0f00 49 6d 61 67 65 2e 72 65 73 74 61 72 74 00 00 00 Image.restart...
002d0f10 e3 ff ff ff 49 6d 61 67 65 2e 6f 70 65 6e 5f 63 ....Image.open_c
002d0f20 68 61 6e 00 cf ff ff ff 49 6d 61 67 65 2e 63 6c han.....Image.cl
002d0f30 6f 73 65 5f 63 68 61 6e 00 00 00 00 b7 ff ff ff ose_chan........
002d0f40 49 6d 61 67 65 2e 64 75 6d 70 00 00 a7 ff ff ff Image.dump......
002d0f50 49 6d 61 67 65 2e 70 61 67 65 00 00 8e ff ff ff Image.page......
002d0f60 44 6f 4f 75 74 2e 4d 61 6b 65 2e 63 72 65 61 74 DoOut.Make.creat
002d0f70 65 5f 62 75 66 66 00 00 68 ff ff ff 53 74 64 6c e_buff..h...Stdl
002d0f80 69 62 2e 6f 70 65 6e 5f 6f 75 74 00 67 ff ff ff ib.open_out.g...
002d0f90 49 6d 61 67 65 2e 74 6d 70 5f 6e 61 6d 65 00 00 Image.tmp_name..
002d0fa0 53 ff ff ff 49 6d 61 67 65 2e 66 69 S...Image.fi
002d0fac
002d0fac SwitchTable uint64_t
002d0fac 0x657a 0xbf7 0x138b80 0x5 0xbf7 0x138690 0x5 0xbf7
002d0fec 0x1386c0 0x5 0xbf7 0x1386e0 0x5 0xbf7 0x1387c0 0x5
002d102c 0xbf7 0x138730 0x5 0xbf7 0x138700 0x5 0xbf7 0x138820
002d106c 0x5 0xbf7 0x138840 0x5 0xbf7 0x138880 0x5 0xbf7
002d10ac 0x1388c0 0x5 0xbf7 0x1388e0 0x5 0xbf7 0x1388f0 0x5
002d10ec 0xbf7 0x138970 0x5 0xbf7 0x138a10 0x5 0xbf7 0x138ae0
002d112c 0x5 0xbf7 0x138b00 0x5 0xbf7 0x138c60 0x5 0xbf7
002d116c 0x138c70 0x5 0xbf7 0x138ce0 0x5 0xff7 0xf6f30 0x7
002d11ac 0x138cf0 0xff7 0xf7020 0x7 0x139070 0xbf7 0x139160 0x5
002d11ec 0xbf7 0x139170 0x5 0xff7 0xf6f30 0x7 0x1391a0 0xff7
002d122c 0xf6f30 0x7 0x139190 0xbf7 0x139180 0x5 0xff7 0xf7020
002d126c 0x7 0x1391b0 0xbf7 0x1392c0 0x5 0xff7 0xf7020 0x7
002d12ac 0x1392d0 0x1ff7 0xf7020 0xf 0x139450 0x10f9 0xf7020 0x7
002d12ec 0x139440 0xbf7 0x139470 0x5 0xbf7 0x1395a0 0x5 0xbf7
002d132c 0x1395b0 0x5 0xbf7 0x139650 0x5 0xbf7 0x1397b0 0x5
002d136c 0xbf7 0x1397f0 0x5 0xbf7 0x139980 0x5 0xff7 0xf6f30
002d13ac 0x7 0x139990 0x1ff7 0xf6f30 0xf 0x139b40 0x10f9 0xf6f30
002d13ec 0x7 0x139ad0 0xbf7 0x139c50 0x5 0xbf7 0x139bd0 0x5
002d142c 0xbf7 0x139b60 0x5 0xbf7 0x139d40 0x5 0xbf7 0x139cc0
002d146c 0x5 0xff7 0xf7020 0x7 0x139db0 0xbf7 0x13a100 0x5
002d14ac 0xbf7 0x13a0e0 0x5 0xbf7 0x13a0c0 0x5 0xff7 0xf7020
002d14ec 0x7 0x13a070 0xbf7 0x13a020 0x5 0xbf7 0x139fd0 0x5
002d152c 0xff7 0xf7020 0x7 0x139f80 0xbf7 0x13a1b0 0x5 0xff7
002d156c 0xf7020 0x7 0x13a150 0xff7 0xf7020 0x7 0x13a230 0xbf7
002d15ac 0x13a300 0x5 0xff7 0xf7020 0x7 0x13a480 0xbf7 0x13a430
002d15ec 0x5 0xbf7 0x13a3f0 0x5 0xff7 0xf7020 0x7 0x13a360
002d162c 0xff7 0xf6f30 0x7 0x13a510 0xff7 0xf7020 0x7 0x13a670
002d166c 0xff7 0xf7020 0x7 0x13a780 0xff7 0xf6dc0 0x7 0x13a850
002d16ac 0xbf7 0x13aae0 0x5 0xbf7 0x13aad0 0x5 0xbf7 0x13aac0
002d16ec 0x5 0xbf7 0x13aa40 0x5 0xbf7 0x13a980 0x5 0xbf7
002d172c 0x13a8f0 0x5 0xbf7 0x13ab40 0x5 0xbf7 0x13aaf0 0x5
002d176c 0xbf7 0x13abc0 0x5 0xbf7 0x13ac80 0x5 0xff7 0xf7020
002d17ac 0x7 0x13ac90 0xff7 0xf7020 0x7 0x13ad90 0xff7 0xf6f30
002d17ec 0x7 0x13ae90 0xbf7 0x13af50 0x5 0xbf7 0x13b160 0x5
002d182c 0xbf7 0x13b310 0x5 0xff7 0xf6b90 0x7 0x13b340 0xff7
002d186c 0xf6b90 0x7 0x13b440 0xff7 0xf6dc0 0x7 0x13b6a0 0x1eb00
002d18ac 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d18ec 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d192c 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d196c 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d19ac 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d19ec 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d1a2c 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d1a6c 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d1aac 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d1aec 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d1b2c 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d1b6c 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d1bac 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d1bec 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d1c2c 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d1c6c 0x1 0x1 0x2d18b0