// File: /workspace/github_cpp_makefile_star2_O1/kdungs[P]cpp-prelude/test_prelude.cc
// Function: test_zipWith()
auto test_zipWith() -> void {
  using Prelude::zipWith;
  auto expect = std::vector<int>{1, 0, 3, 0, 5, 0};
  auto result = zipWith([](int x, bool y) { return y ? x : 0; },
                        std::vector<int>{1, 2, 3, 4, 5, 6},
                        std::list<bool>{true, false, true, false, true, false});
  assert(result == expect);
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xa0, %rsp
movups 0x4bf3(%rip), %xmm0     # 0xab54
leaq 0x10(%rsp), %rsi
movaps %xmm0, (%rsi)
movq $0x5, 0x10(%rsi)
leaq 0x48(%rsp), %rdi
leaq 0x30(%rsp), %rcx
movl $0x6, %edx
callq 0x7016
movups 0x4be0(%rip), %xmm0     # 0xab6c
leaq 0x80(%rsp), %rsi
movaps %xmm0, (%rsi)
movabsq $0x600000005, %rax      # imm = 0x600000005
movq %rax, 0x10(%rsi)
leaq 0x30(%rsp), %rdi
leaq 0xf(%rsp), %rcx
movl $0x6, %edx
callq 0x7016
leaq 0x7a(%rsp), %rsi
movl $0x10001, (%rsi)        # imm = 0x10001
movw $0x1, 0x4(%rsi)
leaq 0x60(%rsp), %rbx
leaq 0xe(%rsp), %rcx
movl $0x6, %edx
movq %rbx, %rdi
callq 0x746e
xorps %xmm0, %xmm0
movaps %xmm0, 0x10(%rsp)
movq $0x0, 0x20(%rsp)
movq 0x30(%rsp), %r12
movq 0x60(%rsp), %r13
cmpq 0x38(%rsp), %r12
setne %al
cmpq %rbx, %r13
setne %cl
andb %al, %cl
cmpb $0x1, %cl
jne 0x606e
addq $0x4, %r12
leaq 0x10(%rsp), %r14
leaq 0x2c(%rsp), %r15
xorl %eax, %eax
cmpb $0x0, 0x10(%r13)
je 0x602d
movl -0x4(%r12), %eax
movl %eax, 0x2c(%rsp)
movq 0x18(%rsp), %rsi
cmpq 0x20(%rsp), %rsi
je 0x604a
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x18(%rsp)
jmp 0x6055
movq %r14, %rdi
movq %r15, %rdx
callq 0x921e
movq (%r13), %r13
cmpq %rbx, %r13
setne %al
cmpq 0x38(%rsp), %r12
je 0x606e
addq $0x4, %r12
testb %al, %al
jne 0x601f
movq 0x60(%rsp), %rdi
cmpq %rbx, %rdi
je 0x608d
movq (%rdi), %r14
movl $0x18, %esi
callq 0x20f0
movq %r14, %rdi
cmpq %rbx, %r14
jne 0x6078
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x60a4
movq 0x40(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x10(%rsp), %rbx
movq 0x18(%rsp), %rax
movq %rax, %rdx
subq %rbx, %rdx
movq 0x48(%rsp), %rsi
movq 0x50(%rsp), %rcx
subq %rsi, %rcx
cmpq %rcx, %rdx
jne 0x6114
cmpq %rbx, %rax
je 0x60d7
movq %rbx, %rdi
callq 0x2100
testl %eax, %eax
jne 0x6114
testq %rbx, %rbx
je 0x60ec
movq 0x20(%rsp), %rsi
subq %rbx, %rsi
movq %rbx, %rdi
callq 0x20f0
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x6103
movq 0x58(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
addq $0xa0, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
leaq 0x3f85(%rip), %rdi      # 0xa0a0
leaq 0x3f4d(%rip), %rsi      # 0xa06f
leaq 0x44bc(%rip), %rcx      # 0xa5e5
movl $0x133, %edx            # imm = 0x133
callq 0x2090
movq %rax, %r14
jmp 0x6176
movq %rax, %r14
jmp 0x618d
movq %rax, %r14
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x6157
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x60(%rsp), %rdi
cmpq %rbx, %rdi
je 0x6176
movq (%rdi), %r15
movl $0x18, %esi
callq 0x20f0
movq %r15, %rdi
cmpq %rbx, %r15
jne 0x6161
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x618d
movq 0x40(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x61a4
movq 0x58(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq %r14, %rdi
callq 0x2170