00328ee0
00328ee0 string "Usage: hevea [OPTION...] [HVA-FILE...|LATEX-FILE...]\n\nConsult all HVA-FILEs and LATEX-FILEs; designate last LATEX-FILE\nas main-input file and translate it to HTML. If no file is given\nor the last file is not a LATEX-FILE work in filter mode: read\nLaTeX-source from standard input and write to standard output.\n\nOptions `-info' or `-text' switch the output format to GNU Info\nor plain text.\n\nOptions:",0 ← 0x190d31
00329071
00329071 00 00 00 00 00 00 07 fc 13 00 00 00 00 00 00 ...............
00329080
00329080 string ") for text or Info output",0
0032909a
0032909a 00 00 00 00 00 06 ......
003290a0 fc 17 00 00 00 00 00 00 ........
003290a8
003290a8 ; WIDTH set the output WIDTH (default:
003290a8 57 49 44 54 48 20 73 65 WIDTH se
003290b0 74 20 74 68 65 20 6f 75 74 70 75 74 20 57 49 44 t the output WID
003290c0 54 48 20 28 64 65 66 61 75 6c 74 3a TH (default:
003290cc
003290cc SwitchTable
003290cc 0x7fc 0x772d 0xffc
003290e4
003290e4 00 00 00 00 ....
003290e8
003290e8 ; suppress warnings ← 0x190b2c
003290e8 20 73 75 70 70 72 65 73 suppres
003290f0 73 20 77 61 s wa
003290f4
003290f4 SwitchTable
003290f4 0x7367 0x7fc 0x732d 0x17fc
00329114
00329114 00 00 00 00 ....
00329118
00329118 ; FILE redirect Hevea output to FILE ← 0x190b81
00329118 46 49 4c 45 20 72 65 64 FILE red
00329120 69 72 65 63 74 20 48 65 76 65 61 20 6f 75 74 70 irect Hevea outp
00329130 75 74 20 74 ut t
00329134
00329134 SwitchTable
00329134 0x454c 0x7fc 0x6f2d 0xffc
00329154
00329154 00 00 00 00 ....
00329158
00329158 string " output plain text",0 ← 0x190bcf
0032916b
0032916b 00 00 00 00 05 .....
00329170 fc 07 00 00 00 00 00 00 ........
00329178
00329178 string "-text",0 ← 0x190bc1
0032917e
0032917e 00 02 ..
00329180 fc 13 00 00 00 00 00 00 ........
00329188
00329188 string " output GNU Info file(s)",0 ← 0x190c1d
003291a1
003291a1 00 00 00 00 00 00 07 fc 07 00 00 00 00 00 00 ...............
003291b0
003291b0 uint8_t g_3291b0 ← camlParse_opts.entry
003291b0 00 00 00 00 00 00 00 07 00 00 00 00 00 00 00 00 ................
003291c0 00 00 00 00 ....
003291c4
003291c4 SwitchTable
003291c4 0x2c 0x191237 0x21
003291dc
003291dc d4 03 00 00 ....
003291e0 f2 11 19 00 00 00 00 00 21 00 00 00 54 04 00 00 ........!...T...
003291f0 e1 11 19 00 00 00 00 00 21 00 00 00 3c 04 00 00 ........!...<...
00329200 d0 11 19 00 00 00 00 00 21 00 00 00 7c 03 00 00 ........!...|...
00329210 f7 10 19 00 00 00 00 00 31 00 01 00 10 00 00 00 ........1.......
00329220 e0 03 00 00 00 00 00 00 da 10 19 00 00 00 00 00 ................
00329230 21 00 00 00 94 03 00 00 c6 10 19 00 00 00 00 00 !...............
00329240 21 00 02 00 00 00 08 00 e8 03 00 00 00 00 00 00 !...............
00329250 8a 10 19 00 00 00 00 00 21 00 00 00 34 03 00 00 ........!...4...
00329260 f6 0f 19 00 00 00 00 00 21 00 00 00 3c 03 00 00 ........!...<...
00329270 bb 0e 19 00 00 00 00 00 31 00 03 00 10 00 18 00 ........1.......
00329280 20 00 00 00 5c 03 00 00 ab 0e 19 00 00 00 00 00 ...\...........
00329290 31 00 03 00 10 00 18 00 20 00 00 00 5c 03 00 00 1....... ...\...
003292a0 7e 0e 19 00 00 00 00 00 21 00 02 00 00 00 08 00 ~.......!.......
003292b0 40 03 00 00 00 00 00 00 44 0e 19 00 00 00 00 00 @.......D.......
003292c0 21 00 02 00 00 00 08 00 10 03 00 00 00 00 00 00 !...............
003292d0 bc 0d 19 00 00 00 00 00 22 00 02 00 01 00 03 00 ........".......
003292e0 01 01 00 00 00 00 00 00 a9 0d 19 00 00 00 00 00 ................
003292f0 21 00 00 00 2c 03 00 00 4b 0d 19 00 00 00 00 00 !...,...K.......
00329300 21 00 00 00 14 03 00 00 !.......
00329308
00329308 SwitchTable
00329308 0x190d31 0x20 0x190aa5
00329320
00329320 22 00 02 00 01 00 08 00 18 01 02 00 01 02 00 01 "...............
00329330 02 00 01 02 00 01 02 00 01 02 00 01 02 00 01 02 ................
00329340 00 00 00 00 00 00 00 00 99 0a 19 00 00 00 00 00 ................
00329350 21 00 01 00 08 00 00 00 48 02 00 00 00 00 00 00 !.......H.......
00329360 8d 0a 19 00 00 00 00 00 21 00 01 00 08 00 00 00 ........!.......
00329370 30 02 00 00 00 00 00 00 18 07 19 00 00 00 00 00 0...............
00329380 22 00 02 00 03 00 08 00 21 01 02 00 01 02 00 01 ".......!.......
00329390 02 00 01 02 00 01 02 00 01 02 00 01 ............
0032939c
0032939c SwitchTable
0032939c 0x20100 0x2 0x190709 0x10021
003293bc
003293bc 08 00 00 00 ....
003293c0 10 02 00 00 00 00 00 00 fd 06 19 00 00 00 00 00 ................
003293d0 21 00 01 00 08 00 00 00 f8 01 00 00 00 00 00 00 !...............
003293e0 3d 06 19 00 00 00 00 00 22 00 00 00 06 01 02 00 =.......".......
003293f0 01 02 00 00 00 00 00 00 04 05 19 00 00 00 00 00 ................
00329400 22 00 00 00 05 00 00 00 00 00 00 00 00 00 00 00 "...............
00329410 b8 03 19 00 00 00 00 00 22 00 00 00 05 00 00 00 ........".......
00329420 00 00 00 00 00 00 00 00 82 03 19 00 00 00 00 00 ................
00329430 22 00 00 00 01 00 00 00 50 03 19 00 00 00 00 00 ".......P.......
00329440 22 00 00 00 01 00 00 00 1b 03 19 00 00 00 00 00 "...............
00329450 22 00 00 00 01 00 00 00 9b 02 19 00 00 00 00 00 "...............
00329460 22 00 00 00 01 00 00 00 58 02 19 00 00 00 00 00 ".......X.......
00329470 12 00 02 00 01 00 03 00 02 01 00 00 00 00 00 00 ................
00329480 5f 02 19 00 00 00 00 00 12 00 02 00 00 00 01 00 _...............
00329490
00329490 SwitchTable
00329490 0x10102 0x1901d2 0x10011 0x160 0x190170 0x10011 0xf8 0x190156
003294d0 0x10011 0x138 0x1900e1
003294a0
003294a0 PointerTable
003294a0 0x10011 0x160
003294b8
003294b8 PointerTable
003294b8 0x10011 0xf8
003294d0
003294d0 PointerTable
003294d0 0x10011 0x138
003294e8
003294e8 09 00 00 00 fc 00 00 00 ........
003294f0 dc 00 19 00 00 00 00 00 09 00 00 00 2c 01 00 00 ............,...
00329500 c9 00 19 00 00 00 00 00 09 00 00 00 74 00 00 00 ............t...
00329510 c4 00 19 00 00 00 00 00 09 00 00 00 7c 00 00 00 ............|...
00329520 ef ff 18 00 00 00 00 00 09 00 00 00 94 00 00 00 ................
00329530
00329530 SwitchTable
00329530 0x18ff74 0x1000a 0x18ff24 0x1000a 0x18feaa 0x1000a
00329560
00329560 00 00 00 00 00 00 00 00 4a fe 18 00 00 00 00 00 ........J.......
00329570 0a 00 01 00 01 00 02 01 00 00 00 00 ............
0032957c
0032957c SwitchTable
0032957c 0x180 0x120 0x140 0x168 0x120 0x118 0x110 0xa8
003295bc 0x140 0x108 0xf0 0xb8 0xb0 0x118 0xa0 0x98
003295fc 0xd0 0x70 0xd8 0xa8 0xa0 0xd8 0xa0 0x70
0032963c 0x68
00329644
00329644 00 55 c0 06 73 74 64 6c 69 62 2e 6d .U..stdlib.m
00329650 6c 00 70 61 72 73 65 5f 6f 70 74 73 2e 6d 6c 00 l.parse_opts.ml.
00329660 e8 ff ff ff 53 74 64 6c 69 62 2e 70 72 65 72 72 ....Stdlib.prerr
00329670 5f 73 74 72 69 6e 67 00 da ff ff ff 50 61 72 73 _string.....Pars
00329680 65 5f 6f 70 74 73 2e 66 66 69 72 73 74 00 00 00 e_opts.ffirst...
00329690 c2 ff ff ff 50 61 72 73 65 5f 6f 70 74 73 2e 62 ....Parse_opts.b
003296a0 61 73 65 5f 69 6e 00 00 aa ff ff ff 50 61 72 73 ase_in......Pars
003296b0 65 5f 6f 70 74 73 2e 6e 61 6d 65 5f 6f 75 74 00 e_opts.name_out.
003296c0 92 ff ff ff 50 61 72 73 65 5f 6f 70 74 73 00 00 ....Parse_opts..
003296d0 82 ff ff ff 50 61 72 73 65 5f 6f 70 74 73 2e 62 ....Parse_opts.b
003296e0 61 73 65 5f 6f 75 74 00 6a ff ff ff 50 61 72 73 ase_out.j...Pars
003296f0 65 5f 6f 70 74 73 2e 77 61 72 6e 69 6e 67 00 00 e_opts.warning..
00329700 52 ff ff ff 50 61 72 73 65 5f 6f 70 74 73 2e 28 R...Parse_opts.(
00329710 66 75 6e 29 fun)
00329714
00329714 SwitchTable uint64_t
00329714 0xf00 0x1 0x1 0x1 0x329720
0032973c
0032973c 00 00 00 00 ....
00329740 00 00 00 00 00 00 00 00 fc 07 00 00 00 00 00 00 ................
00329750
00329750 string " of ",0 ← 0x1912d7
00329755
00329755 00 00 03 fc 0b 00 00 00 00 00 00 ...........
00329760
00329760 string "2022-06-15",0 ← 0x191283 0x1912d0
0032976b
0032976b 00 00 00 00 05 .....
00329770 fc 07 00 00 00 00 00 00 ........
00329778
00329778 string "2.36",0 ← 0x191262 0x1912c4 0x1912e6 0x19130c
0032977d
0032977d 00 00 03 ...
00329780 00 00 00 00 00 00 00 00 00 00 00 00 ............
0032978c
0032978c SwitchTable
0032978c 0x3 0x1912f2 0x19
003297a4
003297a4 34 00 00 00 e3 12 19 00 00 00 00 00 4...........
003297b0 19 00 00 00 1c 00 00 00 d0 12 19 00 00 00 00 00 ................
003297c0 19 00 00 00 04 00 00 00 ........
003297c8
003297c8 SwitchTable
003297c8 0x30 0x44 0x3c
003297e0
003297e0 76 65 72 73 69 6f 6e 2e 6d 6c 00 73 74 72 69 6e version.ml.strin
003297f0 67 2e 6d 6c 00 00 00 00 f3 ff ff ff 53 74 64 6c g.ml........Stdl
00329800 69 62 5f 5f 53 74 72 69 6e 67 2e 69 6e 64 65 78 ib__String.index
00329810 00 00 00 00 cc ff ff ff 56 65 72 73 69 6f 6e 2e ........Version.
00329820 76 65 72 73 vers
00329824
00329824 SwitchTable uint64_t
00329824 0xff7 0xf7020 0x7 0x191350 0xff7 0xf7020 0x7 0x191550
00329864 0xff7 0xf6f30 0x7 0x191700 0xff7 0xf7020 0x7 0x191750
003298a4 0xbf7 0x1917a0 0x5 0x1b00 0x1 0x1 0x1 0x1
003298e4 0x1 0x1 0x3298c8
003298fc
003298fc 00 00 00 00 ....
00329900 00 00 00 00 00 00 00 00 fc 0f 00 00 00 00 00 00 ................
00329910
00329910 string "Cannot open file: ",0 ← 0x1915b7
00329923
00329923 00 00 00 00 05 fc 0f 00 00 00 00 00 00 .............
00329930
00329930 string "Cannot read file ",0 ← 0x19143b
00329942
00329942 00 00 00 00 00 06 fc 0b 00 00 00 00 00 00 ..............
00329950
00329950 string "Mysys.Error",0 ← 0x191805
0032995c
0032995c 00 00 00 04 ....
00329960 00 00 00 00 00 00 00 00 00 00 00 00 ............
0032996c
0032996c SwitchTable
0032996c 0x1b 0x1917f9 0x1000a 0x1917cd 0x11
00329994
00329994 7c 02 00 00 |...
00329998
00329998 SwitchTable
00329998 0x1917b7 0x10011 0x250 0x191798
003299a0
003299a0 PointerTable
003299a0 0x10011 0x250
003299b8
003299b8 19 00 00 00 4c 02 00 00 ....L...
003299c0 83 17 19 00 00 00 00 00 19 00 02 00 00 00 08 00 ................
003299d0 30 02 00 00 00 00 00 00 6c 17 19 00 00 00 00 00 0.......l.......
003299e0 19 00 02 00 00 00 08 00 ........
003299e8
003299e8 SwitchTable
003299e8 0x270 0x191733 0x10011 0x230 0x1916ae 0x10029 0x1b8 0x191695
003299f8
003299f8 PointerTable
003299f8 0x10011 0x230
00329a28
00329a28 39 00 01 00 20 00 00 00 9... ...
00329a30 20 02 00 00 00 00 00 00 8b 16 19 00 00 00 00 00 ...............
00329a40 39 00 01 00 20 00 00 00 80 01 00 00 00 00 00 00 9... ...........
00329a50 81 16 19 00 00 00 00 00 39 00 02 00 18 00 20 00 ........9..... .
00329a60 90 01 00 00 00 00 00 00 74 16 19 00 00 00 00 00 ........t.......
00329a70 39 00 03 00 10 00 18 00 20 00 00 00 ac 01 00 00 9....... .......
00329a80 ca 16 19 00 00 00 00 00 3a 00 04 00 01 00 10 00 ........:.......
00329a90 20 00 28 00 01 02 00 00 .(.....
00329a98
00329a98 SwitchTable
00329a98 0x1916d4 0x1002a 0x1915c8
00329ab0
00329ab0 29 00 00 00 24 01 00 00 94 15 19 00 00 00 00 00 )...$...........
00329ac0 39 00 02 00 10 00 28 00 80 01 00 00 00 00 00 00 9.....(.........
00329ad0 23 15 19 00 00 00 00 00 19 00 01 00 08 00 00 00 #...............
00329ae0 40 01 00 00 00 00 00 00 1a 15 19 00 00 00 00 00 @...............
00329af0 19 00 02 00 00 00 08 00 48 01 00 00 00 00 00 00 ........H.......
00329b00 f6 14 19 00 00 00 00 00 19 00 01 00 08 00 00 00 ................
00329b10 28 01 00 00 00 00 00 00 3f 15 19 00 00 00 00 00 (.......?.......
00329b20 1a 00 02 00 03 00 08 00 00 00 00 00 ............
00329b2c
00329b2c SwitchTable
00329b2c 0x19149e 0x1002a 0x19144b 0x29
00329b4c
00329b4c 74 00 00 00 t...
00329b50 1b 14 19 00 00 00 00 00 38 00 01 00 10 00 00 00 ........8.......
00329b60 0a 14 19 00 00 00 00 00 39 00 02 00 10 00 28 00 ........9.....(.
00329b70 78 00 00 00 00 00 00 00 a5 14 19 00 00 00 00 00 x...............
00329b80 3a 00 05 00 01 00 10 00 18 00 20 00 28 00 01 05 :......... .(...
00329b90 ac 13 19 00 00 00 00 00 39 00 03 00 10 00 18 00 ........9.......
00329ba0 20 00 00 00 74 00 00 00 91 13 19 00 00 00 00 00 ...t...........
00329bb0 39 00 02 00 10 00 18 00 28 00 00 00 00 00 00 00 9.......(.......
00329bc0 8c 01 00 00 58 45 e0 00 14 01 00 1c ....XE......
00329bcc
00329bcc SwitchTable
00329bcc 0x10c 0x104 0x16c 0x164 0xec 0x84 0xb0 0xa8
00329c0c 0x6c 0xdc 0x10c 0xb4 0x60 0xf4 0xcc 0x7c
00329c4c 0x8c 0x58
00329c5c
00329c5c b8 14 90 01 ....
00329c60
00329c60 string "stdlib.ml",0
00329c6a
00329c6a string "bytes.ml",0
00329c73
00329c73 string "mysys.ml",0
00329c7c
00329c7c f7 ff ff ff ....
00329c80 4d 79 73 79 73 2e 72 65 6d 6f 76 65 00 00 00 00 Mysys.remove....
00329c90 e3 ff ff ff 4d 79 73 79 73 2e 63 6f 70 79 5f 66 ....Mysys.copy_f
00329ca0 72 6f 6d 5f 6c 69 62 5f 74 6f 5f 64 69 72 00 00 rom_lib_to_dir..
00329cb0 c3 ff ff ff 4d 79 73 79 73 2e 72 65 6e 61 6d 65 ....Mysys.rename
00329cc0 00 00 00 00 9c ff ff ff 53 74 64 6c 69 62 2e 6f ........Stdlib.o
00329cd0 70 65 6e 5f 6f 75 74 5f 62 69 6e 00 97 ff ff ff pen_out_bin.....
00329ce0 4d 79 73 79 73 2e 63 6f 70 79 5f 66 72 6f 6d 5f Mysys.copy_from_
00329cf0 6c 69 62 00 6c ff ff ff 53 74 64 6c 69 62 2e 6f lib.l...Stdlib.o
00329d00 70 65 6e 5f 69 6e 5f 62 69 6e 00 00 5e ff ff ff pen_in_bin..^...
00329d10 53 74 64 6c 69 62 5f 5f 42 79 74 65 73 2e 73 75 Stdlib__Bytes.su
00329d20 62 5f 73 74 72 69 6e 67 00 00 00 00 47 ff ff ff b_string....G...
00329d30 4d 79 73 79 73 2e 70 75 74 5f 66 72 6f 6d 5f 66 Mysys.put_from_f
00329d40 69 6c 65 2e 64 6f 5f 72 65 63 00 00 27 ff ff ff ile.do_rec..'...
00329d50 4d 79 73 79 73 2e 70 75 74 5f 66 72 6f 6d 5f 66 Mysys.put_from_f
00329d60 69 6c 65 00 ile.
00329d64
00329d64 SwitchTable
00329d64 0xb00 0x1 0x1 0x329d70
00329d84
00329d84 00 00 00 00 00 00 00 00 00 00 00 00 ............
00329d90 fc 0b 00 00 00 00 00 00 ........
00329d98
00329d98 string "HEVEADIR",0 ← 0x19190e
00329da1
00329da1 00 00 00 00 00 00 07 fc 0f 00 00 00 00 00 00 ...............
00329db0
00329db0 string "/usr/share/hevea",0 ← 0x1900c9 0x1918e0 0x19193b
00329dc1
00329dc1 00 00 00 00 00 00 07 00 00 00 00 00 00 00 00 ...............
00329dd0 00 00 00 00 ....
00329dd4
00329dd4 SwitchTable
00329dd4 0x1 0x191921 0x19
00329dec
00329dec 04 00 00 00 ....
00329df0 14 00 00 00 30 45 78 00 6d 79 6c 69 62 2e 6d 6c ....0Ex.mylib.ml
00329e00 00 00 00 00 f4 ff ff ff 4d 79 6c 69 62 2e 6c 69 ........Mylib.li
00329e10 62 64 69 72 bdir
00329e14
00329e14 SwitchTable uint64_t
00329e14 0xff7 0xf7020 0x7 0x191d10 0xff7 0xf7020 0x7 0x191f90
00329e54 0xbf7 0x191980 0x5 0xbf7 0x1919c0 0x5 0xff7 0xf7020
00329e94 0x7 0x191a50 0xbf7 0x191ab0 0x5 0xbf7 0x191ae0 0x5
00329ed4 0xbf7 0x191b20 0x5 0xff7 0xf7020 0x7 0x191b60 0xff7
00329f14 0xf7020 0x7 0x191bd0 0xff7 0xf7020 0x7 0x191e50 0xbf7
00329f54 0x1920d0 0x5 0xbf7 0x1920c0 0x5 0xbf7 0x1920e0 0x5
00329f94 0xbf7 0x192130 0x5 0xbf7 0x192180 0x5 0xbf7 0x192160
00329fd4 0x5 0xbf7 0x1921b0 0x5 0xbf7 0x192260 0x5 0xff7
0032a014 0xf7020 0x7 0x1922e0 0xff7 0xf7020 0x7 0x192330 0xbf7
0032a054 0x192440 0x5 0x9300 0x1 0x1 0x1 0x1 0x1
0032a094 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
0032a0d4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
0032a114 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
0032a154 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x32a070
0032a194
0032a194 00 00 00 00 00 00 00 00 00 00 00 00 ............
0032a1a0 fc 0b 00 00 00 00 00 00 ........
0032a1a8
0032a1a8 string "Misc.CannotPut",0 ← 0x192929
0032a1b7
0032a1b7 01 fc 0b 00 00 00 00 00 00 .........
0032a1c0
0032a1c0 string "Misc.Close",0 ← 0x1928dc
0032a1cb
0032a1cb 00 00 00 00 05 .....
0032a1d0 fc 0f 00 00 00 00 00 00 ........
0032a1d8
0032a1d8 string "Misc.EndDocument",0 ← 0x19288f
0032a1e9
0032a1e9 00 00 00 00 00 00 07 .......
0032a1f0 fc 0b 00 00 00 00 00 00 ........
0032a1f8
0032a1f8 string "Misc.EndInput",0 ← 0x192842
0032a206
0032a206 00 02 fc 0b 00 00 00 00 00 00 ..........
0032a210
0032a210 string "Misc.UserError",0 ← 0x1927f5
0032a21f
0032a21f 01 .
0032a220 fc 0b 00 00 00 00 00 00 ........
0032a228
0032a228 string "Misc.ScanError",0 ← 0x1927a8
0032a237
0032a237 01 fc 0b 00 00 00 00 00 00 .........
0032a240
0032a240 string "Misc.Purposly",0 ← 0x19275b
0032a24e
0032a24e 00 02 ..
0032a250 fc 0b 00 00 00 00 00 00 ........
0032a258
0032a258 ; Misc.NoSupport ← 0x19270e
0032a258 4d 69 73 63 2e 4e 6f 53 Misc.NoS
0032a260 75 70 70 6f uppo
0032a264
0032a264 SwitchTable
0032a264 0xf00 0x32a290 0x103 0x13 0x7fc
0032a268
0032a268 PointerTable
0032a268 0xf00 0x32a290
0032a28c
0032a28c 00 00 00 00 ....
0032a290
0032a290 string "misc.ml",0
0032a298
0032a298 fc 07 00 00 00 00 00 00 ........
0032a2a0
0032a2a0 uint8_t g_32a2a0 ← camlHevea.do_rec_1805 camlLatexscan.fun_6137 camlLatexscan.fun_6151 camlLatexscan.fun_6171 camlLatexscan.fun_6179 camlImage.finalize_456 camlMisc.get_image_opt_724
0032a2a0 00 00 00 00 00 00 00 07 fc 07 00 00 00 00 00 00 ................
0032a2b0
0032a2b0 string "\\end" ← 0x1081c5 0x108cad 0x108e48 0x1094da 0x1178c6 0x117ec8 0x12a7a2 0x12a814 0x12a9bd 0x12aeeb 0x12f81c 0x1920d3
0032a2b4
0032a2b4 SwitchTable
0032a2b4 0x7fc 0x5c 0xbfc
0032a2cc
0032a2cc 00 00 00 00 ....
0032a2d0
0032a2d0 ; Warning: ← 0x191a16
0032a2d0 57 61 72 6e Warn
0032a2d4
0032a2d4 SwitchTable
0032a2d4 0x20 0x7fc 0x40 0x7fc 0x405c 0xffc
0032a304
0032a304 00 00 00 00 ....
0032a308
0032a308 string "Misc.EndOfLispComment",0 ← 0x192976
0032a31e
0032a31e 00 02 ..
0032a320 fc 0b 00 00 00 00 00 00 ........
0032a328
0032a328 string "Misc.Fatal",0 ← 0x1926c5
0032a333
0032a333 00 00 00 00 05 00 00 00 00 00 00 00 00 .............
0032a340 00 00 00 00 ....
0032a344
0032a344 SwitchTable
0032a344 0x37 0x192c79 0xa
0032a35c
0032a35c 01 00 00 00 ....
0032a360 fc 2b 19 00 00 00 00 00 0a 00 00 00 01 00 00 00 .+..............
0032a370 41 2a 19 00 00 00 00 00 0a 00 00 00 01 00 00 00 A*..............
0032a380 a7 29 19 00 00 00 00 00 0a 00 00 00 03 00 00 00 .)..............
0032a390
0032a390 SwitchTable
0032a390 0x19296a 0x1000a 0x19291d 0x1000a 0x1928d0 0x1000a 0x192883 0x1000a
0032a3d0 0x192836 0x1000a 0x1927e9 0x1000a 0x19279c 0x1000a 0x19274f 0x1000a
0032a410 0x192702 0x1000a 0x1926b9 0x1000a 0x192696
0032a438
0032a438 0a 00 02 00 01 00 03 00 ........
0032a440 00 00 00 00 00 00 00 00 af 25 19 00 00 00 00 00 .........%......
0032a450 0a 00 02 00 01 00 03 00 00 00 00 00 00 00 00 00 ................
0032a460 3f 25 19 00 00 00 00 00 19 00 00 00 9c 03 00 00 ?%..............
0032a470 16 25 19 00 00 00 00 00 19 00 01 00 08 00 00 00 .%..............
0032a480 58 03 00 00 00 00 00 00 49 25 19 00 00 00 00 00 X.......I%......
0032a490 1a 00 02 00 01 00 08 00 03 03 03 02 00 00 00 00 ................
0032a4a0 1e 24 19 00 00 00 00 00 32 00 03 00 08 00 10 00 .$......2.......
0032a4b0 18 00 00 00 00 00 00 00 dc 23 19 00 00 00 00 00 .........#......
0032a4c0 31 00 03 00 08 00 10 00 18 00 00 00 5c 03 00 00 1...........\...
0032a4d0 cf 23 19 00 00 00 00 00 31 00 03 00 08 00 10 00 .#......1.......
0032a4e0 18 00 00 00 9c 03 00 00 76 23 19 00 00 00 00 00 ........v#......
0032a4f0 31 00 02 00 08 00 10 00 28 03 00 00 00 00 00 00 1.......(.......
0032a500 0c 23 19 00 00 00 00 00 19 00 01 00 08 00 00 00 .#..............
0032a510
0032a510 SwitchTable
0032a510 0x2e8 0x1922fe 0x10019 0x350 0x1922d8
0032a538
0032a538 0a 00 00 00 01 01 00 00 ........
0032a540 26 22 19 00 00 00 00 00 0a 00 01 00 01 00 02 04 &"..............
0032a550 00 00 00 00 00 00 00 00 20 21 19 00 00 00 00 00 ........ !......
0032a560 0a 00 01 00 01 00 01 00 90 20 19 00 00 00 00 00 ......... ......
0032a570 1a 00 04 00 03 00 05 00 07 00 09 00 01 04 00 00 ................
0032a580 2e 20 19 00 00 00 00 00 19 00 02 00 00 00 08 00 . ..............
0032a590
0032a590 SwitchTable
0032a590 0x2a8 0x191fca 0x10011 0x2c0 0x191f5f
0032a5a0
0032a5a0 PointerTable
0032a5a0 0x10011 0x2c0
0032a5b8
0032a5b8 22 00 03 00 00 00 08 00 ".......
0032a5c0 10 00 01 03 00 00 00 00 0b 1f 19 00 00 00 00 00 ................
0032a5d0 21 00 03 00 00 00 08 00 10 00 00 00 6c 02 00 00 !...........l...
0032a5e0 66 1f 19 00 00 00 00 00 22 00 03 00 00 00 01 00 f.......".......
0032a5f0 08 00 02 04 00 00 00 00 9f 1e 19 00 00 00 00 00 ................
0032a600 21 00 02 00 00 00 08 00 c8 01 00 00 00 00 00 00 !...............
0032a610 70 1f 19 00 00 00 00 00 22 00 02 00 00 00 08 00 p.......".......
0032a620 01 00 00 00 00 00 00 00 77 1e 19 00 00 00 00 00 ........w.......
0032a630 21 00 02 00 00 00 08 00 b8 01 00 00 00 00 00 00 !...............
0032a640 20 1e 19 00 00 00 00 00 1a 00 04 00 03 00 05 00 ...............
0032a650 07 00 09 00 01 04 00 00 be 1d 19 00 00 00 00 00 ................
0032a660 19 00 02 00 00 00 08 00 ........
0032a668
0032a668 SwitchTable
0032a668 0x208 0x191d5a 0x10011 0x180 0x191d22
0032a678
0032a678 PointerTable
0032a678 0x10011 0x180
0032a690
0032a690 09 00 00 00 84 01 00 00 df 1c 19 00 00 00 00 00 ................
0032a6a0 22 00 03 00 00 00 08 00 10 00 01 03 00 00 00 00 "...............
0032a6b0 8b 1c 19 00 00 00 00 00 21 00 03 00 00 00 08 00 ........!.......
0032a6c0 10 00 00 00 7c 01 00 00 e6 1c 19 00 00 00 00 00 ....|...........
0032a6d0 22 00 03 00 00 00 01 00 08 00 02 04 00 00 00 00 "...............
0032a6e0 1f 1c 19 00 00 00 00 00 21 00 02 00 00 00 08 00 ........!.......
0032a6f0 70 01 00 00 00 00 00 00 f0 1c 19 00 00 00 00 00 p...............
0032a700 22 00 02 00 00 00 08 00 01 00 00 00 00 00 00 00 "...............
0032a710 f7 1b 19 00 00 00 00 00 21 00 02 00 00 00 08 00 ........!.......
0032a720 c8 00 00 00 00 00 00 00 9a 1b 19 00 00 00 00 00 ................
0032a730 19 00 02 00 00 00 08 00 a8 00 00 00 00 00 00 00 ................
0032a740 b4 1b 19 00 00 00 00 00 1a 00 02 00 01 00 03 00 ................
0032a750 00 00 00 00 ....
0032a754
0032a754 SwitchTable
0032a754 0x191b5c 0x1000a 0x191b1b 0x1000a 0x191a83 0x10011 0xd0 0x191a30
0032a794 0x10011 0x70 0x191a16 0x10011 0x98 0x19199a 0x9
0032a780
0032a780 PointerTable
0032a780 0x10011 0xd0
0032a798
0032a798 PointerTable
0032a798 0x10011 0x70
0032a7b0
0032a7b0 PointerTable
0032a7b0 0x10011 0x98
0032a7cc
0032a7cc 64 00 00 00 d...
0032a7d0
0032a7d0 SwitchTable
0032a7d0 0x1e0 0x254 0x19c 0xd4 0x144 0x220 0x118 0x15c
0032a810 0x94 0xbc 0x130 0x128 0xcc 0x1ac
0032a840
0032a840 7c 00 00 04 71 08 0a 02 ec 00 00 f8 |...q.......
0032a84c
0032a84c SwitchTable
0032a84c 0x1b4 0x178 0x130 0x17c 0xa8 0x1a0 0xd0
0032a884
0032a884 60 61 58 04 `aX.
0032a888
0032a888 string "stdlib.ml",0
0032a892
0032a892 string "string.ml",0
0032a89c
0032a89c string "misc.ml",0
0032a8a4
0032a8a4 e4 ff ff ff 53 74 64 6c 69 62 2e 70 ....Stdlib.p
0032a8b0 72 65 72 72 5f 73 74 72 69 6e 67 00 e0 ff ff ff rerr_string.....
0032a8c0 4d 69 73 63 2e 63 6f 70 79 5f 68 61 73 68 74 62 Misc.copy_hashtb
0032a8d0 6c 00 00 00 c8 ff ff ff 4d 69 73 63 2e 63 6f 70 l.......Misc.cop
0032a8e0 79 5f 68 61 73 68 74 62 6c 2e 4f 53 74 72 69 6e y_hashtbl.OStrin
0032a8f0 67 2e 63 6f 6d 70 61 72 65 00 00 00 a0 ff ff ff g.compare.......
0032a900 4d 69 73 63 2e 63 6f 6c 75 6d 6e 5f 74 6f 5f 63 Misc.column_to_c
0032a910 6f 6d 6d 61 6e 64 00 00 84 ff ff ff 4d 69 73 63 ommand......Misc
0032a920 2e 63 6f 70 79 5f 68 61 73 68 74 62 6c 2e 28 66 .copy_hashtbl.(f
0032a930 75 6e 29 00 68 ff ff ff 4d 69 73 63 2e 63 6f 70 un).h...Misc.cop
0032a940 79 5f 69 6e 74 5f 68 61 73 68 74 62 6c 00 00 00 y_int_hashtbl...
0032a950 4c ff ff ff 4d 69 73 63 2e 73 74 72 69 6e 67 5f L...Misc.string_
0032a960 6d 61 70 00 2e ff ff ff 53 74 64 6c 69 62 5f 5f map.....Stdlib__
0032a970 53 74 72 69 6e 67 2e 73 75 62 00 00 20 ff ff ff String.sub.. ...
0032a980 4d 69 73 63 2e 72 65 76 5f 69 74 65 72 00 00 00 Misc.rev_iter...
0032a990 0c ff ff ff 4d 69 73 63 2e 63 6f 70 79 5f 68 61 ....Misc.copy_ha
0032a9a0 73 68 74 62 6c 2e 53 74 72 69 6e 67 73 00 00 00 shtbl.Strings...
0032a9b0 ec fe ff ff 4d 69 73 63 2e 63 6f 70 79 5f 69 6e ....Misc.copy_in
0032a9c0 74 5f 68 61 73 68 74 62 6c 2e 49 6e 74 73 00 00 t_hashtbl.Ints..
0032a9d0 cc fe ff ff 4d 69 73 63 2e 70 72 69 6e 74 5f 76 ....Misc.print_v
0032a9e0 65 72 62 00 b8 fe ff ff 4d 69 73 63 2e 63 6f 70 erb.....Misc.cop
0032a9f0 79 5f 69 6e 74 5f 68 61 73 68 74 62 6c 2e 28 66 y_int_hashtbl.(f
0032aa00 75 6e 29 00 98 fe ff ff 4d 69 73 63 2e 77 61 72 un).....Misc.war
0032aa10 6e 69 6e 67 00 00 00 00 84 fe ff ff 4d 69 73 63 ning........Misc
0032aa20 2e 68 65 78 61 5f 63 6f 64 65 00 00 70 fe ff ff .hexa_code..p...
0032aa30 4d 69 73 63 2e 63 68 6f 70 5f 74 72 61 69 6c 69 Misc.chop_traili
0032aa40 6e 67 5f 73 ng_s
0032aa44
0032aa44 SwitchTable
0032aa44 0x73 0xbf7 0x193780 0x5 0xbf7 0x193710 0x5 0xbf7
0032aa84 0x1936a0 0x5 0xff7 0xf70c0 0x7 0x193080 0xbf7 0x192e40
0032aac4 0x5 0xbf7 0x192db0 0x5 0xbf7 0x192f00 0x5 0xbf7
0032ab04 0x192f20 0x5 0xbf7 0x192f90 0x5 0xbf7 0x192f40 0x5
0032ab44 0xbf7 0x193090 0x5 0xff7 0xf7020 0x7 0x1930a0 0xbf7
0032ab84 0x193210 0x5 0xff7 0xf6b90 0x7 0x193250 0xff7 0xf6dc0
0032abc4 0x7 0x193330 0xbf7 0x193340 0x5 0xbf7 0x1934d0 0x5
0032ac04 0xbf7 0x193540 0x5 0xff7 0xf7020 0x7 0x193570 0xbf7
0032ac44 0x193790 0x5 0x6300 0x1 0x1 0x1 0x1 0x1
0032ac84 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
0032acc4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
0032ad04 0x1 0x1 0x1 0x32ac60
0032ad24
0032ad24 00 00 00 00 00 00 00 00 ........
0032ad2c
0032ad2c SwitchTable
0032ad2c 0x7fc 0x203a 0x7fc 0x3a 0xb00
0032ad54
0032ad54 00 00 00 00 ....
0032ad58
0032ad58 SwitchTable ← camlLocation.do_get_pos_402
0032ad58 0xf4016 0xf4016 0xf4016 0xf4016
0032ad68
0032ad68 00 0b 00 00 00 00 00 00 ........
0032ad70
0032ad70 uint8_t g_32ad70 ← camlLocation.set_382 camlLocation.entry
0032ad70 01 00 00 00 00 00 00 00 03 00 00 00 00 00 00 00 ................
0032ad80 fc 07 00 00 00 00 00 00 ........
0032ad88
0032ad88 uint8_t g_32ad88 ← camlLocation.entry
0032ad88 00 00 00 00 00 00 00 07 ........
0032ad90 fc 0b 00 00 00 00 00 00 ........
0032ad98
0032ad98 string "location",0 ← 0x1937ca
0032ada1
0032ada1 00 00 00 00 00 00 07 00 00 00 00 00 00 00 00 ...............
0032adb0 00 00 00 00 ....
0032adb4
0032adb4 SwitchTable
0032adb4 0x25 0x19380c 0x1000a
0032adcc
0032adcc 01 00 04 00 ....
0032add0 00 00 00 00 00 00 00 00 03 38 19 00 00 00 00 00 .........8......
0032ade0 09 00 00 00 2c 03 00 00 b7 37 19 00 00 00 00 00 ....,....7......
0032adf0 0a 00 00 00 01 02 00 00 ........
0032adf8
0032adf8 SwitchTable
0032adf8 0x19376c 0x1000a 0x193728
0032ae10
0032ae10 09 00 00 00 9c 02 00 00 ........
0032ae18
0032ae18 SwitchTable
0032ae18 0x1936fc 0x1000a 0x1936b8
0032ae30
0032ae30 09 00 00 00 c4 02 00 00 6b 36 19 00 00 00 00 00 ........k6......
0032ae40 21 00 00 00 ac 02 00 00 13 36 19 00 00 00 00 00 !........6......
0032ae50 21 00 00 00 ec 02 00 00 06 36 19 00 00 00 00 00 !........6......
0032ae60 21 00 01 00 10 00 00 00 40 02 00 00 00 00 00 00 !.......@.......
0032ae70 f7 35 19 00 00 00 00 00 21 00 01 00 10 00 00 00 .5......!.......
0032ae80 b8 02 00 00 00 00 00 00 ed 35 19 00 00 00 00 00 .........5......
0032ae90 21 00 02 00 08 00 10 00 50 02 00 00 00 00 00 00 !.......P.......
0032aea0 ce 35 19 00 00 00 00 00 21 00 02 00 00 00 10 00 .5......!.......
0032aeb0 08 02 00 00 00 00 00 00 bf 35 19 00 00 00 00 00 .........5......
0032aec0 21 00 02 00 00 00 10 00 38 02 00 00 00 00 00 00 !.......8.......
0032aed0 b3 35 19 00 00 00 00 00 21 00 02 00 00 00 10 00 .5......!.......
0032aee0 c0 01 00 00 00 00 00 00 58 35 19 00 00 00 00 00 ........X5......
0032aef0 09 00 00 00 a4 01 00 00 ........
0032aef8
0032aef8 SwitchTable
0032aef8 0x193526 0x1000a 0x1934e8
0032af10
0032af10 09 00 00 00 bc 01 00 00 b6 34 19 00 00 00 00 00 .........4......
0032af20 3a 00 02 00 11 00 13 00 01 01 00 00 00 00 00 00 :...............
0032af30 bd 34 19 00 00 00 00 00 3a 00 02 00 11 00 13 00 .4......:.......
0032af40 01 01 00 00 00 00 00 00 0a 34 19 00 00 00 00 00 .........4......
0032af50 39 00 00 00 74 01 00 00 e6 33 19 00 00 00 00 00 9...t....3......
0032af60 38 00 04 00 10 00 18 00 20 00 28 00 00 00 00 00 8....... .(.....
0032af70 1a 33 19 00 00 00 00 00 32 00 03 00 03 00 05 00 .3......2.......
0032af80 07 00 01 02 00 00 00 00 8e 32 19 00 00 00 00 00 .........2......
0032af90 30 00 05 00 00 00 08 00 10 00 18 00 20 00 00 00 0........... ...
0032afa0 21 33 19 00 00 00 00 00 32 00 05 00 01 00 03 00 !3......2.......
0032afb0 05 00 07 00 09 00 00 00 31 32 19 00 00 00 00 00 ........12......
0032afc0 09 00 00 00 fc 00 00 00 f6 31 19 00 00 00 00 00 .........1......
0032afd0 2a 00 01 00 01 00 01 00 59 31 19 00 00 00 00 00 *.......Y1......
0032afe0 29 00 00 00 fc 00 00 00 c9 30 19 00 00 00 00 00 )........0......
0032aff0 19 00 02 00 00 00 08 00 30 01 00 00 00 00 00 00 ........0.......
0032b000 3b 30 19 00 00 00 00 00 11 00 00 00 0c 01 00 00 ;0..............
0032b010 4e 30 19 00 00 00 00 00 12 00 02 00 00 00 01 00 N0..............
0032b020
0032b020 SwitchTable
0032b020 0x301 0x192fe5 0x10011 0xa0 0x192f78 0x10011 0xe0 0x192f5c
0032b030
0032b030 PointerTable
0032b030 0x10011 0xa0
0032b048
0032b048 PointerTable
0032b048 0x10011 0xe0
0032b060
0032b060 11 00 00 00 bc 00 00 00 ........
0032b068
0032b068 SwitchTable
0032b068 0x192f1b 0x8 0x192e62