002f284c
002f284c SwitchTable
002f284c 0xf4016 0xf4016 0xf4016 0xf4016
002f285c
002f285c 00 00 00 03 ....
002f2860 fc 0b 00 00 00 00 00 00 ........
002f2868
002f2868 ; subst.mll
002f2868 73 75 62 73 subs
002f286c
002f286c SwitchTable
002f286c 0x6c 0xb00 0x2f28b0 0x2f2898 0xbfc
002f2880
002f2880 PointerTable ← Subst..ocaml_lex_subst_rec
002f2880 0x2f28b0 0x2f2898
002f2894
002f2894 00 00 00 00 ....
002f2898
002f2898 ; EXPAND: %s
002f2898 45 58 50 41 EXPA
002f289c
002f289c SwitchTable
002f289c 0xa7325 0xb0b 0x2f28f8 0x2f28c8 0xb02 0x1 0x2f28e0 0xb0c
002f28dc 0x15 0x1 0xbfc
002f28b0
002f28b0 PointerTable
002f28b0 0x2f28f8 0x2f28c8
002f28f4
002f28f4 00 00 00 00 ....
002f28f8
002f28f8 string "EXPAND: ",0
002f2901
002f2901 00 00 00 ...
002f2904
002f2904 SwitchTable
002f2904 0x7fc 0x2323 0x23fc
002f291c
002f291c 00 00 00 00 ....
002f2920 06 00 ff ff 02 00 02 00 ff ff ff ff ff ff ff ff ................
002f2930 04 00 04 00 04 00 ff ff 04 00 04 00 04 00 04 00 ................
002f2940 03 00 ff ff ff ff ff ff 02 00 ff ff 01 00 01 00 ................
002f2950 01 00 01 00 01 00 01 00 01 00 00 00 00 00 00 03 ................
002f2960 fc 23 00 00 00 00 00 00 00 00 fa ff 01 00 1e 00 .#..............
002f2970 02 00 fe ff ff ff fb ff 00 00 6f 00 c2 00 fd ff ..........o.....
002f2980 13 01 64 01 b5 01 06 02 57 02 1d 00 fc ff fd ff ..d.....W.......
002f2990 92 02 fe ff 01 00 e3 02 34 03 85 03 d6 03 27 04 ........4.....'.
002f29a0 78 04 c9 04 00 00 00 03 00 00 00 00 00 00 00 00 x...............
002f29b0 00 00 00 00 ....
002f29b4
002f29b4 SwitchTable
002f29b4 0x5f 0x15ec1f 0x1000a
002f29cc
002f29cc 01 00 01 00 ....
002f29d0 1a ec 15 00 00 00 00 00 09 00 00 00 fc 09 00 00 ................
002f29e0
002f29e0 SwitchTable
002f29e0 0x15eb87 0x10011 0xa38 0x15eb63 0x10011 0xa50 0x15eb9c
002f2a18
002f2a18 12 00 02 00 00 00 01 00 ........
002f2a20 00 00 00 00 00 00 00 00 23 eb 15 00 00 00 00 00 ........#.......
002f2a30 09 00 00 00 94 09 00 00 f3 ea 15 00 00 00 00 00 ................
002f2a40 09 00 00 00 ac 08 00 00 c3 ea 15 00 00 00 00 00 ................
002f2a50 09 00 00 00 2c 09 00 00 93 ea 15 00 00 00 00 00 ....,...........
002f2a60 09 00 00 00 14 09 00 00 68 ea 15 00 00 00 00 00 ........h.......
002f2a70 09 00 00 00 4c 09 00 00 63 ea 15 00 00 00 00 00 ....L...c.......
002f2a80 09 00 00 00 64 08 00 00 33 ea 15 00 00 00 00 00 ....d...3.......
002f2a90 09 00 00 00 54 09 00 00 1c ea 15 00 00 00 00 00 ....T...........
002f2aa0 0a 00 02 00 01 00 05 00 01 01 00 00 00 00 00 00 ................
002f2ab0 d2 e9 15 00 00 00 00 00 0a 00 02 00 01 00 03 00 ................
002f2ac0 01 01 00 00 00 00 00 00 95 e9 15 00 00 00 00 00 ................
002f2ad0 0a 00 02 00 01 00 03 00 01 02 00 00 00 00 00 00 ................
002f2ae0 1b e9 15 00 00 00 00 00 09 00 00 00 84 08 00 00 ................
002f2af0
002f2af0 SwitchTable
002f2af0 0x15e8a7 0x10031 0x8e0 0x15e88b
002f2b10
002f2b10 31 00 05 00 00 00 08 00 10 00 18 00 20 00 00 00 1........... ...
002f2b20 28 09 00 00 00 00 00 00 36 e8 15 00 00 00 00 00 (.......6.......
002f2b30 31 00 01 00 10 00 00 00 70 08 00 00 00 00 00 00 1.......p.......
002f2b40 26 e8 15 00 00 00 00 00 31 00 01 00 10 00 00 00 &.......1.......
002f2b50 e8 07 00 00 00 00 00 00 bf e8 15 00 00 00 00 00 ................
002f2b60 32 00 04 00 03 00 05 00 08 00 10 00 01 03 00 00 2...............
002f2b70 d4 e7 15 00 00 00 00 00 31 00 03 00 00 00 08 00 ........1.......
002f2b80 10 00 00 00 7c 08 00 00 be e7 15 00 00 00 00 00 ....|...........
002f2b90 31 00 03 00 00 00 08 00 10 00 00 00 0c 07 00 00 1...............
002f2ba0 ac e7 15 00 00 00 00 00 31 00 05 00 00 00 08 00 ........1.......
002f2bb0 10 00 18 00 20 00 00 00 f0 06 00 00 00 00 00 00 .... ...........
002f2bc0 5b e7 15 00 00 00 00 00 31 00 03 00 00 00 08 00 [.......1.......
002f2bd0 10 00 00 00 94 07 00 00 ........
002f2bd8
002f2bd8 SwitchTable
002f2bd8 0x15e69c 0x10029 0x720 0x15e697 0x10029 0x6b8 0x15e688 0x10029
002f2c18 0x778 0x15e67b
002f2c28
002f2c28 29 00 02 00 00 00 10 00 ).......
002f2c30 a8 06 00 00 00 00 00 00 54 e6 15 00 00 00 00 00 ........T.......
002f2c40 29 00 01 00 10 00 00 00 58 07 00 00 00 00 00 00 ).......X.......
002f2c50 44 e6 15 00 00 00 00 00 29 00 01 00 10 00 00 00 D.......).......
002f2c60 40 06 00 00 00 00 00 00 b7 e6 15 00 00 00 00 00 @...............
002f2c70 2a 00 04 00 03 00 05 00 08 00 10 00 01 03 00 00 *...............
002f2c80 f2 e5 15 00 00 00 00 00 29 00 03 00 00 00 08 00 ........).......
002f2c90 10 00 00 00 6c 07 00 00 dc e5 15 00 00 00 00 00 ....l...........
002f2ca0 29 00 03 00 00 00 08 00 10 00 00 00 4c 07 00 00 )...........L...
002f2cb0 cf e5 15 00 00 00 00 00 29 00 04 00 00 00 08 00 ........).......
002f2cc0 10 00 18 00 34 07 00 00 8d e5 15 00 00 00 00 00 ....4...........
002f2cd0 29 00 03 00 00 00 08 00 10 00 00 00 54 06 00 00 )...........T...
002f2ce0 fb e4 15 00 00 00 00 00 19 00 00 00 ac 05 00 00 ................
002f2cf0
002f2cf0 SwitchTable
002f2cf0 0x15e470 0x10019 0x728 0x15e44d
002f2d10
002f2d10 19 00 02 00 00 00 08 00 10 06 00 00 00 00 00 00 ................
002f2d20 2f e4 15 00 00 00 00 00 19 00 02 00 00 00 08 00 /...............
002f2d30 f0 06 00 00 00 00 00 00 85 e4 15 00 00 00 00 00 ................
002f2d40 1a 00 04 00 00 00 03 00 ........
002f2d48
002f2d48 SwitchTable
002f2d48 0x80005 0x15e3d2 0x10019 0x6c8 0x15e3af
002f2d70
002f2d70 19 00 02 00 00 00 08 00 e8 05 00 00 00 00 00 00 ................
002f2d80 e7 e3 15 00 00 00 00 00 1a 00 03 00 00 00 03 00 ................
002f2d90
002f2d90 SwitchTable
002f2d90 0x8 0x15e33f 0x10021 0x680 0x15e31b
002f2db8
002f2db8 21 00 02 00 08 00 10 00 !.......
002f2dc0 10 06 00 00 00 00 00 00 fc e2 15 00 00 00 00 00 ................
002f2dd0 21 00 03 00 00 00 08 00 10 00 00 00 ec 04 00 00 !...............
002f2de0 d4 e2 15 00 00 00 00 00 21 00 02 00 08 00 10 00 ........!.......
002f2df0 58 05 00 00 00 00 00 00 b9 e2 15 00 00 00 00 00 X...............
002f2e00 21 00 02 00 08 00 10 00 18 05 00 00 00 00 00 00 !...............
002f2e10 94 e2 15 00 00 00 00 00 21 00 02 00 08 00 10 00 ........!.......
002f2e20 e0 04 00 00 00 00 00 00 54 e3 15 00 00 00 00 00 ........T.......
002f2e30 22 00 02 00 08 00 10 00 00 00 00 00 00 00 00 00 "...............
002f2e40 20 e2 15 00 00 00 00 00 0a 00 00 00 01 01 00 00 ...............
002f2e50 27 e2 15 00 00 00 00 00 0a 00 03 00 01 00 03 00 '...............
002f2e60 05 00 01 03 00 00 00 00 8d e1 15 00 00 00 00 00 ................
002f2e70 0a 00 03 00 03 00 05 00 07 00 01 03 00 00 00 00 ................
002f2e80 e9 e0 15 00 00 00 00 00 22 00 02 00 03 00 10 00 ........".......
002f2e90 01 04 00 00 00 00 00 00 f0 e0 15 00 00 00 00 00 ................
002f2ea0 22 00 02 00 00 00 10 00 01 03 00 00 00 00 00 00 "...............
002f2eb0 fa e0 15 00 00 00 00 00 22 00 03 00 00 00 01 00 ........".......
002f2ec0 10 00 01 04 00 00 00 00 b6 df 15 00 00 00 00 00 ................
002f2ed0 21 00 02 00 00 00 10 00 38 05 00 00 00 00 00 00 !.......8.......
002f2ee0 71 df 15 00 00 00 00 00 21 00 03 00 00 00 08 00 q.......!.......
002f2ef0 10 00 00 00 94 03 00 00 5a df 15 00 00 00 00 00 ........Z.......
002f2f00 21 00 02 00 00 00 10 00 28 05 00 00 00 00 00 00 !.......(.......
002f2f10 04 e1 15 00 00 00 00 00 22 00 04 00 00 00 03 00 ........".......
002f2f20 07 00 10 00 00 00 00 00 1b df 15 00 00 00 00 00 ................
002f2f30 0a 00 02 00 01 00 05 00 00 00 00 00 00 00 00 00 ................
002f2f40 c4 de 15 00 00 00 00 00 42 00 00 00 01 01 00 00 ........B.......
002f2f50 57 de 15 00 00 00 00 00 41 00 03 00 20 00 28 00 W.......A... .(.
002f2f60 30 00 00 00 f4 03 00 00 27 de 15 00 00 00 00 00 0.......'.......
002f2f70 41 00 03 00 20 00 28 00 30 00 00 00 94 03 00 00 A... .(.0.......
002f2f80 ec dd 15 00 00 00 00 00 51 00 04 00 20 00 30 00 ........Q... .0.
002f2f90 38 00 40 00 74 04 00 00 ca dd 15 00 00 00 00 00 8.@.t...........
002f2fa0 51 00 04 00 20 00 30 00 38 00 40 00 d4 02 00 00 Q... .0.8.@.....
002f2fb0 aa dd 15 00 00 00 00 00 51 00 04 00 20 00 30 00 ........Q... .0.
002f2fc0 38 00 40 00 8c 03 00 00 cb de 15 00 00 00 00 00 8.@.............
002f2fd0 52 00 06 00 10 00 18 00 R.......
002f2fd8
002f2fd8 SwitchTable
002f2fd8 0x300020 0x301 0x15dd54
002f2ff0
002f2ff0 51 00 06 00 10 00 18 00 Q.......
002f2ff8
002f2ff8 SwitchTable
002f2ff8 0x300020 0x440 0x15dd2f
002f3010
002f3010 51 00 05 00 18 00 20 00 30 00 38 00 40 00 00 00 Q..... .0.8.@...
002f3020 98 03 00 00 00 00 00 00 18 dd 15 00 00 00 00 00 ................
002f3030 51 00 06 00 10 00 18 00 Q.......
002f3038
002f3038 SwitchTable
002f3038 0x300020 0x3f8 0x15dd0b
002f3050
002f3050 51 00 07 00 10 00 18 00 20 00 28 00 30 00 38 00 Q....... .(.0.8.
002f3060 40 00 00 00 e4 03 00 00 c9 dc 15 00 00 00 00 00 @...............
002f3070 51 00 06 00 10 00 18 00 Q.......
002f3078
002f3078 SwitchTable
002f3078 0x300020 0x318 0x15dc84
002f3090
002f3090 51 00 04 00 20 00 30 00 38 00 40 00 44 02 00 00 Q... .0.8.@.D...
002f30a0 54 dc 15 00 00 00 00 00 41 00 03 00 20 00 28 00 T.......A... .(.
002f30b0 30 00 00 00 5c 03 00 00 16 dc 15 00 00 00 00 00 0...\...........
002f30c0 41 00 03 00 20 00 28 00 30 00 00 00 2c 02 00 00 A... .(.0...,...
002f30d0 f6 db 15 00 00 00 00 00 41 00 04 00 08 00 20 00 ........A..... .
002f30e0 28 00 30 00 ec 01 00 00 d2 db 15 00 00 00 00 00 (.0.............
002f30f0 41 00 04 00 00 00 20 00 28 00 30 00 4c 02 00 00 A..... .(.0.L...
002f3100 b7 db 15 00 00 00 00 00 41 00 04 00 00 00 20 00 ........A..... .
002f3110 28 00 30 00 0c 02 00 00 96 db 15 00 00 00 00 00 (.0.............
002f3120 41 00 04 00 00 00 20 00 28 00 30 00 d4 01 00 00 A..... .(.0.....
002f3130 77 db 15 00 00 00 00 00 41 00 03 00 20 00 28 00 w.......A... .(.
002f3140 30 00 00 00 cc 02 00 00 34 db 15 00 00 00 00 00 0.......4.......
002f3150 41 00 03 00 20 00 28 00 30 00 00 00 34 01 00 00 A... .(.0...4...
002f3160 f2 da 15 00 00 00 00 00 41 00 03 00 20 00 28 00 ........A... .(.
002f3170 30 00 00 00 3c 02 00 00 cc da 15 00 00 00 00 00 0...<...........
002f3180 41 00 03 00 20 00 28 00 30 00 00 00 c4 02 00 00 A... .(.0.......
002f3190 a6 da 15 00 00 00 00 00 41 00 03 00 20 00 28 00 ........A... .(.
002f31a0 30 00 00 00 1c 01 00 00 7b da 15 00 00 00 00 00 0.......{.......
002f31b0 41 00 03 00 20 00 28 00 30 00 00 00 cc 01 00 00 A... .(.0.......
002f31c0 57 da 15 00 00 00 00 00 41 00 03 00 20 00 28 00 W.......A... .(.
002f31d0 30 00 00 00 6c 01 00 00 d5 de 15 00 00 00 00 00 0...l...........
002f31e0 42 00 03 00 20 00 28 00 30 00 01 03 00 00 00 00 B... .(.0.......
002f31f0 d1 d9 15 00 00 00 00 00 41 00 04 00 00 00 20 00 ........A..... .
002f3200 28 00 30 00 14 01 00 00 c3 d9 15 00 00 00 00 00 (.0.............
002f3210 41 00 03 00 20 00 28 00 30 00 00 00 f4 01 00 00 A... .(.0.......
002f3220 7a d9 15 00 00 00 00 00 41 00 04 00 00 00 20 00 z.......A..... .
002f3230 28 00 30 00 bc 01 00 00 63 d9 15 00 00 00 00 00 (.0.....c.......
002f3240 41 00 03 00 20 00 28 00 30 00 00 00 64 00 00 00 A... .(.0...d...
002f3250 df de 15 00 00 00 00 00 42 00 05 00 03 00 09 00 ........B.......
002f3260 20 00 28 00 30 00 00 00 1b d9 15 00 00 00 00 00 .(.0...........
002f3270 0a 00 03 00 01 00 03 00 ........
002f3278
002f3278 SwitchTable
002f3278 0x7 0x490 0x50c 0x480 0x23c 0x330 0x488 0x440
002f32b8 0x318 0x450 0x3ac 0x440 0x2f8 0x430 0x2d0 0x488
002f32f8 0x418 0x27c 0x2c8 0x400 0x3f8 0x444 0x34c 0x2a0
002f3338 0x3f8
002f3340
002f3340 d0 03 00 3c d0 19 e9 00 c4 01 00 00 c8 89 40 01 ...<..........@.
002f3350 c0 03 00 60 c2 34 dc 01 b8 03 00 c8 ...`.4......
002f335c
002f335c SwitchTable
002f335c 0x314 0x1f8 0x2e4 0x2a4 0x170 0x388 0x240 0x200
002f339c 0x230 0x388 0x360 0x358 0x1f8 0x15c 0x2a4 0x2fc
002f33dc
002f33dc 60 75 60 05 `u`.
002f33e0 50 03 00 38 P..8
002f33e4
002f33e4 SwitchTable
002f33e4 0x368 0x300 0x1d8 0x204 0x308 0x225 0x128 0x254
002f3424 0x1c4 0x364 0x2d8 0x2d0 0x270 0x2c0 0x24c
002f345c
002f345c 28 3d b8 04 (=..
002f3460
002f3460 string "lexing.ml",0
002f346a
002f346a string "saver.ml",0
002f3473
002f3473 string "saveUtils.ml",0
002f3480
002f3480 string "latexmacros.ml",0
002f348f
002f348f string "printf.ml",0
002f3499
002f3499 string "bytes.ml",0
002f34a2
002f34a2 string "string.ml",0
002f34ac
002f34ac string "doOut.ml",0
002f34b5
002f34b5 string "subst.mll",0
002f34bf
002f34bf string "subst.ml",0
002f34c8
002f34c8 string "lexstate.ml",0
002f34d4
002f34d4 ce ff ff ff 53 74 64 6c 69 62 5f 5f ....Stdlib__
002f34e0 53 74 72 69 6e 67 2e 69 6e 64 65 78 00 00 00 00 String.index....
002f34f0 c5 ff ff ff 53 75 62 73 74 2e 73 75 62 73 74 5f ....Subst.subst_
002f3500 61 72 67 5f 6c 69 73 74 00 00 00 00 67 ff ff ff arg_list....g...
002f3510 53 61 76 65 55 74 69 6c 73 2e 67 65 74 5f 65 63 SaveUtils.get_ec
002f3520 68 6f 00 00 91 ff ff ff 53 75 62 73 74 2e 73 75 ho......Subst.su
002f3530 62 73 74 5f 65 78 70 6e 5f 62 6f 64 79 00 00 00 bst_expn_body...
002f3540 20 ff ff ff 53 74 64 6c 69 62 5f 5f 4c 65 78 69 ...Stdlib__Lexi
002f3550 6e 67 2e 73 75 62 5f 6c 65 78 65 6d 65 00 00 00 ng.sub_lexeme...
002f3560 55 ff ff ff 53 75 62 73 74 2e 73 68 61 72 70 5f U...Subst.sharp_
002f3570 69 6e 73 69 64 65 5f 6c 69 73 74 00 f7 fe ff ff inside_list.....
002f3580 53 61 76 65 55 74 69 6c 73 2e 73 74 61 72 74 5f SaveUtils.start_
002f3590 65 63 68 6f 00 00 00 00 e8 fe ff ff 4c 61 74 65 echo........Late
002f35a0 78 6d 61 63 72 6f 73 2e 67 65 74 5f 73 61 76 65 xmacros.get_save
002f35b0 64 5f 6d 61 63 72 6f 00 10 ff ff ff 4c 65 78 73 d_macro.....Lexs
002f35c0 74 61 74 65 2e 73 61 76 65 5f 6f 70 74 00 00 00 tate.save_opt...
002f35d0 e5 fe ff ff 53 75 62 73 74 2e 64 6f 5f 64 6f 5f ....Subst.do_do_
002f35e0 73 75 62 73 74 5f 74 68 69 73 00 00 d3 fe ff ff subst_this......
002f35f0 53 75 62 73 74 2e 64 6f 5f 74 72 61 6e 73 6c 61 Subst.do_transla
002f3600 74 65 00 00 c4 fe ff ff 4c 65 78 73 74 61 74 65 te......Lexstate
002f3610 2e 70 72 65 72 72 5f 61 72 67 73 00 99 fe ff ff .prerr_args.....
002f3620 53 75 62 73 74 2e 73 75 62 73 74 5f 62 6f 64 79 Subst.subst_body
002f3630 00 00 00 00 65 fe ff ff 53 74 64 6c 69 62 5f 5f ....e...Stdlib__
002f3640 42 79 74 65 73 2e 73 75 62 5f 73 74 72 69 6e 67 Bytes.sub_string
002f3650 00 00 00 00 61 fe ff ff 53 75 62 73 74 2e 64 6f ....a...Subst.do
002f3660 5f 73 75 62 73 74 5f 74 68 69 73 5f 6c 69 73 74 _subst_this_list
002f3670 00 00 00 00 41 fe ff ff 53 75 62 73 74 2e 5f 5f ....A...Subst.__
002f3680 6f 63 61 6d 6c 5f 6c 65 78 5f 64 6f 5f 74 72 61 ocaml_lex_do_tra
002f3690 6e 73 6c 61 74 65 5f 72 65 63 2e 28 66 75 6e 29 nslate_rec.(fun)
002f36a0 00 00 00 00 11 fe ff ff 53 75 62 73 74 2e 74 72 ........Subst.tr
002f36b0 61 6e 73 6c 61 74 65 00 d7 fd ff ff 53 74 64 6c anslate.....Stdl
002f36c0 69 62 5f 5f 50 72 69 6e 74 66 2e 65 70 72 69 6e ib__Printf.eprin
002f36d0 74 66 00 00 d8 fd ff ff 44 6f 4f 75 74 2e 4d 61 tf......DoOut.Ma
002f36e0 6b 65 2e 63 72 65 61 74 65 5f 62 75 66 66 00 00 ke.create_buff..
002f36f0 cf fd ff ff 53 75 62 73 74 2e 5f 5f 6f 63 61 6d ....Subst.__ocam
002f3700 6c 5f 6c 65 78 5f 73 75 62 73 74 5f 72 65 63 00 l_lex_subst_rec.
002f3710 a5 fd ff ff 53 75 62 73 74 2e 5f 5f 6f 63 61 6d ....Subst.__ocam
002f3720 6c 5f 6c 65 78 5f 73 75 62 73 74 5f 72 65 63 00 l_lex_subst_rec.
002f3730 85 fd ff ff 53 75 62 73 74 2e 64 6f 5f 64 6f 5f ....Subst.do_do_
002f3740 73 75 62 73 74 5f 74 68 69 73 5f 6c 69 73 74 00 subst_this_list.
002f3750 65 fd ff ff 53 75 62 73 74 2e 73 75 62 73 74 5f e...Subst.subst_
002f3760 61 72 67 00 06 fd ff ff 53 61 76 65 72 2e 4d 61 arg.....Saver.Ma
002f3770 6b 65 2e 61 72 67 00 00 3d fd ff ff 53 75 62 73 ke.arg..=...Subs
002f3780 74 2e 73 75 62 73 74 5f 65 78 70 6e 5f 61 72 67 t.subst_expn_arg
002f3790 00 00 00 00 2b fd ff ff 53 75 62 73 74 2e 5f 5f ....+...Subst.__
002f37a0 6f 63 61 6d 6c 5f 6c 65 78 5f 64 6f 5f 74 72 61 ocaml_lex_do_tra
002f37b0 6e 73 6c 61 nsla
002f37b4
002f37b4 SwitchTable
002f37b4 0x6365 0xff7 0xf6dc0 0x7 0x15f100 0xbf7 0x15f270 0x5
002f37f4 0xbf7 0x15f350 0x5 0xbf7 0x15f3d0 0x5 0xff7 0xf7020
002f3834 0x7 0x15f430 0xff7 0xf7020 0x7 0x15f3f0 0xff7 0xf7020
002f3874 0x7 0x15f4a0 0xff7 0xf7020 0x7 0x15f460 0xff7 0xf7020
002f38b4 0x7 0x15f810 0xff7 0xf7020 0x7 0x15f4b0 0xbf7 0x15fb60
002f38f4 0x5 0xbf7 0x15f980 0x5 0xff7 0xf7020 0x7 0x15fca0
002f3934 0xbf7 0x160070 0x5 0xbf7 0x15fef0 0x5 0xbf7 0x1603f0
002f3974 0x5 0xbf7 0x160250 0x5 0xbf7 0x1600b0 0x5 0xff7
002f39b4 0xf7020 0x7 0x160660 0xbf7 0x160630 0x5 0xff7 0xf7020
002f39f4 0x7 0x160690 0xff7 0xf68c0 0x7 0x1606d0 0xbf7 0x161990
002f3a34 0x5 0xbf7 0x1617b0 0x5 0xbf7 0x161720 0x5 0xbf7
002f3a74 0x161680 0x5 0xbf7 0x1615b0 0x5 0xbf7 0x161440 0x5
002f3ab4 0xbf7 0x1612c0 0x5 0xbf7 0x161210 0x5 0xbf7 0x161170
002f3af4 0x5 0xbf7 0x161110 0x5 0xbf7 0x160fd0 0x5 0xbf7
002f3b34 0x160f20 0x5 0xbf7 0x160e30 0x5 0xbf7 0x160d40 0x5
002f3b74 0xbf7 0x160ca0 0x5 0xbf7 0x160bc0 0x5 0xbf7 0x160b00
002f3bb4 0x5 0xbf7 0x1609f0 0x5 0xbf7 0x1608a0 0x5 0xbf7
002f3bf4 0x1607e0 0x5 0xbf7 0x161c30 0x5 0xff7 0xf7020 0x7
002f3c34 0x161c10 0xff7 0xf6f30 0x7 0x161c50 0xbf7 0x161da0 0x5
002f3c74 0xbf7 0x161dd0 0x5 0xbf7 0x161e00 0x5 0xbf7 0x161e30
002f3cb4 0x5 0xff7 0xf68c0 0x7 0x161ec0 0xbf7 0x15ef50 0x5
002f3cf4 0xbf7 0x15efa0 0x5 0xff7 0xf6dc0 0x7 0x15f020 0x1ab00
002f3d34 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f3d74 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f3db4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f3df4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f3e34 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f3e74 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f3eb4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f3ef4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f3f34 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f3f74 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f3fb4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f3ff4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f4034 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002f4074 0x1 0x1 0x2f3d38
002f408c
002f408c 00 00 00 00 ....
002f4090 00 00 00 00 ....
002f4094
002f4094 SwitchTable
002f4094 0x700 0x1 0x17fc
002f40ac
002f40ac 00 00 00 00 ....
002f40b0
002f40b0 string "Bad character in unicode entity: ",0
002f40d2
002f40d2 00 00 00 00 00 06 fc 0f 00 00 00 00 00 00 ..............
002f40e0
002f40e0 ; OutUnicode.Failed ← 0x161f8b
002f40e0 4f 75 74 55 6e 69 63 6f 64 65 2e 46 OutUnicode.F
002f40ec
002f40ec SwitchTable
002f40ec 0x64 0xb00 0x2f4200 0x2f4118 0x7fc
002f4100
002f4100 PointerTable ← camlLatexscan.translate_put_unicode_1519 camlLatexscan.put_unicode_default_2193 camlOutUnicode.show_271
002f4100 0x2f4200 0x2f4118
002f4114
002f4114 00 00 00 00 ....
002f4118
002f4118 ; U+%04X
002f4118 55 2b 25 30 U+%0
002f411c
002f411c SwitchTable
002f411c 0xb00
002f4124
002f4124 00 00 00 00 ....
002f4128
002f4128 PointerTable ← camlOutUnicode.html_put_949
002f4128 0x2f4150 0x2f4140
002f4138
002f4138 fc 07 00 00 00 00 00 00 ........
002f4140
002f4140 ; &#X%X;
002f4140 26 23 58 25 &#X%
002f4144
002f4144 SwitchTable
002f4144 0xb0b 0x2f41a8 0x2f4168 0x1304 0x11 0x1 0x1 0x2f4190
002f4184 0xb0c 0x77 0x1 0x7fc
002f4150
002f4150 PointerTable
002f4150 0x2f41a8 0x2f4168
002f41a4
002f41a4 00 00 00 00 ....
002f41a8
002f41a8 string "&#X",0
002f41ac
002f41ac 00 00 00 04 ....
002f41b0 fc 07 00 00 00 00 00 00 ........
002f41b8
002f41b8 string "&amp;",0 ← 0x161cd4
002f41be
002f41be 00 02 ..
002f41c0 fc 07 00 00 00 00 00 00 ........
002f41c8
002f41c8 string "&gt;",0 ← 0x161cac
002f41cd
002f41cd 00 00 03 ...
002f41d0 fc 07 00 00 00 00 00 00 ........
002f41d8
002f41d8 string "&lt;" ← 0x161c99
002f41dc
002f41dc SwitchTable
002f41dc 0xb00
002f41e4
002f41e4 00 00 00 00 ....
002f41e8
002f41e8 PointerTable ← camlOutUnicode.open_mapping_785
002f41e8 0x2f4248 0x2f4218
002f41f8
002f41f8 0b 0b 00 00 00 00 00 00 ........
002f4200
002f4200 PointerTable
002f4200 0x2f45d8 0x2f4340
002f4210
002f4210 fc 17 00 00 00 00 00 00 ........
002f4218
002f4218 ; Error '%s' while opening mapping: %s
002f4218 45 72 72 6f 72 20 27 25 Error '%
002f4220 73 27 20 77 68 69 6c 65 20 6f 70 65 6e 69 6e 67 s' while opening
002f4230 20 6d 61 70 70 69 6e 67 3a 20 25 73 mapping: %s
002f423c
002f423c SwitchTable
002f423c 0xb0b 0x2f4450 0x2f4260 0xb02 0x1 0x2f4278 0xb0b 0x2f4290
002f427c 0x2f43f8 0x13fc
002f4248
002f4248 PointerTable
002f4248 0x2f4450 0x2f4260
002f4278
002f4278 PointerTable
002f4278 0x2f4290 0x2f43f8 0x13fc
002f4290
002f4290 ; ' while opening mapping:
002f4290 27 20 77 68 69 6c 65 20 6f 70 65 6e 69 6e 67 20 ' while opening
002f42a0 6d 61 70 70 mapp
002f42a4
002f42a4 SwitchTable
002f42a4 0x20 0xb00 0x2f42f8 0x2f42d0 0x13fc
002f42b8
002f42b8 PointerTable ← camlOutUnicode.open_mapping_785
002f42b8 0x2f42f8 0x2f42d0 0x13fc
002f42d0
002f42d0 string "Cannot find mapping: %s\n",0
002f42e9
002f42e9 00 00 00 ...
002f42ec
002f42ec SwitchTable
002f42ec 0xb0b 0x2f4310 0x2f43f8 0xffc
002f42f8
002f42f8 PointerTable
002f42f8 0x2f4310 0x2f43f8
002f430c
002f430c 00 00 00 00 ....
002f4310
002f4310 string "Cannot find mapping: ",0
002f4326
002f4326 00 02 fc 07 00 00 00 00 00 00 ..........
002f4330
002f4330 ; Mapping ← 0x15fe2d 0x15ff9f 0x160019
002f4330 4d 61 70 70 Mapp
002f4334
002f4334 SwitchTable
002f4334 0x1304 0x11 0x2f4478 0x1 0x1 0xb00 0x2f43b0 0x2f4380
002f4374 0x17fc
002f4368
002f4368 PointerTable ← camlOutUnicode.read_mapping_714
002f4368 0x2f43b0 0x2f4380
002f437c
002f437c 00 00 00 00 ....
002f4380
002f4380 ; Error '%s' while loading mapping: %s
002f4380 45 72 72 6f 72 20 27 25 73 27 20 77 68 69 6c 65 Error '%s' while
002f4390 20 6c 6f 61 64 69 6e 67 20 6d 61 70 70 69 6e 67 loading mapping
002f43a0 3a 20 25 73 : %s
002f43a4
002f43a4 SwitchTable
002f43a4 0xb0b 0x2f4450 0x2f43c8 0xb02 0x1 0x2f43e0 0xb0b 0x2f4428
002f43e4 0x2f43f8 0xb02 0x1 0x2f4410 0xb0c 0x15 0x1 0x13fc
002f43b0
002f43b0 PointerTable
002f43b0 0x2f4450 0x2f43c8
002f43e0
002f43e0 PointerTable
002f43e0 0x2f4428 0x2f43f8
002f4424
002f4424 00 00 00 00 ....
002f4428
002f4428 string "' while loading mapping: ",0
002f4442
002f4442 00 00 00 00 00 06 fc 07 00 00 00 00 00 00 ..............
002f4450
002f4450 string "Error '",0
002f4458
002f4458 SwitchTable
002f4458 0xb00 0x2f44a0 0x2f4490 0xb00 0x5 0x9 0x7fc
002f4460
002f4460 PointerTable ← camlOutUnicode.read_mapping_714
002f4460 0x2f44a0 0x2f4490
002f4490
002f4490 ; %i %i
002f4490 20 25 69 20 %i
002f4494
002f4494 SwitchTable
002f4494 0xb0c 0x41 0x2f44b8 0x1304 0x7 0x1 0x1 0x2f44e0
002f44d4 0xb0c 0x41 0x2f44f8 0x1304 0x7 0x1 0x1 0x1
002f4514 0x13fc
002f451c
002f451c 00 00 00 00 ....
002f4520
002f4520 string "OutUnicode.CannotTranslate",0 ← 0x16208c
002f453b
002f453b 00 00 00 00 05 .....
002f4540 fc 17 00 00 00 00 00 00 ........
002f4548
002f4548 ; Cannot parse unicode entity: empty ← 0x15f2c0
002f4548 43 61 6e 6e 6f 74 20 70 Cannot p
002f4550 61 72 73 65 20 75 6e 69 63 6f 64 65 20 65 6e 74 arse unicode ent
002f4560 69 74 79 3a ity:
002f4564
002f4564 SwitchTable
002f4564 0x7974 0xb00 0x2f45c0 0x2f4590 0x17fc
002f4578
002f4578 PointerTable ← camlOutUnicode.bad_char_311
002f4578 0x2f45c0 0x2f4590
002f458c
002f458c 00 00 00 00 ....
002f4590
002f4590 string "Bad character in unicode entity: %c",0
002f45b4
002f45b4 SwitchTable
002f45b4 0xb0b 0x2f40b0 0x2f40a0 0x7fc 0x2b55
002f45c0
002f45c0 PointerTable
002f45c0 0x2f40b0 0x2f40a0
002f45dc
002f45dc 00 00 00 05 ....
002f45e0 00 00 00 00 00 00 00 00 00 00 00 00 ............
002f45ec
002f45ec SwitchTable
002f45ec 0x62 0x162789 0x90 0x1621be 0x92
002f4614
002f4614 02 00 00 00 ....
002f4618
002f4618 SwitchTable
002f4618 0x162080 0x10092 0x161f7f 0x10092 0x161ef2
002f4640
002f4640 31 00 05 00 00 00 08 00 10 00 18 00 20 00 00 00 1........... ...
002f4650 c8 09 00 00 00 00 00 00 60 1d 16 00 00 00 00 00 ........`.......
002f4660 21 00 01 00 08 00 00 00 90 08 00 00 00 00 00 00 !...............
002f4670 54 1d 16 00 00 00 00 00 21 00 02 00 00 00 08 00 T.......!.......
002f4680 78 08 00 00 00 00 00 00 24 1d 16 00 00 00 00 00 x.......$.......
002f4690 31 00 02 00 10 00 18 00 d8 07 00 00 00 00 00 00 1...............
002f46a0 17 1d 16 00 00 00 00 00 31 00 03 00 10 00 18 00 ........1.......
002f46b0 20 00 00 00 44 09 00 00 8a 1d 16 00 00 00 00 00 ...D...........
002f46c0 22 00 03 00 03 00 05 00 07 00 00 00 00 00 00 00 "...............
002f46d0 90 07 16 00 00 00 00 00 29 00 02 00 00 00 18 00 ........).......
002f46e0 78 09 00 00 00 00 00 00 7d 07 16 00 00 00 00 00 x.......}.......
002f46f0 29 00 03 00 08 00 10 00 18 00 00 00 ac 07 00 00 )...............
002f4700 3d 07 16 00 00 00 00 00 39 00 04 00 10 00 18 00 =.......9.......
002f4710 20 00 28 00 2c 09 00 00 33 07 16 00 00 00 00 00 .(.,...3.......
002f4720 39 00 04 00 10 00 18 00 20 00 28 00 dc 07 00 00 9....... .(.....
002f4730 24 07 16 00 00 00 00 00 39 00 04 00 10 00 18 00 $.......9.......
002f4740 20 00 28 00 64 08 00 00 be 07 16 00 00 00 00 00 .(.d...........
002f4750 2a 00 08 00 00 00 01 00 03 00 05 00 08 00 0b 00 *...............
002f4760 10 00 18 00 00 00 00 00 c9 06 16 00 00 00 00 00 ................
002f4770 0a 00 02 00 01 00 05 00 00 00 00 00 00 00 00 00 ................
002f4780 80 06 16 00 00 00 00 00 0a 00 02 00 01 00 03 00 ................
002f4790 00 00 00 00 00 00 00 00 50 06 16 00 00 00 00 00 ........P.......
002f47a0 0a 00 01 00 01 00 00 00 ee 05 16 00 00 00 00 00 ................
002f47b0 19 00 00 00 84 08 00 00 ........
002f47b8
002f47b8 SwitchTable
002f47b8 0x1605c5 0x10019 0x6f8 0x1605bc 0x10019 0x780 0x1605ae
002f47f0
002f47f0 19 00 01 00 08 00 00 00 ........
002f47f8
002f47f8 SwitchTable
002f47f8 0x670 0x16059d 0x10019 0x7c8 0x16041a 0x10019 0x798 0x1603b5
002f4838
002f4838 19 00 00 00 9c 06 00 00 ........
002f4840
002f4840 SwitchTable
002f4840 0x1603ac 0x10019 0x7e0 0x16039e