// File: oknenavin[P]cxon/examples/std-types-ex02.cxx
// Function: main
int main() {
    std::vector<sequence> sqs;
        cxon::from_bytes(sqs, std::begin(in), std::end(in));
    assert(sqs == (std::vector<sequence>{
        sequence {"Fibonacci", 5, std::vector<unsigned> {0, 1, 1, 2, 3}},
        sequence {"Pascal", 5, std::vector<unsigned> {1, 8, 24, 32, 16}}
    }));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x220, %rsp            # imm = 0x220
movl $0x0, -0x4(%rbp)
leaq -0x20(%rbp), %rdi
movq %rdi, -0x1a8(%rbp)
callq 0x2910
leaq 0xdde7(%rip), %rdi      # 0x10120
movq %rdi, -0x1b0(%rbp)
callq 0x2970
movq -0x1b0(%rbp), %rdi
movq %rax, -0x1a0(%rbp)
callq 0x2980
movq -0x1a8(%rbp), %rsi
movq -0x1a0(%rbp), %rdx
movq %rax, %rcx
leaq -0x38(%rbp), %rdi
callq 0x2930
jmp 0x2374
movb $0x1, -0x192(%rbp)
leaq -0xf0(%rbp), %rax
movq %rax, -0xf8(%rbp)
movl $0x5, -0xfc(%rbp)
movups 0x8526(%rip), %xmm0     # 0xa8c0
movaps %xmm0, -0x140(%rbp)
movl $0x3, -0x130(%rbp)
leaq -0x140(%rbp), %rax
movq %rax, -0x128(%rbp)
movq $0x5, -0x120(%rbp)
leaq -0x141(%rbp), %rdi
movq %rdi, -0x1b8(%rbp)
callq 0x2a20
movq -0x1b8(%rbp), %rcx
movq -0x128(%rbp), %rsi
movq -0x120(%rbp), %rdx
leaq -0x118(%rbp), %rdi
callq 0x2a40
jmp 0x23fa
leaq 0x7d8f(%rip), %rsi      # 0xa190
leaq -0xf0(%rbp), %rdi
leaq -0xfc(%rbp), %rdx
leaq -0x118(%rbp), %rcx
callq 0x2ac0
jmp 0x241d
leaq -0xb0(%rbp), %rax
movq %rax, -0x1c8(%rbp)
movq %rax, -0xf8(%rbp)
movl $0x5, -0x148(%rbp)
movups 0x8491(%rip), %xmm0     # 0xa8d4
movaps %xmm0, -0x190(%rbp)
movl $0x10, -0x180(%rbp)
leaq -0x190(%rbp), %rax
movq %rax, -0x170(%rbp)
movq $0x5, -0x168(%rbp)
leaq -0x191(%rbp), %rdi
movq %rdi, -0x1c0(%rbp)
callq 0x2a20
movq -0x1c0(%rbp), %rcx
movq -0x170(%rbp), %rsi
movq -0x168(%rbp), %rdx
leaq -0x160(%rbp), %rdi
callq 0x2a40
jmp 0x24a3
movq -0x1c8(%rbp), %rdi
leaq 0x7ce9(%rip), %rsi      # 0xa19a
leaq -0x148(%rbp), %rdx
leaq -0x160(%rbp), %rcx
callq 0x2b00
jmp 0x24c6
movb $0x0, -0x192(%rbp)
leaq -0xf0(%rbp), %rax
movq %rax, -0x70(%rbp)
movq $0x2, -0x68(%rbp)
leaq -0x193(%rbp), %rdi
movq %rdi, -0x1d0(%rbp)
callq 0x2b40
movq -0x1d0(%rbp), %rcx
movq -0x70(%rbp), %rsi
movq -0x68(%rbp), %rdx
leaq -0x60(%rbp), %rdi
callq 0x2b60
jmp 0x250d
leaq -0x20(%rbp), %rdi
leaq -0x60(%rbp), %rsi
callq 0x29a0
movb %al, -0x1d1(%rbp)
jmp 0x2522
movb -0x1d1(%rbp), %al
testb $0x1, %al
jne 0x252e
jmp 0x2533
jmp 0x25d2
leaq 0x7c67(%rip), %rdi      # 0xa1a1
leaq 0x7d05(%rip), %rsi      # 0xa246
movl $0x16, %edx
leaq 0x7d0c(%rip), %rcx      # 0xa259
callq 0x20f0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x275c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x26f6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x26ea
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x26de
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x26d2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x2678
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x60(%rbp), %rdi
callq 0x2be0
jmp 0x2678
leaq -0x60(%rbp), %rdi
callq 0x2be0
leaq -0x193(%rbp), %rdi
callq 0x2c40
leaq -0xf0(%rbp), %rax
movq %rax, -0x1e8(%rbp)
addq $0x80, %rax
movq %rax, -0x1e0(%rbp)
movq -0x1e0(%rbp), %rdi
addq $-0x40, %rdi
movq %rdi, -0x1f0(%rbp)
callq 0x2c60
movq -0x1e8(%rbp), %rcx
movq -0x1f0(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x1e0(%rbp)
jne 0x2602
leaq -0x160(%rbp), %rdi
callq 0x2c80
leaq -0x191(%rbp), %rdi
callq 0x2ce0
leaq -0x118(%rbp), %rdi
callq 0x2c80
leaq -0x141(%rbp), %rdi
callq 0x2ce0
leaq -0x20(%rbp), %rdi
callq 0x2be0
movl -0x4(%rbp), %eax
addq $0x220, %rsp            # imm = 0x220
popq %rbp
retq
leaq -0x193(%rbp), %rdi
callq 0x2c40
leaq -0xf0(%rbp), %rax
movq %rax, -0x200(%rbp)
addq $0x80, %rax
movq %rax, -0x1f8(%rbp)
movq -0x1f8(%rbp), %rdi
addq $-0x40, %rdi
movq %rdi, -0x208(%rbp)
callq 0x2c60
movq -0x200(%rbp), %rcx
movq -0x208(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x1f8(%rbp)
jne 0x269f
jmp 0x26d2
leaq -0x160(%rbp), %rdi
callq 0x2c80
leaq -0x191(%rbp), %rdi
callq 0x2ce0
leaq -0x118(%rbp), %rdi
callq 0x2c80
leaq -0x141(%rbp), %rdi
callq 0x2ce0
testb $0x1, -0x192(%rbp)
jne 0x270d
jmp 0x275a
movq -0xf8(%rbp), %rax
leaq -0xf0(%rbp), %rcx
cmpq %rax, %rcx
movq %rax, -0x210(%rbp)
je 0x2758
movq -0x210(%rbp), %rdi
addq $-0x40, %rdi
movq %rdi, -0x218(%rbp)
callq 0x2c60
movq -0x218(%rbp), %rax
leaq -0xf0(%rbp), %rcx
cmpq %rcx, %rax
movq %rax, -0x210(%rbp)
jne 0x2727
jmp 0x275a
jmp 0x275c
leaq -0x20(%rbp), %rdi
callq 0x2be0
movq -0x40(%rbp), %rdi
callq 0x21e0
nop