// File: myint[P]optparse/./optparse.h
// Function: optparse::Option::check_type(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&) const
std::string check_type(const std::string &opt, const std::string &val) const
        {
            std::istringstream ss(val);
            std::stringstream err;

            if (type() == "int" or type() == "long")
            {
                long t;
                if (not (ss >> t))
                {
                    err << "option" << " " << opt << ": " << "invalid integer value" << ": '" << val << "'";
                }
            }
            else if (type() == "float" or type() == "double")
            {
                double t;
                if (not (ss >> t))
                {
                    err << "option" << " " << opt << ": " << "invalid floating-point value" << ": '" << val << "'";
                }
            }
            else if (type() == "choice")
            {
                if (find(choices().begin(), choices().end(), val) == choices().end())
                {
                    std::list<std::string> tmp = choices();
                    std::transform(tmp.begin(), tmp.end(), tmp.begin(), detail::str_wrap("'"));
                    err << "option" << " " << opt << ": " << "invalid choice" << ": '" << val << "'"
                        << " (" << "choose from" << " " << detail::str_join(", ", tmp.begin(), tmp.end()) << ")";
                }
            }
            else if (type() == "complex")
            {
                std::complex<double> t;
                if (not (ss >> t))
                {
                    err << "option" << " " << opt << ": " << "invalid complex value" << ": '" << val << "'";
                }
            }

            return err.str();
        }

// Assembly:
subq $0x6a8, %rsp            # imm = 0x6A8
movq %rdi, 0x220(%rsp)
movq %rdi, %rax
movq %rax, 0x228(%rsp)
movq %rdi, 0x6a0(%rsp)
movq %rsi, 0x698(%rsp)
movq %rdx, 0x690(%rsp)
movq %rcx, 0x688(%rsp)
movq 0x698(%rsp), %rax
movq %rax, 0x230(%rsp)
movq 0x688(%rsp), %rsi
leaq 0x508(%rsp), %rdi
movl $0x8, %edx
callq 0x4520
leaq 0x380(%rsp), %rdi
callq 0x4260
jmp 0x1b223
movq 0x230(%rsp), %rdi
callq 0x1bf30
movq %rax, 0x218(%rsp)
jmp 0x1b23a
movq 0x218(%rsp), %rdi
leaq 0x6515(%rip), %rsi      # 0x2175e
callq 0x14e90
movb %al, 0x217(%rsp)
jmp 0x1b257
movb 0x217(%rsp), %al
testb $0x1, %al
jne 0x1b2a8
jmp 0x1b264
movq 0x230(%rsp), %rdi
callq 0x1bf30
movq %rax, 0x208(%rsp)
jmp 0x1b27b
movq 0x208(%rsp), %rdi
leaq 0x685f(%rip), %rsi      # 0x21ae9
callq 0x14e90
movb %al, 0x207(%rsp)
jmp 0x1b298
movb 0x207(%rsp), %al
testb $0x1, %al
jne 0x1b2a8
jmp 0x1b41a
leaq 0x508(%rsp), %rdi
leaq 0x368(%rsp), %rsi
callq 0x41e0
movq %rax, 0x1f8(%rsp)
jmp 0x1b2c7
movq 0x1f8(%rsp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x4160
movb %al, 0x1f7(%rsp)
jmp 0x1b2e7
movb 0x1f7(%rsp), %al
testb $0x1, %al
jne 0x1b2f7
jmp 0x1b415
leaq 0x390(%rsp), %rdi
leaq 0x67dc(%rip), %rsi      # 0x21ae2
callq 0x4330
movq %rax, 0x1e8(%rsp)
jmp 0x1b315
movq 0x1e8(%rsp), %rdi
leaq 0x683c(%rip), %rsi      # 0x21b60
callq 0x4330
movq %rax, 0x1e0(%rsp)
jmp 0x1b333
movq 0x1e0(%rsp), %rdi
movq 0x690(%rsp), %rsi
callq 0x42f0
movq %rax, 0x1d8(%rsp)
jmp 0x1b352
movq 0x1d8(%rsp), %rdi
leaq 0x66c7(%rip), %rsi      # 0x21a28
callq 0x4330
movq %rax, 0x1d0(%rsp)
jmp 0x1b370
movq 0x1d0(%rsp), %rdi
leaq 0x676f(%rip), %rsi      # 0x21aee
callq 0x4330
movq %rax, 0x1c8(%rsp)
jmp 0x1b38e
movq 0x1c8(%rsp), %rdi
leaq 0x6767(%rip), %rsi      # 0x21b04
callq 0x4330
movq %rax, 0x1c0(%rsp)
jmp 0x1b3ac
movq 0x1c0(%rsp), %rdi
movq 0x688(%rsp), %rsi
callq 0x42f0
movq %rax, 0x1b8(%rsp)
jmp 0x1b3cb
movq 0x1b8(%rsp), %rdi
leaq 0x672c(%rip), %rsi      # 0x21b06
callq 0x4330
jmp 0x1b3e1
jmp 0x1b415
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x378(%rsp)
movl %eax, 0x374(%rsp)
jmp 0x1bda1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x378(%rsp)
movl %eax, 0x374(%rsp)
jmp 0x1bd90
jmp 0x1bd4d
movq 0x230(%rsp), %rdi
callq 0x1bf30
movq %rax, 0x1b0(%rsp)
jmp 0x1b431
movq 0x1b0(%rsp), %rdi
leaq 0x633f(%rip), %rsi      # 0x2177f
callq 0x14e90
movb %al, 0x1af(%rsp)
jmp 0x1b44e
movb 0x1af(%rsp), %al
testb $0x1, %al
jne 0x1b49f
jmp 0x1b45b
movq 0x230(%rsp), %rdi
callq 0x1bf30
movq %rax, 0x1a0(%rsp)
jmp 0x1b472
movq 0x1a0(%rsp), %rdi
leaq 0x6687(%rip), %rsi      # 0x21b08
callq 0x14e90
movb %al, 0x19f(%rsp)
jmp 0x1b48f
movb 0x19f(%rsp), %al
testb $0x1, %al
jne 0x1b49f
jmp 0x1b5df
leaq 0x508(%rsp), %rdi
leaq 0x360(%rsp), %rsi
callq 0x42b0
movq %rax, 0x190(%rsp)
jmp 0x1b4be
movq 0x190(%rsp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x4160
movb %al, 0x18f(%rsp)
jmp 0x1b4de
movb 0x18f(%rsp), %al
testb $0x1, %al
jne 0x1b4ee
jmp 0x1b5da
leaq 0x390(%rsp), %rdi
leaq 0x65e5(%rip), %rsi      # 0x21ae2
callq 0x4330
movq %rax, 0x180(%rsp)
jmp 0x1b50c
movq 0x180(%rsp), %rdi
leaq 0x6645(%rip), %rsi      # 0x21b60
callq 0x4330
movq %rax, 0x178(%rsp)
jmp 0x1b52a
movq 0x178(%rsp), %rdi
movq 0x690(%rsp), %rsi
callq 0x42f0
movq %rax, 0x170(%rsp)
jmp 0x1b549
movq 0x170(%rsp), %rdi
leaq 0x64d0(%rip), %rsi      # 0x21a28
callq 0x4330
movq %rax, 0x168(%rsp)
jmp 0x1b567
movq 0x168(%rsp), %rdi
leaq 0x6599(%rip), %rsi      # 0x21b0f
callq 0x4330
movq %rax, 0x160(%rsp)
jmp 0x1b585
movq 0x160(%rsp), %rdi
leaq 0x6570(%rip), %rsi      # 0x21b04
callq 0x4330
movq %rax, 0x158(%rsp)
jmp 0x1b5a3
movq 0x158(%rsp), %rdi
movq 0x688(%rsp), %rsi
callq 0x42f0
movq %rax, 0x150(%rsp)
jmp 0x1b5c2
movq 0x150(%rsp), %rdi
leaq 0x6535(%rip), %rsi      # 0x21b06
callq 0x4330
jmp 0x1b5d8
jmp 0x1b5da
jmp 0x1bd4b
movq 0x230(%rsp), %rdi
callq 0x1bf30
movq %rax, 0x148(%rsp)
jmp 0x1b5f6
movq 0x148(%rsp), %rdi
leaq 0x652f(%rip), %rsi      # 0x21b34
callq 0x14e90
movb %al, 0x147(%rsp)
jmp 0x1b613
movb 0x147(%rsp), %al
testb $0x1, %al
jne 0x1b623
jmp 0x1bbf5
movq 0x230(%rsp), %rdi
callq 0x1bfd0
movq %rax, 0x138(%rsp)
jmp 0x1b63a
movq 0x138(%rsp), %rdi
callq 0x13f90
movq %rax, 0x130(%rsp)
jmp 0x1b651
movq 0x230(%rsp), %rdi
movq 0x130(%rsp), %rax
movq %rax, 0x350(%rsp)
callq 0x1bfd0
movq %rax, 0x128(%rsp)
jmp 0x1b678
movq 0x128(%rsp), %rdi
callq 0x13fc0
movq %rax, 0x120(%rsp)
jmp 0x1b68f
movq 0x120(%rsp), %rax
movq %rax, 0x348(%rsp)
movq 0x688(%rsp), %rdx
movq 0x350(%rsp), %rdi
movq 0x348(%rsp), %rsi
callq 0x1bf70
movq %rax, 0x118(%rsp)
jmp 0x1b6c6
movq 0x230(%rsp), %rdi
movq 0x118(%rsp), %rax
movq %rax, 0x358(%rsp)
callq 0x1bfd0
movq %rax, 0x110(%rsp)
jmp 0x1b6ed
movq 0x110(%rsp), %rdi
callq 0x13fc0
movq %rax, 0x108(%rsp)
jmp 0x1b704
movq 0x108(%rsp), %rax
movq %rax, 0x340(%rsp)
leaq 0x358(%rsp), %rdi
leaq 0x340(%rsp), %rsi
callq 0x1bf50
movb %al, 0x107(%rsp)
jmp 0x1b732
movb 0x107(%rsp), %al
testb $0x1, %al
jne 0x1b742
jmp 0x1bbf0
movq 0x230(%rsp), %rdi
callq 0x1bfd0
movq %rax, 0xf8(%rsp)
jmp 0x1b759
movq 0xf8(%rsp), %rsi
leaq 0x328(%rsp), %rdi
callq 0x11010
jmp 0x1b770
leaq 0x328(%rsp), %rdi
callq 0x19160
movq %rax, 0xf0(%rsp)
jmp 0x1b787
movq 0xf0(%rsp), %rax
movq %rax, 0x320(%rsp)
leaq 0x328(%rsp), %rdi
callq 0x14180
movq %rax, 0xe8(%rsp)
jmp 0x1b7ae
movq 0xe8(%rsp), %rax
movq %rax, 0x318(%rsp)
leaq 0x328(%rsp), %rdi
callq 0x19160
movq %rax, 0xe0(%rsp)
jmp 0x1b7d5
movq 0xe0(%rsp), %rax
movq %rax, 0x310(%rsp)
leaq 0x2af(%rsp), %rdi
movq %rdi, 0xd8(%rsp)
callq 0x4580
movq 0xd8(%rsp), %rdx
leaq 0x62fd(%rip), %rsi      # 0x21b06
leaq 0x2b0(%rsp), %rdi
callq 0x4450
jmp 0x1b818
leaq 0x2d0(%rsp), %rdi
leaq 0x2b0(%rsp), %rsi
callq 0x1add0
jmp 0x1b82f
movq 0x320(%rsp), %rdi
movq 0x318(%rsp), %rsi
movq 0x310(%rsp), %rdx
leaq 0x2d0(%rsp), %rcx
callq 0x1bff0
movq %rax, 0xd0(%rsp)
jmp 0x1b85e
movq 0xd0(%rsp), %rax
movq %rax, 0x2a0(%rsp)
leaq 0x2d0(%rsp), %rdi
callq 0x1ae40
jmp 0x1b87d
leaq 0x2b0(%rsp), %rdi
callq 0x4618
jmp 0x1b88c
leaq 0x2af(%rsp), %rdi
callq 0x4390
leaq 0x390(%rsp), %rdi
leaq 0x623a(%rip), %rsi      # 0x21ae2
callq 0x4330
movq %rax, 0xc8(%rsp)
jmp 0x1b8b7
movq 0xc8(%rsp), %rdi
leaq 0x629a(%rip), %rsi      # 0x21b60
callq 0x4330
movq %rax, 0xc0(%rsp)
jmp 0x1b8d5
movq 0xc0(%rsp), %rdi
movq 0x690(%rsp), %rsi
callq 0x42f0
movq %rax, 0xb8(%rsp)
jmp 0x1b8f4
movq 0xb8(%rsp), %rdi
leaq 0x6125(%rip), %rsi      # 0x21a28
callq 0x4330
movq %rax, 0xb0(%rsp)
jmp 0x1b912
movq 0xb0(%rsp), %rdi
leaq 0x620b(%rip), %rsi      # 0x21b2c
callq 0x4330
movq %rax, 0xa8(%rsp)
jmp 0x1b930
movq 0xa8(%rsp), %rdi
leaq 0x61c5(%rip), %rsi      # 0x21b04
callq 0x4330
movq %rax, 0xa0(%rsp)
jmp 0x1b94e
movq 0xa0(%rsp), %rdi
movq 0x688(%rsp), %rsi
callq 0x42f0
movq %rax, 0x98(%rsp)
jmp 0x1b96d
movq 0x98(%rsp), %rdi
leaq 0x618a(%rip), %rsi      # 0x21b06
callq 0x4330
movq %rax, 0x90(%rsp)
jmp 0x1b98b
movq 0x90(%rsp), %rdi
leaq 0x613a(%rip), %rsi      # 0x21ad4
callq 0x4330
movq %rax, 0x88(%rsp)
jmp 0x1b9a9
movq 0x88(%rsp), %rdi
leaq 0x6183(%rip), %rsi      # 0x21b3b
callq 0x4330
movq %rax, 0x80(%rsp)
jmp 0x1b9c7
movq 0x80(%rsp), %rdi
leaq 0x618a(%rip), %rsi      # 0x21b60
callq 0x4330
movq %rax, 0x78(%rsp)
jmp 0x1b9e2
leaq 0x25f(%rsp), %rdi
movq %rdi, 0x70(%rsp)
callq 0x4580
movq 0x70(%rsp), %rdx
leaq 0x5ec9(%rip), %rsi      # 0x218c9
leaq 0x260(%rsp), %rdi
callq 0x4450
jmp 0x1ba0f
leaq 0x328(%rsp), %rdi
callq 0x19160
movq %rax, 0x68(%rsp)
jmp 0x1ba23
movq 0x68(%rsp), %rax
movq %rax, 0x250(%rsp)
leaq 0x328(%rsp), %rdi
callq 0x14180
movq %rax, 0x60(%rsp)
jmp 0x1ba44
movq 0x60(%rsp), %rax
movq %rax, 0x248(%rsp)
movq 0x250(%rsp), %rdx
movq 0x248(%rsp), %rcx
leaq 0x280(%rsp), %rdi
leaq 0x260(%rsp), %rsi
callq 0xb0d0
jmp 0x1ba78
movq 0x78(%rsp), %rdi
leaq 0x280(%rsp), %rsi
callq 0x42f0
movq %rax, 0x58(%rsp)
jmp 0x1ba91
movq 0x58(%rsp), %rdi
leaq 0x5ecc(%rip), %rsi      # 0x21969
callq 0x4330
jmp 0x1baa4
leaq 0x280(%rsp), %rdi
callq 0x4618
jmp 0x1bab3
leaq 0x260(%rsp), %rdi
callq 0x4618
jmp 0x1bac2
leaq 0x25f(%rsp), %rdi
callq 0x4390
leaq 0x328(%rsp), %rdi
callq 0xe940
jmp 0x1bade
jmp 0x1bbf0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x378(%rsp)
movl %eax, 0x374(%rsp)
jmp 0x1bbdc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x378(%rsp)
movl %eax, 0x374(%rsp)
jmp 0x1bb5e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x378(%rsp)
movl %eax, 0x374(%rsp)
jmp 0x1bb4d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x378(%rsp)
movl %eax, 0x374(%rsp)
leaq 0x2d0(%rsp), %rdi
callq 0x1ae40
jmp 0x1bb4b
jmp 0x1bb4d
leaq 0x2b0(%rsp), %rdi
callq 0x4618
jmp 0x1bb5c
jmp 0x1bb5e
leaq 0x2af(%rsp), %rdi
callq 0x4390
jmp 0x1bbdc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x378(%rsp)
movl %eax, 0x374(%rsp)
jmp 0x1bbcf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x378(%rsp)
movl %eax, 0x374(%rsp)
jmp 0x1bbbe
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x378(%rsp)
movl %eax, 0x374(%rsp)
leaq 0x280(%rsp), %rdi
callq 0x4618
jmp 0x1bbbc
jmp 0x1bbbe
leaq 0x260(%rsp), %rdi
callq 0x4618
jmp 0x1bbcd
jmp 0x1bbcf
leaq 0x25f(%rsp), %rdi
callq 0x4390
leaq 0x328(%rsp), %rdi
callq 0xe940
jmp 0x1bbeb
jmp 0x1bd90
jmp 0x1bd49
movq 0x230(%rsp), %rdi
callq 0x1bf30
movq %rax, 0x50(%rsp)
jmp 0x1bc09
movq 0x50(%rsp), %rdi
leaq 0x5b75(%rip), %rsi      # 0x2178a
callq 0x14e90
movb %al, 0x4f(%rsp)
jmp 0x1bc20
movb 0x4f(%rsp), %al
testb $0x1, %al
jne 0x1bc2d
jmp 0x1bd47
leaq 0x238(%rsp), %rdi
xorps %xmm1, %xmm1
movaps %xmm1, %xmm0
callq 0xe370
jmp 0x1bc42
leaq 0x508(%rsp), %rdi
leaq 0x238(%rsp), %rsi
callq 0x4480
movq %rax, 0x40(%rsp)
jmp 0x1bc5e
movq 0x40(%rsp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x4160
movb %al, 0x3f(%rsp)
jmp 0x1bc78
movb 0x3f(%rsp), %al
testb $0x1, %al
jne 0x1bc85
jmp 0x1bd45
leaq 0x390(%rsp), %rdi
leaq 0x5e4e(%rip), %rsi      # 0x21ae2
callq 0x4330
movq %rax, 0x30(%rsp)
jmp 0x1bca0
movq 0x30(%rsp), %rdi
leaq 0x5eb4(%rip), %rsi      # 0x21b60
callq 0x4330
movq %rax, 0x28(%rsp)
jmp 0x1bcb8
movq 0x28(%rsp), %rdi
movq 0x690(%rsp), %rsi
callq 0x42f0
movq %rax, 0x20(%rsp)
jmp 0x1bcd1
movq 0x20(%rsp), %rdi
leaq 0x5d4b(%rip), %rsi      # 0x21a28
callq 0x4330
movq %rax, 0x18(%rsp)
jmp 0x1bce9
movq 0x18(%rsp), %rdi
leaq 0x5e52(%rip), %rsi      # 0x21b47
callq 0x4330
movq %rax, 0x10(%rsp)
jmp 0x1bd01
movq 0x10(%rsp), %rdi
leaq 0x5df7(%rip), %rsi      # 0x21b04
callq 0x4330
movq %rax, 0x8(%rsp)
jmp 0x1bd19
movq 0x8(%rsp), %rdi
movq 0x688(%rsp), %rsi
callq 0x42f0
movq %rax, (%rsp)
jmp 0x1bd31
movq (%rsp), %rdi
leaq 0x5dca(%rip), %rsi      # 0x21b06
callq 0x4330
jmp 0x1bd43
jmp 0x1bd45
jmp 0x1bd47
jmp 0x1bd49
jmp 0x1bd4b
jmp 0x1bd4d
movq 0x220(%rsp), %rdi
leaq 0x380(%rsp), %rsi
callq 0x4320
jmp 0x1bd64
leaq 0x380(%rsp), %rdi
callq 0x4290
jmp 0x1bd73
leaq 0x508(%rsp), %rdi
callq 0x4170
movq 0x228(%rsp), %rax
addq $0x6a8, %rsp            # imm = 0x6A8
retq
leaq 0x380(%rsp), %rdi
callq 0x4290
jmp 0x1bd9f
jmp 0x1bda1
leaq 0x508(%rsp), %rdi
callq 0x4170
jmp 0x1bdb0
jmp 0x1bdb2
movq 0x378(%rsp), %rdi
callq 0x4570
movq %rax, %rdi
callq 0xcc60
nopw (%rax,%rax)