File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
    002f4e10
    002f4e10 11 00 00 00 34 02 00 00 ....4...
    002f4e18
    002f4e18 SwitchTable
    002f4e18 0x15efc2 0x10011 0x220 0x15ef77 0x10011 0x170 0x15ef8c
    002f4e20
    002f4e20 PointerTable
    002f4e20 0x10011 0x220
    002f4e38
    002f4e38 PointerTable
    002f4e38 0x10011 0x170
    002f4e50
    002f4e50 12 00 01 00 01 00 00 00 ........
    002f4e58
    002f4e58 SwitchTable
    002f4e58 0x44c 0x41c 0x23c 0x3d0 0x300 0x380 0x3f4 0x370
    002f4e98 0x3c0 0x27c 0x414 0x3a8 0x264 0x1e4 0x364 0x45c
    002f4ed8 0x430 0x27c 0x2f4 0x38c 0x348 0x21c 0x3b4 0x1f4
    002f4f18 0x340 0x1fc 0x1f4
    002f4f30
    002f4f30 10 02 00 90 68 19 21 05 08 02 00 7c ....h.!....|
    002f4f3c
    002f4f3c SwitchTable
    002f4f3c 0x318 0x3a4 0x32c 0x3b0 0x144 0x3c4 0x1ac 0x288
    002f4f7c 0x22d 0x154 0x2ec 0x370 0x368 0x314 0x328
    002f4fb4
    002f4fb4 30 35 70 00 a4 01 00 30 05p....0
    002f4fbc
    002f4fbc SwitchTable
    002f4fbc 0xe4 0x290 0x288 0xcc 0x13c 0x134 0x12c 0x8c
    002f4ffc 0x11c
    002f5004
    002f5004 d0 11 20 04 54 01 00 7c a1 18 db 05 .. .T..|....
    002f5010 4c 01 00 4c c8 19 b9 05 78 01 00 00 f8 c9 b8 1c L..L....x.......
    002f5020 20 01 00 30 ..0
    002f5024
    002f5024 SwitchTable
    002f5024 0x134 0x2d8 0x6c 0x27c 0x7c 0x128 0x264
    002f505c
    002f505c 90 20 40 08 . @.
    002f5060
    002f5060 string "stdlib.ml",0
    002f506a
    002f506a string "outUnicode.ml",0
    002f5078
    002f5078 string "scanf.ml",0
    002f5081
    002f5081 00 00 00 e6 ff ff ff 4f 75 74 55 6e 69 63 6f .......OutUnico
    002f5090 64 65 2e 74 72 61 6e 73 6c 61 74 65 5f 6f 75 74 de.translate_out
    002f50a0 00 00 00 00 c6 ff ff ff 4f 75 74 55 6e 69 63 6f ........OutUnico
    002f50b0 64 65 2e 73 65 74 5f 74 72 61 6e 73 6c 61 74 6f de.set_translato
    002f50c0 72 73 00 00 a6 ff ff ff 4f 75 74 55 6e 69 63 6f rs......OutUnico
    002f50d0 64 65 2e 62 61 64 5f 63 68 61 72 00 9c ff ff ff de.bad_char.....
    002f50e0 53 74 64 6c 69 62 5f 5f 53 63 61 6e 66 2e 53 63 Stdlib__Scanf.Sc
    002f50f0 61 6e 6e 69 6e 67 2e 66 72 6f 6d 5f 63 68 61 6e anning.from_chan
    002f5100 6e 65 6c 00 66 ff ff ff 4f 75 74 55 6e 69 63 6f nel.f...OutUnico
    002f5110 64 65 2e 70 61 72 73 65 31 30 00 00 4e ff ff ff de.parse10..N...
    002f5120 4f 75 74 55 6e 69 63 6f 64 65 2e 74 72 61 6e 73 OutUnicode.trans
    002f5130 6c 61 74 65 5f 75 74 66 38 5f 6f 75 74 00 00 00 late_utf8_out...
    002f5140 2a ff ff ff 4f 75 74 55 6e 69 63 6f 64 65 2e 72 *...OutUnicode.r
    002f5150 65 61 64 5f 6d 61 70 70 69 6e 67 00 0e ff ff ff ead_mapping.....
    002f5160 4f 75 74 55 6e 69 63 6f 64 65 2e 6f 70 65 6e 5f OutUnicode.open_
    002f5170 6d 61 70 70 69 6e 67 00 f2 fe ff ff 4f 75 74 55 mapping.....OutU
    002f5180 6e 69 63 6f 64 65 2e 70 61 72 73 65 00 00 00 00 nicode.parse....
    002f5190 da fe ff ff 4f 75 74 55 6e 69 63 6f 64 65 2e 6f ....OutUnicode.o
    002f51a0 6e 5f 65 6e 74 69 74 79 00 00 00 00 cc fe ff ff n_entity........
    002f51b0 53 74 64 6c 69 62 5f 5f 53 63 61 6e 66 2e 53 63 Stdlib__Scanf.Sc
    002f51c0 61 6e 6e 69 6e 67 2e 66 72 6f 6d 5f 69 63 5f 72 anning.from_ic_r
    002f51d0 61 69 73 65 5f 61 74 5f 65 6e 64 00 8e fe ff ff aise_at_end.....
    002f51e0 4f 75 74 55 6e 69 63 6f 64 65 2e 6d 61 6b 65 5f OutUnicode.make_
    002f51f0 6f 75 74 5f 74 72 61 6e 73 6c 61 74 6f 72 00 00 out_translator..
    002f5200 6a fe ff ff 4f 75 74 55 6e 69 63 6f 64 65 2e 6d j...OutUnicode.m
    002f5210 61 6b 65 5f 6f 75 74 5f 74 72 61 6e 73 6c 61 74 ake_out_translat
    002f5220 6f 72 2e 28 66 75 6e 29 00 00 00 00 34 fe ff ff or.(fun)....4...
    002f5230 53 74 64 6c 69 62 2e 6f 70 65 6e 5f 69 6e 00 00 Stdlib.open_in..
    002f5240 2a fe ff ff 4f 75 74 55 6e 69 63 6f 64 65 2e 68 *...OutUnicode.h
    002f5250 74 6d 6c 5f 70 75 74 00 12 fe ff ff 4f 75 74 55 tml_put.....OutU
    002f5260 6e 69 63 6f 64 65 2e 74 72 61 6e 73 6c 61 74 65 nicode.translate
    002f5270 5f 75 74 66 38 5f 69 6e 00 00 00 00 ee fd ff ff _utf8_in........
    002f5280 4f 75 74 55 6e 69 63 6f 64 65 2e 73 65 74 5f 6f OutUnicode.set_o
    002f5290 75 74 70 75 74 5f 74 72 61 6e 73 6c 61 74 6f 72 utput_translator
    002f52a0 00 00 00 00 c6 fd ff ff 4f 75 74 55 6e 69 63 6f ........OutUnico
    002f52b0 64 65 2e 70 61 72 73 65 31 36 00 00 ae fd ff ff de.parse16......
    002f52c0 4f 75 74 55 6e 69 63 6f 64 65 2e 61 70 70 6c 79 OutUnicode.apply
    002f52d0 5f 61 63 63 65 6e 74 00 92 fd ff ff 4f 75 74 55 _accent.....OutU
    002f52e0 6e 69 63 6f 64 65 2e 73 68 6f 77 00 8c fd ff ff nicode.show.....
    002f52f0 53 74 64 6c 69 62 5f 5f 53 63 61 6e 66 2e 62 73 Stdlib__Scanf.bs
    002f5300 63 61 6e 66 00 00 00 00 62 fd ff ff 4f 75 74 55 canf....b...OutU
    002f5310 6e 69 63 6f 64 65 2e 73 65 74 5f 69 6e 70 75 74 nicode.set_input
    002f5320 5f 74 72 61 6e 73 6c 61 74 6f 72 00 3e fd ff ff _translator.>...
    002f5330 4f 75 74 55 6e 69 63 6f 64 65 2e 6d 61 6b 65 5f OutUnicode.make_
    002f5340 69 6e 5f 74 72 61 6e 73 6c 61 74 6f 72 00 00 00 in_translator...
    002f5350
    002f5350 SwitchTable uint64_t
    002f5350 0xbf7 0x163d50 0x5 0xff7 0xf7080 0x7 0x165740 0xff7
    002f5390 0xf7080 0x7 0x1656e0 0xbf7 0x165430 0x5 0xbf7 0x165140
    002f53d0 0x5 0xbf7 0x165010 0x5 0xbf7 0x164ee0 0x5 0xbf7
    002f5410 0x163ce0 0x5 0xbf7 0x163dd0 0x5 0xff7 0xf7080 0x7
    002f5450 0x1646c0 0xbf7 0x164940 0x5 0xbf7 0x164890 0x5 0xbf7
    002f5490 0x164840 0x5 0xbf7 0x1653f0 0x5 0xbf7 0x165200 0x5
    002f54d0 0xbf7 0x165100 0x5 0xbf7 0x164fd0 0x5 0xbf7 0x164ea0
    002f5510 0x5 0xbf7 0x164e20 0x5 0xbf7 0x164cf0 0x5 0xbf7
    002f5550 0x164ce0 0x5 0xbf7 0x164cd0 0x5 0xbf7 0x163920 0x5
    002f5590 0xbf7 0x163a20 0x5 0xbf7 0x1639e0 0x5 0xbf7 0x1639d0
    002f55d0 0x5 0xbf7 0x1639c0 0x5 0xff7 0xf7020 0x7 0x163980
    002f5610 0xbf7 0x163940 0x5 0xff7 0xf70f0 0x7 0x163ae0 0xbf7
    002f5650 0x163a60 0x5 0xbf7 0x163b90 0x5 0xbf7 0x163c50 0x5
    002f5690 0xbf7 0x163d60 0x5 0xff7 0xf7020 0x7 0x163e40 0x37f7
    002f56d0 0x162f30 0x1b 0xcf9 0xf7020 0x15 0x162f50 0x1cf9 0x163780
    002f5710 0xd 0x28f9 0xf7020 0x7 0x1637a0 0xff7 0xf68c0 0x7
    002f5750 0x1645a0 0xff7 0xf7020 0x7 0x164680 0xbf7 0x1646b0 0x5
    002f5790 0xbf7 0x164770 0x5 0xbf7 0x1649a0 0x5 0xbf7 0x165750
    002f57d0 0x5 0xff7 0xf7020 0x7 0x165770 0xbf7 0x165a40 0x5
    002f5810 0xbf7 0x165a60 0x5 0xbf7 0x165a80 0x5 0xbf7 0x165ce0
    002f5850 0x5 0x9700 0x1 0x1 0x1 0x1 0x1 0x1
    002f5890 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
    002f58d0 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
    002f5910 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x1
    002f5950 0x1 0x1 0x1 0x1 0x1 0x1 0x1 0x2f5860
    002f5990
    002f5990 00 00 00 00 ....
    002f5994
    002f5994 SwitchTable
    002f5994 0xb0b 0x2f59c8 0x2f59b8 0x70a 0x1 0x7fc 0xa27 0xbfc
    002f59a0
    002f59a0 PointerTable
    002f59a0 0x2f59c8 0x2f59b8 0x70a
    002f59d4
    002f59d4 00 00 00 00 ....
    002f59d8
    002f59d8 string "get_int : '",0
    002f59e4
    002f59e4 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
    002f59f0
    002f59f0 string "\\end{@norefs}",0 ← 0x16569e
    002f59fe
    002f59fe 00 02 ..
    002f5a00 fc 0b 00 00 00 00 00 00 ........
    002f5a08
    002f5a08 string "\\begin{@norefs}",0 ← 0x165586
    002f5a18
    002f5a18 fc 07 00 00 00 00 00 00 ........
    002f5a20
    002f5a20 string "\\equal",0 ← 0x164bcd 0x164c88 0x1655bd
    002f5a27
    002f5a27 01 fc 07 00 00 00 00 00 00 .........
    002f5a30
    002f5a30 string "ISODD",0 ← 0x165408 0x165456
    002f5a36
    002f5a36 00 02 fc 0b 00 00 00 00 00 00 ..........
    002f5a40
    002f5a40 string "int_stack",0 ← 0x166000
    002f5a4a
    002f5a4a 00 00 00 00 00 06 ......
    002f5a50 fc 07 00 00 00 00 00 00 ........
    002f5a58
    002f5a58 string "\\isodd",0 ← 0x1649e6
    002f5a5f
    002f5a5f 01 .
    002f5a60 fc 0b 00 00 00 00 00 00 ........
    002f5a68
    002f5a68 string "boolean value: ",0 ← 0x1652f8
    002f5a78
    002f5a78 fc 0f 00 00 00 00 00 00 ........
    002f5a80
    002f5a80 string " true\\else false\\fi",0 ← 0x16525a
    002f5a94
    002f5a94 00 00 00 04 fc 07 00 00 00 00 00 00 ............
    002f5aa0
    002f5aa0 string "\\if",0 ← 0x165269
    002f5aa4
    002f5aa4 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
    002f5ab0
    002f5ab0 string "\\boolean",0 ← 0x164a1e
    002f5ab9
    002f5ab9 00 00 00 00 00 00 07 .......
    002f5ac0 fc 07 00 00 00 00 00 00 ........
    002f5ac8
    002f5ac8 string "NOT",0 ← 0x165118 0x165166
    002f5acc
    002f5acc 00 00 00 04 ....
    002f5ad0 fc 07 00 00 00 00 00 00 ........
    002f5ad8
    002f5ad8 string "\\not",0 ← 0x164a52
    002f5add
    002f5add 00 00 03 ...
    002f5ae0 fc 07 00 00 00 00 00 00 ........
    002f5ae8
    002f5ae8 string "AND",0 ← 0x164fe8 0x16503a
    002f5aec
    002f5aec 00 00 00 04 ....
    002f5af0 fc 07 00 00 00 00 00 00 ........
    002f5af8
    002f5af8 string "\\and" ← 0x164a86
    002f5afc
    002f5afc SwitchTable
    002f5afc 0x7fc 0x524f 0xf00 0x2f5dd0 0x45 0x33 0x7fc
    002f5b10
    002f5b10 PointerTable
    002f5b10 0xf00 0x2f5dd0
    002f5b34
    002f5b34 00 00 00 00 ....
    002f5b38
    002f5b38 string "\\or",0 ← 0x164aba
    002f5b3c
    002f5b3c 00 00 00 04 ....
    002f5b40 fc 0b 00 00 00 00 00 00 ........
    002f5b48
    002f5b48 string "\\@commandexists",0 ← 0x164aee
    002f5b58
    002f5b58 fc 0b 00 00 00 00 00 00 ........
    002f5b60
    002f5b60 string "\\@fileexists" ← 0x164b22
    002f5b6c
    002f5b6c SwitchTable
    002f5b6c 0x7fc 0x295c 0x7fc 0x285c 0xbfc
    002f5b94
    002f5b94 00 00 00 00 ....
    002f5b98
    002f5b98 string "\\pushint",0 ← 0x164790
    002f5ba1
    002f5ba1 00 00 00 00 00 00 07 fc 0b 00 00 00 00 00 00 ...............
    002f5bb0
    002f5bb0 string "\\@lengthtonchar",0 ← 0x1647c8
    002f5bc0
    002f5bc0 fc 07 00 00 00 00 00 00 ........
    002f5bc8
    002f5bc8 string "\\value",0 ← 0x1647fc
    002f5bcf
    002f5bcf 01 .
    002f5bd0 fc 1b 00 00 00 00 00 00 ........
    002f5bd8
    002f5bd8 string "Cannot understand `-like numerical argument",0 ← 0x1638e8
    002f5c04
    002f5c04 SwitchTable
    002f5c04 0x7fc 0x2727 0xf00 0x2f5dd0 0x43 0x3f 0x13fc
    002f5c18
    002f5c18 PointerTable
    002f5c18 0xf00 0x2f5dd0 0x43
    002f5c3c
    002f5c3c 00 00 00 00 ....
    002f5c40
    002f5c40 string "Bad character in Get.result: ``",0 ← 0x163693
    002f5c60
    002f5c60 fc 07 00 00 00 00 00 00 ........
    002f5c68
    002f5c68 string "COMP" ← 0x16347a
    002f5c6c
    002f5c6c SwitchTable
    002f5c6c 0xf00 0x2f5dd0 0x18b 0x27 0x7fc
    002f5c70
    002f5c70 PointerTable
    002f5c70 0xf00 0x2f5dd0 0x18b 0x27
    002f5c94
    002f5c94 00 00 00 00 ....
    002f5c98
    002f5c98 string "COMP: ",0 ← 0x1642ef
    002f5c9f
    002f5c9f 01 .
    002f5ca0 fc 07 00 00 00 00 00 00 ........
    002f5ca8
    002f5ca8 string "MULT" ← 0x1633ce
    002f5cac
    002f5cac SwitchTable
    002f5cac 0xf00 0x2f5dd0 0x163 0x27 0x7fc
    002f5cb0
    002f5cb0 PointerTable
    002f5cb0 0xf00 0x2f5dd0
    002f5cd4
    002f5cd4 00 00 00 00 ....
    002f5cd8
    002f5cd8 ; MULTOP ← 0x16419f
    002f5cd8 4d 55 4c 54 MULT
    002f5cdc
    002f5cdc SwitchTable
    002f5cdc 0xf00 0x2f5dd0 0x3d 0x4b 0x7fc
    002f5ce0
    002f5ce0 PointerTable
    002f5ce0 0xf00 0x2f5dd0
    002f5d04
    002f5d04 00 00 00 00 ....
    002f5d08
    002f5d08 string "ADD",0 ← 0x163317
    002f5d0c
    002f5d0c SwitchTable
    002f5d0c 0xf00 0x2f5dd0 0x13d 0x27 0xbfc
    002f5d10
    002f5d10 PointerTable
    002f5d10 0xf00 0x2f5dd0 0x13d 0x27
    002f5d34
    002f5d34 00 00 00 00 ....
    002f5d38
    002f5d38 string "OPPADD: ",0 ← 0x16406f
    002f5d41
    002f5d41 00 00 00 00 00 00 07 fc 07 00 00 00 00 00 00 ...............
    002f5d50
    002f5d50 ; UNARY ← 0x1632c3
    002f5d50 55 4e 41 52 UNAR
    002f5d54
    002f5d54 SwitchTable
    002f5d54 0xf00 0x2f5dd0 0x11f 0x27 0x7fc
    002f5d58
    002f5d58 PointerTable
    002f5d58 0xf00 0x2f5dd0 0x11f 0x27
    002f5d7c
    002f5d7c 00 00 00 00 ....
    002f5d80
    002f5d80 string "UNARY: ",0 ← 0x163f38
    002f5d88
    002f5d88 PointerTable
    002f5d88 0xf00 0x2f5dd0
    002f5d98
    002f5d98 3b 00 00 00 00 00 00 00 ;.......
    002f5da0 3b 00 00 00 00 00 00 00 fc 07 00 00 00 00 00 00 ;...............
    002f5db0
    002f5db0 uint8_t g_2f5db0 ← Get..ocaml_lex_result_rec
    002f5db0 30 78 00 00 00 00 00 05 fc 07 00 00 00 00 00 00 0x..............
    002f5dc0
    002f5dc0 uint8_t g_2f5dc0 ← Get..ocaml_lex_result_rec
    002f5dc0 30 6f 00 00 00 00 00 05 fc 07 00 00 00 00 00 00 0o..............
    002f5dd0
    002f5dd0 string "get.mll",0
    002f5dd8
    002f5dd8 fc 07 00 00 00 00 00 00 ........
    002f5de0
    002f5de0 ; false ← 0x163930 0x165c70
    002f5de0 66 61 6c 73 fals
    002f5de4
    002f5de4 SwitchTable
    002f5de4 0x2f00 0x2f67a0 0x2f6748 0x2f66f0 0x2f62b0 0x2f5e60 0x2f5e50 0x2f5e50
    002f5e24 0x2f5e50 0x2f5e50 0x2f5e50 0x2f5e50 0x7fc
    002f5de8
    002f5de8 PointerTable
    002f5de8 0x2f00 0x2f67a0 0x2f6748 0x2f66f0 0x2f62b0 0x2f5e60 0x2f5e50 0x2f5e50
    002f5e28 0x2f5e50 0x2f5e50 0x2f5e50 0x2f5e50
    002f5e4c
    002f5e4c 00 00 00 00 ....
    002f5e50
    002f5e50 uint8_t g_2f5e50 ← camlGet.entry
    002f5e50 00 00 00 00 00 00 00 07 fc 1f 02 00 00 00 00 00 ................
    002f5e60
    002f5e60 SwitchTable
    002f5e60 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    002f5e74
    002f5e74 00 00 10 00 11 00 13 00 ........
    002f5e7c
    002f5e7c SwitchTable
    002f5e7c 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    002f5e9c 0xf4016
    002f5ea0
    002f5ea0 00 00 10 00 00 00 00 00 ff ff 00 00 ff ff 00 00 ................
    002f5eb0 00 00 00 00 00 00 00 00 1f 00 00 00 ff ff 00 00 ................
    002f5ec0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
    002f5ed0 00 00 00 00 ff ff ff ff 00 00 00 00 ............
    002f5edc
    002f5edc SwitchTable
    002f5edc 0x132fd8 0x132fdc 0x132fdc 0x132fdc 0x132fdc
    002f5ef0
    002f5ef0 SwitchTable
    002f5ef0 0x1177de 0x1177de 0x1177de 0x1177de
    002f5f00
    002f5f00 SwitchTable
    002f5f00 0xfd2cb 0xfd2cb 0xfd2cb 0xfd2cb 0xfd2cb
    002f5f14
    002f5f14 ff ff ff ff 00 00 21 00 ff ff ff ff ......!.....
    002f5f20 00 00 0a 00 ff ff ff ff ........
    002f5f28
    002f5f28 SwitchTable
    002f5f28 0x140000 0x140014 0x17ffff 0x190014
    002f5f40
    002f5f40 1b 00 ff ff 0b 00 1a 00 00 00 16 00 ff ff ff ff ................
    002f5f50 ff ff ff ff ....
    002f5f54
    002f5f54 SwitchTable
    002f5f54 0x102fd7 0x102fd7 0x122fdb 0x122fdb 0x122fdb 0x122fdb 0x122fdb 0x122fdb
    002f5f74 0x122fdb 0x122fdb 0x122fdb 0x122fdb 0x122fdb 0x122fdb 0x122fdb
    002f5f90
    002f5f90 03 00 ff ff 03 00 ff ff ff ff ff ff ............
    002f5f9c
    002f5f9c SwitchTable
    002f5f9c 0x132fd7 0x122fdb 0x122fdb 0x122fdb 0x122fdb 0x122fdb 0x122fdb 0x122fdb
    002f5fbc 0x122fdb 0x122fdb 0x122fdb 0x122fdb 0x122fdb
    002f5fd0
    002f5fd0 SwitchTable
    002f5fd0 0x1077d3 0x1077dd 0x1077dd 0x1077dd 0x1077dd
    002f5fe4
    002f5fe4 0d 00 ff ff ff ff ff ff ff ff ff ff ............
    002f5ff0 ff ff ff ff 0d 00 0d 00 0d 00 0d 00 0d 00 0d 00 ................
    002f6000 ff ff ff ff ....
    002f6004
    002f6004 SwitchTable
    002f6004 0x150015 0x15ffff
    002f6018
    002f6018 15 00 ff ff ff ff ff ff ........
    002f6020 ff ff ff ff ff ff ff ff 15 00 15 00 15 00 15 00 ................
    002f6030 15 00 15 00 0d 00 0d 00 0d 00 0d 00 0d 00 0d 00 ................
    002f6040
    002f6040 SwitchTable
    002f6040 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    002f6060
    002f6060 SwitchTable
    002f6060 0x130011 0x150015 0x210000 0x220020
    002f6078
    002f6078 25 00 ff ff %...
    002f607c
    002f607c SwitchTable
    002f607c 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    002f609c 0xf4016
    002f60a0
    002f60a0 SwitchTable
    002f60a0 0x200020
    002f60d4
    002f60d4 20 00 ff ff ff ff ff ff 03 00 ff ff ...........
    002f60e0
    002f60e0 SwitchTable
    002f60e0 0x200020 0x20ffff
    002f6114
    002f6114 20 00 23 00 23 00 23 00 23 00 23 00 .#.#.#.#.#.
    002f6120 23 00 23 00 23 00 23 00 23 00 23 00 23 00 23 00 #.#.#.#.#.#.#.#.
    002f6130 23 00 23 00 23 00 23 00 23 00 23 00 23 00 23 00 #.#.#.#.#.#.#.#.
    002f6140 23 00 23 00 23 00 23 00 23 00 ff ff ff ff ff ff #.#.#.#.#.......
    002f6150 ff ff ff ff ff ff 23 00 23 00 23 00 23 00 23 00 ......#.#.#.#.#.
    002f6160 23 00 23 00 23 00 23 00 23 00 23 00 23 00 23 00 #.#.#.#.#.#.#.#.
    002f6170 23 00 23 00 23 00 23 00 23 00 23 00 23 00 23 00 #.#.#.#.#.#.#.#.
    002f6180 23 00 23 00 23 00 23 00 23 00 ff ff #.#.#.#.#...
    002f618c
    002f618c SwitchTable
    002f618c 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    002f61ac 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    002f61cc 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    002f61ec 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    002f620c 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    002f622c 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    002f624c 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    002f626c 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    002f628c 0xf4016 0xf4016
    002f6294
    002f6294 23 00 00 01 fc 07 00 00 00 00 00 00 #...........
    002f62a0
    002f62a0 string "true",0 ← 0x163926 0x165c65
    002f62a5
    002f62a5 00 00 03 fc 1f 02 00 00 00 00 00 ...........
    002f62b0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
    002f62c0 00 00 00 00 10 00 10 00 12 00 12 00 00 00 00 00 ................
    002f62d0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
    002f62e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
    002f62f0 10 00 10 00 0d 00 04 00 00 00 11 00 00 00 0e 00 ................
    002f6300 06 00 05 00 08 00 09 00 1e 00 09 00 00 00 08 00 ................
    002f6310
    002f6310 SwitchTable
    002f6310 0xfd2cb 0xfd2cb 0xfd2cb 0xfd2cb 0xfd2cb
    002f6324
    002f6324 00 00 00 00 07 00 07 00 ........
    002f632c
    002f632c SwitchTable
    002f632c 0x140014 0x1d0007 0x1d001d
    002f6350
    002f6350 SwitchTable
    002f6350 0xfd2cb 0xfd2cb 0xfd2cb 0xfd2cb 0xfd2cb
    002f6364
    002f6364 00 00 00 00 03 00 23 00 00 00 00 00 ......#.....
    002f6370 0c 00 19 00 00 00 00 00 ........
    002f6378
    002f6378 SwitchTable
    002f6378 0x14000a 0x140014 0x180000 0x1a0014
    002f6390
    002f6390 1c 00 00 00 16 00 1b 00 0b 00 17 00 00 00 00 00 ................
    002f63a0 00 00 00 00 00 00 06 00 00 00 05 00 ............
    002f63ac
    002f63ac SwitchTable
    002f63ac 0x200020
    002f63e0
    002f63e0 20 00 00 00 1f 00 00 00 00 00 00 00 ...........
    002f63ec
    002f63ec SwitchTable
    002f63ec 0x150015 0x150020 0x200000 0x200020
    002f6434
    002f6434 15 00 00 00 00 00 00 00 00 00 00 00 ............
    002f6440 00 00 00 00 15 00 15 00 15 00 15 00 15 00 15 00 ................
    002f6450 00 00 00 00 ....
    002f6454
    002f6454 SwitchTable
    002f6454 0x150000 0x150015
    002f6468
    002f6468 15 00 00 00 00 00 00 00 ........
    002f6470 00 00 00 00 00 00 00 00 ........
    002f6478
    002f6478 SwitchTable
    002f6478 0x150015
    002f6490
    002f6490 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
    002f64a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
    002f64b0 01 00 ff ff ff ff ff ff 15 00 15 00 15 00 15 00 ................
    002f64c0 15 00 15 00 1e 00 24 00 26 00 00 00 00 00 00 00 ......$.&.......
    002f64d0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
    002f64e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
    002f64f0
    002f64f0 SwitchTable
    002f64f0 0x200020
    002f6524
    002f6524 20 00 00 00 00 00 00 00 ff ff 00 00 ...........
    002f6530
    002f6530 SwitchTable
    002f6530 0x200000 0x200020
    002f6564
    002f6564 20 00 ff ff ...
    002f6568
    002f6568 SwitchTable
    002f6568 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    002f6588 0xf4016 0xf4016 0xf4016 0xf4016
    002f6598
    002f6598 ff ff 00 00 00 00 00 00 ........
    002f65a0 00 00 00 00 00 00 ff ff ........
    002f65a8
    002f65a8 SwitchTable
    002f65a8 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016 0xf4016
    002f65c8 0xf4016 0xf4016 0xf4016 0xf4016
    002f65d8
    002f65d8 ff ff 00 00 00 00 00 00 ........
    002f65e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
    *
    002f66e0 00 00 00 00 24 00 00 01 fc 2b 00 00 00 00 00 00 ....$....+......
    002f66f0 02 00 00 00 00 00 1e 00 ff ff 00 00 00 00 00 00 ................
    002f6700 00 00 00 00 ff ff ff ff 00 00 ff ff ff ff ff ff ................
    002f6710 ff ff 13 00 00 00 13 00 ff ff ff ff ff ff ff ff ................
    002f6720 00 00 ff ff ff ff ff ff 00 00 00 00 00 00 ff ff ................
    002f6730 ff ff 22 00 ff ff 25 00 00 00 ff ff 00 00 00 01 .."...%.........
    002f6740 fc 2b 00 00 00 00 00 00 ff ff ff ff ff ff 0f 00 .+..............
    002f6750 0f 00 ff ff ff ff ff ff ff ff ff ff 0f 00 0f 00 ................
    002f6760 ff ff 0f 00 0f 00 02 00 01 00 0f 00 ff ff ff ff ................
    002f6770 03 00 04 00 ....
    002f6774
    002f6774 SwitchTable
    002f6774 0xf4016 0xf4016 0xf4016 0xf4016
    002f6784
    002f6784 ff ff 0e 00 0e 00 02 00 ff ff ff ff ............
    002f6790 ff ff ff ff ff ff 00 01 fc 2b 00 00 00 00 00 00 .........+......
    002f67a0 00 00 ef ff f0 ff 3e 00 0e 00 f3 ff f4 ff f5 ff ......>.........
    002f67b0 f6 ff f7 ff 00 00 00 00 fa ff 89 00 18 00 20 00 .............. .
    002f67c0 01 00 02 00 ff ff 03 00 37 00 a3 00 00 00 00 00 ........7.......
    002f67d0 f9 ff 03 00 00 00 0b 00 f8 ff f2 ff f1 ff 02 00 ................
    002f67e0
    002f67e0 SwitchTable
    002f67e0 0x100e0 0xcfffe 0xbfc
    002f67f8
    002f67f8 string "OPEN AFTER: ",0 ← 0x163e6e
    002f6805
    002f6805 00 00 03 fc 0b 00 00 00 00 00 00 ...........
    002f6810
    002f6810 string "CLOSE NGROUPS: ",0 ← 0x163d97
    002f6820
    002f6820 fc 07 00 00 00 00 00 00 ........
    002f6828
    002f6828 string " -> ",0 ← 0x165d49
    002f682d
    002f682d 00 00 03 ...
    002f6830 fc 0b 00 00 00 00 00 00 ........
    002f6838
    002f6838 ; get_length : ← 0x165d11 0x165d5c
    002f6838 67 65 74 5f 6c 65 6e 67 get_leng
    002f6840 74 68 20 3a th :
    002f6844
    002f6844 SwitchTable
    002f6844 0x7fc
    002f684c
    002f684c 00 00 00 00 ....
    002f6850
    002f6850 string " = ",0 ← 0x165c77
    002f6854
    002f6854 00 00 00 04 fc 0b 00 00 00 00 00 00 ............
    002f6860
    002f6860 string "get_bool: ",0 ← 0x165c93
    002f686b
    002f686b 00 00 00 00 05 .....
    002f6870 fc 13 00 00 00 00 00 00 ........
    002f6878
    002f6878 string "'' has no value as a boolean" ← 0x165bd9
    002f6894
    002f6894 SwitchTable
    002f6894 0x7fc 0x6060 0xffc
    002f68ac
    002f68ac 00 00 00 00 ....
    002f68b0
    002f68b0 string "'' for boolean result",0 ← 0x165b54
    002f68c6
    002f68c6 00 02 fc 0b 00 00 00 00 00 00 ..........
    002f68d0
    002f68d0 string "OPEN NGROUPS: ",0 ← 0x163c87
    002f68df
    002f68df 01 .
    002f68e0 fc 0f 00 00 00 00 00 00 ........
    002f68e8
    002f68e8 string "Error while scanning ``",0 ← 0x165b68
    002f6900
    002f6900 fc 07 00 00 00 00 00 00 ........
    002f6908
    002f6908 string "*bool*",0 ← 0x165afc 0x165ba4
    002f690f
    002f690f 01 .
    002f6910 fc 0b 00 00 00 00 00 00 ........
    002f6918
    002f6918 ; get_bool : ← 0x165ab6
    002f6918 67 65 74 5f get_
    002f691c
    002f691c SwitchTable
    002f691c 0x203a20 0xb00
    002f692c
    002f692c 00 00 00 00 ....
    002f6930
    002f6930 PointerTable ← camlGet.do_get_int_873
    002f6930 0x2f6968 0x2f6948
    002f6940
    002f6940 fc 0f 00 00 00 00 00 00 ........
    002f6948
    002f6948 ; get_int: '%a' -> %i %!
    002f6948 67 65 74 5f 69 6e 74 3a get_int:
    002f6950 20 27 25 61 27 20 2d 3e 20 25 69 0a '%a' -> %i.
    002f695c
    002f695c SwitchTable
    002f695c 0xb0b 0x2f6a10 0x2f6980 0x70f 0x2f6990 0xb0b 0x2f6a00 0x2f69a8
    002f699c 0x1304 0x7 0x1 0x1 0x2f69d0 0xb0c 0x15 0x2f59b8
    002f69dc 0xbfc
    002f6968
    002f6968 PointerTable
    002f6968 0x2f6a10 0x2f6980
    002f6990
    002f6990 PointerTable
    002f6990 0x2f6a00 0x2f69a8
    002f69e4
    002f69e4 00 00 00 00 ....
    002f69e8
    002f69e8 string "PUSH INT: ",0 ← 0x163bc6
    002f69f3
    002f69f3 00 00 00 00 05 fc 07 00 00 00 00 00 00 .............
    002f6a00
    002f6a00 string "' -> ",0
    002f6a06
    002f6a06 00 02 fc 0b 00 00 00 00 00 00 ..........
    002f6a10
    002f6a10 ; get_int: '
    002f6a10 67 65 74 5f get_
    002f6a14
    002f6a14 SwitchTable
    002f6a14 0x2720 0xb00
    002f6a24
    002f6a24 00 00 00 00 ....
    002f6a28
    002f6a28 PointerTable ← camlGet.do_get_int_873
    002f6a28 0x2f6a70 0x2f6a40
    002f6a38
    002f6a38 fc 17 00 00 00 00 00 00 ........
    002f6a40
    002f6a40 string "'%s'' has no value as an integer",0
    002f6a61
    002f6a61 00 00 00 ...
    002f6a64
    002f6a64 SwitchTable
    002f6a64 0xb0c 0x4f 0x2f6a88 0xb02 0x1 0x2f6aa0 0xb0b 0x2f6ab8
    002f6aa4 0x1 0x13fc
    002f6a70
    002f6a70 PointerTable
    002f6a70 0x4f 0x2f6a88
    002f6ab4
    002f6ab4 00 00 00 00 ....
    002f6ab8
    002f6ab8 ; '' has no value as an integer
    002f6ab8 27 27 20 68 61 73 20 6e '' has n
    002f6ac0 6f 20 76 61 6c 75 65 20 61 73 20 61 6e 20 69 6e o value as an in
    002f6ad0 74 65 67 65 tege
    002f6ad4
    002f6ad4 SwitchTable
    002f6ad4 0xb00
    002f6adc
    002f6adc 00 00 00 00 ....
    002f6ae0
    002f6ae0 PointerTable ← camlGet.do_get_int_873
    002f6ae0 0x2f6b48 0x2f6af8 0x1bfc
    002f6af8
    002f6af8 string "Error while scanning '%a' for integer result\n%!",0
    002f6b28
    002f6b28 fc 0b 00 00 00 00 00 00 ........
    002f6b30
    002f6b30 string "group_stack",0 ← 0x166052
    002f6b3c
    002f6b3c SwitchTable
    002f6b3c 0xb0b 0x2f6ba8 0x2f6b60 0x70f 0x2f6b70 0xb0b 0x2f6b88 0x2f59b8
    002f6b7c 0xffc
    002f6b48
    002f6b48 PointerTable
    002f6b48 0x2f6ba8 0x2f6b60
    002f6b70
    002f6b70 PointerTable
    002f6b70 0x2f6b88 0x2f59b8
    002f6b84
    002f6b84 00 00 00 00 ....
    002f6b88
    002f6b88 string "' for integer result\n",0
    002f6b9e
    002f6b9e 00 02 ..
    002f6ba0 fc 0f 00 00 00 00 00 00 ........
    002f6ba8
    002f6ba8 string "Error while scanning '",0
    002f6bbf
    002f6bbf 01 .
    002f6bc0 fc 07 00 00 00 00 00 00 ........
    002f6bc8
    002f6bc8 ; *int* ← 0x16581c 0x1658e8
    002f6bc8 2a 69 6e 74 *int
    002f6bcc
    002f6bcc SwitchTable
    002f6bcc 0xb00 0x2f6c10 0x2f6bf0 0xffc
    002f6bd8
    002f6bd8 PointerTable ← camlGet.do_get_int_873
    002f6bd8 0x2f6c10 0x2f6bf0
    002f6bec
    002f6bec 00 00 00 00 ....
    002f6bf0
    002f6bf0 ; get_int : '%a' %!
    002f6bf0 67 65 74 5f 69 6e 74 20 3a 20 27 25 get_int : '%
    002f6bfc
    002f6bfc SwitchTable
    002f6bfc 0x21 0xb0b 0x2f59d8 0x2f6c28 0x70f 0x2f59a0 0xbfc
    002f6c10
    002f6c10 PointerTable
    002f6c10 0x2f59d8 0x2f6c28
    002f6c34
    002f6c34 00 00 00 00 ....
    002f6c38
    002f6c38 string "bool_stack",0 ← 0x166028
    002f6c43
    002f6c43 00 00 00 00 05 fc 0b 00 00 00 00 00 00 .............
    002f6c50
    002f6c50 string "Get.Error",0 ← 0x165dd9
    002f6c5a
    002f6c5a 00 00 00 00 00 06 ......
    002f6c60 00 00 00 00 00 00 00 00 00 00 00 00 ............
    002f6c6c
    002f6c6c SwitchTable
    002f6c6c 0xf8 0x1663aa 0x1001a 0x3 0x166338 0x1a
    002f6c9c
    002f6c9c 01 02 00 00 ....
    002f6ca0
    002f6ca0 SwitchTable
    002f6ca0 0x165fe9 0x1a 0x2 0x165f7a
    002f6cc0
    002f6cc0 1a 00 00 00 02 00 00 00 27 5e 16 00 00 00 00 00 ........'^......
    002f6cd0 1a 00 00 00 06 00 00 00 00 00 00 00 ............
    002f6cdc
    002f6cdc SwitchTable
    002f6cdc 0x165dcd 0x1001a 0x165d8d 0x10019
    002f6cfc
    002f6cfc 08 00 00 00 ....
    002f6d00 c8 17 00 00 00 00 00 00 88 5d 16 00 00 00 00 00 .........]......
    002f6d10 19 00 01 00 08 00 00 00 30 17 00 00 00 00 00 00 ........0.......
    002f6d20 7e 5d 16 00 00 00 00 00 19 00 01 00 08 00 00 00 ~]..............
    002f6d30 d0 14 00 00 00 00 00 00 68 5d 16 00 00 00 00 00 ........h]......
    002f6d40 19 00 01 00 08 00 00 00 b0 15 00 00 00 00 00 00 ................
    002f6d50 59 5d 16 00 00 00 00 00 19 00 01 00 08 00 00 00 Y]..............
    002f6d60
    002f6d60 SwitchTable
    002f6d60 0x19b0 0x165d30 0x10019 0x14d8 0x165d2b 0x10019 0x1670 0x165d22
    002f6da0 0x10019 0x1508 0x165d1d 0x10019 0x16b8 0x165ca4
    002f6dd0
    002f6dd0 21 00 02 00 00 00 08 00 68 16 00 00 00 00 00 00 !.......h.......
    002f6de0 9f 5c 16 00 00 00 00 00 21 00 02 00 00 00 08 00 .\......!.......
    002f6df0 f0 15 00 00 00 00 00 00 90 5c 16 00 00 00 00 00 .........\......
    002f6e00 21 00 02 00 00 00 08 00 00 19 00 00 00 00 00 00 !...............
    002f6e10 83 5c 16 00 00 00 00 00 21 00 03 00 00 00 08 00 .\......!.......
    002f6e20 10 00 00 00 fc 18 00 00 47 5c 16 00 00 00 00 00 ........G\......
    002f6e30 21 00 02 00 08 00 10 00 !.......