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
00314cd4
00314cd4 00 00 00 00 ....
00314cd8
00314cd8 string "Command not found: ",0 ← 0x17add8
00314cec
00314cec 00 00 00 04 ....
00314cf0 fc 17 00 00 00 00 00 00 ........
00314cf8
00314cf8 string "Cannot find primitives for package: ",0 ← 0x17acd8
00314d1d
00314d1d 00 00 03 ...
00314d20 fc 1f 00 00 00 00 00 00 ........
00314d28
00314d28 string "Bad trip while initializing primitives for package: ",0 ← 0x17ac93
00314d5d
00314d5d 00 00 03 ...
00314d60 fc 17 00 00 00 00 00 00 ........
00314d68
00314d68 string "Initializing primitives for package: ",0 ← 0x17ac01
00314d8e
00314d8e 00 02 ..
00314d90 fc 07 00 00 00 00 00 00 ........
00314d98
00314d98 string " twice",0 ← 0x17ab43
00314d9f
00314d9f 01 .
00314da0 fc 1b 00 00 00 00 00 00 ........
00314da8
00314da8 string "Attempt to initlialize primitives for package ",0 ← 0x17ab57
00314dd7
00314dd7 01 fc 17 00 00 00 00 00 00 .........
00314de0
00314de0 string "Registering primitives for package: ",0 ← 0x17ab06
00314e05
00314e05 00 00 03 fc 0b 00 00 00 00 00 00 ...........
00314e10
00314e10 string "Local table",0 ← 0x17a290
00314e1c
00314e1c 00 00 00 04 ....
00314e20 fc 07 00 00 00 00 00 00 ........
00314e28
00314e28 string " -> ",0 ← 0x179ea6
00314e2d
00314e2d 00 00 03 ...
00314e30 fc 0b 00 00 00 00 00 00 ........
00314e38
00314e38 string "Global table" ← 0x17a271
00314e44
00314e44 SwitchTable
00314e44 0xb00 0x314e88 0x314e68 0xffc
00314e50
00314e50 PointerTable ← camlLatexmacros.pretty_table_881
00314e50 0x314e88 0x314e68
00314e64
00314e64 00 00 00 00 ....
00314e68
00314e68 string "Macro tables, level=%d\n",0
00314e80
00314e80 SwitchTable
00314e80 0xb0b 0x314ea0 0x314f80 0xffc
00314e88
00314e88 PointerTable
00314e88 0x314ea0 0x314f80
00314ea0
00314ea0 string "Macro tables, level="
00314eb4
00314eb4 SwitchTable
00314eb4 0xb00 0x314ee8 0x314ed8 0x7fc
00314ec0
00314ec0 PointerTable ← camlLatexmacros.fun_1063
00314ec0 0x314ee8 0x314ed8
00314ed4
00314ed4 00 00 00 00 ....
00314ed8
00314ed8 string "%s: %d\n",0
00314ee0
00314ee0 SwitchTable
00314ee0 0xb02 0x1 0x314f00 0xb0b 0x314f18 0x314f80 0x7fc 0x203a
00314f20 0x7fc
00314f00
00314f00 PointerTable
00314f00 0x314f18 0x314f80
00314f28
00314f28 ; purge ← 0x17bca2
00314f28 70 75 72 67 purg
00314f2c
00314f2c SwitchTable
00314f2c 0xb00
00314f34
00314f34 00 00 00 00 ....
00314f38
00314f38 PointerTable ← camlLatexmacros.hidden_pretty_table_843
00314f38 0x314f68 0x314f50
00314f48
00314f48 fc 0b 00 00 00 00 00 00 ........
00314f50
00314f50 string "Table size: %d\n",0
00314f60
00314f60 SwitchTable
00314f60 0xb0b 0x314fc0 0x314f80 0x1304 0x1 0x1 0x1 0x314fa8
00314fa0 0xb0c 0x15 0x1 0xbfc
00314f68
00314f68 PointerTable
00314f68 0x314fc0 0x314f80
00314fc0
00314fc0 string "Table size: ",0
00314fcd
00314fcd 00 00 03 ...
00314fd0 fc 07 00 00 00 00 00 00 ........
00314fd8
00314fd8 uint8_t g_314fd8 ← camlLatexmacros.fun_1049 camlLatexmacros.pretty_command_947 camlLatexmacros.def_952 camlLatexmacros.global_def_953
00314fd8 00 00 00 00 ....
00314fdc
00314fdc SwitchTable
00314fdc 0xb00 0x315010 0x315000 0x7fc
00314fe8
00314fe8 PointerTable ← camlLatexmacros.fun_1049
00314fe8 0x315010 0x315000
00314ffc
00314ffc 00 00 00 00 ....
00315000
00315000 ; %s ->
00315000 25 73 20 2d %s -
00315004
00315004 SwitchTable
00315004 0xb02 0x1 0x314aa0 0xffc
00315024
00315024 00 00 00 00 ....
00315028
00315028 string "Latexmacros.Failed",0 ← 0x17bb0b
0031503b
0031503b 00 00 00 00 05 .....
00315040 00 00 00 00 00 00 00 00 00 00 00 00 ............
0031504c
0031504c SwitchTable
0031504c 0x68 0x17bc76 0x1a
00315064
00315064 03 00 02 00 d5 bb 17 00 00 00 00 00 ............
00315070 1a 00 03 00 00 00 08 00 13 00 01 00 00 00 00 00 ................
00315080 cd bb 17 00 00 00 00 00 18 00 02 00 00 00 08 00 ................
00315090
00315090 SwitchTable
00315090 0x17bbad 0x10018 0x17bb8e 0x18 0x17bb53
003150b8
003150b8 19 00 00 00 54 0a 00 00 ....T...
003150c0 3b bb 17 00 00 00 00 00 1a 00 00 00 01 00 00 00 ;...............
003150d0
003150d0 SwitchTable
003150d0 0x17baff 0x1001a 0x17ba99
003150e8
003150e8 09 00 00 00 1c 0a 00 00 ........
003150f0 71 b4 17 00 00 00 00 00 22 00 03 00 00 00 01 00 q.......".......
00315100 10 00 02 01 00 00 00 00 15 b4 17 00 00 00 00 00 ................
00315110 21 00 02 00 00 00 10 00 10 0a 00 00 00 00 00 00 !...............
00315120 78 b4 17 00 00 00 00 00 22 00 04 00 00 00 05 00 x.......".......
00315130 08 00 10 00 01 01 00 00 82 b4 17 00 00 00 00 00 ................
00315140 22 00 02 00 08 00 10 00 02 01 00 00 00 00 00 00 "...............
00315150 8c b4 17 00 00 00 00 00 32 00 03 00 01 00 18 00 ........2.......
00315160 20 00 01 00 00 00 00 00 26 b3 17 00 00 00 00 00 .......&.......
00315170 31 00 02 00 18 00 20 00 b0 08 00 00 00 00 00 00 1..... .........
00315180 c9 b2 17 00 00 00 00 00 21 00 01 00 08 00 00 00 ........!.......
00315190 10 08 00 00 00 00 00 00 b9 b2 17 00 00 00 00 00 ................
003151a0 21 00 01 00 08 00 00 00 e8 08 00 00 00 00 00 00 !...............
003151b0 85 b2 17 00 00 00 00 00 21 00 01 00 08 00 00 00 ........!.......
003151c0 40 09 00 00 00 00 00 00 d8 b2 17 00 00 00 00 00 @...............
003151d0 32 00 03 00 01 00 10 00 20 00 01 00 00 00 00 00 2....... .......
003151e0 f5 b1 17 00 00 00 00 00 31 00 02 00 10 00 20 00 ........1..... .
003151f0 b8 09 00 00 00 00 00 00 a5 b1 17 00 00 00 00 00 ................
00315200 1a 00 02 00 00 00 08 00 01 00 00 00 00 00 00 00 ................
00315210 6b b1 17 00 00 00 00 00 19 00 02 00 00 00 08 00 k...............
00315220 c0 07 00 00 00 00 00 00 66 b1 17 00 00 00 00 00 ........f.......
00315230 19 00 02 00 00 00 08 00 70 07 00 00 00 00 00 00 ........p.......
00315240 57 b1 17 00 00 00 00 00 19 00 02 00 00 00 08 00 W...............
00315250 78 07 00 00 00 00 00 00 40 b1 17 00 00 00 00 00 x.......@.......
00315260 19 00 02 00 00 00 08 00 ........
00315268
00315268 SwitchTable
00315268 0x900 0x17b0ec 0x10011 0x778 0x17b0a7
00315290
00315290 2a 00 03 00 00 00 10 00 18 00 01 01 00 00 00 00 *...............
003152a0 6f b0 17 00 00 00 00 00 29 00 03 00 00 00 10 00 o.......).......
003152b0 18 00 00 00 ec 08 00 00 63 b0 17 00 00 00 00 00 ........c.......
003152c0 29 00 03 00 00 00 10 00 18 00 00 00 d4 07 00 00 )...............
003152d0 54 b0 17 00 00 00 00 00 29 00 03 00 00 00 10 00 T.......).......
003152e0 18 00 00 00 e4 07 00 00 47 b0 17 00 00 00 00 00 ........G.......
003152f0 29 00 04 00 00 00 08 00 10 00 18 00 cc 07 00 00 )...............
00315300 d7 af 17 00 00 00 00 00 2a 00 03 00 00 00 10 00 ........*.......
00315310 18 00 01 01 00 00 00 00 9f af 17 00 00 00 00 00 ................
00315320 29 00 03 00 00 00 10 00 18 00 00 00 44 08 00 00 )...........D...
00315330 93 af 17 00 00 00 00 00 29 00 03 00 00 00 10 00 ........).......
00315340 18 00 00 00 2c 06 00 00 84 af 17 00 00 00 00 00 ....,...........
00315350 29 00 03 00 00 00 10 00 18 00 00 00 2c 07 00 00 )...........,...
00315360 77 af 17 00 00 00 00 00 29 00 04 00 00 00 08 00 w.......).......
00315370 10 00 18 00 14 07 00 00 ff ae 17 00 00 00 00 00 ................
00315380 19 00 00 00 bc 06 00 00 ee ae 17 00 00 00 00 00 ................
00315390 19 00 01 00 08 00 00 00 c8 05 00 00 00 00 00 00 ................
003153a0 e2 ae 17 00 00 00 00 00 19 00 02 00 00 00 08 00 ................
003153b0
003153b0 SwitchTable
003153b0 0x7e8 0x17aebb 0x10019 0x720 0x17ae44
003153d8
003153d8 19 00 00 00 a4 05 00 00 ........
003153e0 ed ad 17 00 00 00 00 00 11 00 00 00 4c 06 00 00 ............L...
003153f0 e8 ad 17 00 00 00 00 00 11 00 00 00 c4 05 00 00 ................
00315400 bc ad 17 00 00 00 00 00 21 00 01 00 10 00 00 00 ........!.......
00315410 50 06 00 00 00 00 00 00 44 ad 17 00 00 00 00 00 P.......D.......
00315420 19 00 00 00 d4 06 00 00 e8 ac 17 00 00 00 00 00 ................
00315430 19 00 00 00 ac 06 00 00 a9 ac 17 00 00 00 00 00 ................
00315440 29 00 01 00 10 00 00 00 18 07 00 00 00 00 00 00 )...............
00315450 a4 ac 17 00 00 00 00 00 29 00 01 00 10 00 00 00 ........).......
00315460 b8 05 00 00 00 00 00 00 78 ac 17 00 00 00 00 00 ........x.......
00315470 39 00 01 00 20 00 00 00 90 05 00 00 00 00 00 00 9... ...........
00315480 58 ac 17 00 00 00 00 00 29 00 02 00 10 00 18 00 X.......).......
00315490 a0 05 00 00 00 00 00 00 3b ac 17 00 00 00 00 00 ........;.......
003154a0 29 00 01 00 10 00 00 00 ).......
003154a8
003154a8 SwitchTable
003154a8 0x5f0 0x17ac12 0x10019 0x610 0x17ac0d 0x10019 0x4f8 0x17ab68
003154e8
003154e8 29 00 02 00 10 00 18 00 ).......
003154f0 f8 04 00 00 00 00 00 00 63 ab 17 00 00 00 00 00 ........c.......
00315500 29 00 02 00 10 00 18 00 30 06 00 00 00 00 00 00 ).......0.......
00315510 54 ab 17 00 00 00 00 00 29 00 02 00 10 00 18 00 T.......).......
00315520 a0 05 00 00 00 00 00 00 43 ab 17 00 00 00 00 00 ........C.......
00315530 29 00 02 00 10 00 18 00 c8 04 00 00 00 00 00 00 )...............
00315540 1a ab 17 00 00 00 00 00 19 00 02 00 00 00 08 00 ................
00315550 88 05 00 00 00 00 00 00 15 ab 17 00 00 00 00 00 ................
00315560 19 00 02 00 00 00 08 00 e8 05 00 00 00 00 00 00 ................
00315570 90 aa 17 00 00 00 00 00 0a 00 02 00 01 00 03 00 ................
00315580 01 03 00 00 00 00 00 00 ed a9 17 00 00 00 00 00 ................
00315590 09 00 00 00 e4 03 00 00 51 a9 17 00 00 00 00 00 ........Q.......
003155a0 21 00 01 00 10 00 00 00 b0 04 00 00 00 00 00 00 !...............
003155b0 96 a8 17 00 00 00 00 00 19 00 02 00 00 00 08 00 ................
003155c0 30 04 00 00 00 00 00 00 6e a8 17 00 00 00 00 00 0.......n.......
003155d0 19 00 02 00 00 00 08 00 48 04 00 00 00 00 00 00 ........H.......
003155e0 50 a8 17 00 00 00 00 00 19 00 02 00 00 00 08 00 P...............
003155f0 90 05 00 00 00 00 00 00 82 a7 17 00 00 00 00 00 ................
00315600 21 00 03 00 00 00 08 00 10 00 00 00 74 04 00 00 !...........t...
00315610 be a7 17 00 00 00 00 00 22 00 02 00 00 00 08 00 ........".......
00315620 01 02 00 00 00 00 00 00 11 a7 17 00 00 00 00 00 ................
00315630 21 00 02 00 00 00 08 00 80 03 00 00 00 00 00 00 !...............
00315640 ec a6 17 00 00 00 00 00 21 00 02 00 00 00 08 00 ........!.......
00315650 00 04 00 00 00 00 00 00 62 a6 17 00 00 00 00 00 ........b.......
00315660 19 00 02 00 00 00 08 00 10 05 00 00 00 00 00 00 ................
00315670 45 a6 17 00 00 00 00 00 19 00 02 00 00 00 08 00 E...............
00315680 c8 04 00 00 00 00 00 00 99 a5 17 00 00 00 00 00 ................
00315690 09 00 00 00 c4 04 00 00 7b a5 17 00 00 00 00 00 ........{.......
003156a0 09 00 00 00 6c 03 00 00 3e a5 17 00 00 00 00 00 ....l...>.......
003156b0 0a 00 02 00 03 00 05 00 01 01 00 00 00 00 00 00 ................
003156c0 7d a4 17 00 00 00 00 00 29 00 01 00 18 00 00 00 }.......).......
003156d0 a8 03 00 00 00 00 00 00 65 a4 17 00 00 00 00 00 ........e.......
003156e0 29 00 02 00 10 00 18 00 80 02 00 00 00 00 00 00 )...............
003156f0 4d a4 17 00 00 00 00 00 29 00 03 00 08 00 10 00 M.......).......
00315700 18 00 00 00 94 02 00 00 a7 a3 17 00 00 00 00 00 ................
00315710 22 00 04 00 00 00 03 00 08 00 10 00 01 06 00 00 "...............
00315720 37 a3 17 00 00 00 00 00 21 00 03 00 00 00 08 00 7.......!.......
00315730 10 00 00 00 7c 03 00 00 20 a3 17 00 00 00 00 00 ....|... .......
00315740 21 00 02 00 08 00 10 00 e8 03 00 00 00 00 00 00 !...............
00315750 08 a3 17 00 00 00 00 00 21 00 01 00 10 00 00 00 ........!.......
00315760 c0 03 00 00 00 00 00 00 9c a2 17 00 00 00 00 00 ................
00315770 11 00 00 00 a4 03 00 00 90 a2 17 00 00 00 00 00 ................
00315780 11 00 00 00 d4 01 00 00 7d a2 17 00 00 00 00 00 ........}.......
00315790 11 00 00 00 b4 02 00 00 71 a2 17 00 00 00 00 00 ........q.......
003157a0 11 00 00 00 cc 02 00 00 ........