002e5ac4
002e5ac4 SwitchTable uint64_t
002e5ac4 0xbf7 0x14fed0 0x5 0xbf7 0x150400 0x5 0xbf7 0x157230
002e5b04 0x5 0xbf7 0x158770 0x5 0xbf7 0x159830 0x5 0xbf7
002e5b44 0x159880 0x5 0xbf7 0x14fba0 0x5 0xff7 0xf7080 0x7
002e5b84 0x14fbe0 0xff7 0xf7020 0x7 0x14fc50 0xbf7 0x14fd50 0x5
002e5bc4 0xff7 0xf7020 0x7 0x14fe50 0xbf7 0x14fec0 0x5 0xbf7
002e5c04 0x14ff50 0x5 0xbf7 0x14ffd0 0x5 0xbf7 0x150050 0x5
002e5c44 0xbf7 0x150100 0x5 0xff7 0xf6dc0 0x7 0x150130 0xff7
002e5c84 0xf7080 0x7 0x1502d0 0xbf7 0x150290 0x5 0xff7 0xf7020
002e5cc4 0x7 0x150510 0xbf7 0x150430 0x5 0xbf7 0x150790 0x5
002e5d04 0xbf7 0x1506d0 0x5 0xbf7 0x150990 0x5 0xbf7 0x150a00
002e5d44 0x5 0xff7 0xf70c0 0x7 0x150c00 0xbf7 0x150b50 0x5
002e5d84 0xbf7 0x150da0 0x5 0xbf7 0x150cc0 0x5 0xbf7 0x150e40
002e5dc4 0x5 0xbf7 0x150e70 0x5 0xbf7 0x150fa0 0x5 0xbf7
002e5e04 0x150ff0 0x5 0xbf7 0x151060 0x5 0xbf7 0x1515f0 0x5
002e5e44 0xff7 0xf7020 0x7 0x1516c0 0xbf7 0x151eb0 0x5 0xbf7
002e5e84 0x151fd0 0x5 0xbf7 0x151ef0 0x5 0xbf7 0x152040 0x5
002e5ec4 0xbf7 0x1520b0 0x5 0xbf7 0x152290 0x5 0xbf7 0x1523b0
002e5f04 0x5 0xbf7 0x1523d0 0x5 0xbf7 0x1523e0 0x5 0xbf7
002e5f44 0x152400 0x5 0xbf7 0x152430 0x5 0xbf7 0x1524f0 0x5
002e5f84 0xbf7 0x152540 0x5 0xbf7 0x152610 0x5 0xbf7 0x152620
002e5fc4 0x5 0xbf7 0x152630 0x5 0xbf7 0x1526d0 0x5 0x1ff7
002e6004 0xf7020 0xf 0x1526b0 0x10f9 0xf7020 0x7 0x1526a0 0xbf7
002e6044 0x1526e0 0x5 0xbf7 0x152820 0x5 0xbf7 0x152850 0x5
002e6084 0xbf7 0x152990 0x5 0xbf7 0x1529c0 0x5 0xff7 0xf7020
002e60c4 0x7 0x152a30 0xbf7 0x153270 0x5 0x1ff7 0xf6f30 0xf
002e6104 0x1536a0 0x10f9 0xf6f30 0x7 0x1534e0 0xbf7 0x1536c0 0x5
002e6144 0xff7 0xf7020 0x7 0x1538c0 0xbf7 0x1538f0 0x5 0xbf7
002e6184 0x1539c0 0x5 0xbf7 0x1539f0 0x5 0xff7 0xf7020 0x7
002e61c4 0x153bb0 0xff7 0xf7020 0x7 0x153a70 0xbf7 0x153bc0 0x5
002e6204 0xbf7 0x153bf0 0x5 0xbf7 0x153d40 0x5 0xbf7 0x153d30
002e6244 0x5 0xff7 0xf6dc0 0x7 0x153d50 0xbf7 0x153f30 0x5
002e6284 0xbf7 0x1540b0 0x5 0xbf7 0x154140 0x5 0xbf7 0x1541b0
002e62c4 0x5 0xbf7 0x154240 0x5 0xbf7 0x154280 0x5 0xbf7
002e6304 0x154300 0x5 0xbf7 0x154380 0x5 0xbf7 0x154450 0x5
002e6344 0xbf7 0x154470 0x5 0xbf7 0x1544c0 0x5 0xbf7 0x1544d0
002e6384 0x5 0xbf7 0x154560 0x5 0xbf7 0x154600 0x5 0xbf7
002e63c4 0x1546b0 0x5 0xbf7 0x1546d0 0x5 0xbf7 0x154750 0x5
002e6404 0xbf7 0x154760 0x5 0xbf7 0x154770 0x5 0xff7 0xf7020
002e6444 0x7 0x154780 0xbf7 0x154810 0x5 0xbf7 0x154820 0x5
002e6484 0xbf7 0x154830 0x5 0xff7 0xf7020 0x7 0x154840 0xff7
002e64c4 0xf7020 0x7 0x154930 0xff7 0xf7020 0x7 0x154a30 0xbf7
002e6504 0x154f10 0x5 0xbf7 0x155090 0x5 0xbf7 0x1552a0 0x5
002e6544 0xff7 0xf6dc0 0x7 0x155790 0xbf7 0x155af0 0x5 0xbf7
002e6584 0x1561e0 0x5 0xbf7 0x156230 0x5 0xbf7 0x156210 0x5
002e65c4 0xbf7 0x1561f0 0x5 0xbf7 0x156250 0x5 0xbf7 0x156400
002e6604 0x5 0xbf7 0x1563a0 0x5 0xbf7 0x1565a0 0x5 0xff7
002e6644 0xf7020 0x7 0x156700 0xff7 0xf7020 0x7 0x1569d0 0xff7
002e6684 0xf6dc0 0x7 0x156a70 0xff7 0xf7020 0x7 0x156b90 0xff7
002e66c4 0xf68c0 0x7 0x156c00 0xff7 0xf6f30 0x7 0x157040 0xff7
002e6704 0xf7020 0x7 0x157150 0xbf7 0x1571b0 0x5 0xbf7 0x1574f0
002e6744 0x5 0xbf7 0x157e90 0x5 0xff7 0xf6f30 0x7 0x157eb0
002e6784 0xff7 0xf6f30 0x7 0x157ea0 0xbf7 0x157ec0 0x5 0xff7
002e67c4 0xf7020 0x7 0x157f40 0xff7 0xf6f30 0x7 0x157fa0 0xbf7
002e6804 0x1582e0 0x5 0xbf7 0x1584e0 0x5 0xbf7 0x1585b0 0x5
002e6844 0xbf7 0x158690 0x5 0xbf7 0x158780 0x5 0xbf7 0x158840
002e6884 0x5 0xbf7 0x158850 0x5 0xbf7 0x1588e0 0x5 0xbf7
002e68c4 0x1589b0 0x5 0xbf7 0x158a90 0x5 0xbf7 0x158aa0 0x5
002e6904 0xbf7 0x158bd0 0x5 0xbf7 0x158b10 0x5 0xbf7 0x158d40
002e6944 0x5 0xbf7 0x158ca0 0x5 0xbf7 0x158c90 0x5 0xbf7
002e6984 0x158c60 0x5 0xbf7 0x158de0 0x5 0xff7 0xf6520 0x7
002e69c4 0x159400 0xff7 0xf6b90 0x7 0x159300 0xff7 0xf6b90 0x7
002e6a04 0x158f90 0xbf7 0x159500 0x5 0xbf7 0x1597a0 0x5 0xbf7
002e6a44 0x1597d0 0x5 0xbf7 0x1598c0 0x5 0xff7 0xf6f30 0x7
002e6a84 0x159950 0xff7 0xf7020 0x7 0x1599f0 0x2a700 0x1 0x1
002e6ac4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6b04 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6b44 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6b84 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6bc4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6c04 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6c44 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6c84 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6cc4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6d04 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6d44 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6d84 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6dc4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6e04 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6e44 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6e84 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6ec4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6f04 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6f44 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6f84 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
002e6fc4 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x2e6ab8
002e7004
002e7004 00 00 00 00 00 00 00 00 ........
002e700c
002e700c SwitchTable
002e700c 0x7fc 0xa27 0xbfc
002e7024
002e7024 00 00 00 00 ....
002e7028
002e7028 string "' with '",0
002e7031
002e7031 00 00 00 00 00 00 07 fc 0f 00 00 00 00 00 00 ...............
002e7040
002e7040 string "line underlined: '",0
002e7053
002e7053 00 00 00 00 05 fc 07 00 00 00 00 00 00 .............
002e7060
002e7060 string "false",0 ← 0x1512ec
002e7066
002e7066 00 02 fc 07 00 00 00 00 00 00 ..........
002e7070
002e7070 string "true" ← 0x1512e1
002e7074
002e7074 SwitchTable
002e7074 0x7fc 0x23 0x13fc
002e708c
002e708c 00 00 00 00 ....
002e7090
002e7090 string "cannot underline with nothing:#",0 ← 0x15133f
002e70b0
002e70b0 fc 07 00 00 00 00 00 00 ........
002e70b8
002e70b8 ; line : ← 0x151251
002e70b8 6c 69 6e 65 line
002e70bc
002e70bc SwitchTable
002e70bc 0x7fc 0xa 0x13fc
002e70d4
002e70d4 00 00 00 00 ....
002e70d8
002e70d8 ; is non-empty in Html.finalize ← 0x1509ba
002e70d8 20 69 73 20 6e 6f 6e 2d is non-
002e70e0 65 6d 70 74 79 20 69 6e 20 48 74 6d 6c 2e 66 69 empty in Html.fi
002e70f0 6e 61 6c 69 nali
002e70f4
002e70f4 SwitchTable
002e70f4 0xb00 0x7 0x2e71e0 0xbfc
002e7114
002e7114 00 00 00 00 ....
002e7118
002e7118 string "Warning: stack ",0 ← 0x1509cd
002e7128
002e7128 fc 07 00 00 00 00 00 00 ........
002e7130
002e7130 string "after",0 ← 0x159f98
002e7136
002e7136 00 02 fc 0b 00 00 00 00 00 00 ..........
002e7140
002e7140 string "pending_par",0 ← 0x159fbf
002e714c
002e714c 00 00 00 04 ....
002e7150 fc 07 00 00 00 00 00 00 ........
002e7158
002e7158 string "active",0 ← 0x159fe5
002e715f
002e715f 01 .
002e7160 fc 07 00 00 00 00 00 00 ........
002e7168
002e7168 string "vsize",0 ← 0x15a00b
002e716e
002e716e 00 02 ..
002e7170 fc 0b 00 00 00 00 00 00 ........
002e7178
002e7178 string "in_table",0 ← 0x15a032
002e7181
002e7181 00 00 00 00 00 00 07 fc 07 00 00 00 00 00 00 ...............
002e7190
002e7190 string "nocount",0 ← 0x15a05a
002e7198
002e7198 fc 0b 00 00 00 00 00 00 ........
002e71a0
002e71a0 string "underline",0 ← 0x15a083
002e71aa
002e71aa 00 00 00 00 00 06 ......
002e71b0 fc 0b 00 00 00 00 00 00 ........
002e71b8
002e71b8 string "in_align",0 ← 0x15a0a9
002e71c1
002e71c1 00 00 00 00 00 00 07 fc 07 00 00 00 00 00 00 ...............
002e71d0
002e71d0 string "align",0 ← 0x15a0cf
002e71d6
002e71d6 00 02 fc 0b 00 00 00 00 00 00 ..........
002e71e0
002e71e0 ; QUOTATION
002e71e0 51 55 4f 54 QUOT
002e71e4
002e71e4 SwitchTable
002e71e4 0x4e 0x7fc 0x78 0x7fc
002e7204
002e7204 00 00 00 00 ....
002e7208
002e7208 ; dcount ← 0x15a11b
002e7208 64 63 6f 75 dcou
002e720c
002e720c SwitchTable
002e720c 0x7fc 0x7464 0x7fc
002e7224
002e7224 00 00 00 00 ....
002e7228
002e7228 ; nitems ← 0x15a167
002e7228 6e 69 74 65 nite
002e722c
002e722c SwitchTable
002e722c 0xf00 0x2e7418 0x147 0x9 0xbfc
002e7230
002e7230 PointerTable
002e7230 0xf00 0x2e7418 0x147 0x9
002e7254
002e7254 00 00 00 00 ....
002e7258
002e7258 string "out_stack",0 ← 0x159ce9
002e7262
002e7262 00 00 00 00 00 06 fc 07 00 00 00 00 00 00 ..............
002e7270
002e7270 string "Freeze ",0 ← 0x14fef1
002e7278
002e7278 SwitchTable
002e7278 0xb00 0x2e72b0 0x2e7298 0xbfc
002e7280
002e7280 PointerTable ← camlText.fun_2113
002e7280 0x2e72b0 0x2e7298
002e7298
002e7298 ; [%s]-{%s}
002e7298 5b 25 73 5d [%s]
002e729c
002e729c SwitchTable
002e729c 0x207d 0xb0c 0xb7 0x2e72e0 0xb00 0x5 0x2e73b8 0xb02
002e72dc 0x1 0x2e72f8 0xb0b 0x2e7350 0x2e7310 0xb02 0x1 0x2e7328
002e731c 0xb0b 0x2e7340 0x1 0x7fc 0x207d 0x7fc
002e72b0
002e72b0 PointerTable
002e72b0 0xb7 0x2e72e0
002e72f8
002e72f8 PointerTable
002e72f8 0x2e7350 0x2e7310
002e734c
002e734c 00 00 00 00 ....
002e7350
002e7350 string "]-{",0
002e7354
002e7354 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
002e7360
002e7360 ; Text.PopFreeze ← 0x159c05
002e7360 54 65 78 74 2e 50 6f 70 46 72 65 65 Text.PopFree
002e736c
002e736c SwitchTable
002e736c 0xb00 0x2e73a0 0x2e7390 0x7fc
002e7378
002e7378 PointerTable ← camlText.pp_block_727
002e7378 0x2e73a0 0x2e7390
002e738c
002e738c 00 00 00 00 ....
002e7390
002e7390 string "'%s'"
002e7394
002e7394 SwitchTable
002e7394 0xb0c 0x4f 0x2e73c8 0x7fc
002e73a0
002e73a0 PointerTable
002e73a0 0x4f 0x2e73c8
002e73b4
002e73b4 00 00 00 00 ....
002e73b8
002e73b8 ; QUOTE
002e73b8 51 55 4f 54 QUOT
002e73bc
002e73bc SwitchTable
002e73bc 0xb02 0x1 0x2e73e0 0xb0c 0x4f 0x1 0xf00 0x2e7418
002e73fc 0xab 0x17 0x7fc
002e73f0
002e73f0 PointerTable
002e73f0 0xf00 0x2e7418 0xab 0x17
002e7414
002e7414 00 00 00 00 ....
002e7418
002e7418 ; text.ml
002e7418 74 65 78 74 text
002e741c
002e741c SwitchTable
002e741c 0xb00
002e7424
002e7424 00 00 00 00 ....
002e7428
002e7428 PointerTable ← camlText.tr_block_630
002e7428 0x2e7470 0x2e7440
002e7438
002e7438 fc 17 00 00 00 00 00 00 ........
002e7440
002e7440 ; Undefined block in text mode: '%s' [%s]
002e7440 55 6e 64 65 66 69 6e 65 64 20 62 6c 6f 63 6b 20 Undefined block
002e7450 69 6e 20 74 65 78 74 20 6d 6f 64 65 3a 20 27 25 in text mode: '%
002e7460 73 27 20 5b s' [
002e7464
002e7464 SwitchTable
002e7464 0xb0b 0x2e7510 0x2e7488 0xb02 0x1 0x2e74a0 0xb0b 0x2e7500
002e74a4 0x2e74b8 0xb02 0x1 0x2e74e8 0xb00 0x3 0x2e75e0 0xb0c
002e74e4 0xbb 0x1 0x7fc
002e7470
002e7470 PointerTable
002e7470 0x2e7510 0x2e7488
002e74a0
002e74a0 PointerTable
002e74a0 0x2e7500 0x2e74b8
002e74fc
002e74fc 00 00 00 00 ....
002e7500
002e7500 string "' [",0
002e7504
002e7504 00 00 00 04 fc 13 00 00 00 00 00 00 ............
002e7510
002e7510 string "Undefined block in text mode: '",0
002e7530
002e7530 SwitchTable
002e7530 0xb00
002e7538
002e7538 PointerTable ← camlText.entry
002e7538 0x2e7b48 0x2e7550
002e7548
002e7548 00 0b 00 00 00 00 00 00 ........
002e7550
002e7550 PointerTable
002e7550 0x2e74d0 0x2e7568
002e7560
002e7560 00 0b 00 00 00 00 00 00 ........
002e7568
002e7568 PointerTable
002e7568 0x2e72c8 0x2e7580
002e7578
002e7578 00 0b 00 00 00 00 00 00 ........
002e7580
002e7580 PointerTable
002e7580 0x2e7100 0x2e7598
002e7590
002e7590 00 0b 00 00 00 00 00 00 ........
002e7598
002e7598 PointerTable
002e7598 0x2e8fe8 0x2e75b0
002e75a8
002e75a8 00 0b 00 00 00 00 00 00 ........
002e75b0
002e75b0 PointerTable
002e75b0 0x2e8df8 0x2e75c8
002e75c0
002e75c0 00 0b 00 00 00 00 00 00 ........
002e75c8
002e75c8 PointerTable
002e75c8 0x2e8bb0 0x2e75f0
002e75d8
002e75d8 fc 07 00 00 00 00 00 00 ........
002e75e0
002e75e0 string "HEAD"
002e75e4
002e75e4 SwitchTable
002e75e4 0xb00 0x2e8988 0x2e7608 0xb00 0x2e8770 0x2e7620 0xb00 0x2e8558
002e7624 0x2e7638 0xb00 0x2e8350 0x2e7650 0xb00 0x2e80d8 0x2e7728 0x7fc
002e7664 0x2e 0x7fc 0x3e 0x7fc 0x3c 0xb00 0x2e76e0 0x2e76b0
002e76a4 0x17fc
002e75f0
002e75f0 PointerTable
002e75f0 0x2e8988 0x2e7608
002e7608
002e7608 PointerTable
002e7608 0x2e8770 0x2e7620
002e7620
002e7620 PointerTable
002e7620 0x2e8558 0x2e7638
002e7638
002e7638 PointerTable
002e7638 0x2e8350 0x2e7650
002e7650
002e7650 PointerTable
002e7650 0x2e80d8 0x2e7728
002e7698
002e7698 PointerTable ← camlText.insert_vdisplay_1835
002e7698 0x2e76e0 0x2e76b0
002e76ac
002e76ac 00 00 00 00 ....
002e76b0
002e76b0 ; insert_vdisplay : %s closes the table.
002e76b0 69 6e 73 65 72 74 5f 76 64 69 73 70 6c 61 79 20 insert_vdisplay
002e76c0 3a 20 25 73 20 63 6c 6f 73 65 73 20 74 68 65 20 : %s closes the
002e76d0 74 61 62 6c tabl
002e76d4
002e76d4 SwitchTable
002e76d4 0xb0b 0x2e78d8 0x2e76f8 0xb02 0x1 0x2e7710 0xb0b 0x2e7740
002e7714 0x1 0xb00 0x2e7eb0 0x2e7870 0xffc
002e76e0
002e76e0 PointerTable
002e76e0 0x2e78d8 0x2e76f8
002e7728
002e7728 PointerTable
002e7728 0x2e7eb0 0x2e7870
002e773c
002e773c 00 00 00 00 ....
002e7740
002e7740 ; closes the table.
002e7740 20 63 6c 6f 73 65 73 20 74 68 65 20 closes the
002e774c
002e774c SwitchTable
002e774c 0x2e65 0xb00 0x2e77a8 0x2e7778 0x17fc
002e7760
002e7760 PointerTable ← camlText.insert_vdisplay_1835
002e7760 0x2e77a8 0x2e7778
002e7774
002e7774 00 00 00 00 ....
002e7778
002e7778 string "insert_vdisplay : %s closes the cell2.",0
002e77a0
002e77a0 SwitchTable
002e77a0 0xb0b 0x2e78d8 0x2e77c0 0xb02 0x1 0x2e77d8 0xb0b 0x2e77f0
002e77e0 0x1 0xffc
002e77a8
002e77a8 PointerTable
002e77a8 0x2e78d8 0x2e77c0
002e77f0
002e77f0 ; closes the cell2.
002e77f0 20 20 63 6c 6f 73 65 73 20 74 68 65 closes the
002e77fc
002e77fc SwitchTable
002e77fc 0x2e326c 0xb00
002e780c
002e780c 00 00 00 00 ....
002e7810
002e7810 PointerTable ← camlText.insert_vdisplay_1835
002e7810 0x2e7858 0x2e7828
002e7820
002e7820 fc 17 00 00 00 00 00 00 ........
002e7828
002e7828 ; insert_vdisplay : %s closes the cell.
002e7828 69 6e 73 65 72 74 5f 76 insert_v
002e7830 64 69 73 70 6c 61 79 20 3a 20 25 73 20 63 6c 6f display : %s clo
002e7840 73 65 73 20 74 68 65 20 63 65 6c 6c ses the cell
002e784c
002e784c SwitchTable
002e784c 0xb0b 0x2e78d8 0x2e7888 0xb00 0x2e7c48 0x2e7958 0xb02 0x1
002e788c 0x2e78a0 0xb0b 0x2e78b8 0x1 0xffc
002e7858
002e7858 PointerTable
002e7858 0x2e78d8 0x2e7888
002e7870
002e7870 PointerTable
002e7870 0x2e7c48 0x2e7958
002e78b4
002e78b4 00 00 00 00 ....
002e78b8
002e78b8 string " closes the cell.",0
002e78ca
002e78ca 00 00 00 00 00 06 ......
002e78d0 fc 0f 00 00 00 00 00 00 ........
002e78d8
002e78d8 ; insert_vdisplay :
002e78d8 69 6e 73 65 72 74 5f 76 insert_v
002e78e0 64 69 73 70 disp
002e78e4
002e78e4 SwitchTable
002e78e4 0x203a 0x7fc 0x5e 0x7fc 0x5f 0x7fc
002e7914
002e7914 00 00 00 00 ....
002e7918
002e7918 string "cmm",0 ← 0x159091
002e791c
002e791c SwitchTable
002e791c 0x7fc 0x6d6c 0x7fc 0x626c 0x7fc 0x746c 0xb00 0x2e7a58
002e795c 0x1 0x7fc 0x6d63 0xb00 0x2e79b8 0x2e7998 0xffc
002e7980
002e7980 PointerTable ← camlText.insert_sup_sub_1799
002e7980 0x2e79b8 0x2e7998
002e7994
002e7994 00 00 00 00 ....
002e7998
002e7998 ; sup_sub : %s closes ""
002e7998 73 75 70 5f 73 75 62 20 sup_sub
002e79a0 3a 20 25 73 20 63 6c 6f 73 65 73 20 : %s closes
002e79ac
002e79ac SwitchTable
002e79ac 0xb0b 0x2e7a18 0x2e79d0 0xb02 0x1 0x2e79e8 0xb0b 0x2e7a00
002e79ec 0x1 0xbfc
002e79b8
002e79b8 PointerTable
002e79b8 0x2e7a18 0x2e79d0
002e79fc
002e79fc 00 00 00 00 ....
002e7a00
002e7a00 string " closes \"\"",0
002e7a0b
002e7a0b 00 00 00 00 05 .....
002e7a10 fc 0b 00 00 00 00 00 00 ........
002e7a18
002e7a18 string "sup_sub : ",0
002e7a23
002e7a23 00 00 00 00 05 fc 0b 00 00 00 00 00 00 .............
002e7a30
002e7a30 string "close_maths",0 ← 0x158c3c
002e7a3c
002e7a3c 00 00 00 04 ....
002e7a40 fc 07 00 00 00 00 00 00 ........
002e7a48
002e7a48 ; CENTER ← 0x158b59
002e7a48 43 45 4e 54 CENT
002e7a4c
002e7a4c SwitchTable
002e7a4c 0xb00 0x1d 0x2e7b38 0xbfc
002e7a58
002e7a58 PointerTable
002e7a58 0x1d 0x2e7b38
002e7a6c
002e7a6c 00 00 00 00 ....
002e7a70
002e7a70 string "open_maths",0 ← 0x158b3e
002e7a7b
002e7a7b 00 00 00 00 05 .....
002e7a80 fc 0b 00 00 00 00 00 00 ........
002e7a88
002e7a88 ; erase_display ← 0x158ac2
002e7a88 65 72 61 73 65 5f 64 69 erase_di
002e7a90 73 70 6c 61 spla
002e7a94
002e7a94 SwitchTable
002e7a94 0x7fc 0x7b 0xbfc
002e7aac
002e7aac 00 00 00 00 ....
002e7ab0
002e7ab0 string "flush_freeze",0 ← 0x158624
002e7abd
002e7abd 00 00 03 ...
002e7ac0 fc 0b 00 00 00 00 00 00 ........
002e7ac8
002e7ac8 string "freeze: stack=",0 ← 0x158559
002e7ad7
002e7ad7 01 fc 07 00 00 00 00 00 00 .........
002e7ae0
002e7ae0 ; bottom ← 0x1583b4
002e7ae0 62 6f 74 74 bott
002e7ae4
002e7ae4 SwitchTable
002e7ae4 0x7fc 0x3534 0x7fc
002e7afc
002e7afc 00 00 00 00 ....
002e7b00
002e7b00 string "left",0 ← 0x15845e 0x158474
002e7b05
002e7b05 00 00 03 fc 07 00 00 00 00 00 00 ...........
002e7b10
002e7b10 ; middle ← 0x158392 0x15839c 0x15b52c
002e7b10 6d 69 64 64 midd
002e7b14
002e7b14 SwitchTable
002e7b14 0xb00
002e7b1c
002e7b1c 00 00 00 00 ....
002e7b20
002e7b20 PointerTable ← camlText.horizontal_line_1729
002e7b20 0x2e7b78 0x2e7b60
002e7b30
002e7b30 fc 07 00 00 00 00 00 00 ........
002e7b38
002e7b38 uint8_t g_2e7b38 ← camlInfoRef.infomenu_467 camlInfoRef.loc_name_585 camlInfoRef.do_infonode_879 camlInfoRef.flush_rec_893 camlText.do_put_line_1086 camlText.do_put_char_format_1105 camlText.open_par_1177 camlText.try_open_block_1206 camlText.force_block_1235 camlText.close_block_1242 camlText.close_flow_1245 camlText.ditem_1271 camlText.erase_block_1279 camlText.to_string_1285 camlText.open_group_1289 camlText.open_aftergroup_1292 camlText.close_group_1295 camlText.to_style_1408 camlText.open_table_1557 camlText.new_row_1571 camlText.open_cell_1595 camlText.do_close_cell_1601 camlText.erase_cell_1620 camlText.safe_string_make_1653 camlText.put_ligne_1657 camlText.close_table_1695 camlText.image_1725 camlText.horizontal_line_1729 camlText.formated_1741 camlText.open_display_1756 camlText.open_display_varg_1759 camlText.open_maths_1781 camlText.close_maths_1782 camlText.open_vdisplay_1787 camlText.open_vdisplay_row_1789 camlText.insert_sup_sub_1799 camlText.standard_sup_sub_1809 camlText.limit_sup_sub_1810 camlText.int_sup_sub_1811 camlText.insert_vdisplay_1835 camlText.fun_2534 camlText.left_1860 camlText.entry
002e7b38 00 00 00 00 ....
002e7b3c
002e7b3c SwitchTable
002e7b3c 0xb00 0x1 0x2e8660 0xbfc
002e7b5c
002e7b5c 00 00 00 00 ....
002e7b60
002e7b60 ; HR: %s %s %s
002e7b60 48 52 3a 20 25 73 20 25 73 20 25 73 HR: %s %s %s
002e7b6c
002e7b6c SwitchTable
002e7b6c 0xb0b 0x2e7bf0 0x2e7b90 0xb02 0x1 0x2e7ba8 0xb0c 0x41
002e7bac 0x2e7bc0 0xb02 0x1 0x2e7bd8 0xb0c 0x41 0x2e8af0 0x7fc
002e7b78
002e7b78 PointerTable
002e7b78 0x2e7bf0 0x2e7b90
002e7bec
002e7bec 00 00 00 00 ....
002e7bf0
002e7bf0 string "HR: ",0
002e7bf5
002e7bf5 00 00 03 fc 0b 00 00 00 00 00 00 ...........
002e7c00
002e7c00 string "<= close_table",0 ← 0x157e38
002e7c0f
002e7c0f 01 .
002e7c10 fc 0b 00 00 00 00 00 00 ........
002e7c18
002e7c18 string "cell to output:",0 ← 0x1579f9
002e7c28
002e7c28 fc 0b 00 00 00 00 00 00 ........
002e7c30
002e7c30 ; , height: ← 0x157741
002e7c30 2c 20 68 65 , he
002e7c34
002e7c34 SwitchTable
002e7c34 0x3a 0xb00 0x1b 0x2e7d90 0xbfc
002e7c5c
002e7c5c 00 00 00 00 ....
002e7c60
002e7c60 string ", columns:",0 ← 0x157775
002e7c6b
002e7c6b 00 00 00 00 05 .....
002e7c70 fc 07 00 00 00 00 00 00 ........
002e7c78
002e7c78 string "line ",0 ← 0x15779d
002e7c7e
002e7c7e 00 02 ..
002e7c80 fc 0f 00 00 00 00 00 00 ........
002e7c88
002e7c88 string "Invalid row type:table",0 ← 0x1576ee
002e7c9f
002e7c9f 01 .
002e7ca0 fc 17 00 00 00 00 00 00 ........
002e7ca8
002e7ca8 string "overfull line in array : array too wide",0 ← 0x157659
002e7cd0
002e7cd0 fc 07 00 00 00 00 00 00 ........
002e7cd8
002e7cd8 string "lines :",0 ← 0x1575cb
002e7ce0
002e7ce0 fc 0b 00 00 00 00 00 00 ........
002e7ce8
002e7ce8 string "=> close_table",0 ← 0x15751a
002e7cf7
002e7cf7 01 fc 13 00 00 00 00 00 00 .........
002e7d00
002e7d00 string "Finalized multi-columns.",0 ← 0x157208
002e7d19
002e7d19 00 00 00 00 00 00 07 .......
002e7d20 fc 13 00 00 00 00 00 00 ........
002e7d28
002e7d28 string "Finalizing multi-columns.",0 ← 0x1571d2
002e7d42
002e7d42 00 00 00 00 00 06 fc 0b 00 00 00 00 00 00 ..............
002e7d50
002e7d50 string "ajusting..",0 ← 0x15736a
002e7d5b
002e7d5b 00 00 00 00 05 .....
002e7d60 fc 13 00 00 00 00 00 00 ........
002e7d68
002e7d68 string " and should be at least ",0 ← 0x1572b0
002e7d81
002e7d81 00 00 00 00 00 00 07 fc 07 00 00 00 00 00 00 ...............
002e7d90
002e7d90 string "NONE",0
002e7d95
002e7d95 00 00 03 fc 0b 00 00 00 00 00 00 ...........
002e7da0
002e7da0 string ", size was ",0 ← 0x1572d8
002e7dac
002e7dac 00 00 00 04 ....
002e7db0 fc 07 00 00 00 00 00 00 ........
002e7db8
002e7db8 string " to ",0 ← 0x157300
002e7dbd
002e7dbd 00 00 03 ...
002e7dc0 fc 07 00 00 00 00 00 00 ........
002e7dc8
002e7dc8 string "from ",0 ← 0x157328
002e7dce
002e7dce 00 02 ..
002e7dd0 fc 0b 00 00 00 00 00 00 ........
002e7dd8
002e7dd8 string "line sent :#" ← 0x156fc2
002e7de4
002e7de4 SwitchTable
002e7de4 0xf00 0x2e7418 0xc2d 0xd 0xb00
002e7de8
002e7de8 PointerTable
002e7de8 0xf00 0x2e7418
002e7e0c
002e7e0c 00 00 00 00 ....
002e7e10
002e7e10 PointerTable ← camlText.safe_string_make_1653
002e7e10 0x2e7e58 0x2e7e28
002e7e20
002e7e20 fc 17 00 00 00 00 00 00 ........
002e7e28
002e7e28 ; Text.put_line: negative line: %i '%c'
002e7e28 54 65 78 74 2e 70 75 74 Text.put
002e7e30 5f 6c 69 6e 65 3a 20 6e 65 67 61 74 69 76 65 20 _line: negative
002e7e40 6c 69 6e 65 3a 20 25 69 20 27 25 63 line: %i '%c
002e7e4c
002e7e4c SwitchTable
002e7e4c 0xb0b 0x2e7ee8 0x2e7e70 0x1304 0x7 0x1 0x1 0x2e7e98
002e7e8c 0xb0b 0x2e7ed8 0x2e7ec8 0xb00 0x17 0x2e7fd8 0x700 0x2e90f0
002e7ecc 0x7fc 0x2720 0x13fc
002e7e58
002e7e58 PointerTable
002e7e58 0x2e7ee8 0x2e7e70
002e7e98
002e7e98 PointerTable
002e7e98 0x2e7ed8 0x2e7ec8
002e7eb0
002e7eb0 PointerTable
002e7eb0 0x17 0x2e7fd8
002e7ee4
002e7ee4 00 00 00 00 ....
002e7ee8
002e7ee8 string "Text.put_line: negative line: ",0
002e7f07
002e7f07 01 fc 13 00 00 00 00 00 00 .........
002e7f10
002e7f10 ; Adding inside after column ← 0x156774
002e7f10 41 64 64 69 6e 67 20 69 6e 73 69 64 65 20 61 66 Adding inside af
002e7f20 74 65 72 20 ter
002e7f24
002e7f24 SwitchTable
002e7f24 0x206e6d 0x7fc
002e7f34
002e7f34 00 00 00 00 ....
002e7f38
002e7f38 string " :'",0 ← 0x1565dd 0x15673e
002e7f3c
002e7f3c 00 00 00 04 ....
002e7f40 fc 13 00 00 00 00 00 00 ........
002e7f48
002e7f48 string "Adding border after column ",0 ← 0x156615
002e7f64
002e7f64 00 00 00 04 fc 07 00 00 00 00 00 00 ............
002e7f70
002e7f70 string "top",0 ← 0x1583a8 0x15b273
002e7f74
002e7f74 00 00 00 04 fc 07 00 00 00 00 00 00 ............
002e7f80
002e7f80 ; center ← 0x158468 0x15b269 0x15b522
002e7f80 63 65 6e 74 cent
002e7f84
002e7f84 SwitchTable
002e7f84 0xb00 0x2e7fe8 0x2e7fa8 0x17fc
002e7f90
002e7f90 PointerTable ← camlText.close_row_1624
002e7f90 0x2e7fe8 0x2e7fa8
002e7fa4
002e7fa4 00 00 00 00 ....
002e7fa8
002e7fa8 string "close_row tailles=%a, taille=%a\n",0
002e7fc9
002e7fc9 00 00 00 ...
002e7fcc
002e7fcc SwitchTable
002e7fcc 0x7fc 0x4c44 0xb0b 0x2e8040 0x2e8000 0x70f 0x2e8010 0xb0b
002e800c 0x2e8028 0x2e83a8 0xbfc
002e7fe8
002e7fe8 PointerTable
002e7fe8 0x2e8040 0x2e8000
002e8010
002e8010 PointerTable
002e8010 0x2e8028 0x2e83a8
002e8024
002e8024 00 00 00 00 ....
002e8028
002e8028 string ", taille=",0 ← 0x157966
002e8032
002e8032 00 00 00 00 00 06 fc 0f 00 00 00 00 00 00 ..............
002e8040
002e8040 string "close_row tailles=",0
002e8053
002e8053 00 00 00 00 05 fc 0b 00 00 00 00 00 00 .............
002e8060
002e8060 string "erase_row",0 ← 0x1563c2
002e806a
002e806a 00 00 00 00 00 06 ......
002e8070 fc 0b 00 00 00 00 00 00 ........
002e8078
002e8078 string "erase cell",0 ← 0x156276
002e8083
002e8083 00 00 00 00 05 fc 0b 00 00 00 00 00 00 .............
002e8090
002e8090 string "<= force_cell",0 ← 0x156179
002e809e
002e809e 00 02 ..
002e80a0 fc 0f 00 00 00 00 00 00 ........
002e80a8
002e80a8 string "Invalid row type",0 ← 0x155f00 0x1564e5
002e80b9
002e80b9 00 00 00 00 00 00 07 .......
002e80c0 fc 07 00 00 00 00 00 00 ........
002e80c8
002e80c8 ; , span= ← 0x155e45
002e80c8 2c 20 73 70 , sp
002e80cc
002e80cc SwitchTable
002e80cc 0xb00 0x19 0x2e81e0 0xbfc
002e80ec
002e80ec 00 00 00 00 ....
002e80f0
002e80f0 string ", height=",0 ← 0x155e7b
002e80fa
002e80fa 00 00 00 00 00 06 ......
002e8100 fc 0b 00 00 00 00 00 00 ........
002e8108
002e8108 string "size : width=",0 ← 0x155eb1
002e8116
002e8116 00 02 fc 0b 00 00 00 00 00 00 ..........
002e8120
002e8120 string "#,post :#",0 ← 0x155c27
002e812a
002e812a 00 00 00 00 00 06 ......
002e8130 fc 0b 00 00 00 00 00 00 ........
002e8138
002e8138 string "#,pre :#",0 ← 0x155c53
002e8141
002e8141 00 00 00 00 00 00 07 fc 07 00 00 00 00 00 00 ...............
002e8150
002e8150 string "cell :#",0 ← 0x155c7f
002e8158
002e8158 fc 0b 00 00 00 00 00 00 ........
002e8160
002e8160 string "=> force_cell",0 ← 0x155b1a
002e816e
002e816e 00 02 ..
002e8170 fc 0b 00 00 00 00 00 00 ........
002e8178
002e8178 string "Column too wide",0 ← 0x155974
002e8188
002e8188 fc 0b 00 00 00 00 00 00 ........
002e8190
002e8190 string "open_cell, col=",0 ← 0x15580c
002e81a0
002e81a0 fc 0b 00 00 00 00 00 00 ........
002e81a8
002e81a8 string "as_align",0 ← 0x155722
002e81b1
002e81b1 00 00 00 00 00 00 07 fc 0f 00 00 00 00 00 00 ...............
002e81c0
002e81c0 ; '' in out-manager ← 0x155670 0x158130
002e81c0 27 27 20 69 6e 20 6f 75 74 2d 6d 61 '' in out-ma
002e81cc
002e81cc SwitchTable
002e81cc 0x72 0x7fc 0x4c4f 0xbfc
002e81ec
002e81ec 00 00 00 00 ....
002e81f0
002e81f0 string "No-length ``",0 ← 0x155682 0x158142
002e81fd
002e81fd 00 00 03 ...
002e8200 fc 17 00 00 00 00 00 00 ........
002e8208
002e8208 string "cannot wrap column with no width",0 ← 0x1555c0
002e8229
002e8229 00 00 00 00 00 00 07 .......
002e8230 fc 17 00 00 00 00 00 00 ........
002e8238
002e8238 string "open_cell, invalid horizontal format :",0 ← 0x155530
002e825f
002e825f 01 .
002e8260 fc 17 00 00 00 00 00 00 ........
002e8268
002e8268 string "open_cell, invalid vertical format :" ← 0x1553bb 0x155426
002e828c
002e828c SwitchTable
002e828c 0x700 0x65 0xffc
002e82a4
002e82a4 00 00 00 00 ....
002e82a8
002e82a8 string "<= new_row, line =",0 ← 0x155260
002e82bb
002e82bb 00 00 00 00 05 .....
002e82c0 fc 13 00 00 00 00 00 00 ........