File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
    002970f9
    002970f9 string "bytes.ml",0
    00297102
    00297102 string "url.mll",0
    0029710a
    0029710a 00 00 f6 ff ff ff ......
    00297110 55 72 6c 2e 64 65 63 6f 64 65 5f 66 72 61 67 6d Url.decode_fragm
    00297120 65 6e 74 00 de ff ff ff 55 72 6c 2e 64 6f 5f 65 ent.....Url.do_e
    00297130 6e 63 6f 64 65 5f 66 72 61 67 6d 65 6e 74 00 00 ncode_fragment..
    00297140 b2 ff ff ff 55 72 6c 2e 62 72 65 61 6b 00 00 00 ....Url.break...
    00297150 98 ff ff ff 53 74 64 6c 69 62 5f 5f 4c 65 78 69 ....Stdlib__Lexi
    00297160 6e 67 2e 73 75 62 5f 6c 65 78 65 6d 65 00 00 00 ng.sub_lexeme...
    00297170 82 ff ff ff 55 72 6c 2e 5f 5f 6f 63 61 6d 6c 5f ....Url.__ocaml_
    00297180 6c 65 78 5f 62 72 65 61 6b 5f 72 65 63 00 00 00 lex_break_rec...
    00297190 72 ff ff ff 55 72 6c 2e 5f 64 65 63 6f 64 65 2e r...Url._decode.
    002971a0 64 6f 5f 64 65 63 6f 64 65 00 00 00 56 ff ff ff do_decode...V...
    002971b0 55 72 6c 2e 64 6f 5f 65 6e 63 6f 64 65 00 00 00 Url.do_encode...
    002971c0 42 ff ff ff 55 72 6c 2e 5f 5f 6f 63 61 6d 6c 5f B...Url.__ocaml_
    002971d0 6c 65 78 5f 64 6f 5f 64 65 63 6f 64 65 5f 72 65 lex_do_decode_re
    002971e0 63 00 00 00 1e ff ff ff 55 72 6c 2e 61 70 70 6c c.......Url.appl
    002971f0 79 00 00 00 05 ff ff ff 53 74 64 6c 69 62 5f 5f y.......Stdlib__
    00297200 42 79 74 65 73 2e 73 75 62 5f 73 74 72 69 6e 67 Bytes.sub_string
    00297210 00 00 00 00 de fe ff ff 55 72 6c 2e 5f 5f 6f 63 ........Url.__oc
    00297220 61 6d 6c 5f 6c 65 78 5f 64 6f 5f 64 65 63 6f 64 aml_lex_do_decod
    00297230 65 5f 72 65 63 00 00 00 ca fe ff ff 55 72 6c 2e e_rec.......Url.
    00297240 5f 65 6e 63 6f 64 65 00 ba fe ff ff 55 72 6c 2e _encode.....Url.
    00297250 5f 64 65 63 _dec
    00297254
    00297254 SwitchTable
    00297254 0xbf7 0x116510 0x5 0xbf7 0x116500 0x5 0xbf7 0x1164f0
    00297294 0x5 0xbf7 0x116530 0x5 0xbf7 0x116520 0x5 0xff7
    002972d4 0xf6f30 0x7 0x116540 0xbf7 0x116560 0x5 0xbf7 0x116570
    00297314 0x5 0x2300 0x1 0x1 0x1 0x1 0x1 0x1
    00297354 0x1 0x1 0x297328
    0029736c
    0029736c 00 00 00 00 ....
    00297370 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
    00297380 00 00 00 00 ....
    00297384
    00297384 SwitchTable
    00297384 0x1 0x116552 0x2000a
    0029739c
    0029739c 01 00 03 00 ....
    002973a0 00 00 00 00 ....
    002973a4
    002973a4 SwitchTable uint64_t
    002973a4 0xbf7 0x131a30 0x5 0xbf7 0x12c0e0 0x5 0xbf7 0x128530
    002973e4 0x5 0xbf7 0x128830 0x5 0xbf7 0x12d7f0 0x5 0xbf7
    00297424 0x12ff30 0x5 0xbf7 0x130000 0x5 0xbf7 0x1307f0 0x5
    00297464 0x29de68 0x298110 0x298100 0x29de98 0x2980f0 0x2980e0 0x2980d0 0x2980c0
    002974a4 0x2980b0 0x29a590 0xbf7 0x12c390 0x5 0xbf7 0x12b920 0x5
    002974e4 0xbf7 0x1281f0 0x5 0xbf7 0x126290 0x5 0xbf7 0x124b70
    00297524 0x5 0xbf7 0x1231a0 0x5 0xff7 0xf70a0 0x7 0x122ab0
    00297564 0xbf7 0x12cf40 0x5 0xbf7 0x12d2c0 0x5 0xbf7 0x12f320
    002975a4 0x5 0xbf7 0x12f630 0x5 0xbf7 0x12f640 0x5 0xbf7
    002975e4 0x133a30 0x5 0xbf7 0x131f70 0x5 0xff7 0xf7020 0x7
    00297624 0x131e50 0xff7 0xf7020 0x7 0x131540 0xbf7 0x130a50 0x5
    00297664 0xbf7 0x130a10 0x5 0xbf7 0x1308f0 0x5 0xbf7 0x1308b0
    002976a4 0x5 0xbf7 0x130870 0x5 0xff7 0xf7020 0x7 0x12f9a0
    002976e4 0xff7 0xf6dc0 0x7 0x12e7f0 0xff7 0xf7020 0x7 0x12e750
    00297724 0xbf7 0x12e2a0 0x5 0xff7 0xf7020 0x7 0x12e270 0xbf7
    00297764 0x12e180 0x5 0xbf7 0x12b8c0 0x5 0xff7 0xf7020 0x7
    002977a4 0x12aa70 0xff7 0xf7020 0x7 0x127c10 0xff7 0xf7020 0x7
    002977e4 0x127c00 0xbf7 0x127200 0x5 0xbf7 0x127190 0x5 0xbf7
    00297824 0x127090 0x5 0xff7 0xf7020 0x7 0x126880 0xbf7 0x126660
    00297864 0x5 0xbf7 0x124d40 0x5 0xbf7 0x124ce0 0x5 0xbf7
    002978a4 0x124cc0 0x5 0xbf7 0x124ca0 0x5 0xbf7 0x124c80 0x5
    002978e4 0xbf7 0x124c30 0x5 0xbf7 0x124c10 0x5 0xbf7 0x124bc0
    00297924 0x5 0xbf7 0x124ba0 0x5 0xbf7 0x124b80 0x5 0xbf7
    00297964 0x124b00 0x5 0xbf7 0x123440 0x5 0xff7 0xf7020 0x7
    002979a4 0x122fc0 0xbf7 0x122a90 0x5 0xbf7 0x122a50 0x5 0xbf7
    002979e4 0x122990 0x5 0xbf7 0x122970 0x5 0xbf7 0x1228f0 0x5
    00297a24 0xff7 0xf7020 0x7 0x119850 0xff7 0xf7020 0x7 0x119a20
    00297a64 0x700 0x1 0x297a70
    00297468
    00297468 PointerTable ← camlLatexscan.fnsymbol_of_int_2534
    00297468 0x29de68 0x298110 0x298100 0x29de98 0x2980f0 0x2980e0 0x2980d0 0x2980c0
    002974a8 0x2980b0 0x29a590
    00297a7c
    00297a7c 00 00 00 00 ....
    00297a80 00 00 00 00 00 00 00 00 fc 0b 00 00 00 00 00 00 ................
    00297a90
    00297a90 string "\\end@tabular*",0 ← 0x12074d
    00297a9e
    00297a9e 00 02 ..
    00297aa0 fc 0b 00 00 00 00 00 00 ........
    00297aa8
    00297aa8 string "\\end@tabular",0 ← 0x120739
    00297ab5
    00297ab5 00 00 03 fc 0b 00 00 00 00 00 00 ...........
    00297ac0
    00297ac0 string "\\end@array",0 ← 0x12072d
    00297acb
    00297acb 00 00 00 00 05 .....
    00297ad0 fc 0b 00 00 00 00 00 00 ........
    00297ad8
    00297ad8 string "Tabular*",0 ← 0x12065e
    00297ae1
    00297ae1 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
    00297af0
    00297af0 string "\\@Tabular*",0 ← 0x1206a6
    00297afb
    00297afb 00 00 00 00 05 .....
    00297b00 fc 07 00 00 00 00 00 00 ........
    00297b08
    00297b08 string "Tabular",0 ← 0x12060a
    00297b10
    00297b10 fc 0b 00 00 00 00 00 00 ........
    00297b18
    00297b18 string "\\@Tabular",0 ← 0x120652
    00297b22
    00297b22 00 00 00 00 00 06 fc 07 00 00 00 00 00 00 ..............
    00297b30
    00297b30 string "Array",0 ← 0x1205b6
    00297b36
    00297b36 00 02 fc 07 00 00 00 00 00 00 ..........
    00297b40
    00297b40 string "\\@Array",0 ← 0x1205fe
    00297b48
    00297b48 fc 0b 00 00 00 00 00 00 ........
    00297b50
    00297b50 string "tabular*",0 ← 0x120562
    00297b59
    00297b59 00 00 00 00 00 00 07 .......
    00297b60 fc 0b 00 00 00 00 00 00 ........
    00297b68
    00297b68 string "\\@tabular*",0 ← 0x1205aa
    00297b73
    00297b73 00 00 00 00 05 fc 07 00 00 00 00 00 00 .............
    00297b80
    00297b80 string "tabular",0 ← 0x12050e
    00297b88
    00297b88 fc 0b 00 00 00 00 00 00 ........
    00297b90
    00297b90 string "\\@tabular",0 ← 0x120556
    00297b9a
    00297b9a 00 00 00 00 00 06 ......
    00297ba0 fc 07 00 00 00 00 00 00 ........
    00297ba8
    00297ba8 string "array",0 ← 0x1204cf
    00297bae
    00297bae 00 02 ..
    00297bb0 fc 07 00 00 00 00 00 00 ........
    00297bb8
    00297bb8 string "\\@array",0 ← 0x120502
    00297bc0
    00297bc0 fc 17 00 00 00 00 00 00 ........
    00297bc8
    00297bc8 string "'tabular*' with length argument: ",0 ← 0x132464
    00297bea
    00297bea 00 00 00 00 00 06 ......
    00297bf0 fc 0b 00 00 00 00 00 00 ........
    00297bf8
    00297bf8 string "\\endtabbing",0 ← 0x1203ec
    00297c04
    00297c04 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
    00297c10
    00297c10 string "\\tabbing",0 ← 0x12037a
    00297c19
    00297c19 00 00 00 00 00 00 07 .......
    00297c20 fc 1f 00 00 00 00 00 00 ........
    00297c28
    00297c28 ; style="border:0;border-spacing:0" class="cellpadding0" ← 0x1321be
    00297c28 73 74 79 6c 65 3d 22 62 style="b
    00297c30 6f 72 64 65 72 3a 30 3b 62 6f 72 64 65 72 2d 73 order:0;border-s
    00297c40 70 61 63 69 6e 67 3a 30 22 20 63 6c 61 73 73 3d pacing:0" class=
    00297c50 22 63 65 6c 6c 70 61 64 64 69 6e 67 "cellpadding
    00297c5c
    00297c5c SwitchTable
    00297c5c 0x7fc 0x7274 0x7fc 0x615c 0x7fc
    00297c84
    00297c84 00 00 00 00 ....
    00297c88
    00297c88 string "tabbing",0 ← 0x13212a 0x13235e
    00297c90
    00297c90 fc 0f 00 00 00 00 00 00 ........
    00297c98
    00297c98 string "\\@table@attributes",0 ← 0x132058
    00297cab
    00297cab 00 00 00 00 05 .....
    00297cb0 fc 13 00 00 00 00 00 00 ........
    00297cb8
    00297cb8 ; \@table@attributes@border ← 0x13204c
    00297cb8 5c 40 74 61 62 6c 65 40 \@table@
    00297cc0 61 74 74 72 69 62 75 74 65 73 40 62 attributes@b
    00297ccc
    00297ccc SwitchTable
    00297ccc 0x72 0x7fc 0x25 0x7fc 0x6474 0x7fc 0x7870 0x7fc
    00297d0c
    00297d0c 00 00 00 00 ....
    00297d10
    00297d10 string "width:",0 ← 0x131fc3 0x131fe7 0x13200b
    00297d17
    00297d17 01 fc 07 00 00 00 00 00 00 .........
    00297d20
    00297d20 ; \kill ← 0x131f33
    00297d20 5c 6b 69 6c \kil
    00297d24
    00297d24 SwitchTable
    00297d24 0x7fc 0x3e5c 0x7fc 0x3d5c 0x17fc
    00297d4c
    00297d4c 00 00 00 00 ....
    00297d50
    00297d50 string "\\hline should occur in some array",0 ← 0x131c03
    00297d72
    00297d72 00 00 00 00 00 06 fc 07 00 00 00 00 00 00 ..............
    00297d80
    00297d80 string "table",0 ← 0x123aa4 0x123e33
    00297d86
    00297d86 00 02 fc 07 00 00 00 00 00 00 ..........
    00297d90
    00297d90 string "\\hline",0 ← 0x120189
    00297d97
    00297d97 01 fc 17 00 00 00 00 00 00 .........
    00297da0
    00297da0 string "\\multicolumn should occur in some array",0 ← 0x131b33
    00297dc8
    00297dc8 fc 0b 00 00 00 00 00 00 ........
    00297dd0
    00297dd0 string "\\multicolumn",0 ← 0x120109
    00297ddd
    00297ddd 00 00 03 ...
    00297de0 fc 0b 00 00 00 00 00 00 ........
    00297de8
    00297de8 string "end alltt",0 ← 0x131a7f
    00297df2
    00297df2 00 00 00 00 00 06 fc 0b 00 00 00 00 00 00 ..............
    00297e00
    00297e00 string "\\endalltt",0 ← 0x131923
    00297e0a
    00297e0a 00 00 00 00 00 06 ......
    00297e10 fc 0b 00 00 00 00 00 00 ........
    00297e18
    00297e18 string "begin alltt",0 ← 0x131997
    00297e24
    00297e24 00 00 00 04 fc 07 00 00 00 00 00 00 ............
    00297e30
    00297e30 string "\\alltt",0 ← 0x1318db
    00297e37
    00297e37 01 fc 07 00 00 00 00 00 00 .........
    00297e40
    00297e40 string "span",0 ← 0x123c3e 0x123f58 0x12dace
    00297e45
    00297e45 00 00 03 fc 07 00 00 00 00 00 00 ...........
    00297e50
    00297e50 string "alltt",0 ← 0x12009c
    00297e56
    00297e56 00 02 fc 0b 00 00 00 00 00 00 ..........
    00297e60
    00297e60 string "\\endgroup",0 ← 0x120041
    00297e6a
    00297e6a 00 00 00 00 00 06 ......
    00297e70 fc 0b 00 00 00 00 00 00 ........
    00297e78
    00297e78 ; command-group ← 0x1317bf
    00297e78 63 6f 6d 6d 61 6e 64 2d command-
    00297e80 67 72 6f 75 grou
    00297e84
    00297e84 SwitchTable
    00297e84 0x700 0x3 0xbfc
    00297e9c
    00297e9c 00 00 00 00 ....
    00297ea0
    00297ea0 string "\\begingroup",0 ← 0x11ffd7
    00297eac
    00297eac 00 00 00 04 ....
    00297eb0 fc 0b 00 00 00 00 00 00 ........
    00297eb8
    00297eb8 string "\\@print{_}",0 ← 0x11ff06
    00297ec3
    00297ec3 00 00 00 00 05 fc 0b 00 00 00 00 00 00 .............
    00297ed0
    00297ed0 string "\\@print{ }",0 ← 0x11fe0e 0x11fe2d 0x11fe4c 0x11fe6b 0x11fe8a 0x11fea9 0x11fec8 0x11fee7
    00297edb
    00297edb 00 00 00 00 05 .....
    00297ee0 fc 07 00 00 00 00 00 00 ........
    00297ee8
    00297ee8 string "\\vdots",0 ← 0x13170d 0x131771
    00297eef
    00297eef 01 .
    00297ef0 fc 0f 00 00 00 00 00 00 ........
    00297ef8
    00297ef8 string "vertical length: ",0 ← 0x1316f9
    00297f0a
    00297f0a 00 00 00 00 00 06 ......
    00297f10 fc 07 00 00 00 00 00 00 ........
    00297f18
    00297f18 string "pre",0 ← 0x123b6c 0x1319fa 0x131a9a
    00297f1c
    00297f1c 00 00 00 04 ....
    00297f20 fc 0b 00 00 00 00 00 00 ........
    00297f28
    00297f28 string "\\@vdotsfill",0 ← 0x11fe02
    00297f34
    00297f34 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
    00297f40
    00297f40 string "\\hspace*",0 ← 0x11fd46
    00297f49
    00297f49 00 00 00 00 00 00 07 .......
    00297f50 fc 07 00 00 00 00 00 00 ........
    00297f58
    00297f58 string "\\vspace",0 ← 0x11fc7f 0x11fda4
    00297f60
    00297f60 fc 07 00 00 00 00 00 00 ........
    00297f68
    00297f68 string "\\hspace",0 ← 0x11fc44
    00297f70
    00297f70 fc 0b 00 00 00 00 00 00 ........
    00297f78
    00297f78 string " with arg '",0 ← 0x131568
    00297f84
    00297f84 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
    00297f90
    00297f90 string "\\@getlength",0 ← 0x11fb88
    00297f9c
    00297f9c 00 00 00 04 ....
    00297fa0 fc 17 00 00 00 00 00 00 ........
    00297fa8
    00297fa8 string "Latexscan.Make(Dest)(Image).Cannot",0 ← 0x11fb41
    00297fcb
    00297fcb 00 00 00 00 05 .....
    00297fd0 fc 0b 00 00 00 00 00 00 ........
    00297fd8
    00297fd8 string "\\stepcounter",0 ← 0x11fafc 0x131191
    00297fe5
    00297fe5 00 00 03 fc 0b 00 00 00 00 00 00 ...........
    00297ff0
    00297ff0 string "\\setcounter",0 ← 0x11faa1 0x131070
    00297ffc
    00297ffc 00 00 00 04 ....
    00298000 fc 0b 00 00 00 00 00 00 ........
    00298008
    00298008 string "\\addtocounter",0 ← 0x11fa46 0x130f40
    00298016
    00298016 00 02 fc 0b 00 00 00 00 00 00 ..........
    00298020
    00298020 string "\\newcounter",0 ← 0x11f9eb 0x130e20
    0029802c
    0029802c 00 00 00 04 ....
    00298030 fc 07 00 00 00 00 00 00 ........
    00298038
    00298038 string "\\@pad",0 ← 0x11f978
    0029803e
    0029803e 00 02 ..
    00298040 fc 0b 00 00 00 00 00 00 ........
    00298048
    00298048 string "\\fnsymbol",0 ← 0x11f8d0
    00298052
    00298052 00 00 00 00 00 06 fc 07 00 00 00 00 00 00 ..............
    00298060
    00298060 string "\\Roman",0 ← 0x11f8b4
    00298067
    00298067 01 fc 07 00 00 00 00 00 00 .........
    00298070
    00298070 string "\\roman",0 ← 0x11f898
    00298077
    00298077 01 fc 07 00 00 00 00 00 00 .........
    00298080
    00298080 string "\\Alph",0 ← 0x11f87c
    00298086
    00298086 00 02 fc 07 00 00 00 00 00 00 ..........
    00298090
    00298090 string "\\alph",0 ← 0x11f860
    00298096
    00298096 00 02 fc 07 00 00 00 00 00 00 ..........
    002980a0
    002980a0 ; \arabic ← 0x11f854
    002980a0 5c 61 72 61 \ara
    002980a4
    002980a4 SwitchTable
    002980a4 0x7fc 0x2323 0x7fc 0x2a2a 0x7fc 0x7c7c 0x7fc 0xb6
    002980e4 0x7fc 0xa7 0x7fc 0x23 0x7fc 0x2a 0x7fc 0x76
    00298124 0x7fc 0x7869 0x7fc 0x7669 0x7fc
    0029814c
    0029814c 00 00 00 00 ....
    00298150
    00298150 string "iii",0 ← 0x13094c
    00298154
    00298154 00 00 00 04 fc 07 00 00 00 00 00 00 ............
    00298160
    00298160 ; false ← 0x122980 0x123590 0x128df8 0x12e524 0x12eb88
    00298160 66 61 6c 73 fals
    00298164
    00298164 SwitchTable
    00298164 0x7fc 0x6969 0x7fc 0x69 0x7fc
    0029818c
    0029818c 00 00 00 00 ....
    00298190
    00298190 string "\\symbol",0 ← 0x11f78a
    00298198
    00298198 fc 13 00 00 00 00 00 00 ........
    002981a0
    002981a0 string "Warning: \\char, check output",0 ← 0x13076d
    002981bd
    002981bd 00 00 03 ...
    002981c0 fc 07 00 00 00 00 00 00 ........
    002981c8
    002981c8 string "\\char",0 ← 0x11f735 0x13083f
    002981ce
    002981ce 00 02 ..
    002981d0 fc 0b 00 00 00 00 00 00 ........
    002981d8
    002981d8 string "\\@end@text",0 ← 0x11f6d4
    002981e3
    002981e3 00 00 00 00 05 fc 0b 00 00 00 00 00 00 .............
    002981f0
    002981f0 string "\\@start@text",0 ← 0x11f68b
    002981fd
    002981fd 00 00 03 ...
    00298200 fc 0b 00 00 00 00 00 00 ........
    00298208
    00298208 string "\\endlrbox",0 ← 0x11f5ce
    00298212
    00298212 00 00 00 00 00 06 fc 07 00 00 00 00 00 00 ..............
    00298220
    00298220 string "lrbox",0 ← 0x1303a3 0x130579
    00298226
    00298226 00 02 fc 07 00 00 00 00 00 00 ..........
    00298230
    00298230 string "\\lrbox",0 ← 0x11f570
    00298237
    00298237 01 fc 07 00 00 00 00 00 00 .........
    00298240
    00298240 string "\\usebox",0 ← 0x11f4fa
    00298248
    00298248 fc 07 00 00 00 00 00 00 ........
    00298250
    00298250 string "\\gsbox",0 ← 0x11f484
    00298257
    00298257 01 fc 07 00 00 00 00 00 00 .........
    00298260
    00298260 string "\\sbox",0 ← 0x11f42f
    00298266
    00298266 00 02 fc 07 00 00 00 00 00 00 ..........
    00298270
    00298270 string "savebox",0 ← 0x1301a9
    00298278
    00298278 fc 0b 00 00 00 00 00 00 ........
    00298280
    00298280 string "\\savebox",0 ← 0x11f3da
    00298289
    00298289 00 00 00 00 00 00 07 .......
    00298290 fc 13 00 00 00 00 00 00 ........
    00298298
    00298298 string "\\sbox on undefined bin '",0 ← 0x1300e4
    002982b1
    002982b1 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
    002982c0
    002982c0 string "\\providesavebox",0 ← 0x11f2e3
    002982d0
    002982d0 fc 0f 00 00 00 00 00 00 ........
    002982d8
    002982d8 string "' with \\newsavebox",0 ← 0x12fe89
    002982eb
    002982eb 00 00 00 00 05 .....
    002982f0 fc 0f 00 00 00 00 00 00 ........
    002982f8
    002982f8 string "Not (re-)defining '",0 ← 0x12fe9d
    0029830c
    0029830c 00 00 00 04 ....
    00298310 fc 0b 00 00 00 00 00 00 ........
    00298318
    00298318 string "\\newsavebox",0 ← 0x11f29a
    00298324
    00298324 00 00 00 04 fc 07 00 00 00 00 00 00 ............
    00298330
    00298330 string "\\mbox",0 ← 0x11f251
    00298336
    00298336 00 02 fc 0b 00 00 00 00 00 00 ..........
    00298340
    00298340 string "\\endinput",0 ← 0x11f202
    0029834a
    0029834a 00 00 00 00 00 06 ......
    00298350 fc 0b 00 00 00 00 00 00 ........
    00298358
    00298358 string "document",0 ← 0x12fd47
    00298361
    00298361 00 00 00 00 00 00 07 fc 17 00 00 00 00 00 00 ...............
    00298370
    00298370 string "\\end{document} with no \\begin{document}",0 ← 0x12fd54
    00298398
    00298398 fc 0f 00 00 00 00 00 00 ........
    002983a0
    002983a0 string "\\@raise@enddocument",0 ← 0x11f16b
    002983b4
    002983b4 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
    002983c0
    002983c0 string "%Options: ",0 ← 0x12fccb
    002983cb
    002983cb 00 00 00 00 05 .....
    002983d0 fc 0b 00 00 00 00 00 00 ........
    002983d8
    002983d8 string "\\@imagenopt",0 ← 0x11f104
    002983e4
    002983e4 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
    002983f0
    002983f0 string "\\@getimagenopt",0 ← 0x11f0b2
    002983ff
    002983ff 01 .
    00298400 fc 0b 00 00 00 00 00 00 ........
    00298408
    00298408 string "\\@addimagenopt",0 ← 0x11f060
    00298417
    00298417 01 fc 07 00 00 00 00 00 00 .........
    00298420
    00298420 string "-todir ",0 ← 0x12fa65
    00298428
    00298428 fc 0b 00 00 00 00 00 00 ........
    00298430
    00298430 string "\\heveaimagedir",0 ← 0x12fa33
    0029843f
    0029843f 01 .
    00298440 fc 0f 00 00 00 00 00 00 ........
    00298448
    00298448 string "Restore array state:",0 ← 0x1238bc
    0029845d
    0029845d 00 00 03 ...
    00298460 fc 0f 00 00 00 00 00 00 ........
    00298468
    00298468 string "\\@begin@document",0 ← 0x11efff
    00298479
    00298479 00 00 00 00 00 00 07 .......
    00298480 fc 07 00 00 00 00 00 00 ........
    00298488
    00298488 string "\\@begin",0 ← 0x11ef97
    00298490
    00298490 fc 07 00 00 00 00 00 00 ........
    00298498
    00298498 string "\\@end",0 ← 0x11ef36
    0029849e
    0029849e 00 02 ..
    002984a0 fc 07 00 00 00 00 00 00 ........
    002984a8
    002984a8 string "\\end",0 ← 0x11eed5
    002984ad
    002984ad 00 00 03 ...
    002984b0 fc 07 00 00 00 00 00 00 ........
    002984b8
    002984b8 string "\\begin",0 ← 0x11ee52
    002984bf
    002984bf 01 .
    002984c0 fc 0f 00 00 00 00 00 00 ........
    002984c8
    002984c8 string "\\@endfootnotesub",0 ← 0x11edc3
    002984d9
    002984d9 00 00 00 00 00 00 07 .......
    002984e0 fc 0b 00 00 00 00 00 00 ........
    002984e8
    002984e8 string "\\@footnotesub",0 ← 0x11edb0
    002984f6
    002984f6 00 02 fc 0f 00 00 00 00 00 00 ..........
    00298500
    00298500 string "\\@footnoteflush@sticky",0 ← 0x11ed9d
    00298517
    00298517 01 fc 0b 00 00 00 00 00 00 .........
    00298520
    00298520 string "\\@footnoteflush",0 ← 0x11ed4b
    00298530
    00298530 fc 0b 00 00 00 00 00 00 ........
    00298538
    00298538 string "\\@footnotelevel",0 ← 0x12f536
    00298548
    00298548 fc 0b 00 00 00 00 00 00 ........
    00298550
    00298550 string "\\@fnmarknote{",0 ← 0x12f485
    0029855e
    0029855e 00 02 ..
    00298560 fc 0b 00 00 00 00 00 00 ........
    00298568
    00298568 string "\\@footnotetext",0 ← 0x11ec99
    00298577
    00298577 01 fc 0b 00 00 00 00 00 00 .........
    00298580
    00298580 string "\\@anchorval",0 ← 0x11ec2f
    0029858c
    0029858c 00 00 00 04 ....
    00298590 fc 0b 00 00 00 00 00 00 ........
    00298598
    00298598 string "\\@stepanchor",0 ← 0x11ebe9
    002985a5
    002985a5 00 00 03 fc 0b 00 00 00 00 00 00 ...........
    002985b0
    002985b0 string "\\includeonly",0 ← 0x11ebd6
    002985bd
    002985bd 00 00 03 ...
    002985c0 fc 0b 00 00 00 00 00 00 ........
    002985c8
    002985c8 string "\\@close@cite",0 ← 0x12f176
    002985d5
    002985d5 00 00 03 fc 0f 00 00 00 00 00 00 ...........
    002985e0
    002985e0 string "Save array state:",0 ← 0x123773
    002985f2
    002985f2 00 00 00 00 00 06 fc 13 00 00 00 00 00 00 ..............
    00298600
    00298600 string "\\@sep@cite\\@sep@cite@space",0 ← 0x12f289
    0029861b
    0029861b 00 00 00 00 05 .....
    00298620 fc 0b 00 00 00 00 00 00 ........
    00298628
    00298628 string "\\@open@cite@two",0 ← 0x12f07b
    00298638
    00298638 fc 0b 00 00 00 00 00 00 ........
    00298640
    00298640 string "\\@cite@pre{",0 ← 0x12f04b
    0029864c
    0029864c 00 00 00 04 ....
    00298650 fc 0b 00 00 00 00 00 00 ........
    00298658
    00298658 string "\\@open@cite@one",0 ← 0x12eff7
    00298668
    00298668 fc 07 00 00 00 00 00 00 ........
    00298670
    00298670 string "\\cite",0 ← 0x11eb8d
    00298676
    00298676 00 02 fc 0b 00 00 00 00 00 00 ..........
    00298680
    00298680 string "\\bibtaghook{",0 ← 0x12eef5
    0029868d
    0029868d 00 00 03 ...
    00298690 fc 07 00 00 00 00 00 00 ........
    00298698
    00298698 string "}}{",0 ← 0x12ee78
    0029869c
    0029869c 00 00 00 04 ....
    002986a0 fc 0f 00 00 00 00 00 00 ........
    002986a8
    002986a8 string "\\@bibref{\\bibtaghook{",0 ← 0x12ee94
    002986be
    002986be 00 02 ..
    002986c0 fc 0b 00 00 00 00 00 00 ........
    002986c8
    002986c8 string "\\citation{",0 ← 0x12ee38
    002986d3
    002986d3 00 00 00 00 05 fc 0b 00 00 00 00 00 00 .............
    002986e0
    002986e0 string " first_col=",0 ← 0x123597
    002986ed
    002986ed 00 00 03 ...
    002986f0 fc 0b 00 00 00 00 00 00 ........
    002986f8
    002986f8 string "\\if@toplevel",0 ← 0x11eaad
    00298705
    00298705 00 00 03 fc 0b 00 00 00 00 00 00 ...........
    00298710
    00298710 string "\\iffalse",0 ← 0x11ea49
    00298719
    00298719 00 00 00 00 00 00 07 .......
    00298720 fc 07 00 00 00 00 00 00 ........
    00298728
    00298728 string "\\iftrue",0 ← 0x11e9e5
    00298730
    00298730 fc 07 00 00 00 00 00 00 ........
    00298738
    00298738 string "@silent",0 ← 0x11e979
    00298740
    00298740 fc 0b 00 00 00 00 00 00 ........
    00298748
    00298748 string "@dumpindex",0 ← 0x11e95a
    00298753
    00298753 00 00 00 00 05 fc 0b 00 00 00 00 00 00 .............
    00298760
    00298760 string "@warnunder",0 ← 0x11e930
    0029876b
    0029876b 00 00 00 00 05 .....
    00298770 fc 0b 00 00 00 00 00 00 ........
    00298778
    00298778 string "@sawdocument",0 ← 0x11e914
    00298785
    00298785 00 00 03 fc 07 00 00 00 00 00 00 ...........
    00298790
    00298790 string "filter",0 ← 0x11e900
    00298797
    00298797 01 fc 0b 00 00 00 00 00 00 .........
    002987a0
    002987a0 string "alltt@loaded",0 ← 0x11e8c5
    002987ad
    002987ad 00 00 03 ...
    002987b0 fc 0b 00 00 00 00 00 00 ........
    002987b8
    002987b8 string "moreentities",0 ← 0x11e8a3
    002987c5
    002987c5 00 00 03 fc 0b 00 00 00 00 00 00 ...........
    002987d0
    002987d0 string " cur_col=",0 ← 0x123564
    002987db
    002987db 00 00 00 00 05 .....
    002987e0 fc 0b 00 00 00 00 00 00 ........
    002987e8
    002987e8 string "fixpoint",0 ← 0x11e884
    002987f1
    002987f1 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
    00298800
    00298800 string "pedantic",0 ← 0x11e865
    00298809
    00298809 00 00 00 00 00 00 07 .......
    00298810 fc 0b 00 00 00 00 00 00 ........
    00298818
    00298818 string "activebrace",0 ← 0x11e846
    00298824
    00298824 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
    00298830
    00298830 string "styleloaded",0 ← 0x11e824
    0029883c
    0029883c 00 00 00 04 ....
    00298840 fc 07 00 00 00 00 00 00 ........
    00298848
    00298848 string "optarg",0 ← 0x11e802
    0029884f
    0029884f 01 .
    00298850 fc 07 00 00 00 00 00 00 ........
    00298858
    00298858 string "mathml",0 ← 0x11e7e0
    0029885f
    0029885f 01 .
    00298860 fc 07 00 00 00 00 00 00 ........
    00298868
    00298868 string "info",0 ← 0x11e7c1
    0029886d
    0029886d 00 00 03 ...
    00298870 fc 07 00 00 00 00 00 00 ........
    00298878
    00298878 string "text",0 ← 0x11e79f
    0029887d
    0029887d 00 00 03 ...
    00298880 fc 07 00 00 00 00 00 00 ........
    00298888
    00298888 string "html",0 ← 0x11e77d
    0029888d
    0029888d 00 00 03 ...
    00298890 fc 07 00 00 00 00 00 00 ........
    00298898
    00298898 string "verbd",0 ← 0x11e75b
    0029889e
    0029889e 00 02 ..
    002988a0 fc 0b 00 00 00 00 00 00 ........
    002988a8
    002988a8 string " format:",0 ← 0x12351b
    002988b2
    002988b2 00 00 00 00 00 06 fc 07 00 00 00 00 00 00 ..............
    002988c0
    002988c0 string "true",0 ← 0x122976 0x123586 0x128def 0x12e480 0x12eb7e
    002988c5
    002988c5 00 00 03 fc 07 00 00 00 00 00 00 ...........
    002988d0
    002988d0 string "display",0 ← 0x11e73c
    002988d8
    002988d8 fc 07 00 00 00 00 00 00 ........
    002988e0
    002988e0 string "mmode",0 ← 0x11e71a
    002988e6
    002988e6 00 02 fc 0b 00 00 00 00 00 00 ..........
    002988f0
    002988f0 string "whitepre",0 ← 0x11e6f8
    002988f9
    002988f9 00 00 00 00 00 00 07 .......
    00298900 fc 07 00 00 00 00 00 00 ........
    00298908
    00298908 string "math",0 ← 0x11e6d6
    0029890d
    0029890d 00 00 03 ...
    00298910 fc 07 00 00 00 00 00 00 ........
    00298918
    00298918 string "silent",0 ← 0x11e6b4
    0029891f
    0029891f 01 .
    00298920 fc 07 00 00 00 00 00 00 ........
    00298928
    00298928 string "raw",0 ← 0x11e695
    0029892c
    0029892c 00 00 00 04 ....
    00298930 fc 0b 00 00 00 00 00 00 ........
    00298938
    00298938 string "symbtext",0 ← 0x11e673
    00298941
    00298941 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
    00298950
    00298950 string "entities",0 ← 0x11e61e
    00298959
    00298959 00 00 00 00 00 00 07 .......
    00298960 fc 07 00 00 00 00 00 00 ........
    00298968
    00298968 string "symb",0 ← 0x11e60a
    0029896d
    0029896d 00 00 03 ...
    00298970 fc 07 00 00 00 00 00 00 ........
    00298978
    00298978 string "\\fi",0 ← 0x11e57f
    0029897c
    0029897c 00 00 00 04 ....
    00298980 fc 07 00 00 00 00 00 00 ........
    00298988
    00298988 string "\\else",0 ← 0x11e536
    0029898e
    0029898e 00 02 ..
    00298990 fc 07 00 00 00 00 00 00 ........
    00298998
    00298998 string "\\newif",0 ← 0x11e4df
    0029899f
    0029899f 01 .
    002989a0 fc 07 00 00 00 00 00 00 ........
    002989a8
    002989a8 string "\\ife",0 ← 0x11e4d3
    002989ad
    002989ad 00 00 03 ...
    002989b0 fc 07 00 00 00 00 00 00 ........
    002989b8
    002989b8 string "\\ifu",0 ← 0x11e460
    002989bd
    002989bd 00 00 03 ...
    002989c0 fc 0b 00 00 00 00 00 00 ........
    002989c8
    002989c8 string "\\ifx -> ",0 ← 0x12eb8f
    002989d1
    002989d1 00 00 00 00 00 00 07 fc 07 00 00 00 00 00 00 ...............
    002989e0
    002989e0 string "\\ifx",0 ← 0x11e3f9
    002989e5
    002989e5 00 00 03 fc 17 00 00 00 00 00 00 ...........
    002989f0
    002989f0 ; Latexscan.Make(Dest)(Image).FailedFirst ← 0x11e2fd
    002989f0 4c 61 74 65 78 73 63 61 6e 2e 4d 61 6b 65 28 44 Latexscan.Make(D
    00298a00 65 73 74 29 28 49 6d 61 67 65 29 2e 46 61 69 6c est)(Image).Fail
    00298a10 65 64 46 69 edFi
    00298a14
    00298a14 SwitchTable
    00298a14 0xb00 0x298a58 0x298a38 0xffc
    00298a20
    00298a20 PointerTable ← camlLatexscan.tverb_2336
    00298a20 0x298a58 0x298a38
    00298a34
    00298a34 00 00 00 00 ....
    00298a38
    00298a38 ; Testing %s -> %s
    00298a38 54 65 73 74 69 6e 67 20 Testing
    00298a40 25 73 20 2d %s -
    00298a44
    00298a44 SwitchTable
    00298a44 0xa 0xb0b 0x298ab0 0x298a70 0xb02 0x1 0x298a88 0xb0b
    00298a84 0x298aa0 0x29d7d8 0x7fc
    00298a58
    00298a58 PointerTable
    00298a58 0x298ab0 0x298a70
    00298a88
    00298a88 PointerTable
    00298a88 0x298aa0 0x29d7d8
    00298a9c
    00298a9c 00 00 00 00 ....
    00298aa0
    00298aa0 string " -> ",0
    00298aa5
    00298aa5 00 00 03 fc 0b 00 00 00 00 00 00 ...........
    00298ab0
    00298ab0 string "Testing ",0
    00298ab9
    00298ab9 00 00 00 00 00 00 07 .......
    00298ac0 fc 0b 00 00 00 00 00 00 ........
    00298ac8
    00298ac8 string "Bad newif: ",0 ← 0x12e1f0
    00298ad4
    00298ad4 00 00 00 04 fc 07 00 00 00 00 00 00 ............
    00298ae0
    00298ae0 string "\\if",0 ← 0x12e1d1 0x12e3ed
    00298ae4
    00298ae4 00 00 00 04 fc 07 00 00 00 00 00 00 ............
    00298af0
    00298af0 string "\\@br",0 ← 0x11e11d
    00298af5
    00298af5 00 00 03 fc 0b 00 00 00 00 00 00 ...........
    00298b00
    00298b00 string "\\@itemdisplay",0 ← 0x11e0d7
    00298b0e
    00298b0e 00 02 ..
    00298b10 fc 07 00 00 00 00 00 00 ........
    00298b18
    00298b18 string "\\mbox{",0 ← 0x12df5d
    00298b1f
    00298b1f 01 .
    00298b20 fc 07 00 00 00 00 00 00 ........
    00298b28
    00298b28 string "code",0 ← 0x12df26
    00298b2d
    00298b2d 00 00 03 ...
    00298b30 fc 0b 00 00 00 00 00 00 ........
    00298b38
    00298b38 string " border=",0 ← 0x12349b
    00298b41
    00298b41 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
    00298b50
    00298b50 string "\\textalltt",0 ← 0x11e091
    00298b5b
    00298b5b 00 00 00 00 05 .....
    00298b60 fc 0b 00 00 00 00 00 00 ........
    00298b68
    00298b68 string "\\@imageflush",0 ← 0x11e033
    00298b75
    00298b75 00 00 03 fc 0b 00 00 00 00 00 00 ...........
    00298b80
    00298b80 string "\\@fromlib",0 ← 0x11dfe1
    00298b8a
    00298b8a 00 00 00 00 00 06 ......
    00298b90 fc 0b 00 00 00 00 00 00 ........
    00298b98
    00298b98 string "\\usecounter",0 ← 0x11df8f
    00298ba4
    00298ba4 SwitchTable
    00298ba4 0x7fc 0x22 0x7fc 0x2322 0xbfc
    00298bcc
    00298bcc 00 00 00 00 ....
    00298bd0
    00298bd0 string "\\htmlcolor",0 ← 0x11df3d
    00298bdb
    00298bdb 00 00 00 00 05 .....
    00298be0 fc 0b 00 00 00 00 00 00 ........
    00298be8
    00298be8 ; \@incsize ← 0x11deeb
    00298be8 5c 40 69 6e \@in
    00298bec
    00298bec SwitchTable
    00298bec 0x65 0x7fc 0x2d 0xbfc
    00298c0c
    00298c0c 00 00 00 00 ....
    00298c10
    00298c10 string "\\@clearstyle",0 ← 0x11dea2
    00298c1d
    00298c1d 00 00 03 ...
    00298c20 fc 0b 00 00 00 00 00 00 ........
    00298c28
    00298c28 string "\\@nostyle",0 ← 0x11de50
    00298c32
    00298c32 00 00 00 00 00 06 fc 0b 00 00 00 00 00 00 ..............
    00298c40
    00298c40 string "\\@fontsize",0 ← 0x11ddfe
    00298c4b
    00298c4b 00 00 00 00 05 .....
    00298c50 fc 0b 00 00 00 00 00 00 ........
    00298c58
    00298c58 string "\\@fontcolor",0 ← 0x11ddb8
    00298c64
    00298c64 00 00 00 04 fc 07 00 00 00 00 00 00 ............
    00298c70
    00298c70 string "\\@span",0 ← 0x11dd66
    00298c77
    00298c77 01 fc 0b 00 00 00 00 00 00 .........
    00298c80
    00298c80 string "\\@styleattr",0 ← 0x11dd14
    00298c8c
    00298c8c 00 00 00 04 ....
    00298c90 fc 07 00 00 00 00 00 00 ........
    00298c98
    00298c98 string "\\@style",0 ← 0x11dcc2
    00298ca0
    00298ca0 fc 0b 00 00 00 00 00 00 ........
    00298ca8
    00298ca8 string "\\pop@styles",0 ← 0x11dc70
    00298cb4
    00298cb4 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
    00298cc0
    00298cc0 string "\\push@styles",0 ← 0x11dc1e
    00298ccd
    00298ccd 00 00 03 ...
    00298cd0 fc 07 00 00 00 00 00 00 ........
    00298cd8
    00298cd8 ; styles ← 0x11dbcb
    00298cd8 73 74 79 6c styl
    00298cdc
    00298cdc SwitchTable
    00298cdc 0x7fc 0x2b 0x7fc 0x202c 0xbfc
    00298d04
    00298d04 00 00 00 00 ....
    00298d08
    00298d08 string "Anti result: ",0 ← 0x12d719
    00298d16
    00298d16 00 02 fc 07 00 00 00 00 00 00 ..........
    00298d20
    00298d20 string "\\@anti",0 ← 0x11db93
    00298d27
    00298d27 01 fc 0b 00 00 00 00 00 00 .........
    00298d30
    00298d30 string "\\@notags",0 ← 0x11db35
    00298d39
    00298d39 00 00 00 ...
    00298d3c
    00298d3c SwitchTable
    00298d3c 0xb00 0x298d90 0x298d60 0x17fc
    00298d48
    00298d48 PointerTable ← camlLatexscan.fun_5411
    00298d48 0x298d90 0x298d60
    00298d5c
    00298d5c 00 00 00 00 ....
    00298d60
    00298d60 string "Failure of \\@addcontentsline: %s",0
    00298d81
    00298d81 00 00 00 ...
    00298d84
    00298d84 SwitchTable
    00298d84 0xb0b 0x298e20 0x298da8 0xb11 0x298e10 0x298dd8 0xbfc
    00298d90
    00298d90 PointerTable
    00298d90 0x298e20 0x298da8
    00298da8
    00298da8 PointerTable
    00298da8 0x298e10 0x298dd8
    00298dbc
    00298dbc 00 00 00 00 ....
    00298dc0
    00298dc0 string "Table math=",0 ← 0x1234cf
    00298dcc
    00298dcc SwitchTable
    00298dcc 0xb0b 0x298df0 0x299e18 0xffc
    00298dd8
    00298dd8 PointerTable
    00298dd8 0x298df0 0x299e18
    00298dec
    00298dec 00 00 00 00 ....
    00298df0
    00298df0 string "ddcontentsline: ",0
    00298e01
    00298e01 00 00 00 ...
    00298e04
    00298e04 SwitchTable
    00298e04 0x702 0xc3 0xbfc
    00298e1c
    00298e1c 00 00 00 00 ....
    00298e20
    00298e20 string "Failure of \\",0
    00298e2d
    00298e2d 00 00 03 ...
    00298e30 fc 07 00 00 00 00 00 00 ........
    00298e38
    00298e38 string "NoTable",0 ← 0x12346c
    00298e40
    00298e40 fc 0f 00 00 00 00 00 00 ........
    00298e48
    00298e48 ; \@addcontentsline ← 0x11dad7
    00298e48 5c 40 61 64 64 63 6f 6e \@addcon
    00298e50 74 65 6e 74 tent
    00298e54
    00298e54 SwitchTable
    00298e54 0x65 0xb00 0x298eb8 0x298e80 0x1bfc
    00298e68
    00298e68 PointerTable ← camlLatexscan.fun_5381
    00298e68 0x298eb8 0x298e80 0x1bfc
    00298e80
    00298e80 string "\\@locref{%s}{\\begin{@norefs}%s\\end{@norefs}}"
    00298eac
    00298eac SwitchTable
    00298eac 0xb0c 0xb9 0x298ed0 0xb11 0x299150 0x298ee8 0xb0b 0x299140
    00298eec 0x299008 0x7fc
    00298eb8
    00298eb8 PointerTable
    00298eb8 0xb9 0x298ed0
    00298ed0
    00298ed0 PointerTable
    00298ed0 0x299150 0x298ee8
    00298ee8
    00298ee8 PointerTable
    00298ee8 0x299140 0x299008
    00298efc
    00298efc 00 00 00 00 ....
    00298f00
    00298f00 string "Tabbing",0 ← 0x123460
    00298f08
    00298f08 fc 0b 00 00 00 00 00 00 ........
    00298f10
    00298f10 string "\\@@addtocsec" ← 0x11da6a
    00298f1c
    00298f1c SwitchTable
    00298f1c 0xb00 0x298f78 0x298f40 0x1bfc
    00298f28
    00298f28 PointerTable ← camlLatexscan.fun_5349
    00298f28 0x298f78 0x298f40 0x1bfc
    00298f40
    00298f40 ; \@locref{%s%s}{\begin{@norefs}%s\end{@norefs}}
    00298f40 5c 40 6c 6f 63 72 65 66 7b 25 73 25 73 7d 7b 5c \@locref{%s%s}{\
    00298f50 62 65 67 69 6e 7b 40 6e 6f 72 65 66 73 7d 25 73 begin{@norefs}%s
    00298f60 5c 65 6e 64 7b 40 6e 6f 72 65 66 73 \end{@norefs
    00298f6c
    00298f6c SwitchTable
    00298f6c 0xb0c 0xb9 0x298f90 0xb11 0x299150 0x298fa8 0xb0b 0x299140
    00298fac 0x298fc0 0xb02 0x1 0x299008 0xbfc
    00298f78
    00298f78 PointerTable
    00298f78 0xb9 0x298f90
    00298f90
    00298f90 PointerTable
    00298f90 0x299150 0x298fa8
    00298fa8
    00298fa8 PointerTable
    00298fa8 0x299140 0x298fc0
    00298fd4
    00298fd4 00 00 00 00 ....
    00298fd8
    00298fd8 string "stack_multi",0 ← 0x11a01c
    00298fe4
    00298fe4 SwitchTable
    00298fe4 0xb00 0x299e48 0x2996e0 0xb02 0x1 0x299020 0xb0b 0x299128
    00299024 0x299038 0xb11 0x299118 0x299050 0xb0b 0x299108 0x299068 0xb02
    00299064 0x1 0x299080 0xb0b 0x2990d8 0x299098 0xb11 0x299118 0x2990b0
    002990a4 0xb0b 0x2990c8 0x1 0x7fc
    00298ff0
    00298ff0 PointerTable ← camlLatexscan.error_subst_top_693
    00298ff0 0x299e48 0x2996e0
    00299020
    00299020 PointerTable
    00299020 0x299128 0x299038
    00299038
    00299038 PointerTable
    00299038 0x299118 0x299050
    00299050
    00299050 PointerTable
    00299050 0x299108 0x299068
    00299080
    00299080 PointerTable
    00299080 0x2990d8 0x299098
    00299098
    00299098 PointerTable
    00299098 0x299118 0x2990b0
    002990c4
    002990c4 00 00 00 00 ....
    002990c8
    002990c8 string "orefs}}",0
    002990d0
    002990d0 fc 07 00 00 00 00 00 00 ........
    002990d8
    002990d8 string "\\end{",0
    002990de
    002990de 00 02 ..
    002990e0 fc 0f 00 00 00 00 00 00 ........
    002990e8
    002990e8 string "stack_multi_flag",0 ← 0x119fee
    002990f9
    002990f9 00 00 00 00 00 00 07 .......
    00299100 fc 07 00 00 00 00 00 00 ........