0027f3d4
0027f3d4 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
0027f3e0
0027f3e0 string "\\lst@boolean",0 ← 0x109336
0027f3ed
0027f3ed 00 00 03 ...
0027f3f0 fc 0b 00 00 00 00 00 00 ........
0027f3f8
0027f3f8 string "\\lst@spaces",0 ← 0x109310
0027f404
0027f404 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
0027f410
0027f410 string "lst@showtabs",0 ← 0x1092ea
0027f41d
0027f41d 00 00 03 ...
0027f420 fc 0b 00 00 00 00 00 00 ........
0027f428
0027f428 string "lst@showspaces",0 ← 0x1092ca
0027f437
0027f437 01 fc 0b 00 00 00 00 00 00 .........
0027f440
0027f440 string "lst@showlines",0 ← 0x1092aa
0027f44e
0027f44e 00 02 ..
0027f450 fc 0f 00 00 00 00 00 00 ........
0027f458
0027f458 string "lst@stringspaces",0 ← 0x10928a
0027f469
0027f469 00 00 00 00 00 00 07 .......
0027f470 fc 0b 00 00 00 00 00 00 ........
0027f478
0027f478 string "lst@directives",0 ← 0x10926a
0027f487
0027f487 01 fc 0b 00 00 00 00 00 00 .........
0027f490
0027f490 string "lst@mathescape",0 ← 0x10924a
0027f49f
0027f49f 01 .
0027f4a0 fc 0b 00 00 00 00 00 00 ........
0027f4a8
0027f4a8 string "lst@sensitive",0 ← 0x10922a
0027f4b6
0027f4b6 00 02 fc 0b 00 00 00 00 00 00 ..........
0027f4c0
0027f4c0 string "lst@texcl",0 ← 0x10920a
0027f4ca
0027f4ca 00 00 00 00 00 06 ......
0027f4d0 fc 0f 00 00 00 00 00 00 ........
0027f4d8
0027f4d8 ; \begin{lrbox}{\lst@box} ← 0x101944 0x104274
0027f4d8 5c 62 65 67 69 6e 7b 6c \begin{l
0027f4e0 72 62 6f 78 7d 7b 5c 6c 73 74 40 62 rbox}{\lst@b
0027f4ec
0027f4ec SwitchTable
0027f4ec 0x7fc 0xab 0xffc
0027f504
0027f504 00 00 00 00 ....
0027f508
0027f508 string "lst@extendedchars",0 ← 0x1091ea
0027f51a
0027f51a 00 00 00 00 00 06 ......
0027f520 fc 0f 00 00 00 00 00 00 ........
0027f528
0027f528 string "lst@includerangemarker",0 ← 0x1091ca
0027f53f
0027f53f 01 .
0027f540 fc 0b 00 00 00 00 00 00 ........
0027f548
0027f548 string "lst@print",0 ← 0x1091aa
0027f552
0027f552 00 00 00 00 00 06 fc 0f 00 00 00 00 00 00 ..............
0027f560
0027f560 ; \lst@escapeend\endgroup ← 0x1018aa
0027f560 5c 6c 73 74 40 65 73 63 61 70 65 65 6e 64 5c 65 \lst@escapeend\e
0027f570 6e 64 67 72 ndgr
0027f574
0027f574 SwitchTable
0027f574 0x7fc 0x24 0x13fc
0027f58c
0027f58c 00 00 00 00 ....
0027f590
0027f590 string "\\begingroup\\lst@escapebegin",0 ← 0x10182d
0027f5ac
0027f5ac SwitchTable
0027f5ac 0xf00 0x27fc98 0x24f 0x13 0x7fc 0x7b5d 0x7fc 0x5b
0027f5ec 0xbfc
0027f5b0
0027f5b0 PointerTable
0027f5b0 0xf00 0x27fc98 0x24f
0027f5f4
0027f5f4 00 00 00 00 ....
0027f5f8
0027f5f8 string "\\@callopt",0 ← 0x100001
0027f602
0027f602 00 00 00 00 00 06 fc 07 00 00 00 00 00 00 ..............
0027f610
0027f610 string "true",0 ← 0x10900c
0027f615
0027f615 00 00 03 fc 07 00 00 00 00 00 00 ...........
0027f620
0027f620 ; false ← 0x108fc2 0x109003
0027f620 66 61 6c 73 fals
0027f624
0027f624 SwitchTable
0027f624 0xf00 0x27fc98 0xc55 0x13 0x13fc
0027f628
0027f628 PointerTable
0027f628 0xf00 0x27fc98
0027f64c
0027f64c 00 00 00 00 ....
0027f650
0027f650 string "'' with \\lstnewenvironment",0 ← 0x108eb0
0027f66b
0027f66b 00 00 00 00 05 .....
0027f670 fc 17 00 00 00 00 00 00 ........
0027f678
0027f678 string "Not (re)-defining environment ``",0 ← 0x108ec4
0027f699
0027f699 00 00 00 ...
0027f69c
0027f69c SwitchTable
0027f69c 0x7fc 0x27 0xb00 0x27f6e8 0x27f6d0 0xb00 0x280350 0x1
0027f6dc 0x7fc 0x30 0xffc
0027f6b8
0027f6b8 PointerTable ← camlVerb.do_newenvironment_1827
0027f6b8 0x27f6e8 0x27f6d0
0027f6f4
0027f6f4 00 00 00 00 ....
0027f6f8
0027f6f8 ; \@close@lstbox\lst@post ← 0x108a9e
0027f6f8 5c 40 63 6c 6f 73 65 40 \@close@
0027f700 6c 73 74 62 6f 78 5c 6c 73 74 40 70 lstbox\lst@p
0027f70c
0027f70c SwitchTable
0027f70c 0xb00 0x27f730 0x27f748 0xb0b 0x27f748 0x1 0x13fc
0027f718
0027f718 PointerTable ← camlVerb.fun_4523
0027f718 0x27f730 0x27f748
0027f744
0027f744 00 00 00 00 ....
0027f748
0027f748 string "LISTINGS: scanning over\n",0
0027f761
0027f761 00 00 00 00 00 00 07 fc 07 00 00 00 00 00 00 ...............
0027f770
0027f770 string "end{" ← 0x1089d2
0027f774
0027f774 SwitchTable
0027f774 0xb00 0x27f798 0x27f7b0 0xb0b 0x27f7b0 0x1 0x17fc
0027f780
0027f780 PointerTable ← camlVerb.fun_4523
0027f780 0x27f798 0x27f7b0
0027f7ac
0027f7ac 00 00 00 00 ....
0027f7b0
0027f7b0 string "LISTINGS: first line is scanned\n",0
0027f7d1
0027f7d1 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
0027f7e0
0027f7e0 string "\\lst@basicstyle",0 ← 0x10893d
0027f7f0
0027f7f0 fc 17 00 00 00 00 00 00 ........
0027f7f8
0027f7f8 string "\\lst@pre\\@lst@caption\\@open@lstbox",0 ← 0x108921
0027f81b
0027f81b 00 00 00 00 05 .....
0027f820 fc 0b 00 00 00 00 00 00 ........
0027f828
0027f828 string "\\lst@tabsize" ← 0x108633
0027f834
0027f834 SwitchTable
0027f834 0xf00 0x27fc98 0x221 0x13 0xbfc
0027f838
0027f838 PointerTable
0027f838 0xf00 0x27fc98
0027f85c
0027f85c 00 00 00 00 ....
0027f860
0027f860 string "\\lst@linerange",0 ← 0x1085c6
0027f86f
0027f86f 01 .
0027f870 fc 0b 00 00 00 00 00 00 ........
0027f878
0027f878 string "@lst@user",0 ← 0x108190 0x1081b6 0x10824f 0x108de1 0x108e34 0x109486 0x1094c4
0027f882
0027f882 00 00 00 00 00 06 fc 0b 00 00 00 00 00 00 ..............
0027f890
0027f890 string "\\lsthk@DeInit",0 ← 0x10815c 0x1081e8
0027f89e
0027f89e 00 02 ..
0027f8a0 fc 0b 00 00 00 00 00 00 ........
0027f8a8
0027f8a8 string "\\endgroup",0 ← 0x108140
0027f8b2
0027f8b2 00 00 00 00 00 06 fc 0f 00 00 00 00 00 00 ..............
0027f8c0
0027f8c0 string "\\lst@output@directive",0 ← 0xfde18
0027f8d6
0027f8d6 00 02 fc 0b 00 00 00 00 00 00 ..........
0027f8e0
0027f8e0 string "command-group",0 ← 0x108114
0027f8ee
0027f8ee 00 02 ..
0027f8f0 fc 0b 00 00 00 00 00 00 ........
0027f8f8
0027f8f8 string "\\lsthk@InitVar",0 ← 0x107feb 0x1088d5
0027f907
0027f907 01 fc 13 00 00 00 00 00 00 .........
0027f910
0027f910 string "\\@getprintnostyle{\\lst@EET}",0 ← 0x107ed6 0x1087bf
0027f92c
0027f92c 00 00 00 04 ....
0027f930 fc 13 00 00 00 00 00 00 ........
0027f938
0027f938 string "\\@getprintnostyle{\\lst@BET}",0 ← 0x107eb3 0x10879b
0027f954
0027f954 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
0027f960
0027f960 string "\\lst@alsoletter",0 ← 0x107d9a 0x10867f
0027f970
0027f970 fc 0b 00 00 00 00 00 00 ........
0027f978
0027f978 string "\\lsthk@Init",0 ← 0x107d6f 0x108549
0027f984
0027f984 00 00 00 04 fc 0f 00 00 00 00 00 00 ............
0027f990
0027f990 string "\\lsthk@SelectCharTable",0 ← 0x107cc5 0x108496
0027f9a7
0027f9a7 01 fc 0b 00 00 00 00 00 00 .........
0027f9b0
0027f9b0 string "\\lst@output",0 ← 0xfde03
0027f9bc
0027f9bc 00 00 00 04 ....
0027f9c0 fc 0b 00 00 00 00 00 00 ........
0027f9c8
0027f9c8 string "\\lst@last",0 ← 0x107c6b
0027f9d2
0027f9d2 00 00 00 00 00 06 fc 0b 00 00 00 00 00 00 ..............
0027f9e0
0027f9e0 string "\\lst@first",0 ← 0x107c14
0027f9eb
0027f9eb 00 00 00 00 05 .....
0027f9f0 fc 0b 00 00 00 00 00 00 ........
0027f9f8
0027f9f8 string "\\lst@gobble",0 ← 0x107bbd 0x10857a
0027fa04
0027fa04 00 00 00 04 fc 0f 00 00 00 00 00 00 ............
0027fa10
0027fa10 string "\\lsthk@InlineUnsave",0 ← 0x107b88
0027fa24
0027fa24 SwitchTable
0027fa24 0xb00 0x280288 0x1 0xbfc
0027fa44
0027fa44 00 00 00 00 ....
0027fa48
0027fa48 string "\\lstset{",0 ← 0x107b52 0x109d27
0027fa51
0027fa51 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
0027fa60
0027fa60 string "\\lsthk@PreSet",0 ← 0x107b1f 0x108444
0027fa6e
0027fa6e 00 02 ..
0027fa70 fc 0f 00 00 00 00 00 00 ........
0027fa78
0027fa78 string "\\lst@output@other",0 ← 0xfddf2
0027fa8a
0027fa8a 00 00 00 00 00 06 ......
0027fa90 fc 0b 00 00 00 00 00 00 ........
0027fa98
0027fa98 string "\\@NewLine",0 ← 0x100d6c 0x100dd7
0027faa2
0027faa2 00 00 00 00 00 06 fc 17 00 00 00 00 00 00 ..............
0027fab0
0027fab0 string "\\lst@forget@lastline\\lsthk@LastLine",0 ← 0x107ac3
0027fad4
0027fad4 00 00 00 04 fc 17 00 00 00 00 00 00 ............
0027fae0
0027fae0 string "invisible comments not available",0 ← 0x1077ad
0027fb01
0027fb01 00 00 00 ...
0027fb04
0027fb04 SwitchTable
0027fb04 0xf00 0x27fc98 0xacf 0x13 0xbfc
0027fb08
0027fb08 PointerTable
0027fb08 0xf00 0x27fc98
0027fb2c
0027fb2c 00 00 00 00 ....
0027fb30
0027fb30 string "\\endcsname",0 ← 0x10732c
0027fb3b
0027fb3b 00 00 00 00 05 .....
0027fb40 fc 0b 00 00 00 00 00 00 ........
0027fb48
0027fb48 string "\\csname lst@",0 ← 0x10733b
0027fb55
0027fb55 00 00 03 fc 13 00 00 00 00 00 00 ...........
0027fb60
0027fb60 string "lst: invalid linerange '",0 ← 0x107199
0027fb79
0027fb79 00 00 00 ...
0027fb7c
0027fb7c SwitchTable
0027fb7c 0xb00 0x27fbe8 0x1 0xf00 0x27fc98 0x19f 0x15 0x13fc
0027fb98
0027fb98 PointerTable
0027fb98 0xf00 0x27fc98 0x19f
0027fbbc
0027fbbc 00 00 00 00 ....
0027fbc0
0027fbc0 ; listings, unknown character: ' ← 0x100585
0027fbc0 6c 69 73 74 69 6e 67 73 2c 20 75 6e 6b 6e 6f 77 listings, unknow
0027fbd0 6e 20 63 68 61 72 61 63 74 65 72 3a n character:
0027fbdc
0027fbdc SwitchTable
0027fbdc 0xb00 0x2821a8 0x27fc00 0x700 0x30d3f 0x7fc
0027fbe8
0027fbe8 PointerTable
0027fbe8 0x2821a8 0x27fc00
0027fc0c
0027fc0c 00 00 00 00 ....
0027fc10
0027fc10 string "preview",0 ← 0xff997
0027fc18
0027fc18 fc 0b 00 00 00 00 00 00 ........
0027fc20
0027fc20 string "\\end@prw",0 ← 0x1070fc
0027fc29
0027fc29 00 00 00 00 00 00 07 .......
0027fc30 fc 07 00 00 00 00 00 00 ........
0027fc38
0027fc38 string "\\@prw",0 ← 0x1070da
0027fc3e
0027fc3e 00 02 ..
0027fc40 fc 07 00 00 00 00 00 00 ........
0027fc48
0027fc48 string "comment",0 ← 0xff945
0027fc50
0027fc50 fc 0f 00 00 00 00 00 00 ........
0027fc58
0027fc58 string "\\end@excludecomment",0 ← 0x10708c
0027fc6c
0027fc6c 00 00 00 04 ....
0027fc70 fc 0f 00 00 00 00 00 00 ........
0027fc78
0027fc78 string "\\@excludecomment",0 ← 0x10706a
0027fc89
0027fc89 00 00 00 00 00 00 07 .......
0027fc90 fc 0b 00 00 00 00 00 00 ........
0027fc98
0027fc98 string "verb.mll",0
0027fca1
0027fca1 00 00 00 00 00 00 07 fc 0f 00 00 00 00 00 00 ...............
0027fcb0
0027fcb0 string "\\endlistingcont*",0 ← 0x10694a
0027fcc1
0027fcc1 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
0027fcd0
0027fcd0 string "\\listingcont*",0 ← 0x10692b
0027fcde
0027fcde 00 02 ..
0027fce0 fc 0b 00 00 00 00 00 00 ........
0027fce8
0027fce8 string "\\endlisting*",0 ← 0x1068b3
0027fcf5
0027fcf5 00 00 03 fc 0b 00 00 00 00 00 00 ...........
0027fd00
0027fd00 string "\\listing*",0 ← 0x106894
0027fd0a
0027fd0a 00 00 00 00 00 06 ......
0027fd10 fc 0b 00 00 00 00 00 00 ........
0027fd18
0027fd18 string "\\endlistingcont",0 ← 0x106828
0027fd28
0027fd28 fc 0b 00 00 00 00 00 00 ........
0027fd30
0027fd30 string "\\listingcont",0 ← 0x106809
0027fd3d
0027fd3d 00 00 03 ...
0027fd40 fc 0b 00 00 00 00 00 00 ........
0027fd48
0027fd48 string "\\endlisting",0 ← 0x106795
0027fd54
0027fd54 SwitchTable
0027fd54 0x7fc 0x31 0xbfc
0027fd6c
0027fd6c 00 00 00 00 ....
0027fd70
0027fd70 string "\\listing",0 ← 0x106776
0027fd79
0027fd79 00 00 00 ...
0027fd7c
0027fd7c SwitchTable
0027fd7c 0xb00 0x27fdb0 0x27fda0 0x7fc
0027fd88
0027fd88 PointerTable ← camlVerb.fun_3946
0027fd88 0x27fdb0 0x27fda0
0027fd9c
0027fd9c 00 00 00 00 ....
0027fda0
0027fda0 string "%4d "
0027fda4
0027fda4 SwitchTable
0027fda4 0x1304 0x1 0x27fdf0 0x1 0x27fdd8 0xb0c 0x41 0x1
0027fde4 0xb00 0x3 0x9 0xbfc
0027fe04
0027fe04 00 00 00 00 ....
0027fe08
0027fe08 string "\\listinglabel",0 ← 0x10670a
0027fe16
0027fe16 00 02 fc 0b 00 00 00 00 00 00 ..........
0027fe20
0027fe20 string "\\endverbatimtab",0 ← 0x1066b6
0027fe30
0027fe30 fc 0f 00 00 00 00 00 00 ........
0027fe38
0027fe38 string "\\verbatimtabsize",0 ← 0x106a73
0027fe49
0027fe49 00 00 00 00 00 00 07 .......
0027fe50 fc 0b 00 00 00 00 00 00 ........
0027fe58
0027fe58 string "\\verbatimtab",0 ← 0x106697
0027fe65
0027fe65 00 00 03 fc 0f 00 00 00 00 00 00 ...........
0027fe70
0027fe70 string "\\endverbatimwrite",0 ← 0x106617
0027fe82
0027fe82 00 00 00 00 00 06 fc 0b 00 00 00 00 00 00 ..............
0027fe90
0027fe90 string "\\verbatimwrite",0 ← 0x1065f2
0027fe9f
0027fe9f 01 .
0027fea0 fc 13 00 00 00 00 00 00 ........
0027fea8
0027fea8 string "{\\@tmp@lst}{\\@tmp@lst@print}",0 ← 0x100c0a
0027fec5
0027fec5 00 00 03 fc 0b 00 00 00 00 00 00 ...........
0027fed0
0027fed0 string "moreverb",0 ← 0xff8f3
0027fed9
0027fed9 00 00 00 00 00 00 07 .......
0027fee0 fc 07 00 00 00 00 00 00 ........
0027fee8
0027fee8 string " ",0 ← 0x106223
0027feee
0027feee 00 02 ..
0027fef0 fc 0b 00 00 00 00 00 00 ........
0027fef8
0027fef8 string "\\listinglabel{",0 ← 0x10624f
0027ff07
0027ff07 01 fc 07 00 00 00 00 00 00 .........
0027ff10
0027ff10 string "program",0 ← 0xff6c1
0027ff18
0027ff18 fc 0b 00 00 00 00 00 00 ........
0027ff20
0027ff20 string "\\endprogram",0 ← 0x105cbc
0027ff2c
0027ff2c 00 00 00 04 ....
0027ff30 fc 0b 00 00 00 00 00 00 ........
0027ff38
0027ff38 string "\\program",0 ← 0x105c9a
0027ff41
0027ff41 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
0027ff50
0027ff50 string "\\endcomment",0 ← 0x105b8f
0027ff5c
0027ff5c 00 00 00 04 ....
0027ff60 fc 0b 00 00 00 00 00 00 ........
0027ff68
0027ff68 string "\\comment",0 ← 0x105b51
0027ff71
0027ff71 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
0027ff80
0027ff80 string "\\endverbimage",0 ← 0xff5a9
0027ff8e
0027ff8e 00 02 ..
0027ff90 fc 0b 00 00 00 00 00 00 ........
0027ff98
0027ff98 string "\\verbimage",0 ← 0xff583
0027ffa3
0027ffa3 00 00 00 00 05 fc 0b 00 00 00 00 00 00 .............
0027ffb0
0027ffb0 string "\\endverblatex",0 ← 0xff568
0027ffbe
0027ffbe 00 02 ..
0027ffc0 fc 0b 00 00 00 00 00 00 ........
0027ffc8
0027ffc8 string "\\verblatex",0 ← 0xff541
0027ffd3
0027ffd3 00 00 00 00 05 fc 07 00 00 00 00 00 00 .............
0027ffe0
0027ffe0 string "\\endraw",0 ← 0xff521
0027ffe8
0027ffe8 fc 07 00 00 00 00 00 00 ........
0027fff0
0027fff0 string "\\raw",0 ← 0xff501
0027fff5
0027fff5 00 00 03 fc 0b 00 00 00 00 00 00 ...........
00280000
00280000 string "\\endrawhtml",0 ← 0xff4e1
0028000c
0028000c 00 00 00 04 ....
00280010 fc 0b 00 00 00 00 00 00 ........
00280018
00280018 string "\\rawhtml",0 ← 0xff4c1
00280021
00280021 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
00280030
00280030 string "\\endrawtext",0 ← 0xff4a1
0028003c
0028003c 00 00 00 04 ....
00280040 fc 0b 00 00 00 00 00 00 ........
00280048
00280048 string "\\rawtext",0 ← 0xff481
00280051
00280051 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
00280060
00280060 string "\\endverbatim*",0 ← 0xff45e
0028006e
0028006e 00 02 ..
00280070 fc 0b 00 00 00 00 00 00 ........
00280078
00280078 string "\\verbatim*",0 ← 0xff443
00280083
00280083 00 00 00 00 05 fc 0b 00 00 00 00 00 00 .............
00280090
00280090 string "\\endverbatim",0 ← 0xff3c5
0028009d
0028009d 00 00 03 ...
002800a0 fc 0b 00 00 00 00 00 00 ........
002800a8
002800a8 string "\\verbatim",0 ← 0xff3aa
002800b2
002800b2 00 00 00 00 00 06 fc 0b 00 00 00 00 00 00 ..............
002800c0
002800c0 string "verbatim",0 ← 0xff5fb 0x104f63
002800c9
002800c9 00 00 00 00 00 00 07 .......
002800d0 fc 07 00 00 00 00 00 00 ........
002800d8
002800d8 string "pre",0 ← 0x104f7f 0x10516d 0x105d1e 0x106059 0x106168 0x106308 0x106548
002800dc
002800dc 00 00 00 04 ....
002800e0 fc 07 00 00 00 00 00 00 ........
002800e8
002800e8 string "'' (",0 ← 0x104e93
002800ed
002800ed 00 00 03 ...
002800f0 fc 13 00 00 00 00 00 00 ........
002800f8
002800f8 string "End of file in environment: ``",0 ← 0x104eb9
00280117
00280117 01 fc 17 00 00 00 00 00 00 .........
00280120
00280120 string "Verb.Make(Dest)(Image)(Scan).ParseError",0 ← 0xfd8ad
00280148
00280148 fc 07 00 00 00 00 00 00 ........
00280150
00280150 string "\\verb*",0 ← 0xfefc4
00280157
00280157 01 fc 07 00 00 00 00 00 00 .........
00280160
00280160 string "\\verb",0 ← 0xfef64
00280166
00280166 00 02 fc 07 00 00 00 00 00 00 ..........
00280170
00280170 string "verb" ← 0x104cd4
00280174
00280174 SwitchTable
00280174 0xb00 0x2801b8 0x280198 0xffc
00280180
00280180 PointerTable ← camlVerb.getclass_1517
00280180 0x2801b8 0x280198
00280194
00280194 00 00 00 00 ....
00280198
00280198 ; \envclass@attr{%s}
00280198 5c 65 6e 76 63 6c 61 73 \envclas
002801a0 73 40 61 74 s@at
002801a4
002801a4 SwitchTable
002801a4 0x7d73 0xb0b 0x280250 0x2801d0 0xb11 0x280240 0x2801e8 0xb0b
002801e4 0x280230 0x280200 0xb02 0x1 0x280218 0xb0c 0xfb 0x1
00280224 0x7fc
002801b8
002801b8 PointerTable
002801b8 0x280250 0x2801d0
002801d0
002801d0 PointerTable
002801d0 0x280240 0x2801e8
002801e8
002801e8 PointerTable
002801e8 0x280230 0x280200
0028022c
0028022c 00 00 00 00 ....
00280230
00280230 string "ttr{"
00280234
00280234 SwitchTable
00280234 0x702 0xc3 0xbfc
0028024c
0028024c 00 00 00 00 ....
00280250
00280250 string "\\envclass",0
0028025a
0028025a 00 00 00 00 00 06 ......
00280260 fc 0f 00 00 00 00 00 00 ........
00280268
00280268 ; \textvisiblespace ← 0x104bce
00280268 5c 74 65 78 74 76 69 73 \textvis
00280270 69 62 6c 65 ible
00280274
00280274 SwitchTable
00280274 0x65 0x7fc 0x7d 0x7fc
00280294
00280294 00 00 00 00 ....
00280298
00280298 string "\\mbox{",0 ← 0xfd25e 0x109e95
0028029f
0028029f 01 .
002802a0 fc 0b 00 00 00 00 00 00 ........
002802a8
002802a8 string "\\@tmp@lst@print",0 ← 0x100b86
002802b8
002802b8 fc 0b 00 00 00 00 00 00 ........
002802c0
002802c0 string "get_line",0 ← 0xfd0c0
002802c9
002802c9 00 00 00 00 00 00 07 .......
002802d0 fc 0b 00 00 00 00 00 00 ........
002802d8
002802d8 string "eat_line",0 ← 0xfcf50
002802e1
002802e1 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
002802f0
002802f0 string "listings",0 ← 0xfce11 0x1001d2
002802f9
002802f9 00 00 00 00 00 00 07 .......
00280300 fc 0b 00 00 00 00 00 00 ........
00280308
00280308 string "scan_bycommand",0 ← 0xfcc49
00280317
00280317 01 fc 0b 00 00 00 00 00 00 .........
00280320
00280320 string "\\@tmp@scanned",0 ← 0xfc9f9 0xfcb60
0028032e
0028032e 00 02 ..
00280330 fc 0b 00 00 00 00 00 00 ........
00280338
00280338 string "scan_byline",0 ← 0xfc7ac
00280344
00280344 00 00 00 04 fc 07 00 00 00 00 00 00 ............
00280350
00280350 uint8_t g_280350 ← Verb..ocaml_lex_scan_byline_rec camlVerb.fun_3569 camlVerb.open_verbenv_tabs_1655 camlVerb.open_listing_1670 camlVerb.do_code_double_delim_1752 camlVerb.do_code_line_1778 camlVerb.open_lst_inline_1800 camlVerb.fun_4523 camlVerb.fun_4682 camlVerb.fun_4777 camlVerb.fun_4817 camlVerb.fun_4824 camlVerb.fun_4828
00280350 00 00 00 00 00 00 00 07 fc 07 00 00 00 00 00 00 ................
00280360
00280360 string "\\end",0 ← 0xfc615
00280365
00280365 00 00 03 fc 07 00 00 00 00 00 00 ...........
00280370
00280370 string "code",0 ← 0xfc1eb 0x104cef 0x109ed1
00280375
00280375 00 00 03 fc 0f 00 00 00 00 00 00 ...........
00280380
00280380 string "End of file after \\verb",0 ← 0xfc14b 0xfc387
00280398
00280398 fc 0b 00 00 00 00 00 00 ........
002803a0
002803a0 ; \@tmp@lst ← 0x100b1a
002803a0 5c 40 74 6d \@tm
002803a4
002803a4 SwitchTable
002803a4 0x74 0x2f00 0x281bc0 0x281b30 0x281aa0 0x281250 0x280a00 0x280970
002803e4 0x2808e0 0x280850 0x280640 0x280430 0x280418 0xbfc
002803b0
002803b0 PointerTable
002803b0 0x2f00 0x281bc0 0x281b30 0x281aa0 0x281250 0x280a00 0x280970 0x2808e0
002803f0 0x280850 0x280640 0x280430 0x280418
00280414
00280414 00 00 00 00 ff 01 ff ff 00 01 ff 02 ............
00280420 ff 01 ff ff 00 02 ff 00 fc 07 01 00 00 00 00 00 ................
00280430
00280430 SwitchTable
00280430 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00280450 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00280470 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00280488
00280488 ff ff 39 00 ..9.
0028048c
0028048c SwitchTable
0028048c 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
002804ac 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
002804cc 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
002804ec 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
0028050c 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00280524
00280524 ff ff 0d 00 1c 00 1e 00 ........
0028052c
0028052c SwitchTable
0028052c 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
0028054c 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
0028056c 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
0028058c 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
002805ac 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
002805cc 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
002805ec 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
0028060c 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
0028062c 0xf4016 0xf4016
00280634
00280634 ff ff 00 01 fc 07 01 00 00 00 00 00 ............
00280640 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
*
00280690 00 00 00 00 00 00 00 00 00 00 07 00 00 00 00 00 ................
002806a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
*
00280730 00 00 00 00 00 00 01 00 01 00 01 00 00 00 00 00 ................
00280740 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
*
00280840 00 00 00 00 00 00 00 01 fc 47 00 00 00 00 00 00 .........G......
00280850 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
*
002808d0 00 00 00 00 00 00 00 07 fc 47 00 00 00 00 00 00 .........G......
002808e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
*
00280950 00 00 00 00 0c 00 04 00 00 00 00 00 00 00 00 00 ................
00280960 00 00 00 00 00 00 00 07 fc 47 00 00 00 00 00 00 .........G......
00280970 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
00280980 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
00280990 04 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
002809a0 00 00 00 00 00 00 00 00 01 00 00 00 02 00 00 00 ................
002809b0 04 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
002809c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
*
002809f0 00 00 00 00 00 00 00 07 fc 27 04 00 00 00 00 00 .........'......
00280a00
00280a00 SwitchTable
00280a00 0xf4016 0xf4016 0xf4016 0xf4016
00280a10
00280a10 ff ff 0d 00 1e 00 ff ff 06 00 ff ff ff ff ff ff ................
00280a20 14 00 ff ff ....
00280a24
00280a24 SwitchTable
00280a24 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00280a40
00280a40 0d 00 1e 00 ....
00280a44
00280a44 SwitchTable
00280a44 0xf4016 0xf4016 0xf4016 0xf4016
00280a54
00280a54 11 00 17 00 ff ff ff ff ff ff 27 00 ..........'.
00280a60 2b 00 ff ff +...
00280a64
00280a64 SwitchTable
00280a64 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00280a84 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00280aa4 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00280abc
00280abc 06 00 ff ff ....
00280ac0 ff ff 11 00 ff ff 34 00 0c 00 0a 00 31 00 ff ff ......4.....1...
00280ad0 ff ff ff ff ff ff ff ff ff ff ff ff 0b 00 ff ff ................
00280ae0 3a 00 3a 00 3d 00 33 00 ff ff ff ff ff ff ff ff :.:.=.3.........
00280af0 ff ff ff ff ff ff 0d 00 1e 00 ff ff ff ff ff ff ................
00280b00 0e 00 0f 00 ....
00280b04
00280b04 SwitchTable
00280b04 0x150015
00280b38
00280b38 15 00 ff ff 15 00 1d 00 ........
00280b40 1f 00 2f 00 ../.
00280b44
00280b44 SwitchTable
00280b44 0x150015 0x15ffff
00280b78
00280b78 15 00 ff ff ff ff ff ff ........
00280b80 ff ff 39 00 39 00 ff ff ff ff 39 00 39 00 39 00 ..9.9.....9.9.9.
00280b90 39 00 39 00 39 00 39 00 39 00 39 00 39 00 3b 00 9.9.9.9.9.9.9.;.
00280ba0 3b 00 ff ff ff ff 3b 00 3b 00 3b 00 3b 00 3b 00 ;.....;.;.;.;.;.
00280bb0 3b 00 3b 00 3b 00 3b 00 3b 00 ff ff ;.;.;.;.;...
00280bbc
00280bbc SwitchTable
00280bbc 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00280bdc 0xf4016
00280be0
00280be0 ff ff 18 00 3c 00 3c 00 ff ff ff ff 3c 00 3c 00 ....<.<.....<.<.
00280bf0 3c 00 3c 00 3c 00 3c 00 3c 00 3c 00 3c 00 3c 00 <.<.<.<.<.<.<.<.
00280c00 00 00 03 00 06 00 0e 00 ........
00280c08
00280c08 SwitchTable
00280c08 0x11000f 0x180014 0x180018 0x1f001d
00280c48
00280c48 24 00 27 00 2b 00 36 00 $.'.+.6.
00280c50
00280c50 SwitchTable
00280c50 0x180018 0x190015
00280c88
00280c88 3a 00 2f 00 3d 00 ff ff :./.=...
00280c90
00280c90 SwitchTable
00280c90 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00280cb0
00280cb0 SwitchTable
00280cb0 0x190019 0x19ffff
00280ce8
00280ce8 ff ff ff ff ff ff ff ff ........
00280cf0 ff ff ff ff ....
00280cf4
00280cf4 SwitchTable
00280cf4 0x190019
00280d28
00280d28 1a 00 39 00 ..9.
00280d2c
00280d2c SwitchTable
00280d2c 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00280d44
00280d44 ff ff 3b 00 ff ff ff ff ff ff ff ff ..;.........
00280d50 ff ff ff ff ....
00280d54
00280d54 SwitchTable
00280d54 0x1a001a
00280d88
00280d88 1a 00 ff ff 3c 00 ff ff ....<...
00280d90 ff ff ff ff ....
00280d94
00280d94 SwitchTable
00280d94 ff ff 1a 00 1a 00 1a 00 1a 00 1a 00 ............
00280da0 1a 00 1a 00 1a 00 1a 00 1a 00 1a 00 1a 00 1a 00 ................
00280db0 1a 00 1a 00 1a 00 1a 00 1a 00 1a 00 1a 00 1a 00 ................
00280dc0 1a 00 1a 00 1a 00 1a 00 1a 00 1b 00 ............
00280dcc
00280dcc SwitchTable
00280dcc 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00280dec 0xf4016 0xf4016
00280df4
00280df4 SwitchTable
00280df4 0x1b001b 0x1bffff
00280e2c
00280e2c ff ff ff ff ....
00280e30 ff ff ff ff ff ff ff ff ........
00280e38
00280e38 SwitchTable
00280e38 0x1b001b
00280e6c
00280e6c 1c 00 ff ff ....
00280e70
00280e70 SwitchTable
00280e70 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00280e90 0xf4016 0xf4016
00280e98
00280e98 ff ff 1c 00 ....
00280e9c
00280e9c SwitchTable
00280e9c 0xf4016 0xf4016 0xf4016 0xf4016
00280eac
00280eac ff ff 1c 00 ....
00280eb0
00280eb0 SwitchTable
00280eb0 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00280ed0 0xf4016 0xf4016
00280ed8
00280ed8 SwitchTable
00280ed8 0x1c001c 0x1cffff
00280f10
00280f10 ff ff ff ff ff ff ff ff ff ff ff ff ............
00280f1c
00280f1c SwitchTable
00280f1c 0x1c001c 0x21001c
00280f54
00280f54 SwitchTable
00280f54 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00280f74 0xf4016 0xf4016
00280f7c
00280f7c SwitchTable
00280f7c 0x210021 0x21ffff
00280fb4
00280fb4 ff ff ff ff ff ff ff ff ff ff ff ff ............
00280fc0
00280fc0 SwitchTable
00280fc0 0x210021
00280ff4
00280ff4 22 00 ff ff "...
00280ff8
00280ff8 SwitchTable
00280ff8 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00281018 0xf4016 0xf4016
00281020
00281020 SwitchTable
00281020 0x220022
00281054
00281054 22 00 ff ff ff ff ff ff ff ff ff ff "...........
00281060 ff ff 22 00 ..".
00281064
00281064 SwitchTable
00281064 0x220022
00281094
00281094 22 00 23 00 ".#.
00281098
00281098 SwitchTable
00281098 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
002810b8 0xf4016 0xf4016
002810c0
002810c0 ff ff 23 00 23 00 23 00 23 00 23 00 23 00 23 00 ..#.#.#.#.#.#.#.
002810d0 23 00 23 00 23 00 23 00 23 00 23 00 23 00 23 00 #.#.#.#.#.#.#.#.
002810e0 23 00 23 00 23 00 23 00 23 00 23 00 23 00 23 00 #.#.#.#.#.#.#.#.
002810f0 23 00 23 00 23 00 23 00 ff ff ff ff ff ff ff ff #.#.#.#.........
00281100 ff ff ff ff 23 00 23 00 23 00 23 00 23 00 23 00 ....#.#.#.#.#.#.
00281110 23 00 23 00 23 00 23 00 23 00 23 00 23 00 23 00 #.#.#.#.#.#.#.#.
00281120 23 00 23 00 23 00 23 00 23 00 23 00 23 00 23 00 #.#.#.#.#.#.#.#.
00281130 23 00 23 00 23 00 23 00 #.#.#.#.
00281138
00281138 SwitchTable
00281138 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00281158 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00281178 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00281198 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
002811b8 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
002811d8 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
002811f8 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00281218 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00281238 0xf4016 0xf4016 0xf4016
00281244
00281244 00 00 00 03 fc 27 04 00 00 00 00 00 .....'......
00281250 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
00281260 00 00 0d 00 1e 00 00 00 09 00 00 00 00 00 00 00 ................
00281270 13 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
00281280 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
00281290 0d 00 1e 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
002812a0 00 00 00 00 14 00 16 00 00 00 00 00 00 00 28 00 ..............(.
002812b0 2c 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ,...............
002812c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
*
00281300 00 00 00 00 00 00 00 00 00 00 00 00 0a 00 00 00 ................
00281310 00 00 15 00 00 00 35 00 0d 00 0b 00 33 00 00 00 ......5.....3...
00281320 00 00 00 00 00 00 00 00 00 00 00 00 0c 00 00 00 ................
00281330 ff ff ff ff 3e 00 34 00 00 00 00 00 00 00 00 00 ....>.4.........
00281340 00 00 00 00 00 00 0e 00 1d 00 00 00 00 00 00 00 ................
00281350
00281350 SwitchTable
00281350 0x10ffff 0x180018
00281388
00281388 18 00 00 00 17 00 ff ff ........
00281390 20 00 31 00 .1.
00281394
00281394 SwitchTable
00281394 0x180000 0x180018 0x180019 0x1a0018
002813c8
002813c8 18 00 00 00 00 00 00 00 ........
002813d0 00 00 ff ff 3c 00 00 00 00 00 3b 00 3b 00 3b 00 ....<.....;.;.;.
002813e0 3b 00 3b 00 3b 00 3b 00 3b 00 3b 00 3b 00 ff ff ;.;.;.;.;.;.;...
002813f0 ff ff 00 00 00 00 3b 00 3b 00 3b 00 3b 00 3b 00 ......;.;.;.;.;.
00281400 3b 00 3b 00 3b 00 3b 00 3b 00 00 00 00 00 00 00 ;.;.;.;.;.......
00281410 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
00281420 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
00281430 00 00 16 00 ff ff ff ff 00 00 00 00 3b 00 3b 00 ............;.;.
00281440 3b 00 3b 00 3b 00 3b 00 3b 00 3b 00 3b 00 3b 00 ;.;.;.;.;.;.;.;.
00281450 01 00 04 00 07 00 ff ff ........