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 ........
003157a8
003157a8 SwitchTable
003157a8 0x17a265 0x10011 0x2b8 0x17a1e3
003157b0
003157b0 PointerTable
003157b0 0x10011 0x2b8
003157c8
003157c8 19 00 02 00 00 00 08 00 ........
003157d0 c0 03 00 00 00 00 00 00 07 a2 17 00 00 00 00 00 ................
003157e0 1a 00 02 00 01 00 03 00 00 00 00 00 00 00 00 00 ................
003157f0 78 a1 17 00 00 00 00 00 29 00 02 00 10 00 18 00 x.......).......
00315800 b0 01 00 00 00 00 00 00 6c a1 17 00 00 00 00 00 ........l.......
00315810 29 00 02 00 10 00 18 00 70 03 00 00 00 00 00 00 ).......p.......
00315820 5b a1 17 00 00 00 00 00 29 00 03 00 08 00 10 00 [.......).......
00315830 18 00 00 00 a4 01 00 00 4f a1 17 00 00 00 00 00 ........O.......
00315840 29 00 04 00 00 00 08 00 10 00 18 00 8c 01 00 00 )...............
00315850
00315850 SwitchTable
00315850 0x17a0c7 0x10021 0x208 0x17a0f3
00315870
00315870 22 00 02 00 08 00 10 00 01 00 00 00 00 00 00 00 "...............
00315880 78 a0 17 00 00 00 00 00 31 00 02 00 18 00 20 00 x.......1..... .
00315890
00315890 SwitchTable
00315890 0x228 0x17a008 0x20 0x179fee
003158b0
003158b0 21 00 00 00 8c 02 00 00 dd 9f 17 00 00 00 00 00 !...............
003158c0 21 00 01 00 10 00 00 00 c8 00 00 00 00 00 00 00 !...............
003158d0 d1 9f 17 00 00 00 00 00 21 00 02 00 00 00 10 00 ........!.......
003158e0 b0 00 00 00 00 00 00 00 ab 9f 17 00 00 00 00 00 ................
003158f0 21 00 02 00 08 00 10 00 f8 01 00 00 00 00 00 00 !...............
00315900 12 a0 17 00 00 00 00 00 22 00 03 00 00 00 01 00 ........".......
00315910 10 00 03 03 03 00 00 00 ........
00315918
00315918 SwitchTable
00315918 0x179f15 0x10020 0x179ec0 0x10011 0x50 0x179ea6 0x10011 0x158
00315958 0x494 0x51c 0x4f8 0x3a4
00315930
00315930 PointerTable
00315930 0x10011 0x50
00315948
00315948 PointerTable
00315948 0x10011 0x158
00315978
00315978 c4 04 00 e0 00 11 b2 04 ........
00315980 78 03 00 00 b0 18 30 06 8c 02 00 00 58 55 90 0f x.....0.....XU..
00315990 cc 02 00 60 ...`
00315994
00315994 SwitchTable
00315994 0x4c8 0x484 0x428 0x238 0x53c 0x2c0 0x408 0x568
003159d4 0x210
003159dc
003159dc 20 11 c0 01 ...
003159e0 f0 03 00 58 29 58 2a 07 c8 03 00 28 ...X)X*....(
003159ec
003159ec SwitchTable
003159ec 0x4e0 0x520 0x3b0 0x530
00315a0c
00315a0c 60 20 68 05 ` h.
00315a10 30 03 00 14 0...
00315a14
00315a14 SwitchTable
00315a14 0x520 0x4b0 0x2b8 0x508 0x248 0x43c 0x3a4 0x4a4
00315a54 0x33c 0x220 0x24c 0x37c 0x3e8 0x1cc 0x28c 0x394
00315a94 0x4a0 0x1f8 0x184 0x2c8 0x1fc 0x2f0 0x1d0 0x468
00315ad4 0x2d8 0x458 0x394
00315aec
00315aec b8 38 50 06 .8P.
00315af0 6c 01 00 e0 l...
00315af4
00315af4 SwitchTable
00315af4 0x314 0x324 0x220 0x3a8 0x2d4 0x258 0x1b8 0x248
00315b34 0x278
00315b3c
00315b3c 30 1a 18 05 0...
00315b40 1c 01 00 8c ....
00315b44
00315b44 SwitchTable
00315b44 0x214 0x260 0x1e8
00315b5c
00315b5c 10 2d 50 03 .-P.
00315b60 d8 03 00 54 ...T
00315b64
00315b64 SwitchTable
00315b64 0x268 0x1a4 0x1e4 0x350 0x60 0x58 0x304 0xf8
00315ba4 0x27c
00315bac
00315bac f8 34 c8 07 .4..
00315bb0
00315bb0 string "stdlib.ml",0
00315bba
00315bba string "latexmacros.ml",0
00315bc9
00315bc9 string "printf.ml",0
00315bd3
00315bd3 string "string.ml",0
00315bdd
00315bdd string "myStack.ml",0
00315be8
00315be8 d2 ff ff ff 4c 61 74 65 ....Late
00315bf0 78 6d 61 63 72 6f 73 2e 68 69 64 64 65 6e 5f 70 xmacros.hidden_p
00315c00 72 65 74 74 79 5f 74 61 62 6c 65 2e 28 66 75 6e retty_table.(fun
00315c10 29 00 00 00 9c ff ff ff 53 74 64 6c 69 62 2e 70 ).......Stdlib.p
00315c20 72 65 72 72 5f 73 74 72 69 6e 67 00 8e ff ff ff rerr_string.....
00315c30 4c 61 74 65 78 6d 61 63 72 6f 73 2e 70 72 65 74 Latexmacros.pret
00315c40 74 79 5f 6d 61 63 72 6f 00 00 00 00 91 ff ff ff ty_macro........
00315c50 4d 79 53 74 61 63 6b 2e 6d 61 70 00 5e ff ff ff MyStack.map.^...
00315c60 4c 61 74 65 78 6d 61 63 72 6f 73 2e 68 69 64 64 Latexmacros.hidd
00315c70 65 6e 5f 70 72 65 74 74 79 5f 74 61 62 6c 65 00 en_pretty_table.
00315c80 3a ff ff ff 4c 61 74 65 78 6d 61 63 72 6f 73 2e :...Latexmacros.
00315c90 66 69 6e 64 00 00 00 00 22 ff ff ff 4c 61 74 65 find...."...Late
00315ca0 78 6d 61 63 72 6f 73 2e 67 6c 6f 62 61 6c 5f 64 xmacros.global_d
00315cb0 65 66 00 00 06 ff ff ff 4c 61 74 65 78 6d 61 63 ef......Latexmac
00315cc0 72 6f 73 2e 68 69 64 64 65 6e 5f 70 72 65 74 74 ros.hidden_prett
00315cd0 79 5f 74 61 62 6c 65 2e 69 6e 63 72 00 00 00 00 y_table.incr....
00315ce0 da fe ff ff 4c 61 74 65 78 6d 61 63 72 6f 73 2e ....Latexmacros.
00315cf0 61 64 64 74 6f 00 00 00 c2 fe ff ff 4c 61 74 65 addto.......Late
00315d00 78 6d 61 63 72 6f 73 2e 66 69 6e 64 5f 66 61 69 xmacros.find_fai
00315d10 6c 00 00 00 a6 fe ff ff 4c 61 74 65 78 6d 61 63 l.......Latexmac
00315d20 72 6f 73 2e 64 65 66 00 ab fe ff ff 53 74 64 6c ros.def.....Stdl
00315d30 69 62 5f 5f 53 74 72 69 6e 67 2e 73 75 62 00 00 ib__String.sub..
00315d40 7a fe ff ff 4c 61 74 65 78 6d 61 63 72 6f 73 2e z...Latexmacros.
00315d50 63 6c 6f 73 65 5f 67 72 6f 75 70 00 5e fe ff ff close_group.^...
00315d60 4c 61 74 65 78 6d 61 63 72 6f 73 2e 70 72 65 5f Latexmacros.pre_
00315d70 70 75 72 67 65 00 00 00 42 fe ff ff 4c 61 74 65 purge...B...Late
00315d80 78 6d 61 63 72 6f 73 2e 63 68 65 63 6b 70 6f 69 xmacros.checkpoi
00315d90 6e 74 00 00 26 fe ff ff 4c 61 74 65 78 6d 61 63 nt..&...Latexmac
00315da0 72 6f 73 2e 68 69 64 64 65 6e 5f 66 69 6e 64 00 ros.hidden_find.
00315db0 0a fe ff ff 4c 61 74 65 78 6d 61 63 72 6f 73 2e ....Latexmacros.
00315dc0 72 65 67 69 73 74 65 72 5f 69 6e 69 74 00 00 00 register_init...
00315dd0 ea fd ff ff 4c 61 74 65 78 6d 61 63 72 6f 73 2e ....Latexmacros.
00315de0 64 65 66 5f 69 6e 69 74 00 00 00 00 ce fd ff ff def_init........
00315df0 4c 61 74 65 78 6d 61 63 72 6f 73 2e 70 72 65 74 Latexmacros.pret
00315e00 74 79 5f 74 61 62 6c 65 00 00 00 00 ae fd ff ff ty_table........
00315e10 4c 61 74 65 78 6d 61 63 72 6f 73 2e 65 78 69 73 Latexmacros.exis
00315e20 74 73 00 00 96 fd ff ff 4c 61 74 65 78 6d 61 63 ts......Latexmac
00315e30 72 6f 73 2e 72 65 70 6c 61 63 65 00 7e fd ff ff ros.replace.~...
00315e40 4c 61 74 65 78 6d 61 63 72 6f 73 2e 73 65 74 5f Latexmacros.set_
00315e50 73 61 76 65 64 5f 6d 61 63 72 6f 73 00 00 00 00 saved_macros....
00315e60 5a fd ff ff 4c 61 74 65 78 6d 61 63 72 6f 73 2e Z...Latexmacros.
00315e70 68 6f 74 5f 73 74 61 72 74 00 00 00 3e fd ff ff hot_start...>...
00315e80 4c 61 74 65 78 6d 61 63 72 6f 73 2e 70 72 65 74 Latexmacros.pret
00315e90 74 79 5f 63 6f 6d 6d 61 6e 64 00 00 2d fd ff ff ty_command..-...
00315ea0 53 74 64 6c 69 62 5f 5f 50 72 69 6e 74 66 2e 65 Stdlib__Printf.e
00315eb0 70 72 69 6e 74 66 00 00 02 fd ff ff 4c 61 74 65 printf......Late
00315ec0 78 6d 61 63 72 6f 73 2e 53 74 72 69 6e 67 73 00 xmacros.Strings.
00315ed0 ea fc ff ff 4c 61 74 65 78 6d 61 63 72 6f 73 2e ....Latexmacros.
00315ee0 68 69 64 64 65 6e 5f 6c 6f 63 61 6c 5f 64 65 66 hidden_local_def
00315ef0 00 00 00 00 c6 fc ff ff 4c 61 74 65 78 6d 61 63 ........Latexmac
00315f00 72 6f 73 2e 68 69 64 64 65 6e 5f 67 6c 6f 62 61 ros.hidden_globa
00315f10 6c 5f 64 65 66 00 00 00 a2 fc ff ff 4c 61 74 65 l_def.......Late
00315f20 78 6d 61 63 72 6f 73 2e 67 6c 6f 62 61 6c 5f 75 xmacros.global_u
00315f30 6e 64 65 66 00 00 00 00 82 fc ff ff 4c 61 74 65 ndef........Late
00315f40 78 6d 61 63 72 6f 73 2e 65 78 65 63 xmacros.exec
00315f4c
00315f4c SwitchTable
00315f4c 0x74 0xbf7 0x17c2f0 0x5 0xbf7 0x17c270 0x5 0xbf7
00315f8c 0x17c3b0 0x5 0xbf7 0x17d820 0x5
00315fb4
00315fb4 00 00 00 01 ....
00315fb8
00315fb8 PointerTable ← camlLexstate.plimits_1056
00315fb8 0x317020 0x317008 0x316ff0