00312c80
00312c80 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
*
00312d80 02 00 ff ff 0c 00 00 01 fc 1f 00 00 00 00 00 00 ................
00312d90 01 00 00 00 00 00 00 00 00 00 00 00 09 00 ff ff ................
00312da0 00 00 00 00 0b 00 00 00 00 00 ff ff ............
00312dac
00312dac SwitchTable
00312dac 0xf4016 0xf4016 0xf4016 0xf4016
00312dbc
00312dbc ff ff 00 00 ....
00312dc0 00 00 00 00 00 00 00 07 fc 1f 00 00 00 00 00 00 ................
00312dd0 ff ff ff ff ff ff ff ff ff ff ff ff 06 00 06 00 ................
00312de0 ff ff ff ff ff ff ff ff ff ff 02 00 ............
00312dec
00312dec SwitchTable
00312dec 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00312e00
00312e00 00 00 00 00 00 00 00 07 fc 1f 00 00 00 00 00 00 ................
00312e10 00 00 f9 ff fa ff fb ff fc ff fd ff 01 00 01 00 ................
00312e20 ff ff fe ff 02 00 fd ff fe ff 00 00 00 00 00 00 ................
00312e30 00 00 00 00 01 00 01 00 00 00 00 00 00 00 ff ff ................
00312e40 00 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ................
00312e50
00312e50 string "Entry.NoGood" ← 0x178800
00312e5c
00312e5c SwitchTable
00312e5c 0xb00 0x1 0x1 0x7fc 0x225c 0xbfc
00312e8c
00312e8c 00 00 00 00 ....
00312e90
00312e90 string "Entry.Fini",0 ← 0x1787b3
00312e9b
00312e9b 00 00 00 00 05 .....
00312ea0 00 00 00 00 00 00 00 00 00 00 00 00 ............
00312eac
00312eac SwitchTable
00312eac 0x2d 0x1787f4 0x1000a 0x1787a7 0x1000a 0x1786ff 0x1000a
00312ee4
00312ee4 01 00 01 00 fa 86 17 00 00 00 00 00 ............
00312ef0 09 00 00 00 94 03 00 00 a3 86 17 00 00 00 00 00 ................
00312f00 1a 00 03 00 00 00 01 00 08 00 03 01 01 01 00 00 ................
00312f10 3f 86 17 00 00 00 00 00 19 00 02 00 00 00 08 00 ?...............
00312f20 d8 03 00 00 00 00 00 00 b3 85 17 00 00 00 00 00 ................
00312f30 12 00 02 00 00 00 01 00 ........
00312f38
00312f38 SwitchTable
00312f38 0x10102 0x17856b 0x10011 0x378 0x178527 0x1001a 0x101 0x17852e
00312f48
00312f48 PointerTable
00312f48 0x10011 0x378
00312f78
00312f78 1a 00 02 00 01 00 08 00 ........
00312f80 03 01 01 01 00 00 00 00 66 84 17 00 00 00 00 00 ........f.......
00312f90 19 00 01 00 08 00 00 00 f8 02 00 00 00 00 00 00 ................
00312fa0 38 85 17 00 00 00 00 00 1a 00 02 00 01 00 08 00 8...............
00312fb0 03 01 01 01 00 00 00 00 ef 83 17 00 00 00 00 00 ................
00312fc0 19 00 01 00 08 00 00 00 ........
00312fc8
00312fc8 SwitchTable
00312fc8 0x320 0x1783c8 0x10019 0x2c0 0x178384
00312ff0
00312ff0 0a 00 01 00 01 00 01 00 8b 83 17 00 00 00 00 00 ................
00313000 0a 00 01 00 01 00 01 00 28 83 17 00 00 00 00 00 ........(.......
00313010 09 00 00 00 64 02 00 00 90 82 17 00 00 00 00 00 ....d...........
00313020 09 00 00 00 7c 02 00 00 3c 82 17 00 00 00 00 00 ....|...<.......
00313030 11 00 00 00 4c 02 00 00 ....L...
00313038
00313038 SwitchTable
00313038 0x17824e 0x10012 0x2 0x178195
00313058
00313058 0a 00 02 00 03 00 05 00 ........
00313060 01 01 00 00 00 00 00 00 9c 81 17 00 00 00 00 00 ................
00313070 0a 00 02 00 03 00 05 00 01 01 00 00 00 00 00 00 ................
00313080 a3 81 17 00 00 00 00 00 0a 00 02 00 03 00 05 00 ................
00313090 01 01 00 00 00 00 00 00 c4 80 17 00 00 00 00 00 ................
003130a0 1a 00 02 00 00 00 01 00 ........
003130a8
003130a8 SwitchTable
003130a8 0x101 0x17806d 0x10019 0x200 0x178048
003130d0
003130d0 19 00 01 00 08 00 00 00 e8 01 00 00 00 00 00 00 ................
003130e0 0a 80 17 00 00 00 00 00 19 00 02 00 00 00 08 00 ................
003130f0 00 02 00 00 00 00 00 00 f3 7f 17 00 00 00 00 00 ................
00313100 19 00 01 00 08 00 00 00 d0 01 00 00 00 00 00 00 ................
00313110 cb 80 17 00 00 00 00 00 1a 00 03 00 03 00 05 00 ................
00313120 08 00 00 00 00 00 00 00 b4 7f 17 00 00 00 00 00 ................
00313130 0a 00 01 00 01 00 00 00 4e 7f 17 00 00 00 00 00 ........N.......
00313140 19 00 01 00 08 00 00 00 ........
00313148
00313148 SwitchTable
00313148 0x160 0x177f62 0x1001a 0x177ecc
00313168
00313168 19 00 00 00 04 01 00 00 ........
00313170
00313170 SwitchTable
00313170 0x177f6c 0x1001a 0x177e8c
00313188
00313188 19 00 00 00 dc 00 00 00 ........
00313190
00313190 SwitchTable
00313190 0x177e6f 0x10019 0x100 0x177e5c
003131b0
003131b0 19 00 01 00 08 00 00 00 ........
003131b8
003131b8 SwitchTable
003131b8 0xe0 0x177f76 0x1001a 0x177e1c
003131d8
003131d8 19 00 00 00 dc 00 00 00 ........
003131e0 fa 7d 17 00 00 00 00 00 19 00 01 00 08 00 00 00 .}..............
003131f0 b8 00 00 00 00 00 00 00 8e 7d 17 00 00 00 00 00 .........}......
00313200 19 00 01 00 08 00 00 00 a8 00 00 00 00 00 00 00 ................
00313210 4a 7d 17 00 00 00 00 00 19 00 02 00 00 00 08 00 J}..............
00313220 c0 00 00 00 00 00 00 00 33 7d 17 00 00 00 00 00 ........3}......
00313230 19 00 01 00 08 00 00 00 98 00 00 00 00 00 00 00 ................
00313240 80 7f 17 00 00 00 00 00 1a 00 03 00 03 00 05 00 ................
00313250 08 00 00 00 00 00 00 00 f4 7c 17 00 00 00 00 00 .........|......
00313260 0a 00 01 00 01 00 00 00 ........
00313268
00313268 SwitchTable
00313268 0xfc 0xf4 0x140 0x124 0x18c 0x1d0 0xcc 0x164
003132a8 0xa8 0x144 0xac 0x18c 0x168 0xb4 0x58 0xa4
003132e8 0x178 0x40 0xd8
00313300
00313300 string "saver.ml",0
00313309
00313309 string "entry.ml",0
00313312
00313312 string "string.ml",0
0031331c
0031331c string "entry.mll",0
00313326
00313326 string "doOut.ml",0
0031332f
0031332f 00 .
00313330 d9 ff ff ff 45 6e 74 72 79 2e 5f 5f 6f 63 61 6d ....Entry.__ocam
00313340 6c 5f 6c 65 78 5f 69 64 78 5f 72 65 63 00 00 00 l_lex_idx_rec...
00313350 cc ff ff ff 45 6e 74 72 79 2e 70 75 74 5f 63 68 ....Entry.put_ch
00313360 61 72 00 00 b8 ff ff ff 45 6e 74 72 79 2e 5f 5f ar......Entry.__
00313370 6f 63 61 6d 6c 5f 6c 65 78 5f 65 6e 74 72 79 5f ocaml_lex_entry_
00313380 72 65 63 00 85 ff ff ff 45 6e 74 72 79 2e 5f 5f rec.....Entry.__
00313390 6f 63 61 6d 6c 5f 6c 65 78 5f 65 6e 74 72 79 5f ocaml_lex_entry_
003133a0 72 65 63 00 78 ff ff ff 45 6e 74 72 79 2e 72 65 rec.x...Entry.re
003133b0 61 64 5f 6b 65 79 00 00 5a ff ff ff 53 74 64 6c ad_key..Z...Stdl
003133c0 69 62 5f 5f 53 74 72 69 6e 67 2e 73 75 62 00 00 ib__String.sub..
003133d0 4c ff ff ff 45 6e 74 72 79 2e 72 65 61 64 5f 6b L...Entry.read_k
003133e0 65 79 2e 73 65 70 61 72 65 2e 73 65 70 5f 72 65 ey.separe.sep_re
003133f0 63 00 00 00 28 ff ff ff 45 6e 74 72 79 2e 70 75 c...(...Entry.pu
00313400 74 00 00 00 05 ff ff ff 45 6e 74 72 79 2e 65 6e t.......Entry.en
00313410 74 72 79 00 12 ff ff ff 44 6f 4f 75 74 2e 4d 61 try.....DoOut.Ma
00313420 6b 65 2e 63 72 65 61 74 65 5f 62 75 66 66 00 00 ke.create_buff..
00313430 ec fe ff ff 45 6e 74 72 79 2e 72 65 61 64 5f 6b ....Entry.read_k
00313440 65 79 2e 73 65 70 61 72 65 00 00 00 b4 fe ff ff ey.separe.......
00313450 53 61 76 65 72 2e 4d 61 6b 65 2e 61 72 67 00 00 Saver.Make.arg..
00313460 bc fe ff ff 45 6e 74 72 79 2e 72 65 61 64 5f 6b ....Entry.read_k
00313470 65 79 2e 67 ey.g
00313474
00313474 SwitchTable uint64_t
00313474 0x6365 0xbf7 0x178930 0x5 0xff7 0xf6f30 0x7 0x178950
003134b4 0x2300 0x1 0x1 0x1 0x1 0x1 0x1 0x1
003134f4 0x1 0x3134c0
00313504
00313504 00 00 00 00 00 00 00 00 00 00 00 00 ............
00313510 fc 0b 00 00 00 00 00 00 ........
00313518
00313518 ; Emisc.LexError ← 0x178b4c
00313518 45 6d 69 73 63 2e 4c 65 Emisc.Le
00313520 78 45 72 72 xErr
00313524
00313524 SwitchTable
00313524 0xb00
0031352c
0031352c 00 00 00 00 ....
00313530
00313530 PointerTable ← camlEsp.fun_966 camlLexstyle.fun_736 camlEmisc.dump_class_288
00313530 0x313560 0x313548
00313540
00313540 fc 0b 00 00 00 00 00 00 ........
00313548
00313548 string ".%s{%s}\n",0
00313551
00313551 00 00 00 ...
00313554
00313554 SwitchTable
00313554 0xb0c 0x5d 0x313578 0xb02 0x1 0x313590 0xb0c 0xf7
00313594 0x3135a8 0xb02 0x1 0x3135c0 0xb0b 0x3135d8 0x1 0x7fc
003135d4 0xa7d
00313560
00313560 PointerTable
00313560 0x5d 0x313578
00313590
00313590 PointerTable
00313590 0xf7 0x3135a8
003135dc
003135dc 00 00 00 05 ....
003135e0 00 00 00 00 00 00 00 00 00 00 00 00 ............
003135ec
003135ec SwitchTable
003135ec 0xb 0x178b40 0x1000a 0x178b0a 0x9
00313614
00313614 bc 00 00 00 f2 8a 17 00 00 00 00 00 ............
00313620 0a 00 00 00 01 00 00 00 c9 8a 17 00 00 00 00 00 ................
00313630 09 00 00 00 8c 00 00 00 b1 8a 17 00 00 00 00 00 ................
00313640 0a 00 00 00 01 00 00 00 88 8a 17 00 00 00 00 00 ................
00313650 09 00 00 00 64 00 00 00 70 8a 17 00 00 00 00 00 ....d...p.......
00313660 0a 00 00 00 01 00 00 00 f5 89 17 00 00 00 00 00 ................
00313670 0a 00 00 00 01 00 00 00 c7 89 17 00 00 00 00 00 ................
00313680 0a 00 00 00 01 00 00 00 7c 89 17 00 00 00 00 00 ........|.......
00313690 19 00 02 00 00 00 08 00 30 00 00 00 00 00 00 00 ........0.......
003136a0 96 89 17 00 00 00 00 00 1a 00 03 00 01 00 03 00 ................
003136b0
003136b0 SwitchTable
003136b0 0x5 0x70 0x24 0x30 0x40
003136d8
003136d8 65 6d 69 73 63 2e 6d 6c emisc.ml
003136e0 00 00 00 00 f4 ff ff ff 45 6d 69 73 63 2e 53 74 ........Emisc.St
003136f0 72 69 6e 67 4d 61 70 00 e0 ff ff ff 45 6d 69 73 ringMap.....Emis
00313700 63 2e 64 75 6d 70 5f 63 6c 61 73 73 00 00 00 00 c.dump_class....
00313710 c8 ff ff ff 45 6d 69 73 63 2e 53 74 72 69 6e 67 ....Emisc.String
00313720 43 6f 75 6e 74 00 00 00 b0 ff ff ff 45 6d 69 73 Count.......Emis
00313730 63 2e 53 74 c.St
00313734
00313734 SwitchTable
00313734 0x73 0xbf7 0x178b90 0x5 0x700 0x1 0x313760
0031376c
0031376c 00 00 00 00 ....
00313770 00 00 00 00 ....
00313774
00313774 SwitchTable
00313774 0x7fc 0x5d 0x7fc 0x5b20 0xffc
0031379c
0031379c 00 00 00 00 ....
003137a0
003137a0 string "Style with attributes: ",0 ← 0x178c39
003137b8
003137b8 fc 0b 00 00 00 00 00 00 ........
003137c0
003137c0 string "Font color: ",0 ← 0x178bf7
003137cd
003137cd 00 00 03 ...
003137d0 fc 0b 00 00 00 00 00 00 ........
003137d8
003137d8 string "Font size: ",0 ← 0x178be3
003137e4
003137e4 00 00 00 04 fc 07 00 00 00 00 00 00 ............
003137f0
003137f0 string "Style: ",0 ← 0x178bc7
003137f8
003137f8 00 00 00 00 00 00 00 00 ........
00313800 00 00 00 00 ....
00313804
00313804 SwitchTable
00313804 0x4 0x178c36 0x11
0031381c
0031381c 5c 00 00 00 \...
00313820
00313820 SwitchTable
00313820 0x178c27 0x10011 0x30 0x178c18 0x10011 0x20 0x178be0
00313828
00313828 PointerTable
00313828 0x10011 0x30
00313840
00313840 PointerTable
00313840 0x10011 0x20
00313858
00313858 11 00 00 00 14 00 00 00 ........
00313860
00313860 SwitchTable
00313860 0x2c 0x24 0x1c 0x14
00313880
00313880 65 6c 65 6d 65 6e 74 2e 6d 6c 00 00 f4 ff ff ff element.ml......
00313890 45 6c 65 6d 65 6e 74 2e 70 72 65 74 74 79 5f 74 Element.pretty_t
003138a0 65 78 74 00 ext.
003138a4
003138a4 SwitchTable
003138a4 0xff7 0xf7020 0x7 0x178fd0 0xbf7 0x1799a0 0x5 0xff7
003138e4 0xf7020 0x7 0x178c90 0xbf7 0x1791a0 0x5 0xbf7 0x178df0
00313924 0x5 0xff7 0xf7020 0x7 0x1793f0 0xbf7 0x179450 0x5
00313964 0xbf7 0x179470 0x5 0xff7 0xf7020 0x7 0x179510 0xff7
003139a4 0xf7020 0x7 0x179790 0xff7 0xf7020 0x7 0x179840 0xbf7
003139e4 0x1798f0 0x5 0xff7 0xf7020 0x7 0x179ad0 0xff7 0xf7020
00313a24 0x7 0x1799b0 0x3b00 0x1 0x1 0x1 0x1 0x1
00313a64 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
00313aa4 0x1 0x313a40
00313ab4
00313ab4 00 00 00 00 00 00 00 00 00 00 00 00 ............
00313ac0 fc 0f 00 00 00 00 00 00 ........
00313ac8
00313ac8 ; Counter.checkpoint ← 0x1790b4
00313ac8 43 6f 75 6e 74 65 72 2e Counter.
00313ad0 63 68 65 63 chec
00313ad4
00313ad4 SwitchTable
00313ad4 0x746e 0x7fc 0x20 0xbfc
00313af4
00313af4 00 00 00 00 ....
00313af8
00313af8 string "\trelated =",0 ← 0x178ce5
00313b03
00313b03 00 00 00 00 05 fc 0b 00 00 00 00 00 00 .............
00313b10
00313b10 string "\tvalue = ",0 ← 0x178cd4
00313b1a
00313b1a 00 00 00 00 00 06 ......
00313b20 fc 0b 00 00 00 00 00 00 ........
00313b28
00313b28 string "counter: ",0 ← 0x178cb2
00313b32
00313b32 00 00 00 00 00 06 fc 0f 00 00 00 00 00 00 ..............
00313b40
00313b40 string "\\@removefromreset",0 ← 0x179be5
00313b52
00313b52 00 00 00 00 00 06 fc 0b 00 00 00 00 00 00 ..............
00313b60
00313b60 string "\\@addtoreset",0 ← 0x179a8d
00313b6d
00313b6d 00 00 03 ...
00313b70 fc 07 00 00 00 00 00 00 ........
00313b78
00313b78 string " or ",0 ← 0x179a70 0x179bc8
00313b7d
00313b7d 00 00 03 ...
00313b80 fc 0b 00 00 00 00 00 00 ........
00313b88
00313b88 string "\\stepcounter",0 ← 0x17995c
00313b95
00313b95 00 00 03 fc 0b 00 00 00 00 00 00 ...........
00313ba0
00313ba0 string "\\setcounter",0 ← 0x1798b0
00313bac
00313bac 00 00 00 04 ....
00313bb0 fc 0b 00 00 00 00 00 00 ........
00313bb8
00313bb8 string "\\addtocounter",0 ← 0x179808
00313bc6
00313bc6 00 02 ..
00313bc8
00313bc8 PointerTable
00313bc8 0xf00 0x313cc8
00313bd8
00313bd8 ff ff ff ff ....
00313bdc
00313bdc SwitchTable
00313bdc 0x1 0x7fc 0x5d 0x7fc 0x5b7d 0xbfc
00313c0c
00313c0c 00 00 00 00 ....
00313c10
00313c10 string "\\newcounter{",0 ← 0x17967f
00313c1d
00313c1d 00 00 03 ...
00313c20 fc 17 00 00 00 00 00 00 ........
00313c28
00313c28 string " is already defined, not defining it",0 ← 0x179556
00313c4d
00313c4d 00 00 03 ...
00313c50 fc 0b 00 00 00 00 00 00 ........
00313c58
00313c58 string "Counter ",0 ← 0x17956a
00313c61
00313c61 00 00 00 00 00 00 07 fc 07 00 00 00 00 00 00 ...............
00313c70
00313c70 string "\\value",0 ← 0x1794c8
00313c77
00313c77 01 fc 07 00 00 00 00 00 00 .........
00313c80
00313c80 string " in ",0 ← 0x179406
00313c85
00313c85 00 00 03 fc 0f 00 00 00 00 00 00 ...........
00313c90
00313c90 string "Unknown counter: ",0 ← 0x179421
00313ca2
00313ca2 00 00 00 00 00 06 fc 0b 00 00 00 00 00 00 ..............
00313cb0
00313cb0 string "Restored ",0 ← 0x179385
00313cba
00313cba 00 00 00 00 00 06 ......
00313cc0 fc 07 00 00 00 00 00 00 ........
00313cc8
00313cc8 uint8_t g_313cc8 ← camlCounter.prerr_cc_360
00313cc8 00 00 00 00 00 00 00 07 ........
00313cd0 00 00 00 00 00 00 00 00 00 00 00 00 ............
00313cdc
00313cdc SwitchTable
00313cdc 0x45 0x179cbe 0x8 0x179c62 0x2000a
00313d04
00313d04 03 00 07 00 01 01 00 00 00 00 00 00 ............
00313d10 e5 9b 17 00 00 00 00 00 29 00 00 00 74 06 00 00 ........)...t...
00313d20
00313d20 SwitchTable
00313d20 0x179bd9 0x10029 0x6e8 0x179b8b
00313d40
00313d40 39 00 03 00 10 00 18 00 28 00 00 00 64 06 00 00 9.......(...d...
00313d50 12 9c 17 00 00 00 00 00 3a 00 05 00 01 00 10 00 ........:.......
00313d60 18 00 20 00 28 00 01 03 30 9b 17 00 00 00 00 00 .. .(...0.......
00313d70 39 00 03 00 10 00 18 00 20 00 00 00 ac 06 00 00 9....... .......
00313d80 16 9b 17 00 00 00 00 00 39 00 02 00 10 00 18 00 ........9.......
00313d90 98 06 00 00 00 00 00 00 8d 9a 17 00 00 00 00 00 ................
00313da0 21 00 00 00 dc 05 00 00 !.......
00313da8
00313da8 SwitchTable
00313da8 0x179a81 0x10021 0x570 0x179aba
00313dc8
00313dc8 32 00 04 00 01 00 10 00 2.......
00313dd0 18 00 20 00 01 01 00 00 10 9a 17 00 00 00 00 00 .. .............
00313de0 31 00 03 00 10 00 18 00 20 00 00 00 3c 06 00 00 1....... ...<...
00313df0 f6 99 17 00 00 00 00 00 31 00 02 00 10 00 18 00 ........1.......
00313e00 28 06 00 00 00 00 00 00 42 99 17 00 00 00 00 00 (.......B.......
00313e10 21 00 01 00 10 00 00 00 e8 04 00 00 00 00 00 00 !...............
00313e20 2e 99 17 00 00 00 00 00 21 00 01 00 10 00 00 00 ........!.......
00313e30 f8 05 00 00 00 00 00 00 86 98 17 00 00 00 00 00 ................
00313e40 29 00 02 00 10 00 18 00 e0 05 00 00 00 00 00 00 )...............
00313e50 d6 97 17 00 00 00 00 00 29 00 02 00 10 00 18 00 ........).......
00313e60 c8 05 00 00 00 00 00 00 62 97 17 00 00 00 00 00 ........b.......
00313e70 22 00 02 00 05 00 08 00 01 01 00 00 00 00 00 00 "...............
00313e80 f6 96 17 00 00 00 00 00 21 00 02 00 00 00 08 00 ........!.......
00313e90 90 04 00 00 00 00 00 00 69 97 17 00 00 00 00 00 ........i.......
00313ea0 22 00 02 00 00 00 10 00 01 01 00 00 00 00 00 00 "...............
00313eb0 97 96 17 00 00 00 00 00 21 00 01 00 10 00 00 00 ........!.......
00313ec0 a8 04 00 00 00 00 00 00 8b 96 17 00 00 00 00 00 ................
00313ed0 21 00 02 00 00 00 10 00 70 05 00 00 00 00 00 00 !.......p.......
00313ee0 7c 96 17 00 00 00 00 00 21 00 02 00 00 00 10 00 |.......!.......
00313ef0 f8 04 00 00 00 00 00 00 6f 96 17 00 00 00 00 00 ........o.......
00313f00 21 00 02 00 00 00 10 00 48 04 00 00 00 00 00 00 !.......H.......
00313f10 60 96 17 00 00 00 00 00 21 00 02 00 00 00 10 00 `.......!.......
00313f20 38 04 00 00 00 00 00 00 73 97 17 00 00 00 00 00 8.......s.......
00313f30 32 00 03 00 01 00 10 00 20 00 01 00 00 00 00 00 2....... .......
00313f40 10 96 17 00 00 00 00 00 31 00 02 00 10 00 20 00 ........1..... .
00313f50 d8 04 00 00 00 00 00 00 7b 95 17 00 00 00 00 00 ........{.......
00313f60 31 00 02 00 10 00 20 00 60 04 00 00 00 00 00 00 1..... .`.......
00313f70 76 95 17 00 00 00 00 00 31 00 02 00 10 00 20 00 v.......1..... .
00313f80 c8 03 00 00 00 00 00 00 67 95 17 00 00 00 00 00 ........g.......
00313f90 31 00 02 00 10 00 20 00 a8 03 00 00 00 00 00 00 1..... .........
00313fa0 56 95 17 00 00 00 00 00 31 00 02 00 10 00 20 00 V.......1..... .
00313fb0 20 04 00 00 00 00 00 00 d8 94 17 00 00 00 00 00 ...............
00313fc0 11 00 00 00 34 04 00 00 aa 94 17 00 00 00 00 00 ....4...........
00313fd0 21 00 01 00 10 00 00 00 50 04 00 00 00 00 00 00 !.......P.......
00313fe0 2d 94 17 00 00 00 00 00 11 00 00 00 d4 03 00 00 -...............
00313ff0 1e 94 17 00 00 00 00 00 11 00 00 00 1c 03 00 00 ................
00314000
00314000 SwitchTable
00314000 0x179412 0x10011 0x410 0x1793b2 0x10021 0x380 0x17939f
00314038
00314038 21 00 03 00 00 00 08 00 !.......
00314040 10 00 00 00 f4 02 00 00 57 93 17 00 00 00 00 00 ........W.......
00314050 21 00 03 00 00 00 08 00 10 00 00 00 2c 03 00 00 !...........,...
00314060 44 93 17 00 00 00 00 00 21 00 03 00 00 00 08 00 D.......!.......
00314070 10 00 00 00 94 03 00 00 d6 93 17 00 00 00 00 00 ................
00314080 22 00 02 00 08 00 10 00 01 01 00 00 00 00 00 00 "...............
00314090 de 92 17 00 00 00 00 00 31 00 02 00 18 00 20 00 ........1..... .
003140a0
003140a0 SwitchTable
003140a0 0x270 0x179265 0x10022 0x179234 0x10021 0x2d8 0x17926c 0x10022
003140e0 0x1791ca 0x10021 0x2c8 0x17917d
00314100
00314100 22 00 04 00 00 00 01 00 08 00 10 00 01 02 00 00 "...............
00314110 14 91 17 00 00 00 00 00 21 00 03 00 00 00 08 00 ........!.......
00314120 10 00 00 00 0c 03 00 00 96 90 17 00 00 00 00 00 ................
00314130 19 00 00 00 d4 01 00 00 ........
00314138
00314138 SwitchTable
00314138 0x17902d 0x10011 0x290 0x179048
00314140
00314140 PointerTable
00314140 0x10011 0x290
00314158
00314158 12 00 04 00 00 00 01 00 ........
00314160 03 00 05 00 01 01 00 00 ........
00314168
00314168 SwitchTable
00314168 0x178f8b 0x10029 0x200 0x178f99
00314188
00314188 2a 00 04 00 00 00 01 00 *.......
00314190 10 00 18 00 01 04 00 00 35 8f 17 00 00 00 00 00 ........5.......
003141a0 29 00 02 00 10 00 18 00 48 02 00 00 00 00 00 00 ).......H.......
003141b0 a0 8f 17 00 00 00 00 00 2a 00 03 00 00 00 08 00 ........*.......
003141c0 18 00 01 03 00 00 00 00 d3 8e 17 00 00 00 00 00 ................
003141d0 29 00 03 00 00 00 08 00 18 00 00 00 54 01 00 00 )...........T...
003141e0 aa 8f 17 00 00 00 00 00 2a 00 03 00 00 00 01 00 ........*.......
003141f0 18 00 02 05 ....
003141f4
003141f4 SwitchTable
003141f4 0x178e53 0x10029 0x208 0x178e40 0x29
0031421c
0031421c 24 02 00 00 $...
00314220
00314220 SwitchTable
00314220 0x178fb4 0x1002a 0x178da5
00314238
00314238 19 00 02 00 00 00 08 00 ........
00314240 f8 00 00 00 00 00 00 00 42 8d 17 00 00 00 00 00 ........B.......
00314250 19 00 00 00 e4 01 00 00 57 8d 17 00 00 00 00 00 ........W.......
00314260 1a 00 02 00 00 00 08 00 01 02 00 00 00 00 00 00 ................
00314270 ff 8c 17 00 00 00 00 00 19 00 02 00 00 00 08 00 ................
00314280 b8 00 00 00 00 00 00 00 e5 8c 17 00 00 00 00 00 ................
00314290 19 00 02 00 00 00 08 00 68 01 00 00 00 00 00 00 ........h.......
003142a0 e0 8c 17 00 00 00 00 00 19 00 02 00 00 00 08 00 ................
003142b0 b0 00 00 00 00 00 00 00 d1 8c 17 00 00 00 00 00 ................
003142c0 19 00 02 00 00 00 08 00 a8 00 00 00 00 00 00 00 ................
003142d0 c3 8c 17 00 00 00 00 00 19 00 02 00 00 00 08 00 ................
003142e0 b8 00 00 00 00 00 00 00 be 8c 17 00 00 00 00 00 ................
003142f0 19 00 02 00 00 00 08 00 ........
003142f8
003142f8 SwitchTable
003142f8 0xe8 0x2f0 0x1dc 0x288 0x1b8 0x180 0x148
00314330
00314330 a8 02 00 a4 ....
00314334
00314334 SwitchTable
00314334 0x150 0x160 0x158 0x150 0x148 0x158 0x138 0x148
00314374
00314374 a8 79 f0 00 60 02 00 2c .y..`..,
0031437c
0031437c SwitchTable
0031437c 0xf0 0x210 0x22c 0x120 0x164 0x1f0
003143ac
003143ac 10 29 b8 02 .)..
003143b0 0c 02 00 08 ....
003143b4
003143b4 SwitchTable
003143b4 0x14c 0x110 0xd8 0xd0 0x164 0xd8 0xb8 0x1e8
003143f4 0x214 0xb8 0x190 0x10c 0x1a4 0xb0 0x134 0x10c
00314434
00314434 50 4d 20 02 80 00 00 80 79 08 04 01 PM .....y...
00314440 38 01 00 00 38 5d 68 01 58 00 00 00 f0 61 c0 03 8...8]h.X....a..
00314450
00314450 string "stdlib.ml",0
0031445a
0031445a string "counter.ml",0
00314465
00314465 string "hashtbl.ml",0
00314470
00314470 ea ff ff ff 43 6f 75 6e 74 65 72 2e 61 64 64 74 ....Counter.addt
00314480 6f 72 65 73 65 74 00 00 c8 ff ff ff 53 74 64 6c oreset......Stdl
00314490 69 62 2e 70 72 65 72 72 5f 73 74 72 69 6e 67 00 ib.prerr_string.
003144a0 ba ff ff ff 43 6f 75 6e 74 65 72 2e 64 65 66 5f ....Counter.def_
003144b0 63 6f 75 6e 74 65 72 00 a2 ff ff ff 43 6f 75 6e counter.....Coun
003144c0 74 65 72 2e 70 72 65 72 72 5f 63 63 00 00 00 00 ter.prerr_cc....
003144d0 8a ff ff ff 43 6f 75 6e 74 65 72 2e 75 6e 6b 6f ....Counter.unko
003144e0 77 6e 00 00 76 ff ff ff 43 6f 75 6e 74 65 72 2e wn..v...Counter.
003144f0 63 68 65 63 6b 70 6f 69 6e 74 2e 74 6f 5f 69 6e checkpoint.to_in
00314500 74 00 00 00 56 ff ff ff 43 6f 75 6e 74 65 72 2e t...V...Counter.
00314510 68 6f 74 5f 73 74 61 72 74 00 00 00 49 ff ff ff hot_start...I...
00314520 53 74 64 6c 69 62 5f 5f 48 61 73 68 74 62 6c 2e Stdlib__Hashtbl.
00314530 4d 61 6b 65 2e 63 72 65 61 74 65 00 1e ff ff ff Make.create.....
00314540 43 6f 75 6e 74 65 72 2e 63 68 65 63 6b 70 6f 69 Counter.checkpoi
00314550 6e 74 2e 28 66 75 6e 29 00 00 00 00 fe fe ff ff nt.(fun)........
00314560 43 6f 75 6e 74 65 72 2e 66 69 6e 64 5f 63 6f 75 Counter.find_cou
00314570 6e 74 65 72 00 00 00 00 e2 fe ff ff 43 6f 75 6e nter........Coun
00314580 74 65 72 2e 63 68 65 63 6b 70 6f 69 6e 74 2e 52 ter.checkpoint.R
00314590 65 76 48 61 73 68 00 00 c2 fe ff ff 43 6f 75 6e evHash......Coun
003145a0 74 65 72 2e 68 6f 74 5f 73 74 61 72 74 2e 63 72 ter.hot_start.cr
003145b0 65 61 74 65 5f 72 65 63 00 00 00 00 9e fe ff ff eate_rec........
003145c0 43 6f 75 6e 74 65 72 2e 72 65 6d 6f 76 65 66 72 Counter.removefr
003145d0 6f 6d 72 65 73 65 74 00 82 fe ff ff 43 6f 75 6e omreset.....Coun
003145e0 74 65 72 2e 63 68 65 63 6b 70 6f 69 6e 74 00 00 ter.checkpoint..
003145f0 6a fe ff ff 43 6f 75 6e 74 65 72 2e 73 74 65 70 j...Counter.step
00314600 5f 63 6f 75 6e 74 65 72 00 00 00 00 4e fe ff ff _counter....N...
00314610 43 6f 75 6e 74 65 72 2e 76 61 6c 75 65 5f 63 6f Counter.value_co
00314620 75 6e 74 65 72 00 00 00 unter...
00314628
00314628 SwitchTable uint64_t
00314628 0xff7 0xf7020 0x7 0x17a1a0 0xbf7 0x17a5d0 0x5 0xff7
00314668 0xf7020 0x7 0x17aa40 0xff7 0xf7020 0x7 0x179e80 0xbf7
003146a8 0x179ee0 0x5 0xbf7 0x17a220 0x5 0xff7 0xf7120 0x7
003146e8 0x17a3c0 0xbf7 0x17a2d0 0x5 0xbf7 0x17a540 0x5 0xbf7
00314728 0x17a4c0 0x5 0xbf7 0x17a5f0 0x5 0xff7 0xf7020 0x7
00314768 0x17a610 0xff7 0xf7020 0x7 0x17a6a0 0xff7 0xf7020 0x7
003147a8 0x17a7f0 0xbf7 0x17a900 0x5 0xbf7 0x17a9c0 0x5 0xbf7
003147e8 0x17aaa0 0x5 0xbf7 0x17abd0 0x5 0xff7 0xf7020 0x7
00314828 0x17aad0 0xbf7 0x17ad20 0x5 0xbf7 0x17ae20 0x5 0xbf7
00314868 0x17ad90 0x5 0xbf7 0x17aea0 0x5 0xbf7 0x17b0c0 0x5
003148a8 0xff7 0xf6f30 0x7 0x17aff0 0xff7 0xf6f30 0x7 0x17af20
003148e8 0xff7 0xf7020 0x7 0x17b120 0xff7 0xf7020 0x7 0x17b1c0
00314928 0xff7 0xf7020 0x7 0x17b2f0 0xbf7 0x17b4a0 0x5 0x9300
00314968 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
003149a8 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
003149e8 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
00314a28 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
00314a68 0x1 0x1 0x1 0x1 0x314968
00314a90
00314a90 00 00 00 00 ....
00314a94
00314a94 SwitchTable
00314a94 0xb0b 0x314e28 0x1 0x7fc
00314ab4
00314ab4 00 00 00 00 ....
00314ab8
00314ab8 string "\\if",0 ← 0x17ba99
00314abc
00314abc 00 00 00 04 ....
00314ac0 fc 13 00 00 00 00 00 00 ........
00314ac8
00314ac8 ; \addto on non-subst macro ← 0x17b45c
00314ac8 5c 61 64 64 74 6f 20 6f \addto o
00314ad0 6e 20 6e 6f 6e 2d 73 75 62 73 74 20 n non-subst
00314adc
00314adc SwitchTable
00314adc 0x6f 0x7fc 0xa25 0x13fc
00314afc
00314afc 00 00 00 00 ....
00314b00
00314b00 string " defined at initialisation",0 ← 0x17b146
00314b1b
00314b1b 00 00 00 00 05 .....
00314b20 fc 0b 00 00 00 00 00 00 ........
00314b28
00314b28 ; Command: ← 0x17b15a
00314b28 43 6f 6d 6d Comm
00314b2c
00314b2c SwitchTable
00314b2c 0x20 0xb00
00314b3c
00314b3c 00 00 00 00 ....
00314b40
00314b40 PointerTable ← camlLatexmacros.global_def_953
00314b40 0x314b78 0x314b58
00314b50
00314b50 fc 0f 00 00 00 00 00 00 ........
00314b58
00314b58 string "global def %s = ",0
00314b69
00314b69 00 00 00 ...
00314b6c
00314b6c SwitchTable
00314b6c 0xb0b 0x314b90 0x314bf0 0xbfc
00314b78
00314b78 PointerTable
00314b78 0x314b90 0x314bf0
00314b8c
00314b8c 00 00 00 00 ....
00314b90
00314b90 ; global def
00314b90 67 6c 6f 62 glob
00314b94
00314b94 SwitchTable
00314b94 0x206665 0xb00 0x314bd8 0x314bc0 0xbfc
00314ba8
00314ba8 PointerTable ← camlLatexmacros.def_952
00314ba8 0x314bd8 0x314bc0
00314bbc
00314bbc 00 00 00 00 ....
00314bc0
00314bc0 ; def %s =
00314bc0 64 65 66 20 def
00314bc4
00314bc4 SwitchTable
00314bc4 0x20 0xb0b 0x314c30 0x314bf0 0xb02 0x1 0x314c08 0xb0b
00314c04 0x314c20 0x1 0x7fc 0x203d20 0x7fc
00314bd8
00314bd8 PointerTable
00314bd8 0x314c30 0x314bf0
00314c2c
00314c2c 00 00 00 00 ....
00314c30
00314c30 string "def "
00314c34
00314c34 SwitchTable
00314c34 0xb00
00314c3c
00314c3c 00 00 00 00 ....
00314c40
00314c40 PointerTable ← camlLatexmacros.pretty_command_947
00314c40 0x314c68 0x314c58
00314c50
00314c50 fc 07 00 00 00 00 00 00 ........
00314c58
00314c58 string "%s: "
00314c5c
00314c5c SwitchTable
00314c5c 0xb02 0x1 0x314c80 0xb0b 0x314f18 0x1 0xb00 0x314cc0
00314c9c 0x314cb0 0x700 0x1 0xb00 0x1 0x1 0xffc
00314c98
00314c98 PointerTable ← camlLatexmacros.find_941
00314c98 0x314cc0 0x314cb0