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 ........
00281458
00281458 SwitchTable
00281458 0x12ffff 0x180018 0x18ffff
00281494
00281494 ff ff ff ff 26 00 2a 00 2e 00 38 00 ....&.*...8.
002814a0
002814a0 SwitchTable
002814a0 0x16ffff 0x180018
002814d8
002814d8 ff ff 32 00 3f 00 00 00 ..2.?...
002814e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
002814f0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
00281500
00281500 SwitchTable
00281500 0x180000 0x180018
00281538
00281538 00 00 00 00 00 00 00 00 ........
00281540 00 00 00 00 ....
00281544
00281544 SwitchTable
00281544 0x180018 0x180021
00281578
00281578 16 00 ff ff 00 00 00 00 ........
00281580 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
00281590 00 00 00 00 00 00 ff ff 00 00 00 00 00 00 00 00 ................
002815a0 00 00 00 00 ....
002815a4
002815a4 SwitchTable
002815a4 0x180018
002815d8
002815d8 18 00 00 00 ff ff 00 00 ........
002815e0 00 00 00 00 ....
002815e4
002815e4 SwitchTable
002815e4 0x160018 0x180000 0x180018 0x18001b
0028161c
0028161c 00 00 00 00 ....
00281620 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
00281630 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
00281640 00 00 00 00 ....
00281644
00281644 SwitchTable
00281644 0x180000 0x180018
0028167c
0028167c 00 00 00 00 ....
00281680 00 00 00 00 00 00 00 00 ........
00281688
00281688 SwitchTable
00281688 0x180018 0x1c0018
002816bc
002816bc 1e 00 00 00 ....
002816c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
002816d0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
002816e0 00 00 00 00 00 00 00 00 00 00 1e 00 00 00 00 00 ................
002816f0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 16 00 ................
00281700 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
00281710 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
00281720 00 00 00 00 00 00 00 00 ........
00281728
00281728 SwitchTable
00281728 0x180000 0x180018
00281760
00281760 00 00 00 00 00 00 00 00 00 00 00 00 ............
0028176c
0028176c SwitchTable
0028176c 0x16001d 0x180018
002817a4
002817a4 00 00 00 00 00 00 00 00 00 00 00 00 ............
002817b0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
002817c0 00 00 00 00 00 00 00 00 00 00 00 00 ............
002817cc
002817cc SwitchTable
002817cc 0x180000 0x180018
00281804
00281804 00 00 00 00 00 00 00 00 00 00 00 00 ............
00281810
00281810 SwitchTable
00281810 0x180018 0x220018
00281844
00281844 16 00 00 00 00 00 00 00 00 00 00 00 ............
00281850 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
00281860 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
00281870
00281870 SwitchTable
00281870 0x180018
002818a4
002818a4 18 00 00 00 00 00 00 00 00 00 00 00 ............
002818b0
002818b0 SwitchTable
002818b0 0x160018 0x180000 0x180018 0x180023
002818e8
002818e8 00 00 00 00 00 00 00 00 ........
002818f0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
00281900 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
00281910
00281910 SwitchTable
00281910 0x180000 0x180018
00281948
00281948 00 00 00 00 00 00 00 00 ........
00281950 00 00 00 00 ....
00281954
00281954 SwitchTable
00281954 0x180018
00281988
00281988 00 00 00 00 00 00 00 00 ........
00281990 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
*
00281a90 00 00 00 00 00 00 00 03 fc 47 00 00 00 00 00 00 .........G......
00281aa0 02 00 00 00 00 00 05 00 00 00 00 00 08 00 00 00 ................
00281ab0 00 00 00 00 ff ff ff ff ff ff ff ff 0f 00 0f 00 ................
00281ac0 00 00 13 00 00 00 00 00 14 00 16 00 00 00 ff ff ................
00281ad0 ff ff ff ff ff ff ff ff ff ff 1f 00 ff ff 1f 00 ................
00281ae0 00 00 ff ff ff ff ff ff 25 00 00 00 ........%...
00281aec
00281aec SwitchTable
00281aec 0x290000 0x2d0000 0x300000
00281b04
00281b04 00 00 ff ff ff ff 00 00 37 00 00 00 ........7...
00281b10 00 00 3a 00 3a 00 3a 00 3a 00 ff ff 00 00 00 00 ..:.:.:.:.......
00281b20 00 00 00 00 00 00 00 07 fc 47 00 00 00 00 00 00 .........G......
00281b30
00281b30 SwitchTable
00281b30 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00281b44
00281b44 02 00 ff ff ....
00281b48
00281b48 SwitchTable
00281b48 0xf4016 0xf4016 0xf4016 0xf4016
00281b58
00281b58 SwitchTable
00281b58 0x122fdb 0x122fd7 0x112fda 0x112fda
00281b68
00281b68 02 00 ff ff ff ff ff ff ........
00281b70 ff ff 02 00 02 00 01 00 ........
00281b78
00281b78 SwitchTable
00281b78 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
00281b90
00281b90 ff ff 02 00 ff ff ff ff ff ff ff ff ff ff ff ff ................
00281ba0 ff ff 02 00 01 00 00 00 ff ff 01 00 ff ff ff ff ................
00281bb0 00 00 00 00 00 00 00 07 fc 47 00 00 00 00 00 00 .........G......
00281bc0 00 00 fe ff ff ff 01 00 fe ff ff ff 02 00 fc ff ................
00281bd0 fd ff fe ff 00 00 00 00 00 00 00 00 03 00 04 00 ................
00281be0 ff ff 05 00 fb ff fc ff 06 00 42 00 fd ff 01 00 ..........B.....
00281bf0 c7 00 19 01 6a 01 bb 01 2d 02 22 00 01 00 23 00 ....j...-."...#.
00281c00 ff ff 7f 02 d0 02 21 03 24 00 fe ff ff ff 25 00 ......!.$.....%.
00281c10 fd ff fe ff ff ff 26 00 fd ff fe ff ff ff 45 00 ......&.......E.
00281c20 fd ff 01 00 ff ff 00 00 00 00 fe ff 27 00 fe ff ............'...
00281c30 ff ff 95 00 44 00 a3 00 c6 00 46 00 fe ff ff ff ....D.....F.....
00281c40 00 00 00 00 ....
00281c44
00281c44 SwitchTable
00281c44 0xf06 0x1 0x15 0x1 0xb00 0x281ca8 0x281c88 0xffc
00281c70
00281c70 PointerTable ← camlVerb.lst_bs_string_1316
00281c70 0x281ca8 0x281c88
00281c84
00281c84 00 00 00 00 6c 73 74 5f 62 73 5f 73 ....lst_bs_s
00281c90 74 72 69 6e 67 3a 20 ab 25 63 bb 0a tring: .%c..
00281c9c
00281c9c SwitchTable
00281c9c 0xb0b 0x281cc0 0x281e40 0xffc
00281ca8
00281ca8 PointerTable
00281ca8 0x281cc0 0x281e40
00281cbc
00281cbc 00 00 00 00 ....
00281cc0 6c 73 74 5f 62 73 5f 73 74 72 69 6e 67 3a 20 ab lst_bs_string: .
00281cd0 00 00 00 00 ....
00281cd4
00281cd4 SwitchTable
00281cd4 0xb00 0x281d18 0x281cf8 0xffc
00281ce0
00281ce0 PointerTable ← camlVerb.lst_process_escape_1306
00281ce0 0x281d18 0x281cf8
00281cf4
00281cf4 00 00 00 00 ....
00281cf8
00281cf8 string "lst_process_escape: %c\n",0
00281d10
00281d10 SwitchTable
00281d10 0xb0b 0x281d30 0x282218 0xffc
00281d18
00281d18 PointerTable
00281d18 0x281d30 0x282218
00281d30
00281d30 string "lst_process_escape: "
00281d44
00281d44 SwitchTable
00281d44 0x700 0x1 0xbfc
00281d5c
00281d5c 00 00 00 00 ....
00281d60
00281d60 string "0123456789",0 ← 0x1039da
00281d6b
00281d6b 00 00 00 00 05 .....
00281d70 fc 13 00 00 00 00 00 00 ........
00281d78
00281d78 string "!\"#%&'()*+,-./:;<=>?[\\]^{}|`~",0 ← 0x1039c2
00281d96
00281d96 00 02 fc 1f 00 00 00 00 00 00 ..........
00281da0
00281da0 string "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ@_$",0 ← 0x1039a7
00281dd8
00281dd8 SwitchTable
00281dd8 0xb00 0x281e28 0x281df8 0xffc
00281de0
00281de0 PointerTable ← camlVerb.lst_process_end_1292
00281de0 0x281e28 0x281df8
00281df8
00281df8 70 72 6f 63 65 73 73 5f process_
00281e00 65 6e 64 3a 20 ab 25 63 bb 0a 00 00 00 00 00 05 end: .%c........
00281e10 fc 07 00 00 00 00 00 00 ........
00281e18
00281e18 ; Escape ← 0x1009d4
00281e18 45 73 63 61 Esca
00281e1c
00281e1c SwitchTable
00281e1c 0xb0b 0x281e78 0x281e40 0x700 0x281e50 0xb0b 0x281e68 0x1
00281e5c 0x7fc 0xabb 0xbfc
00281e28
00281e28 PointerTable
00281e28 0x281e78 0x281e40
00281e74
00281e74 00 00 00 00 70 72 6f 63 65 73 73 5f ....process_
00281e80 65 6e 64 3a 20 ab 00 01 fc 07 00 00 00 00 00 00 end: ...........
00281e90
00281e90 string "Gobble",0 ← 0x1009c8
00281e97
00281e97 01 fc 17 00 00 00 00 00 00 .........
00281ea0
00281ea0 string "Verb.Make(Dest)(Image)(Scan).EndVerb",0 ← 0xfe624
00281ec5
00281ec5 00 00 03 fc 0b 00 00 00 00 00 00 ...........
00281ed0
00281ed0 string "{\\lst@tab}",0 ← 0x1036be
00281edb
00281edb 00 00 00 00 05 .....
00281ee0 fc 0b 00 00 00 00 00 00 ........
00281ee8
00281ee8 string "\\lst@tab",0 ← 0x103615
00281ef1
00281ef1 00 00 00 ...
00281ef4
00281ef4 SwitchTable
00281ef4 0xb00 0x281f38 0x281f18 0xffc
00281f00
00281f00 PointerTable ← camlVerb.lst_process_tab_1276
00281f00 0x281f38 0x281f18
00281f14
00281f14 00 00 00 00 ....
00281f18
00281f18 ; process_tab: '%s'
00281f18 70 72 6f 63 65 73 73 5f process_
00281f20 74 61 62 3a tab:
00281f24
00281f24 SwitchTable
00281f24 0xa27 0xb0b 0x281f50 0x282000 0xbfc
00281f38
00281f38 PointerTable
00281f38 0x281f50 0x282000
00281f4c
00281f4c 00 00 00 00 ....
00281f50
00281f50 ; process_tab: '
00281f50 70 72 6f 63 65 73 73 5f 74 61 62 3a process_tab:
00281f5c
00281f5c SwitchTable
00281f5c 0xb00 0x282090 0x282030 0x17fc
00281f68
00281f68 PointerTable ← camlVerb.string_of_top_mode_949
00281f68 0x282090 0x282030
00281f7c
00281f7c 00 00 00 00 ....
00281f80
00281f80 string "Verb.Make(Dest)(Image)(Scan).Eof",0 ← 0xfd866
00281fa1
00281fa1 00 00 00 ...
00281fa4
00281fa4 SwitchTable
00281fa4 0xb00 0x281fe8 0x281fc8 0xffc
00281fb0
00281fb0 PointerTable ← camlVerb.lst_process_space_1267
00281fb0 0x281fe8 0x281fc8
00281fc4
00281fc4 00 00 00 00 ....
00281fc8
00281fc8 string "process_space: '%s'\n"
00281fdc
00281fdc SwitchTable
00281fdc 0xb0b 0x282058 0x282000 0xb02 0x1 0x282018 0xb0b 0x282048
0028201c 0x1 0xbfc
00281fe8
00281fe8 PointerTable
00281fe8 0x282058 0x282000
0028202c
0028202c 00 00 00 00 ....
00282030
00282030 ; Delim: %i
00282030 44 65 6c 69 Deli
00282034
00282034 SwitchTable
00282034 0x69 0x7fc 0xa27 0xffc
00282054
00282054 00 00 00 00 ....
00282058
00282058 string "process_space: '",0
00282069
00282069 00 00 00 00 00 00 07 .......
00282070 fc 0b 00 00 00 00 00 00 ........
00282078
00282078 ; lst@spaces ← 0x103368 0x1034fa 0x10720a 0x1072ac
00282078 6c 73 74 40 lst@
0028207c
0028207c SwitchTable
0028207c 0x7365 0xb0b 0x2821f0 0x282128 0xb00 0x2820e0 0x2820c0 0xffc
00282090
00282090 PointerTable
00282090 0x2821f0 0x282128
002820a8
002820a8 PointerTable ← camlVerb.lst_process_other_1245
002820a8 0x2820e0 0x2820c0
002820bc
002820bc 00 00 00 00 ....
002820c0
002820c0 ; process_other: %c
002820c0 70 72 6f 63 65 73 73 5f 6f 74 68 65 process_othe
002820cc
002820cc SwitchTable
002820cc 0xa63 0xb0b 0x2820f8 0x282218 0xbfc
002820e0
002820e0 PointerTable
002820e0 0x2820f8 0x282218
002820f4
002820f4 00 00 00 00 ....
002820f8
002820f8 string "process_other: ",0
00282108
00282108 SwitchTable
00282108 0xb00
00282110
00282110 PointerTable ← camlVerb.lst_process_digit_1236
00282110 0x282170 0x282150
00282120
00282120 04 13 00 00 00 00 00 00 07 00 00 00 00 00 00 00 ................
00282130 01 00 00 00 00 00 00 00 01 00 00 00 00 00 00 00 ................
00282140 01 00 00 00 00 00 00 00 fc 0f 00 00 00 00 00 00 ................
00282150
00282150 ; lst_process_digit: %c
00282150 6c 73 74 5f 70 72 6f 63 65 73 73 5f 64 69 67 69 lst_process_digi
00282160 74 3a 20 25 t: %
00282164
00282164 SwitchTable
00282164 0xb0b 0x282188 0x282218 0xffc
00282170
00282170 PointerTable
00282170 0x282188 0x282218
00282184
00282184 00 00 00 00 ....
00282188
00282188 ; lst_process_digit:
00282188 6c 73 74 5f 70 72 6f 63 lst_proc
00282190 65 73 73 5f ess_
00282194
00282194 SwitchTable
00282194 0x203a74 0x700 0x3 0xb00 0x282200 0x2821d0 0xffc
002821b8
002821b8 PointerTable ← camlVerb.lst_process_letter_1227
002821b8 0x282200 0x2821d0
002821cc
002821cc 00 00 00 00 ....
002821d0
002821d0 string "lst_process_letter: %c\n",0
002821e8
002821e8 fc 07 00 00 00 00 00 00 ........
002821f0
002821f0 string "Delim: ",0
002821f8
002821f8 SwitchTable
002821f8 0xb0b 0x282228 0x282218 0x700 0x2826e0 0xffc
00282200
00282200 PointerTable
00282200 0x282228 0x282218
00282228
00282228 string "lst_process_letter: ",0
0028223d
0028223d 00 00 03 ...
00282240 fc 0f 00 00 00 00 00 00 ........
00282248
00282248 string "\\lst@rangebeginsuffix",0 ← 0x1029a8