002d08a4
002d08a4 SwitchTable
002d08a4 0x64 0xbf7 0x137e60 0x5 0xbf7 0x137f50 0x5 0xbf7
002d08e4 0x137ef0 0x5 0xbf7 0x138000 0x5 0xbf7 0x137fc0 0x5
002d0924 0xbf7 0x1380e0 0x5 0xbf7 0x138040 0x5 0xbf7 0x138100
002d0964 0x5 0xff7 0xf6f30 0x7 0x1381f0 0xbf7 0x138260 0x5
002d09a4 0x4300 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d09e4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d0a24 0x1 0x2d09b0
002d0a34
002d0a34 00 00 00 00 00 00 00 00 00 00 00 00 ............
002d0a40 fc 0f 00 00 00 00 00 00 ........
002d0a48
002d0a48 ; \clearpage% page: ← 0x1381c1
002d0a48 0a 5c 63 6c 65 61 72 70 .\clearp
002d0a50 61 67 65 25 age%
002d0a54
002d0a54 SwitchTable
002d0a54 0x203a65 0xb00 0x2d0aa0 0x2d0a80 0xffc
002d0a68
002d0a68 PointerTable ← camlImage.page_398
002d0a68 0x2d0aa0 0x2d0a80
002d0a7c
002d0a7c 00 00 00 00 ....
002d0a80
002d0a80 string "dump image number %d"
002d0a94
002d0a94 SwitchTable
002d0a94 0xb0b 0x2d0ae0 0x2d0ab8 0x1304 0x1 0x1 0x1 0x1
002d0ad4 0xffc
002d0aa0
002d0aa0 PointerTable
002d0aa0 0x2d0ae0 0x2d0ab8
002d0adc
002d0adc 00 00 00 00 ....
002d0ae0
002d0ae0 string "dump image number ",0
002d0af3
002d0af3 00 00 00 00 05 fc 0b 00 00 00 00 00 00 .............
002d0b00
002d0b00 string ".image.tex.new",0 ← 0x138593
002d0b0f
002d0b0f 01 .
002d0b10 fc 07 00 00 00 00 00 00 ........
002d0b18
002d0b18 uint8_t g_2d0b18 ← camlImage.page_398 camlImage.entry
002d0b18 00 00 00 00 ....
002d0b1c
002d0b1c SwitchTable
002d0b1c 0x7fc 0x27 0x7fc 0x20 0x1ffc
002d0b44
002d0b44 00 00 00 00 ....
002d0b48
002d0b48 string "HeVeA Warning: images may have changed, run 'imagen ",0 ← 0x138357
002d0b7d
002d0b7d 00 00 03 ...
002d0b80 fc 07 00 00 00 00 00 00 ........
002d0b88
002d0b88 string ".new" ← 0x1382b7
002d0b8c
002d0b8c SwitchTable
002d0b8c 0x7fc 0xa 0xbfc
002d0ba4
002d0ba4 00 00 00 00 ....
002d0ba8
002d0ba8 string "Image.active",0 ← 0x1384c2
002d0bb5
002d0bb5 00 00 03 00 00 00 00 00 00 00 00 ...........
002d0bc0 00 00 00 00 ....
002d0bc4
002d0bc4 SwitchTable
002d0bc4 0x20 0x1385aa 0x9
002d0bdc
002d0bdc fc 02 00 00 ....
002d0be0 af 84 13 00 00 00 00 00 0a 00 00 00 01 02 00 00 ................
002d0bf0 60 84 13 00 00 00 00 00 0a 00 00 00 01 00 00 00 `...............
002d0c00 2e 84 13 00 00 00 00 00 0a 00 00 00 01 00 00 00 ................
002d0c10 fc 83 13 00 00 00 00 00 0a 00 00 00 01 00 00 00 ................
002d0c20 84 83 13 00 00 00 00 00 11 00 00 00 74 02 00 00 ............t...
002d0c30 68 83 13 00 00 00 00 00 11 00 00 00 74 02 00 00 h...........t...
002d0c40 63 83 13 00 00 00 00 00 11 00 00 00 04 02 00 00 c...............
002d0c50 54 83 13 00 00 00 00 00 11 00 00 00 5c 02 00 00 T...........\...
002d0c60 29 83 13 00 00 00 00 00 11 00 00 00 04 02 00 00 )...............
002d0c70 1a 83 13 00 00 00 00 00 11 00 00 00 14 02 00 00 ................
002d0c80 03 83 13 00 00 00 00 00 11 00 00 00 44 02 00 00 ............D...
002d0c90
002d0c90 SwitchTable
002d0c90 0x1382e5 0x10011 0x190 0x1382ce
002d0c98
002d0c98 PointerTable
002d0c98 0x10011 0x190
002d0cb0
002d0cb0 11 00 00 00 e4 01 00 00 ........
002d0cb8
002d0cb8 SwitchTable
002d0cb8 0x1382a9 0x10011 0x200 0x138234
002d0cc0
002d0cc0 PointerTable
002d0cc0 0x10011 0x200
002d0cd8
002d0cd8 19 00 02 00 00 00 08 00 ........
002d0ce0 88 01 00 00 00 00 00 00 4b 82 13 00 00 00 00 00 ........K.......
002d0cf0 1a 00 03 00 00 00 07 00 08 00 00 00 00 00 00 00 ................
002d0d00 cd 81 13 00 00 00 00 00 19 00 00 00 b4 01 00 00 ................
002d0d10 be 81 13 00 00 00 00 00 19 00 00 00 44 01 00 00 ............D...
002d0d20 b2 81 13 00 00 00 00 00 19 00 00 00 54 01 00 00 ............T...
002d0d30
002d0d30 SwitchTable
002d0d30 0x13819a 0x10019 0x138 0x138186 0x10019 0x150 0x13817a 0x10019
002d0d70 0xb8 0x13816d 0x10019 0xa0 0x138146 0x10019 0x98 0x1380ca
002d0db0
002d0db0 12 00 01 00 00 00 01 00 ........
002d0db8
002d0db8 SwitchTable
002d0db8 0x138085 0x10011 0xc0 0x13806e
002d0dc0
002d0dc0 PointerTable
002d0dc0 0x10011 0xc0
002d0dd8
002d0dd8 11 00 00 00 6c 00 00 00 ....l...
002d0de0 94 7f 13 00 00 00 00 00 09 00 00 00 54 00 00 00 ............T...
002d0df0 4d 7f 13 00 00 00 00 00 0a 00 02 00 03 00 05 00 M...............
002d0e00 01 01 00 00 00 00 00 00 e0 7e 13 00 00 00 00 00 .........~......
002d0e10 0a 00 01 00 01 00 01 00 a3 7e 13 00 00 00 00 00 .........~......
002d0e20 09 00 00 00 34 00 00 00 ....4...
002d0e28
002d0e28 SwitchTable
002d0e28 0x124 0x170 0x114 0xbc 0x130
002d0e50
002d0e50 50 01 00 0c P...
002d0e54
002d0e54 SwitchTable
002d0e54 0x104 0xec 0xd4 0x130 0xd4 0xcc 0x88 0x110
002d0e94 0x108 0x100 0xa4
002d0eac
002d0eac a0 10 00 02 ....
002d0eb0 f0 00 00 60 ...`
002d0eb4
002d0eb4 SwitchTable
002d0eb4 0xe8 0x8c 0x5c 0xd0 0xb4
002d0edc
002d0edc d8 91 90 01 ....
002d0ee0
002d0ee0 string "stdlib.ml",0
002d0eea
002d0eea string "doOut.ml",0
002d0ef3
002d0ef3 string "image.ml",0
002d0efc
002d0efc f7 ff ff ff ....
002d0f00 49 6d 61 67 65 2e 72 65 73 74 61 72 74 00 00 00 Image.restart...
002d0f10 e3 ff ff ff 49 6d 61 67 65 2e 6f 70 65 6e 5f 63 ....Image.open_c
002d0f20 68 61 6e 00 cf ff ff ff 49 6d 61 67 65 2e 63 6c han.....Image.cl
002d0f30 6f 73 65 5f 63 68 61 6e 00 00 00 00 b7 ff ff ff ose_chan........
002d0f40 49 6d 61 67 65 2e 64 75 6d 70 00 00 a7 ff ff ff Image.dump......
002d0f50 49 6d 61 67 65 2e 70 61 67 65 00 00 8e ff ff ff Image.page......
002d0f60 44 6f 4f 75 74 2e 4d 61 6b 65 2e 63 72 65 61 74 DoOut.Make.creat
002d0f70 65 5f 62 75 66 66 00 00 68 ff ff ff 53 74 64 6c e_buff..h...Stdl
002d0f80 69 62 2e 6f 70 65 6e 5f 6f 75 74 00 67 ff ff ff ib.open_out.g...
002d0f90 49 6d 61 67 65 2e 74 6d 70 5f 6e 61 6d 65 00 00 Image.tmp_name..
002d0fa0 53 ff ff ff 49 6d 61 67 65 2e 66 69 S...Image.fi
002d0fac
002d0fac SwitchTable uint64_t
002d0fac 0x657a 0xbf7 0x138b80 0x5 0xbf7 0x138690 0x5 0xbf7
002d0fec 0x1386c0 0x5 0xbf7 0x1386e0 0x5 0xbf7 0x1387c0 0x5
002d102c 0xbf7 0x138730 0x5 0xbf7 0x138700 0x5 0xbf7 0x138820
002d106c 0x5 0xbf7 0x138840 0x5 0xbf7 0x138880 0x5 0xbf7
002d10ac 0x1388c0 0x5 0xbf7 0x1388e0 0x5 0xbf7 0x1388f0 0x5
002d10ec 0xbf7 0x138970 0x5 0xbf7 0x138a10 0x5 0xbf7 0x138ae0
002d112c 0x5 0xbf7 0x138b00 0x5 0xbf7 0x138c60 0x5 0xbf7
002d116c 0x138c70 0x5 0xbf7 0x138ce0 0x5 0xff7 0xf6f30 0x7
002d11ac 0x138cf0 0xff7 0xf7020 0x7 0x139070 0xbf7 0x139160 0x5
002d11ec 0xbf7 0x139170 0x5 0xff7 0xf6f30 0x7 0x1391a0 0xff7
002d122c 0xf6f30 0x7 0x139190 0xbf7 0x139180 0x5 0xff7 0xf7020
002d126c 0x7 0x1391b0 0xbf7 0x1392c0 0x5 0xff7 0xf7020 0x7
002d12ac 0x1392d0 0x1ff7 0xf7020 0xf 0x139450 0x10f9 0xf7020 0x7
002d12ec 0x139440 0xbf7 0x139470 0x5 0xbf7 0x1395a0 0x5 0xbf7
002d132c 0x1395b0 0x5 0xbf7 0x139650 0x5 0xbf7 0x1397b0 0x5
002d136c 0xbf7 0x1397f0 0x5 0xbf7 0x139980 0x5 0xff7 0xf6f30
002d13ac 0x7 0x139990 0x1ff7 0xf6f30 0xf 0x139b40 0x10f9 0xf6f30
002d13ec 0x7 0x139ad0 0xbf7 0x139c50 0x5 0xbf7 0x139bd0 0x5
002d142c 0xbf7 0x139b60 0x5 0xbf7 0x139d40 0x5 0xbf7 0x139cc0
002d146c 0x5 0xff7 0xf7020 0x7 0x139db0 0xbf7 0x13a100 0x5
002d14ac 0xbf7 0x13a0e0 0x5 0xbf7 0x13a0c0 0x5 0xff7 0xf7020
002d14ec 0x7 0x13a070 0xbf7 0x13a020 0x5 0xbf7 0x139fd0 0x5
002d152c 0xff7 0xf7020 0x7 0x139f80 0xbf7 0x13a1b0 0x5 0xff7
002d156c 0xf7020 0x7 0x13a150 0xff7 0xf7020 0x7 0x13a230 0xbf7
002d15ac 0x13a300 0x5 0xff7 0xf7020 0x7 0x13a480 0xbf7 0x13a430
002d15ec 0x5 0xbf7 0x13a3f0 0x5 0xff7 0xf7020 0x7 0x13a360
002d162c 0xff7 0xf6f30 0x7 0x13a510 0xff7 0xf7020 0x7 0x13a670
002d166c 0xff7 0xf7020 0x7 0x13a780 0xff7 0xf6dc0 0x7 0x13a850
002d16ac 0xbf7 0x13aae0 0x5 0xbf7 0x13aad0 0x5 0xbf7 0x13aac0
002d16ec 0x5 0xbf7 0x13aa40 0x5 0xbf7 0x13a980 0x5 0xbf7
002d172c 0x13a8f0 0x5 0xbf7 0x13ab40 0x5 0xbf7 0x13aaf0 0x5
002d176c 0xbf7 0x13abc0 0x5 0xbf7 0x13ac80 0x5 0xff7 0xf7020
002d17ac 0x7 0x13ac90 0xff7 0xf7020 0x7 0x13ad90 0xff7 0xf6f30
002d17ec 0x7 0x13ae90 0xbf7 0x13af50 0x5 0xbf7 0x13b160 0x5
002d182c 0xbf7 0x13b310 0x5 0xff7 0xf6b90 0x7 0x13b340 0xff7
002d186c 0xf6b90 0x7 0x13b440 0xff7 0xf6dc0 0x7 0x13b6a0 0x1eb00
002d18ac 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d18ec 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d192c 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d196c 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d19ac 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d19ec 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d1a2c 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d1a6c 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d1aac 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d1aec 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d1b2c 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d1b6c 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d1bac 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d1bec 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d1c2c 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002d1c6c 0x1 0x1 0x2d18b0
002d1c84
002d1c84 00 00 00 00 00 00 00 00 00 00 00 00 ............
002d1c90 fc 07 00 00 00 00 00 00 ........
002d1c98
002d1c98 string "mtd",0
002d1c9c
002d1c9c 00 00 00 04 ....
002d1ca0 fc 0b 00 00 00 00 00 00 ........
002d1ca8
002d1ca8 string "as_align_mathml",0 ← 0x13a74e
002d1cb8
002d1cb8 fc 0b 00 00 00 00 00 00 ........
002d1cc0
002d1cc0 string "columnalign",0 ← 0x13a6d6
002d1ccc
002d1ccc 00 00 00 04 ....
002d1cd0 fc 0b 00 00 00 00 00 00 ........
002d1cd8
002d1cd8 string "rowalign",0 ← 0x13a713
002d1ce1
002d1ce1 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
002d1cf0
002d1cf0 string "as_align",0 ← 0x13a62e
002d1cf9
002d1cf9 00 00 00 00 00 00 07 .......
002d1d00 fc 0f 00 00 00 00 00 00 ........
002d1d08
002d1d08 string "white-space:nowrap",0 ← 0x13a57c
002d1d1b
002d1d1b 00 00 00 00 05 .....
002d1d20 fc 0f 00 00 00 00 00 00 ........
002d1d28
002d1d28 string "border:solid 1px;",0 ← 0x13a593
002d1d3a
002d1d3a 00 00 00 00 00 06 ......
002d1d40 fc 0b 00 00 00 00 00 00 ........
002d1d48
002d1d48 string "text-align",0 ← 0x13a5b3
002d1d53
002d1d53 00 00 00 00 05 fc 0b 00 00 00 00 00 00 .............
002d1d60
002d1d60 ; vertical-align ← 0x13a5c4
002d1d60 76 65 72 74 69 63 61 6c 2d 61 6c 69 vertical-ali
002d1d6c
002d1d6c SwitchTable
002d1d6c 0xb00 0x2d1dc0 0x2d1da0 0x7fd
002d1d78
002d1d78 PointerTable ← camlHtml.as_align_1098
002d1d78 0x2d1dc0 0x2d1da0
002d1d8c
002d1d8c 00 00 00 00 ....
002d1d90 55 55 55 55 55 55 d5 3f fc 0f 00 00 00 00 00 00 UUUUUU.?........
002d1da0
002d1da0 string "style=\"%s%s%s%s\" %s",0
002d1db4
002d1db4 SwitchTable
002d1db4 0xb0b 0x2d1e78 0x2d1dd8 0xb02 0x1 0x2d1df0 0xb02 0x1
002d1df4 0x2d1e08 0xb02 0x1 0x2d1e20 0xb02 0x1 0x2d1e38 0xb0b
002d1e34 0x2d1e68 0x2d1e50 0xb02 0x1 0x1 0x7fc 0x2022 0x7fc
002d1dc0
002d1dc0 PointerTable
002d1dc0 0x2d1e78 0x2d1dd8
002d1e38
002d1e38 PointerTable
002d1e38 0x2d1e68 0x2d1e50
002d1e74
002d1e74 00 00 00 00 ....
002d1e78
002d1e78 string "style=\"",0
002d1e80
002d1e80 fd 07 00 00 00 00 00 00 00 00 00 00 ............
002d1e8c
002d1e8c SwitchTable
002d1e8c 0xb00 0x2d1ec0 0x2d1eb0 0x7fc
002d1e98
002d1e98 PointerTable ← camlHtml.style_1087
002d1e98 0x2d1ec0 0x2d1eb0
002d1eac
002d1eac 00 00 00 00 ....
002d1eb0
002d1eb0 ; %s:%s;
002d1eb0 25 73 3a 25 %s:%
002d1eb4
002d1eb4 SwitchTable
002d1eb4 0xb02 0x1 0x2d1ed8 0xb0c 0x75 0x2d1ef0 0xb02 0x1
002d1ef4 0x2d1f08 0xb0c 0x77 0x1 0x7fc 0x22 0xbfc
002d1ed8
002d1ed8 PointerTable
002d1ed8 0x75 0x2d1ef0
002d1f2c
002d1f2c 00 00 00 00 ....
002d1f30
002d1f30 string " columnspan= \"",0 ← 0x13a458
002d1f3f
002d1f3f 01 .
002d1f40 fc 0b 00 00 00 00 00 00 ........
002d1f48
002d1f48 ; colspan= ← 0x13a40c
002d1f48 20 63 6f 6c col
002d1f4c
002d1f4c SwitchTable
002d1f4c 0x3d 0x7fc 0x3d 0xb00 0x2d2060 0x4005 0x701 0x2d1f98
002d1f8c 0x7fc
002d1f94
002d1f94 00 00 00 00 ....
002d1f98
002d1f98 string "mtr",0
002d1f9c
002d1f9c SwitchTable
002d1f9c 0x7fc 0x20 0x7fc
002d1fb4
002d1fb4 00 00 00 00 ....
002d1fb8
002d1fb8 string "table",0 ← 0x13a2c0 0x13a2d5
002d1fbe
002d1fbe 00 02 ..
002d1fc0 fc 0b 00 00 00 00 00 00 ........
002d1fc8
002d1fc8 string "border=1",0 ← 0x13a28c
002d1fd1
002d1fd1 00 00 00 00 00 00 07 fc 07 00 00 00 00 00 00 ...............
002d1fe0
002d1fe0 string "mtable",0
002d1fe7
002d1fe7 01 fc 0b 00 00 00 00 00 00 .........
002d1ff0
002d1ff0 string "frame = \"solid\"",0 ← 0x13a27c
002d2000
002d2000 fc 17 00 00 00 00 00 00 ........
002d2008
002d2008 string "Ignoring \\centering or \\ragged...",0 ← 0x13a17b
002d202a
002d202a 00 00 00 00 00 06 ......
002d2030 fc 07 00 00 00 00 00 00 ........
002d2038
002d2038 string "FLOW: ",0 ← 0x13a119
002d203f
002d203f 01 .
002d2040 fc 0b 00 00 00 00 00 00 ........
002d2048
002d2048 string "RE-OPEN PAR:",0 ← 0x139ebe
002d2055
002d2055 00 00 03 fd 07 00 00 00 00 00 00 ...........
002d2060 00 00 00 00 00 00 e0 3f fc 0f 00 00 00 00 00 00 .......?........
002d2070
002d2070 ; List with no item ← 0x139e2c 0x139e6c
002d2070 4c 69 73 74 20 77 69 74 68 20 6e 6f List with no
002d207c
002d207c SwitchTable
002d207c 0x6d 0xb00 0x2d20a8 0x2d20c0 0xb0b 0x2d20c0 0x1 0x7fc
002d2090
002d2090 PointerTable ← camlHtml.open_block_with_par_1007 camlHtml.wrap_close_1033
002d2090 0x2d20a8 0x2d20c0
002d20bc
002d20bc 00 00 00 00 ....
002d20c0
002d20c0 string "AFTER: ",0
002d20c8
002d20c8 SwitchTable
002d20c8 0xb00 0x2d20e8 0x2d2100 0xb0b 0x2d2100 0x1 0xbfc
002d20d0
002d20d0 PointerTable ← camlHtml.open_block_with_par_1007 camlHtml.wrap_close_1033
002d20d0 0x2d20e8 0x2d2100
002d2100
002d2100 string "BEFORE: ",0
002d2109
002d2109 00 00 00 ...
002d210c
002d210c SwitchTable
002d210c 0xb00
002d2114
002d2114 00 00 00 00 ....
002d2118
002d2118 PointerTable ← camlHtml.open_block_with_par_1007
002d2118 0x2d2150 0x2d2130
002d2128
002d2128 fc 0f 00 00 00 00 00 00 ........
002d2130
002d2130 ; OPEN: %s, closing par
002d2130 4f 50 45 4e 3a 20 25 73 2c 20 63 6c 6f 73 69 6e OPEN: %s, closin
002d2140 67 20 70 61 g pa
002d2144
002d2144 SwitchTable
002d2144 0xb0b 0x2d21c8 0x2d2180 0xb00 0x2d2278 0x4007 0xb02 0x1
002d2184 0x2d2198 0xb0b 0x2d21b0 0x1 0xbfc
002d2150
002d2150 PointerTable
002d2150 0x2d21c8 0x2d2180
002d2168
002d2168 PointerTable
002d2168 0x2d2278 0x4007
002d21ac
002d21ac 00 00 00 00 ....
002d21b0
002d21b0 string ", closing par\n",0
002d21bf
002d21bf 01 .
002d21c0 fc 07 00 00 00 00 00 00 ........
002d21c8
002d21c8 ; OPEN:
002d21c8 4f 50 45 4e OPEN
002d21cc
002d21cc SwitchTable
002d21cc 0xf00 0x2d21f8 0x2c9 0x13 0x7fc
002d21d0
002d21d0 PointerTable
002d21d0 0xf00 0x2d21f8
002d21f4
002d21f4 00 00 00 00 ....
002d21f8
002d21f8 ; html.ml
002d21f8 68 74 6d 6c html
002d21fc
002d21fc SwitchTable
002d21fc 0xb00
002d2204
002d2204 00 00 00 00 ....
002d2208
002d2208 PointerTable ← camlHtml.do_open_par_941 camlHtml.do_par_997
002d2208 0x2d2248 0x2d2220 0x13fc
002d2220
002d2220 string "Opening par below: '%s'\n",0
002d2239
002d2239 00 00 00 ...
002d223c
002d223c SwitchTable
002d223c 0xb0b 0x2d22b0 0x2d2260 0xb02 0x1 0x2d2288 0x7fd
002d2248
002d2248 PointerTable
002d2248 0x2d22b0 0x2d2260
002d2274
002d2274 00 00 00 00 00 00 00 00 ........
002d227c
002d227c SwitchTable
002d227c 0xb0b 0x2d22a0 0x1 0x7fc 0xa27 0xffc
002d22ac
002d22ac 00 00 00 00 ....
002d22b0
002d22b0 string "Opening par below: '",0
002d22c5
002d22c5 00 00 03 fc 0b 00 00 00 00 00 00 ...........
002d22d0
002d22d0 ; Opening P twice ← 0x13930d
002d22d0 4f 70 65 6e 69 6e 67 20 50 20 74 77 Opening P tw
002d22dc
002d22dc SwitchTable
002d22dc 0x7fc 0x3e22 0x7fc
002d22f4
002d22f4 00 00 00 00 ....
002d22f8
002d22f8 string "\" alt=\"",0 ← 0x139284
002d2300
002d2300 fc 07 00 00 00 00 00 00 ........
002d2308
002d2308 string "src=\"",0 ← 0x13925a
002d230e
002d230e 00 02 ..
002d2310 fc 07 00 00 00 00 00 00 ........
002d2318
002d2318 string "<img ",0 ← 0x139219
002d231e
002d231e 00 02 ..
002d2320 fc 1b 00 00 00 00 00 00 ........
002d2328
002d2328 string "Image tag inside preformatted block, ignored",0 ← 0x1391f2
002d2355
002d2355 00 00 03 fc 17 00 00 00 00 00 00 ...........
002d2360
002d2360 ; approximate_hspace: never reached ← 0x138e94
002d2360 61 70 70 72 6f 78 69 6d 61 74 65 5f 68 73 70 61 approximate_hspa
002d2370 63 65 3a 20 6e 65 76 65 72 20 72 65 ce: never re
002d237c
002d237c SwitchTable
002d237c 0x64 0x7fc 0xa 0x1ffc
002d239c
002d239c 00 00 00 00 ....
002d23a0
002d23a0 string "ignoring \\hspace or \\hspace* with negative length",0 ← 0x138e19
002d23d2
002d23d2 00 00 00 00 00 06 fd 07 00 00 00 00 00 00 ..............
002d23e0 00 00 00 00 ....
002d23e4
002d23e4 SwitchTable
002d23e4 0xf00 0x2d2410 0x405f 0x40c1 0xb00 0x2d2458 0x2d2428 0xb00
002d2424 0x2d2440 0x1 0xb00 0x2d2530 0x405f 0xb00 0x2d2738 0x141
002d2464 0xf00 0x2d2490 0x4015 0x4017 0xb00 0x2d2168 0x2d24b8 0x7fc
002d23e8
002d23e8 PointerTable
002d23e8 0xf00 0x2d2410 0x405f
002d2410
002d2410 PointerTable
002d2410 0x2d2458 0x2d2428
002d2440
002d2440 PointerTable
002d2440 0x2d2530 0x405f
002d2468
002d2468 PointerTable
002d2468 0xf00 0x2d2490
002d2490
002d2490 PointerTable
002d2490 0x2d2168 0x2d24b8
002d24a4
002d24a4 00 00 00 00 ....
002d24a8
002d24a8 uint8_t g_2d24a8 ← camlHtml.open_chan_841 camlHtml.to_style_847 camlHtml.image_931 camlHtml.open_par_971 camlHtml.do_par_997 camlHtml.close_display_1020 camlHtml.close_maths_1028 camlHtml.wrap_close_1033 camlHtml.open_table_1075 camlHtml.new_row_1081 camlHtml.attribut_1084 camlHtml.as_colspan_1085 camlHtml.as_colspan_mathml_1086 camlHtml.style_1087 camlHtml.as_align_1098 camlHtml.close_cell_1130 camlHtml.open_cell_group_1132 camlHtml.close_table_1153 camlHtml.make_hline_1166 camlHtml.horizontal_line_1170 camlHtml.emit_dt_dd_1189 camlHtml.entry
002d24a8 00 00 00 00 ....
002d24ac
002d24ac SwitchTable
002d24ac 0xb00 0x2d1f70 0x2d24d0 0xb00 0x2d2830 0x2d24e8 0xb00 0x2d2630
002d24ec 0x2d2500 0xb00 0x2d2518 0x1 0xb00 0x2d2530 0x400d 0x7fd
002d24b8
002d24b8 PointerTable
002d24b8 0x2d1f70 0x2d24d0
002d24d0
002d24d0 PointerTable
002d24d0 0x2d2830 0x2d24e8
002d24e8
002d24e8 PointerTable
002d24e8 0x2d2630 0x2d2500
002d252c
002d252c 00 00 00 00 ....
002d2530 55 55 55 55 55 55 c5 3f fd 07 00 00 00 00 00 00 UUUUUU.?........
002d2540 00 00 00 00 ....
002d2544
002d2544 SwitchTable
002d2544 0xb00 0x2d2590 0x2d2568 0x13fc
002d2550
002d2550 PointerTable ← camlHtml.ditem_1206
002d2550 0x2d2590 0x2d2568 0x13fc
002d2568
002d2568 ; <= DITEM: `%s' `%s' `%s'
002d2568 3c 3d 20 44 49 54 45 4d <= DITEM
002d2570 3a 20 60 25 73 27 20 60 25 73 27 20 : `%s' `%s'
002d257c
002d257c SwitchTable
002d257c 0xa 0xb0b 0x2d25a8 0x2d2648 0xbfc
002d2590
002d2590 PointerTable
002d2590 0x2d25a8 0x2d2648
002d25a4
002d25a4 00 00 00 00 ....
002d25a8
002d25a8 string "<= DITEM: `",0
002d25b4
002d25b4 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
002d25c0
002d25c0 ; ditem: stack= ← 0x13b71d 0x13b8f9
002d25c0 64 69 74 65 6d 3a 20 73 74 61 63 6b ditem: stack
002d25cc
002d25cc SwitchTable
002d25cc 0xb00 0x2d2618 0x2d25f0 0x13fc
002d25d8
002d25d8 PointerTable ← camlHtml.ditem_1206
002d25d8 0x2d2618 0x2d25f0 0x13fc
002d25f0
002d25f0 ; => DITEM: `%s' `%s' `%s'
002d25f0 3d 3e 20 44 49 54 45 4d 3a 20 60 25 73 27 20 60 => DITEM: `%s' `
002d2600 25 73 27 20 %s'
002d2604
002d2604 SwitchTable
002d2604 0xa 0xb0b 0x2d26b8 0x2d2648 0xb00 0x2d2738 0x400b 0xb02
002d2644 0x1 0x2d2660 0xb0b 0x2d26a8 0x2d2678 0xb02 0x1 0x2d2690
002d2684 0xb0b 0x2d26a8 0x2d2260 0x7fc
002d2618
002d2618 PointerTable
002d2618 0x2d26b8 0x2d2648
002d2630
002d2630 PointerTable
002d2630 0x2d2738 0x400b
002d2660
002d2660 PointerTable
002d2660 0x2d26a8 0x2d2678
002d2690
002d2690 PointerTable
002d2690 0x2d26a8 0x2d2260
002d26a4
002d26a4 00 00 00 00 ....
002d26a8
002d26a8 string "' `",0
002d26ac
002d26ac 00 00 00 04 ....
002d26b0 fc 0b 00 00 00 00 00 00 ........
002d26b8
002d26b8 string "=> DITEM: `",0
002d26c4
002d26c4 SwitchTable
002d26c4 0xf00 0x2d21f8 0x5d7 0x13 0xbfc
002d26c8
002d26c8 PointerTable
002d26c8 0xf00 0x2d21f8 0x5d7
002d26ec
002d26ec 00 00 00 00 ....
002d26f0
002d26f0 string "\\makelabel{",0 ← 0x13b3ee
002d26fc
002d26fc SwitchTable
002d26fc 0x7fc 0x7d 0xffc
002d2714
002d2714 00 00 00 00 ....
002d2718
002d2718 string "\\refstepcounter{",0 ← 0x13b3c5
002d2729
002d2729 00 00 00 00 00 00 07 .......
002d2730 fd 07 00 00 00 00 00 00 00 00 00 00 00 00 d0 3f ...............?
002d2740 fc 0b 00 00 00 00 00 00 ........
002d2748
002d2748 string "<= item: stack=",0 ← 0x13b2a2
002d2758
002d2758 fc 0b 00 00 00 00 00 00 ........
002d2760
002d2760 ; => item: stack= ← 0x13b18f
002d2760 3d 3e 20 69 74 65 6d 3a 20 73 74 61 => item: sta
002d276c
002d276c SwitchTable
002d276c 0xf00 0x2d21f8 0x55f 0x13 0x17fc
002d2770
002d2770 PointerTable
002d2770 0xf00 0x2d21f8
002d2794
002d2794 00 00 00 00 ....
002d2798
002d2798 string "<mo stretchy=\"true\" > &horbar; </mo>",0 ← 0x13ae15
002d27bd
002d27bd 00 00 03 ...
002d27c0 fc 0b 00 00 00 00 00 00 ........
002d27c8
002d27c8 string "class=\"hrule\"",0 ← 0x13ae48
002d27d6
002d27d6 00 02 fc 07 00 00 00 00 00 00 ..........
002d27e0
002d27e0 string "&nbsp;",0 ← 0x13ad34 0x13ad44
002d27e7
002d27e7 01 fc 07 00 00 00 00 00 00 .........
002d27f0
002d27f0 string "top",0 ← 0x13ce00
002d27f4
002d27f4 00 00 00 04 fc 07 00 00 00 00 00 00 ............
002d2800
002d2800 ; center ← 0x13cdb5
002d2800 63 65 6e 74 cent
002d2804
002d2804 SwitchTable
002d2804 0x701 0x2d1fe0 0x701 0x2d1c98 0xb00 0x2d1d90 0x4009 0xbfc
002d2830
002d2830 PointerTable
002d2830 0x2d1d90 0x4009
002d2844
002d2844 00 00 00 00 ....
002d2848
002d2848 string "Html.Error",0 ← 0x13b9dc
002d2853
002d2853 00 00 00 00 05 00 00 00 00 00 00 00 00 .............
002d2860 00 00 00 00 ....
002d2864
002d2864 SwitchTable
002d2864 0x101 0x13cda5 0xa2
002d287c
002d287c 04 00 05 00 ....
002d2880 05 00 00 00 00 00 00 00 d5 c2 13 00 00 00 00 00 ................
002d2890 a2 00 00 00 01 02 00 00 08 bc 13 00 00 00 00 00 ................
002d28a0 a2 00 08 00 00 00 05 00 08 00 10 00 11 00 13 00 ................
002d28b0 70 00 78 00 01 03 00 00 p.x.....