File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
    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
    0028225e
    0028225e 00 02 ..
    00282260 fc 0b 00 00 00 00 00 00 ........
    00282268
    00282268 string "Balanced",0 ← 0x10096e
    00282271
    00282271 00 00 00 00 00 00 07 fc 0f 00 00 00 00 00 00 ...............
    00282280
    00282280 ; \lst@rangebeginprefix ← 0x1029b8
    00282280 5c 6c 73 74 40 72 61 6e 67 65 62 65 67 69 6e 70 \lst@rangebeginp
    00282290 72 65 66 69 refi
    00282294
    00282294 SwitchTable
    00282294 0xb00 0x2822d8 0x2822b8 0xffc
    002822a0
    002822a0 PointerTable ← camlVerb.set_next_linerange_1171
    002822a0 0x2822d8 0x2822b8
    002822b4
    002822b4 00 00 00 00 ....
    002822b8
    002822b8 ; fst=%i, nlines=%i
    002822b8 66 73 74 3d 25 69 2c 20 fst=%i,
    002822c0 6e 6c 69 6e nlin
    002822c4
    002822c4 SwitchTable
    002822c4 0xa69 0xb0b 0x282348 0x2822f0 0x1304 0x7 0x1 0x1
    00282304 0x282318 0xb0b 0x282330 0x2826b8 0xbfc
    002822d8
    002822d8 PointerTable
    002822d8 0x282348 0x2822f0
    00282318
    00282318 PointerTable
    00282318 0x282330 0x2826b8
    0028232c
    0028232c 00 00 00 00 ....
    00282330
    00282330 string ", nlines=",0
    0028233a
    0028233a 00 00 00 00 00 06 ......
    00282340 fc 07 00 00 00 00 00 00 ........
    00282348
    00282348 string "fst=",0
    0028234d
    0028234d 00 00 03 ...
    00282350 fc 0f 00 00 00 00 00 00 ........
    00282358
    00282358 string "\\lst@rangeendprefix",0 ← 0x1028e4 0x1028f5
    0028236c
    0028236c SwitchTable
    0028236c 0xb00 0x2823c0 0x2823a0 0x7fc 0x29 0xffc
    00282378
    00282378 PointerTable ← camlVerb.set_next_linerange_1171
    00282378 0x2823c0 0x2823a0
    0028239c
    0028239c 00 00 00 00 ....
    002823a0
    002823a0 ; SET LINERANGE: %s %s
    002823a0 53 45 54 20 4c 49 4e 45 52 41 4e 47 45 3a 20 25 SET LINERANGE: %
    002823b0 73 20 25 73 s %s
    002823b4
    002823b4 SwitchTable
    002823b4 0xb0b 0x282420 0x2823d8 0xb02 0x1 0x2823f0 0xb0c 0x41
    002823f4 0x282408 0xb02 0x1 0x2826e0 0xbfc
    002823c0
    002823c0 PointerTable
    002823c0 0x282420 0x2823d8
    0028241c
    0028241c 00 00 00 00 ....
    00282420
    00282420 string "SET LINERANGE: ",0
    00282430
    00282430 fc 17 00 00 00 00 00 00 ........
    00282438
    00282438 string "\\lsthk@InitVarBOL\\lsthk@LastLine",0 ← 0x1020e7
    00282459
    00282459 00 00 00 00 00 00 07 .......
    00282460 fc 17 00 00 00 00 00 00 ........
    00282468
    00282468 string "\\lsthk@InitVarBOL\\lsthk@EveryLine",0 ← 0x102059
    0028248a
    0028248a 00 00 00 00 00 06 ......
    00282490 fc 13 00 00 00 00 00 00 ........
    00282498
    00282498 string "\\lsthk@InitVarEOL\\lsthk@EOL",0 ← 0x101f9b
    002824b4
    002824b4 SwitchTable
    002824b4 0xb03 0x2824f0 0x1 0xbfc
    002824d4
    002824d4 00 00 00 00 ....
    002824d8
    002824d8 string "(Nested ",0 ← 0x100993
    002824e1
    002824e1 00 00 00 00 00 00 07 fc 07 00 00 00 00 00 00 ...............
    002824f0
    002824f0 ; \@empty
    002824f0 5c 40 65 6d \@em
    002824f4
    002824f4 SwitchTable
    002824f4 0xf00 0x27fc98 0x33d 0x25 0xffc
    002824f8
    002824f8 PointerTable
    002824f8 0xf00 0x27fc98 0x33d 0x25
    0028251c
    0028251c 00 00 00 00 ....
    00282520
    00282520 string "\\lsthk@InitVarEOL",0 ← 0x101db3
    00282532
    00282532 00 00 00 00 00 06 fc 0f 00 00 00 00 00 00 ..............
    00282540
    00282540 string "\\let\\lst@br\\lst@@br",0 ← 0x101d7c
    00282554
    00282554 00 00 00 04 fc 0f 00 00 00 00 00 00 ............
    00282560
    00282560 string "\\let\\lst@br\\lst@@@br" ← 0x101d70 0x102aa9
    00282574
    00282574 SwitchTable
    00282574 0xb00 0x2825e0 0x282598 0x23fc
    00282580
    00282580 PointerTable ← camlVerb.lst_process_newline_1167
    00282580 0x2825e0 0x282598 0x23fc
    00282598
    00282598 string "lst_process_newline: mode=%s first=%i last=%i nlines=%i\n",0
    002825d1
    002825d1 00 00 00 ...
    002825d4
    002825d4 SwitchTable
    002825d4 0xb0b 0x282730 0x2825f8 0xb02 0x1 0x282610 0xb0b 0x282720
    00282614 0x282638 0x7fc
    002825e0
    002825e0 PointerTable
    002825e0 0x282730 0x2825f8
    00282610
    00282610 PointerTable
    00282610 0x282720 0x282638
    00282624
    00282624 00 00 00 00 ....
    00282628
    00282628 string "Line" ← 0x100958
    0028262c
    0028262c SwitchTable
    0028262c 0x1304 0x7 0x1 0x1 0x282660 0xb0b 0x282710 0x282678
    0028266c 0x1304 0x7 0x1 0x1 0x2826a0 0xb0b 0x2826f8 0x2826b8
    002826ac 0x1304 0x7 0x1 0x1 0x2826e0 0xb0c 0x15 0x1
    002826ec 0xbfc
    00282660
    00282660 PointerTable
    00282660 0x282710 0x282678
    002826a0
    002826a0 PointerTable
    002826a0 0x2826f8 0x2826b8
    002826f4
    002826f4 00 00 00 00 ....
    002826f8
    002826f8 string " nlines=",0
    00282701
    00282701 00 00 00 00 00 00 07 fc 07 00 00 00 00 00 00 ...............
    00282710
    00282710 string " last=",0
    00282717
    00282717 01 fc 07 00 00 00 00 00 00 .........
    00282720
    00282720 string " first=",0
    00282728
    00282728 fc 13 00 00 00 00 00 00 ........
    00282730
    00282730 string "lst_process_newline: mode=",0
    0028274b
    0028274b 00 00 00 00 05 .....
    00282750 fc 07 00 00 00 00 00 00 ........
    00282758
    00282758 string "String",0 ← 0x100944
    0028275f
    0028275f 01 .
    00282760 fc 0b 00 00 00 00 00 00 ........
    00282768
    00282768 string "StartNextLine",0 ← 0x100938
    00282776
    00282776 00 02 fc 0b 00 00 00 00 00 00 ..........
    00282780
    00282780 string "Verb.VError",0 ← 0x10b0e5
    0028278c
    0028278c 00 00 00 04 ....
    00282790 00 00 00 00 00 00 00 00 00 00 00 00 ............
    0028279c
    0028279c SwitchTable
    0028279c 0x366 0x10b0d9 0x1000a 0x10b075 0x49
    002827c4
    002827c4 e4 62 00 00 31 b0 10 00 00 00 00 00 .b..1.......
    002827d0 58 00 03 00 18 00 20 00 38 00 00 00 00 00 00 00 X..... .8.......
    002827e0 20 b0 10 00 00 00 00 00 59 00 04 00 18 00 20 00 .......Y..... .
    002827f0 28 00 38 00 f4 6c 00 00 16 b0 10 00 00 00 00 00 (.8..l..........
    00282800 59 00 04 00 18 00 20 00 28 00 38 00 44 72 00 00 Y..... .(.8.Dr..
    00282810 fa af 10 00 00 00 00 00 58 00 02 00 10 00 18 00 ........X.......
    00282820 e9 af 10 00 00 00 00 00 59 00 03 00 10 00 18 00 ........Y.......
    00282830 28 00 00 00 dc 70 00 00 df af 10 00 00 00 00 00 (....p..........
    00282840 59 00 03 00 10 00 18 00 28 00 00 00 0c 66 00 00 Y.......(....f..
    00282850 c3 af 10 00 00 00 00 00 69 00 04 00 28 00 30 00 ........i...(.0.
    00282860 38 00 48 00 34 6a 00 00 a2 af 10 00 00 00 00 00 8.H.4j..........
    00282870 69 00 06 00 28 00 30 00 38 00 48 00 i...(.0.8.H.
    0028287c
    0028287c SwitchTable
    0028287c 0x6b28 0x10af94 0x70069
    00282894
    00282894 28 00 30 00 38 00 40 00 48 00 50 00 (.0.8.@.H.P.
    002828a0 58 00 00 00 5c 6f 00 00 76 af 10 00 00 00 00 00 X...\o..v.......
    002828b0 59 00 07 00 18 00 20 00 28 00 30 00 38 00 40 00 Y..... .(.0.8.@.
    002828c0 48 00 00 00 bc 62 00 00 57 af 10 00 00 00 00 00 H....b..W.......
    002828d0 59 00 08 00 10 00 18 00 20 00 28 00 30 00 38 00 Y....... .(.0.8.
    002828e0 40 00 48 00 94 66 00 00 34 af 10 00 00 00 00 00 @.H..f..4.......
    002828f0 59 00 07 00 10 00 18 00 28 00 30 00 38 00 40 00 Y.......(.0.8.@.
    00282900 48 00 00 00 0c 67 00 00 25 af 10 00 00 00 00 00 H....g..%.......
    00282910 59 00 06 00 10 00 18 00 Y.......
    00282918
    00282918 SwitchTable
    00282918 0x300028 0x62f0 0x10af16
    00282930
    00282930 59 00 06 00 10 00 18 00 Y.......
    00282938
    00282938 SwitchTable
    00282938 0x300028 0x6ff8 0x10af11
    00282950
    00282950 59 00 06 00 10 00 18 00 Y.......
    00282958
    00282958 SwitchTable
    00282958 0x300028 0x6e20 0x10aee0
    00282970
    00282970 59 00 04 00 18 00 30 00 38 00 48 00 54 64 00 00 Y.....0.8.H.Td..
    00282980 c0 ae 10 00 00 00 00 00 49 00 03 00 08 00 28 00 ........I.....(.
    00282990 38 00 00 00 0c 6b 00 00 b2 ae 10 00 00 00 00 00 8....k..........
    002829a0 49 00 03 00 00 00 28 00 38 00 00 00 94 6e 00 00 I.....(.8....n..
    002829b0 94 ae 10 00 00 00 00 00 49 00 02 00 00 00 28 00 ........I.....(.
    002829c0 a8 66 00 00 00 00 00 00 5f ae 10 00 00 00 00 00 .f......_.......
    002829d0 0a 00 01 00 03 00 00 00 18 ae 10 00 00 00 00 00 ................
    002829e0 19 00 02 00 00 00 08 00 88 6b 00 00 00 00 00 00 .........k......
    002829f0 02 ae 10 00 00 00 00 00 19 00 02 00 00 00 08 00 ................
    00282a00 b8 65 00 00 00 00 00 00 8e ad 10 00 00 00 00 00 .e..............
    00282a10 19 00 01 00 08 00 00 00 00 70 00 00 00 00 00 00 .........p......
    00282a20 72 ad 10 00 00 00 00 00 19 00 01 00 08 00 00 00 r...............
    00282a30 30 6e 00 00 00 00 00 00 59 ad 10 00 00 00 00 00 0n......Y.......
    00282a40 19 00 02 00 00 00 08 00 b8 61 00 00 00 00 00 00 .........a......
    00282a50 3d ad 10 00 00 00 00 00 19 00 02 00 00 00 08 00 =...............
    00282a60 e8 62 00 00 00 00 00 00 26 ad 10 00 00 00 00 00 .b......&.......
    00282a70 19 00 02 00 00 00 08 00 90 6e 00 00 00 00 00 00 .........n......
    00282a80 06 ad 10 00 00 00 00 00 19 00 01 00 08 00 00 00 ................
    00282a90 d0 68 00 00 00 00 00 00 f9 ac 10 00 00 00 00 00 .h..............
    00282aa0 19 00 01 00 08 00 00 00 18 60 00 00 00 00 00 00 .........`......
    00282ab0 b1 ad 10 00 00 00 00 00 1a 00 02 00 01 00 08 00 ................
    00282ac0 00 00 00 00 00 00 00 00 8e ac 10 00 00 00 00 00 ................
    00282ad0 11 00 00 00 6c 6b 00 00 ....lk..
    00282ad8
    00282ad8 SwitchTable
    00282ad8 0x10ac9d 0x10012 0x10ac3e 0x10011 0x69d8 0x10aca4 0x10012 0x10abe2
    00282b18 0x10011 0x6728 0x10acae
    00282b30
    00282b30 12 00 02 00 00 00 03 00 01 02 00 00 00 00 00 00 ................
    00282b40 52 ab 10 00 00 00 00 00 0a 00 02 00 01 00 03 00 R...............
    00282b50 01 05 00 00 00 00 00 00 da aa 10 00 00 00 00 00 ................
    00282b60 09 00 00 00 84 63 00 00 ce aa 10 00 00 00 00 00 .....c..........
    00282b70 09 00 00 00 bc 66 00 00 74 aa 10 00 00 00 00 00 .....f..t.......
    00282b80 19 00 01 00 08 00 00 00 18 5e 00 00 00 00 00 00 .........^......
    00282b90 92 aa 10 00 00 00 00 00 1a 00 03 00 00 00 01 00 ................
    00282ba0 08 00 01 00 00 00 00 00 43 aa 10 00 00 00 00 00 ........C.......
    00282bb0 19 00 02 00 00 00 08 00 70 6d 00 00 00 00 00 00 ........pm......
    00282bc0 fa a9 10 00 00 00 00 00 09 00 00 00 64 61 00 00 ............da..
    00282bd0 a8 a9 10 00 00 00 00 00 11 00 00 00 14 6b 00 00 .............k..
    00282be0
    00282be0 SwitchTable
    00282be0 0x10a9b7 0x10012 0x10a95c 0x10011 0x68b0 0x10a9be
    00282c10
    00282c10 12 00 02 00 00 00 03 00 01 04 00 00 00 00 00 00 ................
    00282c20 a8 a8 10 00 00 00 00 00 1a 00 05 00 03 00 05 00 ................
    00282c30 07 00 08 00 0b 00 01 04 49 a8 10 00 00 00 00 00 ........I.......
    00282c40 19 00 02 00 00 00 08 00 ........
    00282c48
    00282c48 SwitchTable
    00282c48 0x6610 0x10a7d9 0x10011 0x61b0 0x10a801
    00282c58
    00282c58 PointerTable
    00282c58 0x10011 0x61b0
    00282c70
    00282c70 12 00 02 00 00 00 03 00 01 04 00 00 00 00 00 00 ................
    00282c80 0a a7 10 00 00 00 00 00 31 00 01 00 08 00 00 00 ........1.......
    00282c90 98 63 00 00 00 00 00 00 ef a6 10 00 00 00 00 00 .c..............
    00282ca0 31 00 05 00 00 00 08 00 10 00 18 00 20 00 00 00 1........... ...
    00282cb0 78 63 00 00 00 00 00 00 7c a6 10 00 00 00 00 00 xc......|.......
    00282cc0 31 00 01 00 08 00 00 00 80 66 00 00 00 00 00 00 1........f......
    00282cd0 6b a6 10 00 00 00 00 00 31 00 03 00 00 00 08 00 k.......1.......
    00282ce0 10 00 00 00 64 66 00 00 28 a7 10 00 00 00 00 00 ....df..(.......
    00282cf0 32 00 00 00 01 01 00 00 32 a7 10 00 00 00 00 00 2.......2.......
    00282d00 32 00 03 00 03 00 07 00 08 00 00 00 00 00 00 00 2...............
    00282d10 5e a3 10 00 00 00 00 00 31 00 02 00 00 00 08 00 ^.......1.......
    00282d20 00 65 00 00 00 00 00 00 44 a3 10 00 00 00 00 00 .e......D.......
    00282d30 31 00 01 00 08 00 00 00 b8 5e 00 00 00 00 00 00 1........^......
    00282d40 3c a7 10 00 00 00 00 00 32 00 03 00 01 00 03 00 <.......2.......
    00282d50 08 00 00 00 00 00 00 00 ac a2 10 00 00 00 00 00 ................
    00282d60 41 00 01 00 30 00 00 00 80 65 00 00 00 00 00 00 A...0....e......
    00282d70 ca a2 10 00 00 00 00 00 42 00 06 00 00 00 08 00 ........B.......
    00282d80 10 00 20 00 28 00 30 00 09 01 01 01 .. .(.0.....
    00282d8c
    00282d8c SwitchTable
    00282d8c 0x101 0x10a1b9 0x60041
    00282da4
    00282da4 00 00 08 00 10 00 20 00 28 00 30 00 ...... .(.0.
    00282db0 f0 65 00 00 00 00 00 00 b4 a1 10 00 00 00 00 00 .e..............
    00282dc0 41 00 06 00 00 00 08 00 10 00 20 00 28 00 30 00 A......... .(.0.
    00282dd0 b8 60 00 00 00 00 00 00 9f a1 10 00 00 00 00 00 .`..............
    00282de0 41 00 06 00 08 00 10 00 18 00 20 00 28 00 30 00 A......... .(.0.
    00282df0 60 69 00 00 00 00 00 00 92 a1 10 00 00 00 00 00 `i..............
    00282e00 41 00 06 00 08 00 10 00 18 00 20 00 28 00 30 00 A......... .(.0.
    00282e10 e0 5b 00 00 00 00 00 00 83 a1 10 00 00 00 00 00 .[..............
    00282e20 41 00 05 00 08 00 18 00 20 00 28 00 30 00 00 00 A....... .(.0...
    00282e30 10 5d 00 00 00 00 00 00 4b a1 10 00 00 00 00 00 .]......K.......
    00282e40 41 00 01 00 30 00 00 00 78 60 00 00 00 00 00 00 A...0...x`......
    00282e50 d4 a2 10 00 00 00 00 00 42 00 04 00 00 00 20 00 ........B..... .
    00282e60
    00282e60 SwitchTable
    00282e60 0x300028 0x101 0x10a0b3
    00282e78
    00282e78 41 00 04 00 00 00 20 00 A..... .
    00282e80 28 00 30 00 1c 65 00 00 ae a0 10 00 00 00 00 00 (.0..e..........
    00282e90 41 00 04 00 00 00 20 00 28 00 30 00 ec 5f 00 00 A..... .(.0.._..
    00282ea0 99 a0 10 00 00 00 00 00 41 00 04 00 18 00 20 00 ........A..... .
    00282eb0 28 00 30 00 9c 68 00 00 8c a0 10 00 00 00 00 00 (.0..h..........
    00282ec0 41 00 04 00 18 00 20 00 28 00 30 00 24 5b 00 00 A..... .(.0.$[..
    00282ed0 52 a0 10 00 00 00 00 00 41 00 04 00 18 00 20 00 R.......A..... .
    00282ee0 28 00 30 00 bc 66 00 00 2c a0 10 00 00 00 00 00 (.0..f..,.......
    00282ef0 41 00 03 00 18 00 20 00 30 00 00 00 f4 68 00 00 A..... .0....h..
    00282f00 0d a0 10 00 00 00 00 00 41 00 02 00 18 00 30 00 ........A.....0.
    00282f10 20 66 00 00 00 00 00 00 97 9f 10 00 00 00 00 00 f..............
    00282f20 21 00 01 00 10 00 00 00 d0 66 00 00 00 00 00 00 !........f......
    00282f30 7e 9f 10 00 00 00 00 00 21 00 01 00 10 00 00 00 ~.......!.......
    00282f40 78 5f 00 00 00 00 00 00 65 9f 10 00 00 00 00 00 x_......e.......
    00282f50 21 00 01 00 10 00 00 00 00 67 00 00 00 00 00 00 !........g......
    00282f60 4b 9f 10 00 00 00 00 00 21 00 01 00 10 00 00 00 K.......!.......
    00282f70 58 68 00 00 00 00 00 00 04 9f 10 00 00 00 00 00 Xh..............
    00282f80 31 00 01 00 20 00 00 00 00 60 00 00 00 00 00 00 1... ....`......
    00282f90 dd 9e 10 00 00 00 00 00 21 00 02 00 00 00 10 00 ........!.......
    00282fa0 78 63 00 00 00 00 00 00 c1 9e 10 00 00 00 00 00 xc..............
    00282fb0 21 00 02 00 00 00 10 00 68 68 00 00 00 00 00 00 !.......hh......
    00282fc0 ae 9e 10 00 00 00 00 00 21 00 03 00 00 00 08 00 ........!.......
    00282fd0 10 00 00 00 04 67 00 00 95 9e 10 00 00 00 00 00 .....g..........
    00282fe0 21 00 03 00 00 00 08 00 10 00 00 00 bc 60 00 00 !............`..
    00282ff0 78 9e 10 00 00 00 00 00 21 00 02 00 08 00 10 00 x.......!.......
    00283000 80 66 00 00 00 00 00 00 6a 9e 10 00 00 00 00 00 .f......j.......
    00283010 21 00 02 00 00 00 10 00 88 66 00 00 00 00 00 00 !........f......
    00283020 5a 9e 10 00 00 00 00 00 21 00 02 00 00 00 10 00 Z.......!.......
    00283030 38 5c 00 00 00 00 00 00 b7 9f 10 00 00 00 00 00 8\..............
    00283040 22 00 03 00 00 00 03 00 10 00 00 00 00 00 00 00 "...............
    00283050 a1 9d 10 00 00 00 00 00 0a 00 01 00 03 00 00 00 ................
    00283060 45 9d 10 00 00 00 00 00 21 00 01 00 08 00 00 00 E.......!.......
    00283070 70 64 00 00 00 00 00 00 63 9d 10 00 00 00 00 00 pd......c.......
    00283080 22 00 02 00 00 00 08 00 01 01 00 00 00 00 00 00 "...............
    00283090 12 9d 10 00 00 00 00 00 21 00 02 00 00 00 08 00 ........!.......
    002830a0 98 59 00 00 00 00 00 00 6a 9d 10 00 00 00 00 00 .Y......j.......
    002830b0 22 00 03 00 00 00 08 00 11 00 02 00 03 00 00 00 "...............
    002830c0 5e 9c 10 00 00 00 00 00 21 00 02 00 00 00 08 00 ^.......!.......
    002830d0 a8 5c 00 00 00 00 00 00 35 9c 10 00 00 00 00 00 .\......5.......
    002830e0 21 00 03 00 00 00 08 00 10 00 00 00 2c 5b 00 00 !...........,[..
    002830f0 22 9c 10 00 00 00 00 00 21 00 02 00 08 00 10 00 ".......!.......
    00283100 70 63 00 00 00 00 00 00 a7 9b 10 00 00 00 00 00 pc..............
    00283110 21 00 00 00 7c 5c 00 00 98 9b 10 00 00 00 00 00 !...|\..........
    00283120 21 00 00 00 f4 62 00 00 6d 9b 10 00 00 00 00 00 !....b..m.......
    00283130 31 00 01 00 20 00 00 00 f0 63 00 00 00 00 00 00 1... ....c......
    00283140 68 9b 10 00 00 00 00 00 31 00 01 00 20 00 00 00 h.......1... ...
    00283150 18 63 00 00 00 00 00 00 59 9b 10 00 00 00 00 00 .c......Y.......
    00283160 31 00 01 00 20 00 00 00 60 5c 00 00 00 00 00 00 1... ...`\......
    00283170 44 9b 10 00 00 00 00 00 31 00 01 00 20 00 00 00 D.......1... ...
    00283180 88 65 00 00 00 00 00 00 ca 9b 10 00 00 00 00 00 .e..............
    00283190 32 00 02 00 01 00 20 00 01 00 00 00 00 00 00 00 2..... .........
    002831a0 13 9b 10 00 00 00 00 00 31 00 01 00 20 00 00 00 ........1... ...
    002831b0 40 68 00 00 00 00 00 00 d4 9b 10 00 00 00 00 00 @h..............
    002831c0 32 00 03 00 01 00 18 00 20 00 01 01 00 00 00 00 2....... .......
    002831d0 e2 9a 10 00 00 00 00 00 31 00 02 00 18 00 20 00 ........1..... .
    002831e0 70 67 00 00 00 00 00 00 d3 9a 10 00 00 00 00 00 pg..............
    002831f0 31 00 02 00 18 00 20 00 68 61 00 00 00 00 00 00 1..... .ha......
    00283200 c6 9a 10 00 00 00 00 00 31 00 02 00 18 00 20 00 ........1..... .
    00283210 b0 58 00 00 00 00 00 00 a5 9a 10 00 00 00 00 00 .X..............
    00283220 31 00 02 00 10 00 20 00 1..... .
    00283228
    00283228 SwitchTable
    00283228 0x5ae0 0x109a8a 0x10021 0x5980 0x109a38
    00283250
    00283250 32 00 02 00 01 00 10 00 01 00 00 00 00 00 00 00 2...............
    00283260 02 9a 10 00 00 00 00 00 31 00 01 00 10 00 00 00 ........1.......
    00283270 00 5b 00 00 00 00 00 00 3f 9a 10 00 00 00 00 00 .[......?.......
    00283280 32 00 04 00 00 00 10 00 18 00 20 00 02 01 01 00 2......... .....
    00283290 46 9a 10 00 00 00 00 00 32 00 02 00 00 00 10 00 F.......2.......
    002832a0 01 01 00 00 00 00 00 00 88 99 10 00 00 00 00 00 ................
    002832b0 31 00 04 00 00 00 10 00 18 00 20 00 bc 62 00 00 1......... ..b..
    002832c0 7a 99 10 00 00 00 00 00 31 00 03 00 10 00 18 00 z.......1.......
    002832d0 20 00 00 00 b4 5e 00 00 08 99 10 00 00 00 00 00 ....^..........
    002832e0 41 00 04 00 10 00 18 00 20 00 28 00 b4 5e 00 00 A....... .(..^..
    002832f0 ed 98 10 00 00 00 00 00 31 00 03 00 00 00 08 00 ........1.......
    00283300 18 00 00 00 e4 56 00 00 cf 98 10 00 00 00 00 00 .....V..........
    00283310 31 00 02 00 00 00 08 00 1.......
    00283318
    00283318 SwitchTable
    00283318 0x6358 0x10983f 0x1001a 0x1097d0