// File: kdungs[P]cpp-prelude/test_prelude.cc
// Function: test_zip()
auto test_zip() -> void {
  using Prelude::zip;
  auto expect = std::vector<std::tuple<int, bool>>{std::make_tuple(1, true),
                                                   std::make_tuple(2, false),
                                                   std::make_tuple(3, true)};
  auto result =
      zip(std::vector<int>{1, 2, 3}, std::list<bool>{true, false, true});
  assert(result == expect);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x110, %rsp            # imm = 0x110
movl $0x1, -0x44(%rbp)
movb $0x1, -0x45(%rbp)
leaq -0x40(%rbp), %rdi
movq %rdi, -0xf8(%rbp)
leaq -0x44(%rbp), %rsi
leaq -0x45(%rbp), %rdx
callq 0xb850
leaq -0x38(%rbp), %rdi
movl $0x2, -0x4c(%rbp)
movb $0x0, -0x4d(%rbp)
leaq -0x4c(%rbp), %rsi
leaq -0x4d(%rbp), %rdx
callq 0xb850
leaq -0x30(%rbp), %rdi
movl $0x3, -0x54(%rbp)
movb $0x1, -0x55(%rbp)
leaq -0x54(%rbp), %rsi
leaq -0x55(%rbp), %rdx
callq 0xb850
movq -0xf8(%rbp), %rax
movq %rax, -0x28(%rbp)
movq $0x3, -0x20(%rbp)
leaq -0x56(%rbp), %rdi
movq %rdi, -0xf0(%rbp)
callq 0xb890
movq -0xf0(%rbp), %rcx
movq -0x28(%rbp), %rsi
movq -0x20(%rbp), %rdx
leaq -0x18(%rbp), %rdi
callq 0xb8b0
jmp 0x6f73
leaq -0x56(%rbp), %rdi
callq 0xb930
movl $0x1, -0xb4(%rbp)
movl $0x2, -0xb0(%rbp)
movl $0x3, -0xac(%rbp)
leaq -0xb4(%rbp), %rax
movq %rax, -0xa8(%rbp)
movq $0x3, -0xa0(%rbp)
leaq -0xb5(%rbp), %rdi
movq %rdi, -0x100(%rbp)
callq 0xa900
movq -0x100(%rbp), %rcx
movq -0xa8(%rbp), %rsi
movq -0xa0(%rbp), %rdx
leaq -0x98(%rbp), %rdi
callq 0xa920
jmp 0x6fe9
movb $0x1, -0xe3(%rbp)
movb $0x0, -0xe2(%rbp)
movb $0x1, -0xe1(%rbp)
leaq -0xe3(%rbp), %rax
movq %rax, -0xe0(%rbp)
movq $0x3, -0xd8(%rbp)
leaq -0xe4(%rbp), %rdi
movq %rdi, -0x108(%rbp)
callq 0xa840
movq -0x108(%rbp), %rcx
movq -0xe0(%rbp), %rsi
movq -0xd8(%rbp), %rdx
leaq -0xd0(%rbp), %rdi
callq 0xba90
jmp 0x704d
leaq -0x80(%rbp), %rdi
leaq -0x98(%rbp), %rsi
leaq -0xd0(%rbp), %rdx
callq 0xb950
jmp 0x7066
leaq -0xd0(%rbp), %rdi
callq 0xbb40
leaq -0xe4(%rbp), %rdi
callq 0xa8e0
leaq -0x98(%rbp), %rdi
callq 0xa9a0
leaq -0xb5(%rbp), %rdi
callq 0xaa00
leaq -0x80(%rbp), %rdi
leaq -0x18(%rbp), %rsi
callq 0xbb60
movb %al, -0x109(%rbp)
jmp 0x70ab
movb -0x109(%rbp), %al
testb $0x1, %al
jne 0x70b7
jmp 0x70bc
jmp 0x7166
leaq 0x171e9(%rip), %rdi     # 0x1e2ac
leaq 0x171b1(%rip), %rsi     # 0x1e27b
movl $0x11f, %edx            # imm = 0x11F
leaq 0x17752(%rip), %rcx     # 0x1e828
callq 0x2110
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x56(%rbp), %rdi
callq 0xb930
jmp 0x718a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x7141
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x7129
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0xd0(%rbp), %rdi
callq 0xbb40
leaq -0xe4(%rbp), %rdi
callq 0xa8e0
leaq -0x98(%rbp), %rdi
callq 0xa9a0
leaq -0xb5(%rbp), %rdi
callq 0xaa00
jmp 0x7181
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x80(%rbp), %rdi
callq 0xbbe0
jmp 0x7181
leaq -0x80(%rbp), %rdi
callq 0xbbe0
leaq -0x18(%rbp), %rdi
callq 0xbbe0
addq $0x110, %rsp            # imm = 0x110
popq %rbp
retq
leaq -0x18(%rbp), %rdi
callq 0xbbe0
movq -0x60(%rbp), %rdi
callq 0x22b0
nopw %cs:(%rax,%rax)