File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
    0028b300
    0028b300 5c 44 69 73 70 6c 61 79 43 68 6f 6f \DisplayChoo
    0028b30c
    0028b30c SwitchTable
    0028b30c 0x7fc 0x745c 0xffc
    0028b324
    0028b324 00 00 00 00 ....
    0028b328
    0028b328 ; inverted double breve ← 0x10b6bd 0x10dcd1
    0028b328 69 6e 76 65 72 74 65 64 inverted
    0028b330 20 64 6f 75 62 6c 65 20 62 72 65 76 double brev
    0028b33c
    0028b33c SwitchTable
    0028b33c 0xb00 0x28b390 0x28b360 0x17fc
    0028b348
    0028b348 PointerTable ← camlPackage.fun_2211
    0028b348 0x28b390 0x28b360
    0028b35c
    0028b35c 00 00 00 00 ....
    0028b360
    0028b360 ; Ignoring double accent '%s' on '%s'
    0028b360 49 67 6e 6f 72 69 6e 67 20 64 6f 75 62 6c 65 20 Ignoring double
    0028b370 61 63 63 65 6e 74 20 27 25 73 27 20 accent '%s'
    0028b37c
    0028b37c SwitchTable
    0028b37c 0x277325 0xb0b 0x28b718 0x28b400 0x700 0x1 0xbfc
    0028b390
    0028b390 PointerTable
    0028b390 0x28b718 0x28b400
    0028b3b4
    0028b3b4 00 00 00 00 ....
    0028b3b8
    0028b3b8 string "one@mathtt{",0 ← 0x1158d5
    0028b3c4
    0028b3c4 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
    0028b3d0
    0028b3d0 string "\\@mathtt",0 ← 0x10d20d
    0028b3d9
    0028b3d9 00 00 00 00 00 00 07 .......
    0028b3e0 fc 0b 00 00 00 00 00 00 ........
    0028b3e8
    0028b3e8 string "one@mathcal{" ← 0x1157b5
    0028b3f4
    0028b3f4 SwitchTable
    0028b3f4 0xb02 0x1 0x28b498 0xbfc
    0028b414
    0028b414 00 00 00 00 ....
    0028b418
    0028b418 string "\\@mathcal",0 ← 0x10d1aa
    0028b422
    0028b422 00 00 00 00 00 06 fc 0b 00 00 00 00 00 00 ..............
    0028b430
    0028b430 string "\\@mathrm",0 ← 0x10d143
    0028b439
    0028b439 00 00 00 00 00 00 07 .......
    0028b440 fc 07 00 00 00 00 00 00 ........
    0028b448
    0028b448 string "</B>",0 ← 0x115640
    0028b44d
    0028b44d 00 00 03 ...
    0028b450 fc 07 00 00 00 00 00 00 ........
    0028b458
    0028b458 string "<B>",0 ← 0x11564f
    0028b45c
    0028b45c 00 00 00 04 ....
    0028b460 fc 0b 00 00 00 00 00 00 ........
    0028b468
    0028b468 string "\\@mathbf",0 ← 0x10d0f1
    0028b471
    0028b471 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
    0028b480
    0028b480 string "one@mathsf{",0 ← 0x1155c5
    0028b48c
    0028b48c SwitchTable
    0028b48c 0xb0b 0x28b650 0x28b510 0xbfc
    0028b498
    0028b498 PointerTable
    0028b498 0x28b650 0x28b510
    0028b4ac
    0028b4ac 00 00 00 00 ....
    0028b4b0
    0028b4b0 string "\\@mathsf",0 ← 0x10d09f
    0028b4b9
    0028b4b9 00 00 00 00 00 00 07 .......
    0028b4c0 fc 0b 00 00 00 00 00 00 ........
    0028b4c8
    0028b4c8 string "one@mathfrak{",0 ← 0x115495
    0028b4d6
    0028b4d6 00 02 fc 0b 00 00 00 00 00 00 ..........
    0028b4e0
    0028b4e0 string "\\@mathfrak",0 ← 0x10d038
    0028b4eb
    0028b4eb 00 00 00 00 05 .....
    0028b4f0 fc 0b 00 00 00 00 00 00 ........
    0028b4f8
    0028b4f8 string "one@mathbb{",0 ← 0x115365
    0028b504
    0028b504 SwitchTable
    0028b504 0xb02 0x1 0x28b5b0 0xbfc
    0028b524
    0028b524 00 00 00 00 ....
    0028b528
    0028b528 string "\\@mathbb",0 ← 0x10cfd1
    0028b531
    0028b531 00 00 00 00 00 00 07 fc 0f 00 00 00 00 00 00 ...............
    0028b540
    0028b540 string "\\@cr@def@withother",0 ← 0x114e31
    0028b553
    0028b553 00 00 00 00 05 fc 0b 00 00 00 00 00 00 .............
    0028b560
    0028b560 string "\\@cr@def",0 ← 0x114de5
    0028b569
    0028b569 00 00 00 00 00 00 07 .......
    0028b570 fc 0f 00 00 00 00 00 00 ........
    0028b578
    0028b578 string "\\@cr@sort@labels",0 ← 0x114d92
    0028b589
    0028b589 00 00 00 00 00 00 07 .......
    0028b590 fc 0b 00 00 00 00 00 00 ........
    0028b598
    0028b598 string "cleveref",0 ← 0x10cf5c
    0028b5a1
    0028b5a1 00 00 00 ...
    0028b5a4
    0028b5a4 SwitchTable
    0028b5a4 0xb0c 0x4f 0x1 0x13fc
    0028b5c4
    0028b5c4 00 00 00 00 ....
    0028b5c8
    0028b5c8 string "\\crefmiddlegroupconjunction",0 ← 0x114cbc
    0028b5e4
    0028b5e4 00 00 00 04 fc 13 00 00 00 00 00 00 ............
    0028b5f0
    0028b5f0 string "\\creflastgroupconjunction",0 ← 0x114c86
    0028b60a
    0028b60a 00 00 00 00 00 06 ......
    0028b610 fc 07 00 00 00 00 00 00 ........
    0028b618
    0028b618 string "cref",0 ← 0x114bb9 0x114ca3 0x114cd9
    0028b61d
    0028b61d 00 00 03 ...
    0028b620 fc 13 00 00 00 00 00 00 ........
    0028b628
    0028b628 string "\\crefpairgroupconjunction",0 ← 0x114b90
    0028b642
    0028b642 00 00 00 00 00 06 fc 07 00 00 00 00 00 00 ..............
    0028b650
    0028b650 ; ' on '
    0028b650 27 20 6f 6e ' on
    0028b654
    0028b654 SwitchTable
    0028b654 0xb00 0x28b690 0x28b678 0xbfc
    0028b660
    0028b660 PointerTable ← camlPackage.Make_1936
    0028b660 0x28b690 0x28b678
    0028b674
    0028b674 00 00 00 00 ....
    0028b678
    0028b678 ; %s@label@order
    0028b678 25 73 40 6c 61 62 65 6c %s@label
    0028b680 40 6f 72 64 @ord
    0028b684
    0028b684 SwitchTable
    0028b684 0xb02 0x1 0x28b6a8 0xb11 0x28b750 0x28b6c0 0xb0b 0x28b740
    0028b6c4 0x28b6d8 0xb11 0x28be20 0x28b6f0 0xb0b 0x28b708 0x1 0x7fc
    0028b6a8
    0028b6a8 PointerTable
    0028b6a8 0x28b750 0x28b6c0
    0028b6c0
    0028b6c0 PointerTable
    0028b6c0 0x28b740 0x28b6d8
    0028b6d8
    0028b6d8 PointerTable
    0028b6d8 0x28be20 0x28b6f0
    0028b704
    0028b704 00 00 00 00 ....
    0028b708
    0028b708 string "rder",0
    0028b70d
    0028b70d 00 00 03 ...
    0028b710 fc 13 00 00 00 00 00 00 ........
    0028b718
    0028b718 string "Ignoring double accent '",0
    0028b731
    0028b731 00 00 00 00 00 00 07 fc 07 00 00 00 00 00 00 ...............
    0028b740
    0028b740 string "abel"
    0028b744
    0028b744 SwitchTable
    0028b744 0x702 0xd9 0xb00 0x28b790 0x28b778 0xbfc
    0028b760
    0028b760 PointerTable ← camlPackage.Make_1936
    0028b760 0x28b790 0x28b778
    0028b774
    0028b774 00 00 00 00 ....
    0028b778
    0028b778 string "@cf@%s@type",0
    0028b784
    0028b784 SwitchTable
    0028b784 0xb11 0x28cf80 0x28b7a8 0xb0c 0xcd 0x28b7c0 0xb0c 0x81
    0028b7c4 0x28b7d8 0xb02 0x1 0x28b7f0 0xb11 0x28bcf0 0x28b808 0xb0b
    0028b804 0x28b820 0x1 0x7fc
    0028b790
    0028b790 PointerTable
    0028b790 0x28cf80 0x28b7a8
    0028b7a8
    0028b7a8 PointerTable
    0028b7a8 0xcd 0x28b7c0
    0028b7f0
    0028b7f0 PointerTable
    0028b7f0 0x28bcf0 0x28b808
    0028b81c
    0028b81c 00 00 00 00 ....
    0028b820
    0028b820 string "ype",0
    0028b824
    0028b824 SwitchTable
    0028b824 0xb00 0x28b868 0x28b848 0xffc
    0028b830
    0028b830 PointerTable ← camlPackage.fun_3244
    0028b830 0x28b868 0x28b848
    0028b844
    0028b844 00 00 00 00 ....
    0028b848
    0028b848 string "\\csname %s\\endcsname"
    0028b85c
    0028b85c SwitchTable
    0028b85c 0xb0b 0x28b8c8 0x28b880 0xb02 0x1 0x28b898 0xb0b 0x28b8b0
    0028b89c 0x1 0xbfc
    0028b868
    0028b868 PointerTable
    0028b868 0x28b8c8 0x28b880
    0028b8ac
    0028b8ac 00 00 00 00 ....
    0028b8b0
    0028b8b0 string "\\endcsname",0
    0028b8bb
    0028b8bb 00 00 00 00 05 .....
    0028b8c0 fc 0b 00 00 00 00 00 00 ........
    0028b8c8
    0028b8c8 string "\\csname ",0
    0028b8d1
    0028b8d1 00 00 00 ...
    0028b8d4
    0028b8d4 SwitchTable
    0028b8d4 0xb00 0x28b908 0x28b8f8 0x7fc
    0028b8e0
    0028b8e0 PointerTable ← camlPackage.fun_3244
    0028b8e0 0x28b908 0x28b8f8
    0028b8f4
    0028b8f4 00 00 00 00 ....
    0028b8f8
    0028b8f8 string "\\%s",0
    0028b8fc
    0028b8fc SwitchTable
    0028b8fc 0xb0c 0xb9 0x28b920 0xb02 0x1 0x1 0xb00 0x1
    0028b93c 0x1 0xffc
    0028b908
    0028b908 PointerTable
    0028b908 0xb9 0x28b920
    0028b94c
    0028b94c 00 00 00 00 ....
    0028b950
    0028b950 string "\\creflastconjunction",0 ← 0x113fe4
    0028b965
    0028b965 00 00 03 fc 0f 00 00 00 00 00 00 ...........
    0028b970
    0028b970 ; \crefmiddleconjunction ← 0x113e22 0x11405b
    0028b970 5c 63 72 65 66 6d 69 64 64 6c 65 63 6f 6e 6a 75 \crefmiddleconju
    0028b980 6e 63 74 69 ncti
    0028b984
    0028b984 SwitchTable
    0028b984 0xb00 0x28b9d0 0x28b9a8 0x13fc
    0028b990
    0028b990 PointerTable ← camlPackage.cr_fmt_many_1592
    0028b990 0x28b9d0 0x28b9a8 0x13fc
    0028b9a8
    0028b9a8 string "\\@cr@secname@plural{%s}{%s}",0
    0028b9c4
    0028b9c4 SwitchTable
    0028b9c4 0xb0c 0xb9 0x28b9e8 0xb11 0x28cf80 0x28ba00 0xb0c 0xe5
    0028ba04 0x28ba18 0xb11 0x28baa8 0x28ba30 0xb0b 0x28ba98 0x28ba48 0xb11
    0028ba44 0x28ba88 0x28ba60 0xb0b 0x28ba78 0x28bde0 0x7fc
    0028b9d0
    0028b9d0 PointerTable
    0028b9d0 0xb9 0x28b9e8
    0028b9e8
    0028b9e8 PointerTable
    0028b9e8 0x28cf80 0x28ba00
    0028ba00
    0028ba00 PointerTable
    0028ba00 0xe5 0x28ba18
    0028ba18
    0028ba18 PointerTable
    0028ba18 0x28baa8 0x28ba30
    0028ba30
    0028ba30 PointerTable
    0028ba30 0x28ba98 0x28ba48
    0028ba48
    0028ba48 PointerTable
    0028ba48 0x28ba88 0x28ba60
    0028ba60
    0028ba60 PointerTable
    0028ba60 0x28ba78 0x28bde0
    0028ba74
    0028ba74 00 00 00 00 ....
    0028ba78
    0028ba78 ; lural{
    0028ba78 6c 75 72 61 lura
    0028ba7c
    0028ba7c SwitchTable
    0028ba7c 0x702 0xe1 0x7fc
    0028ba94
    0028ba94 00 00 00 00 ....
    0028ba98
    0028ba98 ; ecname
    0028ba98 65 63 6e 61 ecna
    0028ba9c
    0028ba9c SwitchTable
    0028ba9c 0x702 0xe7 0xb00 0x28baf0 0x28bad0 0xffc
    0028bab8
    0028bab8 PointerTable ← camlPackage.cr_fmt_many_1592 camlPackage.fmt_lbl_1607 camlPackage.do_rec_1694
    0028bab8 0x28baf0 0x28bad0
    0028bacc
    0028bacc 00 00 00 00 ....
    0028bad0
    0028bad0 ; \@cr@apply@fmt{%s}
    0028bad0 5c 40 63 72 40 61 70 70 6c 79 40 66 \@cr@apply@f
    0028badc
    0028badc SwitchTable
    0028badc 0x7d73 0xb0c 0xb9 0x28bb08 0xb11 0x28cf80 0x28bb20 0xb0c
    0028bb1c 0xe5 0x28bb38 0xb11 0x28bbb8 0x28bb50 0xb0b 0x28bba8 0x28bb68
    0028bb5c 0xb11 0x28be40 0x28bb80 0xb0b 0x28bb98 0x28d588 0x7fc
    0028baf0
    0028baf0 PointerTable
    0028baf0 0xb9 0x28bb08
    0028bb08
    0028bb08 PointerTable
    0028bb08 0x28cf80 0x28bb20
    0028bb20
    0028bb20 PointerTable
    0028bb20 0xe5 0x28bb38
    0028bb38
    0028bb38 PointerTable
    0028bb38 0x28bbb8 0x28bb50
    0028bb50
    0028bb50 PointerTable
    0028bb50 0x28bba8 0x28bb68
    0028bb68
    0028bb68 PointerTable
    0028bb68 0x28be40 0x28bb80
    0028bb80
    0028bb80 PointerTable
    0028bb80 0x28bb98 0x28d588
    0028bb94
    0028bb94 00 00 00 00 ....
    0028bb98
    0028bb98 string "mt{",0
    0028bb9c
    0028bb9c 00 00 00 04 ....
    0028bba0 fc 07 00 00 00 00 00 00 ........
    0028bba8
    0028bba8 string "pply"
    0028bbac
    0028bbac SwitchTable
    0028bbac 0x702 0xc3 0xb00 0x28bc08 0x28bbe0 0x13fc
    0028bbc8
    0028bbc8 PointerTable ← camlPackage.cr_fmt_two_1591
    0028bbc8 0x28bc08 0x28bbe0 0x13fc
    0028bbe0
    0028bbe0 string "\\@cr@fmt@two{%s}{%s}{%s}",0
    0028bbf9
    0028bbf9 00 00 00 ...
    0028bbfc
    0028bbfc SwitchTable
    0028bbfc 0xb0c 0xb9 0x28bc20 0xb11 0x28cf80 0x28bc38 0xb0c 0xe5
    0028bc3c 0x28bc50 0xb11 0x28be40 0x28bc68 0xb0b 0x28be30 0x28bc80 0xb11
    0028bc7c 0x28bcf0 0x28bc98 0xb0b 0x28bce0 0x28bcb0 0xb02 0x1 0x28bcc8
    0028bcbc 0xb0b 0x28d478 0x28bde0 0x7fc
    0028bc08
    0028bc08 PointerTable
    0028bc08 0xb9 0x28bc20
    0028bc20
    0028bc20 PointerTable
    0028bc20 0x28cf80 0x28bc38
    0028bc38
    0028bc38 PointerTable
    0028bc38 0xe5 0x28bc50
    0028bc50
    0028bc50 PointerTable
    0028bc50 0x28be40 0x28bc68
    0028bc68
    0028bc68 PointerTable
    0028bc68 0x28be30 0x28bc80
    0028bc80
    0028bc80 PointerTable
    0028bc80 0x28bcf0 0x28bc98
    0028bc98
    0028bc98 PointerTable
    0028bc98 0x28bce0 0x28bcb0
    0028bcc8
    0028bcc8 PointerTable
    0028bcc8 0x28d478 0x28bde0
    0028bcdc
    0028bcdc 00 00 00 00 ....
    0028bce0
    0028bce0 string "wo{",0
    0028bce4
    0028bce4 SwitchTable
    0028bce4 0x702 0xe9 0xb00 0x28bd38 0x28bd18 0xffc
    0028bd00
    0028bd00 PointerTable ← camlPackage.cr_fmt_one_1590
    0028bd00 0x28bd38 0x28bd18
    0028bd14
    0028bd14 00 00 00 00 ....
    0028bd18
    0028bd18 string "\\@cr@fmt@one{%s}{%s}"
    0028bd2c
    0028bd2c SwitchTable
    0028bd2c 0xb0c 0xb9 0x28bd50 0xb11 0x28cf80 0x28bd68 0xb0c 0xe5
    0028bd6c 0x28bd80 0xb11 0x28be40 0x28bd98 0xb0b 0x28be30 0x28bdb0 0xb11
    0028bdac 0x28be20 0x28bdc8 0xb0b 0x28be10 0x28bde0 0xb02 0x1 0x28bdf8
    0028bdec 0xb0b 0x28d478 0x28d588 0x7fc
    0028bd38
    0028bd38 PointerTable
    0028bd38 0xb9 0x28bd50
    0028bd50
    0028bd50 PointerTable
    0028bd50 0x28cf80 0x28bd68
    0028bd68
    0028bd68 PointerTable
    0028bd68 0xe5 0x28bd80
    0028bd80
    0028bd80 PointerTable
    0028bd80 0x28be40 0x28bd98
    0028bd98
    0028bd98 PointerTable
    0028bd98 0x28be30 0x28bdb0
    0028bdb0
    0028bdb0 PointerTable
    0028bdb0 0x28be20 0x28bdc8
    0028bdc8
    0028bdc8 PointerTable
    0028bdc8 0x28be10 0x28bde0
    0028bdf8
    0028bdf8 PointerTable
    0028bdf8 0x28d478 0x28d588
    0028be0c
    0028be0c 00 00 00 00 ....
    0028be10
    0028be10 string "ne{",0
    0028be14
    0028be14 SwitchTable
    0028be14 0x702 0xdf 0x7fc 0x746d 0x702 0xcd 0xbfc
    0028be4c
    0028be4c 00 00 00 00 ....
    0028be50
    0028be50 string "\\@imp@set",0 ← 0x113b8a
    0028be5a
    0028be5a 00 00 00 00 00 06 ......
    0028be60 fc 07 00 00 00 00 00 00 ........
    0028be68
    0028be68 string "import",0 ← 0x10ccc5
    0028be6f
    0028be6f 01 .
    0028be70 fc 0f 00 00 00 00 00 00 ........
    0028be78
    0028be78 string "\\@removefromreset",0 ← 0x113a9a
    0028be8a
    0028be8a 00 00 00 00 00 06 ......
    0028be90 fc 0b 00 00 00 00 00 00 ........
    0028be98
    0028be98 string "chngcntr",0 ← 0x10cc7f
    0028bea1
    0028bea1 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
    0028beb0
    0028beb0 string "\\@addtoreset",0 ← 0x10cc39
    0028bebd
    0028bebd 00 00 03 ...
    0028bec0 fc 0f 00 00 00 00 00 00 ........
    0028bec8
    0028bec8 string "\\@set@in@translator",0 ← 0x10cbec
    0028bedc
    0028bedc 00 00 00 04 ....
    0028bee0 fc 0f 00 00 00 00 00 00 ........
    0028bee8
    0028bee8 string "\\@set@out@translator",0 ← 0x10cb9f
    0028befd
    0028befd 00 00 03 ...
    0028bf00 fc 0f 00 00 00 00 00 00 ........
    0028bf08
    0028bf08 ; \@set@translators ← 0x10cb52
    0028bf08 5c 40 73 65 74 40 74 72 \@set@tr
    0028bf10 61 6e 73 6c ansl
    0028bf14
    0028bf14 SwitchTable
    0028bf14 0x73 0xf00 0x28c550 0x8fd 0x67 0x7fc
    0028bf20
    0028bf20 PointerTable
    0028bf20 0xf00 0x28c550
    0028bf44
    0028bf44 00 00 00 00 ....
    0028bf48
    0028bf48 ; \glqq ← 0x113781
    0028bf48 5c 67 6c 71 \glq
    0028bf4c
    0028bf4c SwitchTable
    0028bf4c 0x7fc 0x5a53 0x7fc 0x5353 0x7fc
    0028bf74
    0028bf74 00 00 00 00 ....
    0028bf78
    0028bf78 string "\\frqq",0 ← 0x1136e1
    0028bf7e
    0028bf7e 00 02 ..
    0028bf80 fc 07 00 00 00 00 00 00 ........
    0028bf88
    0028bf88 string "\\flqq",0 ← 0x1136c1
    0028bf8e
    0028bf8e 00 02 ..
    0028bf90 fc 07 00 00 00 00 00 00 ........
    0028bf98
    0028bf98 string "\\grqq",0 ← 0x1136a1
    0028bf9e
    0028bf9e 00 02 ..
    0028bfa0 fc 0b 00 00 00 00 00 00 ........
    0028bfa8
    0028bfa8 string "\\@german@dquote",0 ← 0x1135e8
    0028bfb8
    0028bfb8 fc 07 00 00 00 00 00 00 ........
    0028bfc0
    0028bfc0 string "german",0 ← 0x10cb05
    0028bfc7
    0028bfc7 01 fc 0b 00 00 00 00 00 00 .........
    0028bfd0
    0028bfd0 string "\\NAT@args",0 ← 0x11340f
    0028bfda
    0028bfda 00 00 00 00 00 06 ......
    0028bfe0 fc 0b 00 00 00 00 00 00 ........
    0028bfe8
    0028bfe8 string "{}{??}{}{}",0 ← 0x113400
    0028bff3
    0028bff3 00 00 00 00 05 fc 0b 00 00 00 00 00 00 .............
    0028c000
    0028c000 string "\\NAT@bibread" ← 0x113299
    0028c00c
    0028c00c SwitchTable
    0028c00c 0xb00 0x28c050 0x28c030 0xffc
    0028c018
    0028c018 PointerTable ← camlPackage.fun_2976
    0028c018 0x28c050 0x28c030
    0028c02c
    0028c02c 00 00 00 00 ....
    0028c030
    0028c030 string "{%s}{%s}{{%s}}{{%s}}"
    0028c044
    0028c044 SwitchTable
    0028c044 0xb0c 0xf7 0x28c068 0xb02 0x1 0x28c080 0xb0b 0x28d478
    0028c084 0x28c098 0xb02 0x1 0x28c0b0 0xb0b 0x28c138 0x28c0c8 0xb02
    0028c0c4 0x1 0x28c0e0 0xb0b 0x28c128 0x28c0f8 0xb02 0x1 0x28c110
    0028c104 0xb0b 0x28c628 0x1 0x7fc
    0028c050
    0028c050 PointerTable
    0028c050 0xf7 0x28c068
    0028c080
    0028c080 PointerTable
    0028c080 0x28d478 0x28c098
    0028c0b0
    0028c0b0 PointerTable
    0028c0b0 0x28c138 0x28c0c8
    0028c0e0
    0028c0e0 PointerTable
    0028c0e0 0x28c128 0x28c0f8
    0028c124
    0028c124 00 00 00 00 ....
    0028c128
    0028c128 string "}}{{",0
    0028c12d
    0028c12d 00 00 03 ...
    0028c130 fc 07 00 00 00 00 00 00 ........
    0028c138
    0028c138 string "}{{",0
    0028c13c
    0028c13c 00 00 00 04 ....
    0028c140 fc 0b 00 00 00 00 00 00 ........
    0028c148
    0028c148 string "\\NAT@write",0 ← 0x113242
    0028c153
    0028c153 00 00 00 00 05 fc 07 00 00 00 00 00 00 .............
    0028c160
    0028c160 string "natbib",0 ← 0x10ca16
    0028c167
    0028c167 01 fc 07 00 00 00 00 00 00 .........
    0028c170
    0028c170 string "\\@xyarg",0 ← 0x113130
    0028c178
    0028c178 fc 07 00 00 00 00 00 00 ........
    0028c180
    0028c180 string "xypic",0 ← 0x10c9c7
    0028c186
    0028c186 00 02 fc 0b 00 00 00 00 00 00 ..........
    0028c190
    0028c190 string "\\@setkeys",0 ← 0x1130c9
    0028c19a
    0028c19a 00 00 00 00 00 06 ......
    0028c1a0 fc 0b 00 00 00 00 00 00 ........
    0028c1a8
    0028c1a8 string "\\define@key",0 ← 0x1130aa
    0028c1b4
    0028c1b4 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
    0028c1c0
    0028c1c0 string "doublestruck",0 ← 0x10b611
    0028c1cd
    0028c1cd 00 00 03 ...
    0028c1d0 fc 07 00 00 00 00 00 00 ........
    0028c1d8
    0028c1d8 string "keyval",0 ← 0x10c978
    0028c1df
    0028c1df 01 .
    0028c1e0 fc 0f 00 00 00 00 00 00 ........
    0028c1e8
    0028c1e8 ; keyval, unknown key: ' ← 0x113034
    0028c1e8 6b 65 79 76 61 6c 2c 20 keyval,
    0028c1f0 75 6e 6b 6e 6f 77 6e 20 6b 65 79 3a unknown key:
    0028c1fc
    0028c1fc SwitchTable
    0028c1fc 0x7fc 0x27 0x17fc
    0028c214
    0028c214 00 00 00 00 ....
    0028c218
    0028c218 ; keyval, no default value for key: ' ← 0x11300c
    0028c218 6b 65 79 76 61 6c 2c 20 keyval,
    0028c220 6e 6f 20 64 65 66 61 75 6c 74 20 76 61 6c 75 65 no default value
    0028c230 20 66 6f 72 for
    0028c234
    0028c234 SwitchTable
    0028c234 0x27203a 0xb00 0x28c290 0x28c260 0x17fc
    0028c248
    0028c248 PointerTable ← camlPackage.do_rec_1525
    0028c248 0x28c290 0x28c260
    0028c25c
    0028c25c 00 00 00 00 ....
    0028c260
    0028c260 string "Found KEY, key='%s', value='%s'\n",0
    0028c281
    0028c281 00 00 00 ...
    0028c284
    0028c284 SwitchTable
    0028c284 0xb0b 0x28c308 0x28c2a8 0xb02 0x1 0x28c2d8 0xbfc
    0028c290
    0028c290 PointerTable
    0028c290 0x28c308 0x28c2a8
    0028c2bc
    0028c2bc 00 00 00 00 ....
    0028c2c0
    0028c2c0 ; \@doublestruck ← 0x10b618
    0028c2c0 5c 40 64 6f 75 62 6c 65 73 74 72 75 \@doublestru
    0028c2cc
    0028c2cc SwitchTable
    0028c2cc 0xb0b 0x28c2f0 0x28c408 0xbfc
    0028c2d8
    0028c2d8 PointerTable
    0028c2d8 0x28c2f0 0x28c408
    0028c2ec
    0028c2ec 00 00 00 00 ....
    0028c2f0
    0028c2f0 string "', value='",0
    0028c2fb
    0028c2fb 00 00 00 00 05 .....
    0028c300 fc 0f 00 00 00 00 00 00 ........
    0028c308
    0028c308 string "Found KEY, key='",0
    0028c319
    0028c319 00 00 00 ...
    0028c31c
    0028c31c SwitchTable
    0028c31c 0x7fc 0x3d 0x7fc 0x3d3d 0x7fc 0x2c 0x7fc
    0028c354
    0028c354 00 00 00 00 ....
    0028c358
    0028c358 ; circled ← 0x10b5dd
    0028c358 63 69 72 63 circ
    0028c35c
    0028c35c SwitchTable
    0028c35c 0xb00 0x28c3c0 0x28c398 0xbfc
    0028c368
    0028c368 PointerTable ← camlPackage.do_setkey_1519
    0028c368 0x28c3c0 0x28c398
    0028c37c
    0028c37c 00 00 00 00 ....
    0028c380
    0028c380 string "\\textcircled",0 ← 0x10b5e4
    0028c38d
    0028c38d 00 00 03 ...
    0028c390 fc 13 00 00 00 00 00 00 ........
    0028c398
    0028c398 ; SETKEY, family='%s', arg='%s'
    0028c398 53 45 54 4b 45 59 2c 20 SETKEY,
    0028c3a0 66 61 6d 69 6c 79 3d 27 25 73 27 2c 20 61 72 67 family='%s', arg
    0028c3b0 3d 27 25 73 ='%s
    0028c3b4
    0028c3b4 SwitchTable
    0028c3b4 0xb0b 0x28c460 0x28c3d8 0xb02 0x1 0x28c3f0 0xb0b 0x28c448
    0028c3f4 0x28c408 0xb02 0x1 0x28c420 0xb0b 0x28c438 0x1 0x7fc
    0028c434 0xa27 0xbfc
    0028c3c0
    0028c3c0 PointerTable
    0028c3c0 0x28c460 0x28c3d8
    0028c3f0
    0028c3f0 PointerTable
    0028c3f0 0x28c448 0x28c408
    0028c444
    0028c444 00 00 00 00 ....
    0028c448
    0028c448 string "', arg='",0
    0028c451
    0028c451 00 00 00 00 00 00 07 fc 0f 00 00 00 00 00 00 ...............
    0028c460
    0028c460 string "SETKEY, family='",0
    0028c471
    0028c471 00 00 00 ...
    0028c474
    0028c474 SwitchTable
    0028c474 0x7fc 0x2c2c 0x7fc
    0028c48c
    0028c48c 00 00 00 00 ....
    0028c490
    0028c490 ; caron ← 0x10b5a9
    0028c490 63 61 72 6f caro
    0028c494
    0028c494 SwitchTable
    0028c494 0x7fc 0x765c 0xbfc
    0028c4ac
    0028c4ac 00 00 00 00 ....
    0028c4b0
    0028c4b0 ; ringabove ← 0x10b575
    0028c4b0 72 69 6e 67 ring
    0028c4b4
    0028c4b4 SwitchTable
    0028c4b4 0x65 0x7fc 0x725c 0xf00 0x28c550 0x827 0x13 0x7fc
    0028c4d0
    0028c4d0 PointerTable
    0028c4d0 0xf00 0x28c550
    0028c4f4
    0028c4f4 00 00 00 00 ....
    0028c4f8
    0028c4f8 string "}{#1}",0 ← 0x1128a7
    0028c4fe
    0028c4fe 00 02 ..
    0028c500 fc 0b 00 00 00 00 00 00 ........
    0028c508
    0028c508 string "\\@funcall{",0 ← 0x1128b6
    0028c513
    0028c513 00 00 00 00 05 fc 07 00 00 00 00 00 00 .............
    0028c520
    0028c520 ; ogonek ← 0x10b544
    0028c520 6f 67 6f 6e ogon
    0028c524
    0028c524 SwitchTable
    0028c524 0xf00 0x28c550 0x807 0x1b 0xbfc
    0028c528
    0028c528 PointerTable
    0028c528 0xf00 0x28c550
    0028c54c
    0028c54c 00 00 00 00 ....
    0028c550
    0028c550 string "package.ml",0
    0028c55b
    0028c55b 00 00 00 00 05 .....
    0028c560 fc 0b 00 00 00 00 00 00 ........
    0028c568
    0028c568 string "@default",0 ← 0x112b6b 0x112fc0
    0028c571
    0028c571 00 00 00 ...
    0028c574
    0028c574 SwitchTable
    0028c574 0xb00 0x28c598 0x28d2b0 0x7fc 0x31 0x7fc 0x6b5c 0x7fc
    0028c580
    0028c580 PointerTable ← camlPackage.do_definekey_1502
    0028c580 0x28c598 0x28d2b0
    0028c5b4
    0028c5b4 00 00 00 00 ....
    0028c5b8
    0028c5b8 string "@extra",0 ← 0x112743 0x112896
    0028c5bf
    0028c5bf 01 .
    0028c5c0 fc 07 00 00 00 00 00 00 ........
    0028c5c8
    0028c5c8 string "\\KV@" ← 0x112711
    0028c5cc
    0028c5cc SwitchTable
    0028c5cc 0x7fc 0x2e 0x7fc 0x235c 0xbfc
    0028c5f4
    0028c5f4 00 00 00 00 ....
    0028c5f8
    0028c5f8 string "\\@hyperref",0 ← 0x11237b
    0028c603
    0028c603 00 00 00 00 05 fc 0b 00 00 00 00 00 00 .............
    0028c610
    0028c610 ; linebelow ← 0x10b510
    0028c610 6c 69 6e 65 line
    0028c614
    0028c614 SwitchTable
    0028c614 0x77 0x7fc 0x7d7d 0xffc
    0028c634
    0028c634 00 00 00 00 ....
    0028c638
    0028c638 string "\\imgsrc{\\@hr@expand{",0 ← 0x112562
    0028c64d
    0028c64d 00 00 03 ...
    0028c650 fc 0b 00 00 00 00 00 00 ........
    0028c658
    0028c658 string "\\hyperimage",0 ← 0x112326
    0028c664
    0028c664 00 00 00 04 fc 0f 00 00 00 00 00 00 ............
    0028c670
    0028c670 string "\\ahref{\\@hr@expand{",0 ← 0x1124c8 0x11267c
    0028c684
    0028c684 00 00 00 04 fc 07 00 00 00 00 00 00 ............
    0028c690
    0028c690 ; \href ← 0x1122ca
    0028c690 5c 68 72 65 \hre
    0028c694
    0028c694 SwitchTable
    0028c694 0x7fc 0x625c 0xbfc
    0028c6ac
    0028c6ac 00 00 00 00 ....
    0028c6b0
    0028c6b0 string "dotbelow",0 ← 0x10b4dc
    0028c6b9
    0028c6b9 00 00 00 00 00 00 07 .......
    0028c6c0 fc 0b 00 00 00 00 00 00 ........
    0028c6c8
    0028c6c8 string "hyperref",0 ← 0x10c8b9
    0028c6d1
    0028c6d1 00 00 00 00 00 00 07 fc 07 00 00 00 00 00 00 ...............
    0028c6e0
    0028c6e0 string "\\urldef",0 ← 0x111f65 0x112172
    0028c6e8
    0028c6e8 fc 0f 00 00 00 00 00 00 ........
    0028c6f0
    0028c6f0 string "\\UrlRight\\endgroup",0 ← 0x111ffe
    0028c703
    0028c703 00 00 00 00 05 fc 0f 00 00 00 00 00 00 .............
    0028c710
    0028c710 string "\\UrlFont\\UrlLeft\\@Url",0 ← 0x11200d
    0028c726
    0028c726 00 02 fc 07 00 00 00 00 00 00 ..........
    0028c730
    0028c730 string "\\Url",0 ← 0x111f09
    0028c735
    0028c735 00 00 03 fc 07 00 00 00 00 00 00 ...........
    0028c740
    0028c740 ; \@Url ← 0x111eb9
    0028c740 5c 40 55 72 \@Ur
    0028c744
    0028c744 SwitchTable
    0028c744 0x7fc 0x645c 0x7fc
    0028c75c
    0028c75c 00 00 00 00 ....
    0028c760
    0028c760 string "url",0 ← 0x10c873
    0028c764
    0028c764 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
    0028c770
    0028c770 string "\\@verbarg",0 ← 0x10c813
    0028c77a
    0028c77a 00 00 00 00 00 06 ......
    0028c780 fc 0b 00 00 00 00 00 00 ........
    0028c788
    0028c788 string "dotabove",0 ← 0x10b4a8
    0028c791
    0028c791 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
    0028c7a0
    0028c7a0 string "\\@verbimagearg",0 ← 0x111d90
    0028c7af
    0028c7af 01 .
    0028c7b0 fc 0b 00 00 00 00 00 00 ........
    0028c7b8
    0028c7b8 string "graphics",0 ← 0x10c7c2
    0028c7c1
    0028c7c1 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
    0028c7d0
    0028c7d0 string "\\swUNICODE{",0 ← 0x111d17
    0028c7dc
    0028c7dc 00 00 00 04 ....
    0028c7e0 fc 0b 00 00 00 00 00 00 ........
    0028c7e8
    0028c7e8 string "\\UNICODE",0 ← 0x111a09
    0028c7f1
    0028c7f1 00 00 00 00 00 00 07 fc 0f 00 00 00 00 00 00 ...............
    0028c800
    0028c800 string "FRAME-graphic-not-found",0 ← 0x111be2
    0028c818
    0028c818 fc 23 00 00 00 00 00 00 .#......
    0028c820
    0028c820 string "\\FRAME: no filename (missing snapshot?) - using\nfallback name",0 ← 0x111bcf
    0028c85e
    0028c85e 00 02 ..
    0028c860 fc 0b 00 00 00 00 00 00 ........
    0028c868
    0028c868 ; \swFRAME{ ← 0x111ba4 0x111bf1
    0028c868 5c 73 77 46 \swF
    0028c86c
    0028c86c SwitchTable
    0028c86c 0x7b 0x7fc 0x2e5c 0x7fc
    0028c88c
    0028c88c 00 00 00 00 ....
    0028c890
    0028c890 string "\\FRAME",0 ← 0x1119ba
    0028c897
    0028c897 01 fc 07 00 00 00 00 00 00 .........
    0028c8a0
    0028c8a0 string "breve",0 ← 0x10b474
    0028c8a6
    0028c8a6 00 02 fc 07 00 00 00 00 00 00 ..........
    0028c8b0
    0028c8b0 string "sword",0 ← 0x10c773
    0028c8b6
    0028c8b6 00 02 fc 17 00 00 00 00 00 00 ..........
    0028c8c0
    0028c8c0 string "\\xspace could not reach next char",0 ← 0x111920
    0028c8e2
    0028c8e2 00 00 00 00 00 06 fc 07 00 00 00 00 00 00 ..............
    0028c8f0
    0028c8f0 ; \xspace ← 0x111840
    0028c8f0 5c 78 73 70 \xsp
    0028c8f4
    0028c8f4 SwitchTable
    0028c8f4 0x7fc 0x755c 0x7fc
    0028c90c
    0028c90c 00 00 00 00 ....
    0028c910
    0028c910 ; xspace ← 0x10c72d
    0028c910 78 73 70 61 xspa
    0028c914
    0028c914 SwitchTable
    0028c914 0x7fc 0x5254 0xbfc
    0028c92c
    0028c92c 00 00 00 00 ....
    0028c930
    0028c930 ; \rowcolor ← 0x111542
    0028c930 5c 72 6f 77 \row
    0028c934
    0028c934 SwitchTable
    0028c934 0x72 0x7fc 0x22 0x13fc
    0028c954
    0028c954 00 00 00 00 ....
    0028c958
    0028c958 string "style=\"background-color:",0 ← 0x11167f 0x1117af
    0028c971
    0028c971 00 00 00 00 00 00 07 fc 07 00 00 00 00 00 00 ...............
    0028c980
    0028c980 string "div",0 ← 0x11169e
    0028c984
    0028c984 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
    0028c990
    0028c990 string "doubleacute",0 ← 0x10b440
    0028c99c
    0028c99c 00 00 00 04 ....
    0028c9a0 fc 0b 00 00 00 00 00 00 ........
    0028c9a8
    0028c9a8 string "\\columncolor" ← 0x1114e2
    0028c9b4
    0028c9b4 SwitchTable
    0028c9b4 0x7fc 0x23 0x7fc 0x485c 0xbfc
    0028c9dc
    0028c9dc 00 00 00 00 ....
    0028c9e0
    0028c9e0 string "colortbl",0 ← 0x10c6de
    0028c9e9
    0028c9e9 00 00 00 00 00 00 07 .......
    0028c9f0 fc 0b 00 00 00 00 00 00 ........
    0028c9f8
    0028c9f8 string "\\@getstylecolor",0 ← 0x110fb2
    0028ca08
    0028ca08 fc 0b 00 00 00 00 00 00 ........
    0028ca10
    0028ca10 ; \@getcolor ← 0x110f56
    0028ca10 5c 40 67 65 \@ge
    0028ca14
    0028ca14 SwitchTable
    0028ca14 0x726f 0x7fc
    0028ca24
    0028ca24 00 00 00 00 ....
    0028ca28
    0028ca28 string "!*!",0 ← 0x1112f8 0x1115d6 0x111706
    0028ca2c
    0028ca2c 00 00 00 04 ....
    0028ca30 fc 0f 00 00 00 00 00 00 ........
    0028ca38
    0028ca38 string "\\DefineNamedColor",0 ← 0x110eb7
    0028ca4a
    0028ca4a 00 00 00 00 00 06 ......
    0028ca50 fc 0b 00 00 00 00 00 00 ........
    0028ca58
    0028ca58 string "\\definecolor",0 ← 0x110e63 0x1110a1
    0028ca65
    0028ca65 00 00 03 fc 07 00 00 00 00 00 00 ...........
    0028ca70
    0028ca70 string "macron",0 ← 0x10b40c
    0028ca77
    0028ca77 01 fc 07 00 00 00 00 00 00 .........
    0028ca80
    0028ca80 string "color",0 ← 0x10c68f
    0028ca86
    0028ca86 00 02 fc 07 00 00 00 00 00 00 ..........
    0028ca90
    0028ca90 string "false",0 ← 0x110db0
    0028ca96
    0028ca96 00 02 fc 07 00 00 00 00 00 00 ..........
    0028caa0
    0028caa0 string "true" ← 0x110da4
    0028caa4
    0028caa4 SwitchTable
    0028caa4 0x7fc 0x5c 0x7fc 0x3d5c 0xbfc
    0028cacc
    0028cacc 00 00 00 00 ....
    0028cad0
    0028cad0 string "\\setboolean",0 ← 0x110bfb
    0028cadc
    0028cadc 00 00 00 04 ....
    0028cae0 fc 0b 00 00 00 00 00 00 ........
    0028cae8
    0028cae8 string "\\newif\\if",0 ← 0x110d53
    0028caf2
    0028caf2 00 00 00 00 00 06 fc 0b 00 00 00 00 00 00 ..............
    0028cb00
    0028cb00 string "\\newboolean",0 ← 0x110baf
    0028cb0c
    0028cb0c 00 00 00 04 ....
    0028cb10 fc 0b 00 00 00 00 00 00 ........
    0028cb18
    0028cb18 string "\\whiledo",0 ← 0x110b8d
    0028cb21
    0028cb21 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
    0028cb30
    0028cb30 string "\\ifthenelse",0 ← 0x110b3a
    0028cb3c
    0028cb3c 00 00 00 04 ....
    0028cb40 fc 07 00 00 00 00 00 00 ........
    0028cb48
    0028cb48 string "tilde",0 ← 0x10b3d8
    0028cb4e
    0028cb4e 00 02 ..
    0028cb50 fc 07 00 00 00 00 00 00 ........
    0028cb58
    0028cb58 ; ifthen ← 0x10c637
    0028cb58 69 66 74 68 ifth
    0028cb5c
    0028cb5c SwitchTable
    0028cb5c 0x7fc 0x7e5c 0xbfc
    0028cb74
    0028cb74 00 00 00 00 ....
    0028cb78
    0028cb78 string "\\renewindex",0 ← 0x110560
    0028cb84
    0028cb84 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
    0028cb90
    0028cb90 string "\\newindex",0 ← 0x110544
    0028cb9a
    0028cb9a 00 00 00 00 00 06 ......
    0028cba0 fc 0b 00 00 00 00 00 00 ........
    0028cba8
    0028cba8 string "\\@indexname",0 ← 0x1104f3
    0028cbb4
    0028cbb4 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
    0028cbc0
    0028cbc0 string "\\@printindex" ← 0x1104a2
    0028cbcc
    0028cbcc SwitchTable
    0028cbcc 0x7fc 0x40 0xbfc
    0028cbe4
    0028cbe4 00 00 00 00 ....
    0028cbe8
    0028cbe8 string "\\@@@indexwrite",0 ← 0x110451
    0028cbf7
    0028cbf7 01 fc 0b 00 00 00 00 00 00 .........
    0028cc00
    0028cc00 string "\\@@indexwrite",0 ← 0x1103f8
    0028cc0e
    0028cc0e 00 02 ..
    0028cc10 fc 07 00 00 00 00 00 00 ........
    0028cc18
    0028cc18 string "default",0 ← 0x11066d 0x11071d 0x1107fd 0x1108e8 0x1109a9
    0028cc20
    0028cc20 fc 07 00 00 00 00 00 00 ........
    0028cc28
    0028cc28 string "cedilla",0 ← 0x10b3a7
    0028cc30
    0028cc30 fc 0b 00 00 00 00 00 00 ........
    0028cc38
    0028cc38 string "\\@indexwrite" ← 0x1103a7
    0028cc44
    0028cc44 SwitchTable
    0028cc44 0x7fc 0x635c 0x7fc
    0028cc5c
    0028cc5c 00 00 00 00 ....
    0028cc60
    0028cc60 string "index",0 ← 0x10c5f1
    0028cc66
    0028cc66 00 02 fc 0b 00 00 00 00 00 00 ..........
    0028cc70
    0028cc70 string "\\bibcite",0 ← 0x10c5a2
    0028cc79
    0028cc79 00 00 00 00 00 00 07 .......
    0028cc80 fc 0b 00 00 00 00 00 00 ........
    0028cc88
    0028cc88 string "\\@bibwrite",0 ← 0x10c550
    0028cc93
    0028cc93 00 00 00 00 05 fc 0b 00 00 00 00 00 00 .............
    0028cca0
    0028cca0 string "\\@verbarg{",0 ← 0x1101a9
    0028ccab
    0028ccab 00 00 00 00 05 .....
    0028ccb0 fc 0b 00 00 00 00 00 00 ........
    0028ccb8
    0028ccb8 string "\\@bibread",0 ← 0x10c4fa
    0028ccc2
    0028ccc2 00 00 00 00 00 06 fc 0b 00 00 00 00 00 00 ..............
    0028ccd0
    0028ccd0 string "\\@auxread",0 ← 0x10c4a4
    0028ccda
    0028ccda 00 00 00 00 00 06 ......
    0028cce0 fc 0b 00 00 00 00 00 00 ........
    0028cce8
    0028cce8 string "\\@@auxwrite",0 ← 0x10c44e
    0028ccf4
    0028ccf4 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
    0028cd00
    0028cd00 string "diaeresis",0 ← 0x10b356
    0028cd0a
    0028cd0a 00 00 00 00 00 06 ......
    0028cd10 fc 0b 00 00 00 00 00 00 ........
    0028cd18
    0028cd18 string "\\@auxwrite",0 ← 0x10c3f8
    0028cd23
    0028cd23 00 00 00 00 05 fc 0b 00 00 00 00 00 00 .............
    0028cd30
    0028cd30 string "\\@newlabel",0 ← 0x10c3a2
    0028cd3b
    0028cd3b 00 00 00 00 05 .....
    0028cd40 fc 0b 00 00 00 00 00 00 ........
    0028cd48
    0028cd48 string "\\@hauxfinal",0 ← 0x10c324
    0028cd54
    0028cd54 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
    0028cd60
    0028cd60 string "\\@hauxinit",0 ← 0x10c2d7
    0028cd6b
    0028cd6b 00 00 00 00 05 .....
    0028cd70 fc 0f 00 00 00 00 00 00 ........
    0028cd78
    0028cd78 ; \@calloptsimple: ← 0x10fe34
    0028cd78 5c 40 63 61 6c 6c 6f 70 \@callop
    0028cd80 74 73 69 6d tsim
    0028cd84
    0028cd84 SwitchTable
    0028cd84 0x20 0x7fc 0x7b5d 0x7fc 0x5b 0x7fc 0x225c 0xbfc
    0028cdc4
    0028cdc4 00 00 00 00 ....
    0028cdc8
    0028cdc8 string "\\@calloptsimple",0 ← 0x10c28a
    0028cdd8
    0028cdd8 fc 0b 00 00 00 00 00 00 ........
    0028cde0
    0028cde0 string "\\@callprim",0 ← 0x10c238
    0028cdeb
    0028cdeb 00 00 00 00 05 .....
    0028cdf0 fc 0b 00 00 00 00 00 00 ........
    0028cdf8
    0028cdf8 string "\\@callsubstopt",0 ← 0x10c21b
    0028ce07
    0028ce07 01 fc 0b 00 00 00 00 00 00 .........
    0028ce10
    0028ce10 string "\\@callsubst",0 ← 0x10c1ff
    0028ce1c
    0028ce1c 00 00 00 04 ....
    0028ce20 fc 0b 00 00 00 00 00 00 ........
    0028ce28
    0028ce28 string "\\@funcall",0 ← 0x10c1e7
    0028ce32
    0028ce32 00 00 00 00 00 06 fc 0f 00 00 00 00 00 00 ..............
    0028ce40
    0028ce40 string "\\@callsubstopt: ",0 ← 0x10fc52
    0028ce51
    0028ce51 00 00 00 ...
    0028ce54
    0028ce54 SwitchTable
    0028ce54 0x7fc 0x7b 0xbfc
    0028ce6c
    0028ce6c 00 00 00 00 ....
    0028ce70
    0028ce70 string "\\@callprim: ",0 ← 0x10fac1
    0028ce7d
    0028ce7d 00 00 03 ...
    0028ce80 fc 0b 00 00 00 00 00 00 ........
    0028ce88
    0028ce88 ; circumflex ← 0x10b325
    0028ce88 63 69 72 63 circ
    0028ce8c
    0028ce8c SwitchTable
    0028ce8c 0x7865 0xb00 0x28ced8 0x28ceb8 0xffc
    0028cea0
    0028cea0 PointerTable ← camlPackage.call_subst_1226
    0028cea0 0x28ced8 0x28ceb8
    0028ceb4
    0028ceb4 00 00 00 00 ....
    0028ceb8
    0028ceb8 ; \@callsubst: %a %!
    0028ceb8 5c 40 63 61 6c 6c 73 75 \@callsu
    0028cec0 62 73 74 3a bst:
    0028cec4
    0028cec4 SwitchTable
    0028cec4 0x2125 0xb0c 0xb9 0x28cef0 0xb11 0x28cf80 0x28cf08 0xb0b
    0028cf04 0x28cf58 0x28cf20 0x70f 0x28cf30 0xb0c 0x15 0x28cf48 0x70a
    0028cf44 0x1 0xbfc
    0028ced8
    0028ced8 PointerTable
    0028ced8 0xb9 0x28cef0
    0028cef0
    0028cef0 PointerTable
    0028cef0 0x28cf80 0x28cf08
    0028cf08
    0028cf08 PointerTable
    0028cf08 0x28cf58 0x28cf20
    0028cf38
    0028cf38 PointerTable
    0028cf38 0x28cf48 0x70a
    0028cf54
    0028cf54 00 00 00 00 ....
    0028cf58
    0028cf58 ; allsubst:
    0028cf58 61 6c 6c 73 alls
    0028cf5c
    0028cf5c SwitchTable
    0028cf5c 0x203a 0x7fc 0x5e5c 0x702 0xc7 0x7fc
    0028cf8c
    0028cf8c 00 00 00 00 ....
    0028cf90
    0028cf90 ; grave ← 0x10b2f4
    0028cf90 67 72 61 76 grav
    0028cf94
    0028cf94 SwitchTable
    0028cf94 0xb00 0x28cfd8 0x28cfb8 0xffc
    0028cfa0
    0028cfa0 PointerTable ← camlPackage.fun_2413
    0028cfa0 0x28cfd8 0x28cfb8
    0028cfb4
    0028cfb4 00 00 00 00 ....
    0028cfb8
    0028cfb8 string "Pop empty stack '%s'"
    0028cfcc
    0028cfcc SwitchTable
    0028cfcc 0xb0b 0x28cff0 0x28b510 0xffc
    0028cfd8
    0028cfd8 PointerTable
    0028cfd8 0x28cff0 0x28b510
    0028cfec
    0028cfec 00 00 00 00 ....
    0028cff0
    0028cff0 string "Pop empty stack '",0
    0028d002
    0028d002 00 00 00 00 00 06 fc 07 00 00 00 00 00 00 ..............
    0028d010
    0028d010 ; \@pop ← 0x10f786
    0028d010 5c 40 70 6f \@po
    0028d014
    0028d014 SwitchTable
    0028d014 0x7fc 0x605c 0x7fc
    0028d02c
    0028d02c 00 00 00 00 ....
    0028d030
    0028d030 string "\\@push",0 ← 0x10f711
    0028d037
    0028d037 01 fc 07 00 00 00 00 00 00 .........
    0028d040
    0028d040 string "acute",0 ← 0x10b2a6
    0028d046
    0028d046 00 02 fc 0b 00 00 00 00 00 00 ..........
    0028d050
    0028d050 string "\\hva@newstack",0 ← 0x10c138
    0028d05e
    0028d05e 00 02 ..
    0028d060 fc 07 00 00 00 00 00 00 ........
    0028d068
    0028d068 string " and ",0 ← 0x10f602
    0028d06e
    0028d06e 00 02 ..
    0028d070 fc 0b 00 00 00 00 00 00 ........
    0028d078
    0028d078 string "\\appendtokens",0 ← 0x10c0eb
    0028d086
    0028d086 00 02 fc 0b 00 00 00 00 00 00 ..........
    0028d090
    0028d090 string "\\addrevtokens",0 ← 0x10c096
    0028d09e
    0028d09e 00 02 ..
    0028d0a0 fc 0b 00 00 00 00 00 00 ........
    0028d0a8
    0028d0a8 string "\\addtokens for ",0 ← 0x10f38f 0x10f4cf 0x10f61e
    0028d0b8
    0028d0b8 fc 0b 00 00 00 00 00 00 ........
    0028d0c0
    0028d0c0 string "\\addtokens",0 ← 0x10c041
    0028d0cb
    0028d0cb 00 00 00 00 05 .....
    0028d0d0 fc 07 00 00 00 00 00 00 ........
    0028d0d8
    0028d0d8 ; failed ← 0x10f257 0x10f37b 0x10f4bb 0x10f5ef
    0028d0d8 20 66 61 69 fai
    0028d0dc
    0028d0dc SwitchTable
    0028d0dc 0x7fc 0x275c 0xffc
    0028d0f4
    0028d0f4 00 00 00 00 ....
    0028d0f8
    0028d0f8 string "\\resettokens for ",0 ← 0x10f26a
    0028d10a
    0028d10a 00 00 00 00 00 06 ......
    0028d110 fc 0b 00 00 00 00 00 00 ........
    0028d118
    0028d118 string "\\resettokens" ← 0x10bfec
    0028d124
    0028d124 SwitchTable
    0028d124 0x701 0x1 0x7fc 0x2727 0x13fc
    0028d14c
    0028d14c 00 00 00 00 ....
    0028d150
    0028d150 ; \newtokens redefines command `` ← 0x10f154
    0028d150 5c 6e 65 77 74 6f 6b 65 6e 73 20 72 65 64 65 66 \newtokens redef
    0028d160 69 6e 65 73 20 63 6f 6d 6d 61 6e 64 ines command
    0028d16c
    0028d16c SwitchTable
    0028d16c 0x7fc 0x7d 0xbfc
    0028d184
    0028d184 00 00 00 00 ....
    0028d188
    0028d188 string "\\newtokens",0 ← 0x10bf90
    0028d193
    0028d193 00 00 00 00 05 fc 07 00 00 00 00 00 00 .............
    0028d1a0
    0028d1a0 string "\\addto",0 ← 0x10bf43
    0028d1a7
    0028d1a7 01 fc 0b 00 00 00 00 00 00 .........
    0028d1b0
    0028d1b0 string "\\@raisebox{",0 ← 0x10f07a
    0028d1bc
    0028d1bc 00 00 00 04 ....
    0028d1c0 fc 0b 00 00 00 00 00 00 ........
    0028d1c8
    0028d1c8 ; \raisebox ← 0x10bef6
    0028d1c8 5c 72 61 69 \rai
    0028d1cc
    0028d1cc SwitchTable
    0028d1cc 0x78 0x700 0x28d1f0 0xb00 0x28d208 0x1 0xffc
    0028d204
    0028d204 00 00 00 00 ....
    0028d208
    0028d208 string "\\@framebox{#1}{#2}{#3}",0
    0028d21f
    0028d21f 01 .
    0028d220 fc 0b 00 00 00 00 00 00 ........
    0028d228
    0028d228 ; \framebox ← 0x10bea9
    0028d228 5c 66 72 61 \fra
    0028d22c
    0028d22c SwitchTable
    0028d22c 0x78 0x700 0x28d260 0x7fc
    0028d24c
    0028d24c 00 00 00 00 ....
    0028d250
    0028d250 string "}}{",0 ← 0x10d85d 0x10dc85 0x1124ac 0x112628
    0028d254
    0028d254 SwitchTable
    0028d254 0xb00 0x28d278 0x1 0xffc
    0028d274
    0028d274 00 00 00 00 ....
    0028d278
    0028d278 ; \@makebox{#1}{#2}{#3}
    0028d278 5c 40 6d 61 6b 65 62 6f \@makebo
    0028d280 78 7b 23 31 7d 7b 23 32 7d 7b 23 33 x{#1}{#2}{#3
    0028d28c
    0028d28c SwitchTable
    0028d28c 0xb00 0x28d760 0x28d2b0 0xb00 0x28d760 0x1 0xbfc
    0028d298
    0028d298 PointerTable ← camlPackage.Make_1936
    0028d298 0x28d760 0x28d2b0
    0028d2c4
    0028d2c4 00 00 00 00 ....
    0028d2c8
    0028d2c8 string "\\makebox",0 ← 0x10be82
    0028d2d1
    0028d2d1 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
    0028d2e0
    0028d2e0 string "\\@addstyle",0 ← 0x10be5b
    0028d2eb
    0028d2eb 00 00 00 00 05 .....
    0028d2f0 fc 07 00 00 00 00 00 00 ........
    0028d2f8
    0028d2f8 string "0px",0 ← 0x10ee41
    0028d2fc
    0028d2fc 00 00 00 04 ....
    0028d300 fc 13 00 00 00 00 00 00 ........