File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
    00312598
    00312598 SwitchTable
    00312598 0xf0 0xe8 0x151 0x9c 0x164 0x70 0x16c 0xd0
    003125d8 0x98 0xe4 0x48 0x80 0xcc 0xd8 0xbc
    00312610
    00312610 string "bytes.ml",0
    00312619
    00312619 string "htmltext.ml",0
    00312625
    00312625 string "string.ml",0
    0031262f
    0031262f 00 .
    00312630 e9 ff ff ff 48 74 6d 6c 74 65 78 74 2e 61 64 64 ....Htmltext.add
    00312640 5f 66 6f 6e 74 61 74 74 72 00 00 00 d9 ff ff ff _fontattr.......
    00312650 53 74 64 6c 69 62 5f 5f 53 74 72 69 6e 67 2e 6c Stdlib__String.l
    00312660 6f 77 65 72 63 61 73 65 5f 61 73 63 69 69 00 00 owercase_ascii..
    00312670 a9 ff ff ff 48 74 6d 6c 74 65 78 74 2e 72 65 6d ....Htmltext.rem
    00312680 5f 70 72 6f 70 00 00 00 91 ff ff ff 48 74 6d 6c _prop.......Html
    00312690 74 65 78 74 2e 72 65 6d 5f 73 74 79 6c 65 00 00 text.rem_style..
    003126a0 79 ff ff ff 48 74 6d 6c 74 65 78 74 2e 70 61 72 y...Htmltext.par
    003126b0 74 69 74 69 6f 6e 5f 63 6f 6c 6f 72 2e 28 66 75 tition_color.(fu
    003126c0 6e 29 00 00 55 ff ff ff 48 74 6d 6c 74 65 78 74 n)..U...Htmltext
    003126d0 2e 61 64 64 00 00 00 00 41 ff ff ff 48 74 6d 6c .add....A...Html
    003126e0 74 65 78 74 2e 64 6f 5f 61 64 64 61 74 74 72 73 text.do_addattrs
    003126f0 2e 64 6f 5f 72 65 63 00 18 ff ff ff 53 74 64 6c .do_rec.....Stdl
    00312700 69 62 5f 5f 42 79 74 65 73 2e 6c 6f 77 65 72 63 ib__Bytes.lowerc
    00312710 61 73 65 5f 61 73 63 69 69 00 00 00 fd fe ff ff ase_ascii.......
    00312720 48 74 6d 6c 74 65 78 74 2e 73 61 6d 65 5f 73 74 Htmltext.same_st
    00312730 79 6c 65 00 e5 fe ff ff 48 74 6d 6c 74 65 78 74 yle.....Htmltext
    00312740 2e 64 6f 5f 61 64 64 61 74 74 72 73 .do_addattrs
    0031274c
    0031274c SwitchTable uint64_t
    0031274c 0xbf7 0x1785c0 0x5 0xff7 0xf7080 0x7 0x178550 0xbf7
    0031278c 0x178100 0x5 0xbf7 0x1780e0 0x5 0xff7 0xf7020 0x7
    003127cc 0x178120 0x37f7 0x177ce0 0x1b 0xcf9 0xf7020 0x15 0x177d00
    0031280c 0x1cf9 0x177fa0 0xd 0x28f9 0xf7020 0x7 0x177fc0 0xbf7
    0031284c 0x1781b0 0x5 0xbf7 0x1786c0 0x5 0x3700 0x1 0x1
    0031288c 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
    003128cc 0x1 0x1 0x1 0x312880
    003128ec
    003128ec 00 00 00 00 ....
    003128f0 00 00 00 00 ....
    003128f4
    003128f4 SwitchTable
    003128f4 0x2f00 0x312e10 0x312dd0 0x312d90 0x312b80 0x312970 0x312960 0x312960
    00312934 0x312960 0x312960 0x312960 0x312960 0x7fc
    003128f8
    003128f8 PointerTable
    003128f8 0x2f00 0x312e10 0x312dd0 0x312d90 0x312b80 0x312970 0x312960 0x312960
    00312938 0x312960 0x312960 0x312960 0x312960
    0031295c
    0031295c 00 00 00 00 ....
    00312960
    00312960 uint8_t g_312960 ← Entry..ocaml_lex_entry_rec camlEntry.sep_rec_513
    00312960 00 00 00 00 00 00 00 07 fc 07 01 00 00 00 00 00 ................
    00312970
    00312970 SwitchTable
    00312970 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    00312990 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    003129b0
    003129b0 ff ff 00 00 00 00 07 00 ........
    003129b8
    003129b8 SwitchTable
    003129b8 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    003129d8 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    003129f0
    003129f0 00 00 ff ff ....
    003129f4
    003129f4 SwitchTable
    003129f4 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    00312a14 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    00312a28
    00312a28 00 00 ff ff 0a 00 ff ff ........
    00312a30 ff ff ff ff ff ff ff ff 0f 00 10 00 12 00 ff ff ................
    00312a40 ff ff 0d 00 ff ff ff ff ff ff ff ff 0e 00 13 00 ................
    00312a50 ff ff ff ff 15 00 ff ff 14 00 ff ff ff ff ff ff ................
    00312a60 11 00 16 00 ff ff ff ff 00 00 ff ff ............
    00312a6c
    00312a6c SwitchTable
    00312a6c 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    00312a8c 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    00312aac 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    00312acc 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    00312aec 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    00312b0c 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    00312b2c 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    00312b4c 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    00312b6c 0xf4016
    00312b70
    00312b70 00 00 06 00 0a 00 00 01 fc 07 01 00 00 00 00 00 ................
    00312b80 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
    *
    00312bc0 00 00 05 00 06 00 08 00 00 00 00 00 00 00 00 00 ................
    00312bd0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
    *
    00312c00 04 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
    00312c10 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
    00312c20 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
    00312c30 00 00 00 00 00 00 00 00 07 00 00 00 0d 00 00 00 ................
    00312c40 00 00 00 00 00 00 00 00 10 00 11 00 13 00 00 00 ................
    00312c50 00 00 0e 00 00 00 00 00 00 00 00 00 0f 00 14 00 ................
    00312c60 00 00 00 00 16 00 00 00 ........
    00312c68
    00312c68 SwitchTable
    00312c68 0x15 0x170012 0x3
    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...