File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
    00311bbc
    00311bbc SwitchTable uint64_t
    00311bbc 0x65 0xbf7 0x1776a0 0x5 0xff7 0xf6b90 0x7 0x1762b0
    00311bfc 0xbf7 0x176380 0x5 0xbf7 0x1763a0 0x5 0xbf7 0x1763e0
    00311c3c 0x5 0xbf7 0x176690 0x5 0xff7 0xf7020 0x7 0x1768e0
    00311c7c 0xbf7 0x176a90 0x5 0xbf7 0x176a60 0x5 0xbf7 0x176a20
    00311cbc 0x5 0xbf7 0x176ab0 0x5 0xbf7 0x176b40 0x5 0xbf7
    00311cfc 0x176b60 0x5 0xbf7 0x176ba0 0x5 0xff7 0xf7020 0x7
    00311d3c 0x176bc0 0xff7 0xf7020 0x7 0x176c80 0xff7 0xf7020 0x7
    00311d7c 0x176d30 0xff7 0xf6dc0 0x7 0x177010 0xff7 0xf6b90 0x7
    00311dbc 0x177160 0xff7 0xf6dc0 0x7 0x177320 0xff7 0xf7020 0x7
    00311dfc 0x1773e0 0xbf7 0x177610 0x5 0xbf7 0x177690 0x5 0x7f00
    00311e3c 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
    00311e7c 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
    00311ebc 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
    00311efc 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x311e40
    00311f3c
    00311f3c 00 00 00 00 ....
    00311f40 00 00 00 00 00 00 00 00 fc 07 00 00 00 00 00 00 ................
    00311f50
    00311f50 string "maroon",0 ← 0x176727
    00311f57
    00311f57 01 fc 07 00 00 00 00 00 00 .........
    00311f60
    00311f60 string "aqua",0 ← 0x1768af
    00311f65
    00311f65 00 00 03 fc 07 00 00 00 00 00 00 ...........
    00311f70
    00311f70 string "lime",0 ← 0x17679f
    00311f75
    00311f75 00 00 03 fc 07 00 00 00 00 00 00 ...........
    00311f80
    00311f80 string "teal",0 ← 0x176827
    00311f85
    00311f85 00 00 03 fc 07 00 00 00 00 00 00 ...........
    00311f90
    00311f90 string "green",0 ← 0x17675b
    00311f96
    00311f96 00 02 fc 07 00 00 00 00 00 00 ..........
    00311fa0
    00311fa0 string "blue",0 ← 0x17687e
    00311fa5
    00311fa5 00 00 03 fc 07 00 00 00 00 00 00 ...........
    00311fb0
    00311fb0 string "navy" ← 0x1767d3
    00311fb4
    00311fb4 SwitchTable
    00311fb4 0xf00
    00311fb8
    00311fb8 PointerTable
    00311fb8 0xf00
    00311fc0
    00311fc0 string " 1",0 ← 0x17751f
    00311fc4
    00311fc4 00 00 00 00 bd 01 00 00 00 00 00 00 ............
    00311fd0 19 00 00 00 00 00 00 00 01 07 00 00 00 00 00 00 ................
    00311fe0
    00311fe0 uint8_t g_311fe0 ← camlHtmltext.add_style_491
    00311fe0 03 00 00 00 00 00 00 00 01 07 00 00 00 00 00 00 ................
    00311ff0
    00311ff0 uint8_t g_311ff0 ← camlHtmltext.add_style_491
    00311ff0 01 00 00 00 00 00 00 00 ........
    00311ff8
    00311ff8 PointerTable
    00311ff8 0xf00
    00312000
    00312000 string " 1",0 ← 0x176f68
    00312004
    00312004 00 00 00 00 61 01 00 00 00 00 00 00 ....a.......
    00312010 1b 00 00 00 00 00 00 00 fc 0b 00 00 00 00 00 00 ................
    00312020
    00312020 string "htmltext.ml",0
    0031202c
    0031202c 00 00 00 04 ....
    00312030 fc 0b 00 00 00 00 00 00 ........
    00312038
    00312038 string "Htmltext.Split",0 ← 0x177adf
    00312047
    00312047 01 fc 0b 00 00 00 00 00 00 .........
    00312050
    00312050 ; Htmltext.Same ← 0x177a28
    00312050 48 74 6d 6c 74 65 78 74 2e 53 61 6d Htmltext.Sam
    0031205c
    0031205c SwitchTable
    0031205c 0x702 0x312088 0x7fc
    00312074
    00312074 00 00 00 00 ....
    00312078
    00312078 string "black",0 ← 0x17670a
    0031207e
    0031207e 00 02 ..
    00312080 fc 07 00 00 00 00 00 00 00 00 00 00 00 00 00 07 ................
    00312090 fc 0b 00 00 00 00 00 00 ........
    00312098
    00312098 string "Htmltext.NoProp",0 ← 0x17787f
    003120a8
    003120a8 fc 07 00 00 00 00 00 00 ........
    003120b0
    003120b0 string "white",0 ← 0x1768c7
    003120b6
    003120b6 00 02 fc 07 00 00 00 00 00 00 ..........
    003120c0
    003120c0 string "yellow",0 ← 0x1767b7
    003120c7
    003120c7 01 fc 07 00 00 00 00 00 00 .........
    003120d0
    003120d0 string "fuschia",0 ← 0x176897
    003120d8
    003120d8 fc 07 00 00 00 00 00 00 ........
    003120e0
    003120e0 string "red",0 ← 0x17673f
    003120e4
    003120e4 00 00 00 04 fc 07 00 00 00 00 00 00 ............
    003120f0
    003120f0 string "silver",0 ← 0x176857
    003120f7
    003120f7 01 fc 07 00 00 00 00 00 00 .........
    00312100
    00312100 string "gray",0 ← 0x17683f
    00312105
    00312105 00 00 03 fc 07 00 00 00 00 00 00 ...........
    00312110
    00312110 string "olive",0 ← 0x176782
    00312116
    00312116 00 02 fc 07 00 00 00 00 00 00 ..........
    00312120
    00312120 string "purple",0 ← 0x176809
    00312127
    00312127 01 fc 0b 00 00 00 00 00 00 .........
    00312130
    00312130 string "Htmltext.No",0 ← 0x177737
    0031213c
    0031213c 00 00 00 04 ....
    00312140 00 00 00 00 00 00 00 00 00 00 00 00 ............
    0031214c
    0031214c SwitchTable
    0031214c 0x31 0x177c20 0x2000a
    00312164
    00312164 01 00 03 00 01 04 00 00 00 00 00 00 ............
    00312170 91 7b 17 00 00 00 00 00 0a 00 02 00 01 00 03 00 .{..............
    00312180
    00312180 SwitchTable
    00312180 0x401 0x177ad3 0x1000a 0x177a1c 0x1000a 0x1779ad
    003121b0
    003121b0 0a 00 00 00 02 01 01 00 ........
    003121b8
    003121b8 SwitchTable
    003121b8 0x177934 0xa 0x177873 0x1000a 0x17772b 0x1000a 0x1776b6
    003121f0
    003121f0 09 00 00 00 dc 03 00 00 c9 75 17 00 00 00 00 00 .........u......
    00312200 0a 00 03 00 03 00 05 00 0b 00 01 02 00 00 00 00 ................
    00312210 d0 75 17 00 00 00 00 00 0a 00 04 00 03 00 05 00 .u..............
    00312220 0b 00 0d 00 02 02 00 00 d7 75 17 00 00 00 00 00 .........u......
    00312230 0a 00 00 00 01 01 00 00 e1 75 17 00 00 00 00 00 .........u......
    00312240 0a 00 03 00 03 00 05 00 0b 00 01 02 00 00 00 00 ................
    00312250 eb 75 17 00 00 00 00 00 0a 00 03 00 03 00 05 00 .u..............
    00312260 0b 00 01 02 00 00 00 00 f5 75 17 00 00 00 00 00 .........u......
    00312270 0a 00 03 00 03 00 05 00 0b 00 01 02 00 00 00 00 ................
    00312280 ff 75 17 00 00 00 00 00 0a 00 03 00 03 00 05 00 .u..............
    00312290 0b 00 01 02 00 00 00 00 a0 73 17 00 00 00 00 00 .........s......
    003122a0 0a 00 04 00 01 00 03 00 07 00 09 00 01 02 00 00 ................
    003122b0 a7 73 17 00 00 00 00 00 0a 00 04 00 01 00 03 00 .s..............
    003122c0 05 00 07 00 01 01 00 00 b9 72 17 00 00 00 00 00 .........r......
    003122d0 19 00 02 00 00 00 08 00 28 03 00 00 00 00 00 00 ........(.......
    003122e0 e2 72 17 00 00 00 00 00 1a 00 02 00 01 00 03 00 .r..............
    003122f0 00 00 00 00 00 00 00 00 5e 72 17 00 00 00 00 00 ........^r......
    00312300 22 00 03 00 00 00 08 00 10 00 01 02 00 00 00 00 "...............
    00312310 ec 71 17 00 00 00 00 00 31 00 03 00 10 00 18 00 .q......1.......
    00312320 20 00 00 00 a4 02 00 00 65 72 17 00 00 00 00 00 .......er......
    00312330 22 00 07 00 00 00 01 00 05 00 07 00 08 00 0b 00 "...............
    00312340 10 00 01 04 00 00 00 00 33 71 17 00 00 00 00 00 ........3q......
    00312350 22 00 04 00 00 00 01 00 08 00 10 00 01 02 00 00 "...............
    00312360 3a 71 17 00 00 00 00 00 22 00 04 00 00 00 05 00 :q......".......
    00312370 08 00 10 00 01 00 00 00 41 71 17 00 00 00 00 00 ........Aq......
    00312380 22 00 04 00 00 00 01 00 08 00 10 00 01 00 00 00 "...............
    00312390 98 70 17 00 00 00 00 00 21 00 03 00 00 00 08 00 .p......!.......
    003123a0 10 00 00 00 1c 02 00 00 4b 71 17 00 00 00 00 00 ........Kq......
    003123b0 22 00 04 00 00 00 01 00 08 00 10 00 02 00 00 00 "...............
    003123c0 5c 70 17 00 00 00 00 00 21 00 03 00 00 00 08 00 \p......!.......
    003123d0 10 00 00 00 14 02 00 00 c9 6f 17 00 00 00 00 00 .........o......
    003123e0 1a 00 02 00 03 00 05 00 01 02 00 00 00 00 00 00 ................
    003123f0 d0 6f 17 00 00 00 00 00 1a 00 00 00 01 01 00 00 .o..............
    00312400 d7 6f 17 00 00 00 00 00 1a 00 02 00 00 00 08 00 .o..............
    00312410 01 01 00 00 00 00 00 00 e1 6f 17 00 00 00 00 00 .........o......
    00312420 2a 00 03 00 01 00 10 00 18 00 01 01 00 00 00 00 *...............
    00312430 ac 6e 17 00 00 00 00 00 29 00 02 00 10 00 18 00 .n......).......
    00312440 a0 01 00 00 00 00 00 00 eb 6f 17 00 00 00 00 00 .........o......
    00312450 2a 00 03 00 03 00 10 00 18 00 01 01 00 00 00 00 *...............
    00312460 f5 6f 17 00 00 00 00 00 3a 00 03 00 01 00 20 00 .o......:..... .
    00312470 28 00 01 01 00 00 00 00 83 6d 17 00 00 00 00 00 (........m......
    00312480 39 00 02 00 20 00 28 00 80 01 00 00 00 00 00 00 9... .(.........
    00312490 68 6d 17 00 00 00 00 00 29 00 02 00 10 00 18 00 hm......).......
    003124a0 58 01 00 00 00 00 00 00 20 6d 17 00 00 00 00 00 X....... m......
    003124b0 22 00 02 00 01 00 08 00 01 01 00 00 00 00 00 00 "...............
    003124c0 f2 6c 17 00 00 00 00 00 21 00 01 00 08 00 00 00 .l......!.......
    003124d0 d0 00 00 00 00 00 00 00 d2 6c 17 00 00 00 00 00 .........l......
    003124e0 21 00 03 00 00 00 08 00 10 00 00 00 ac 00 00 00 !...............
    003124f0 68 6c 17 00 00 00 00 00 22 00 02 00 01 00 08 00 hl......".......
    00312500 01 01 00 00 00 00 00 00 3a 6c 17 00 00 00 00 00 ........:l......
    00312510 21 00 01 00 08 00 00 00 d8 00 00 00 00 00 00 00 !...............
    00312520 1c 6c 17 00 00 00 00 00 21 00 03 00 00 00 08 00 .l......!.......
    00312530 10 00 00 00 a4 00 00 00 59 6b 17 00 00 00 00 00 ........Yk......
    00312540 0a 00 01 00 03 00 00 00 83 69 17 00 00 00 00 00 .........i......
    00312550 09 00 00 00 64 00 00 00 b5 66 17 00 00 00 00 00 ....d....f......
    00312560 09 00 00 00 44 00 00 00 71 63 17 00 00 00 00 00 ....D...qc......
    00312570 0a 00 02 00 05 00 07 00 01 01 00 00 00 00 00 00 ................
    00312580 7b 63 17 00 00 00 00 00 0a 00 05 00 03 00 05 00 {c..............
    00312590 07 00 0b 00 0d 00 00 00 ........
    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 !.......