// File: /workspace/github_cpp_makefile_star2_O2/kdungs[P]cpp-prelude/test_prelude.cc
// Function: test_unzip3()
auto test_unzip3() -> void {
  using Prelude::unzip3;
  auto expectL = std::vector<int>{1, 2, 3};
  auto expectM = std::vector<char>{'a', 'b', 'c'};
  auto expectR = std::vector<bool>{true, false, true};
  std::vector<int> resultL;
  std::vector<char> resultM;
  std::vector<bool> resultR;
  std::tie(resultL, resultM, resultR) =
      unzip3(std::vector<std::tuple<int, char, bool>>{
          std::make_tuple(1, 'a', true), std::make_tuple(2, 'b', false),
          std::make_tuple(3, 'c', true)});
  assert(resultL == expectL);
  assert(resultM == expectM);
  assert(resultR == expectR);
}

// Assembly:
pushq %r14
pushq %rbx
subq $0x168, %rsp            # imm = 0x168
movabsq $0x200000001, %rax      # imm = 0x200000001
leaq 0xe0(%rsp), %rbx
movq %rax, (%rbx)
movl $0x3, 0x8(%rbx)
leaq 0xa0(%rsp), %rdi
pushq $0x3
popq %r14
leaq 0xb8(%rsp), %rcx
movq %rbx, %rsi
movq %r14, %rdx
callq 0x55b0
movw $0x6261, (%rbx)         # imm = 0x6261
movb $0x63, 0x2(%rbx)
leaq 0x88(%rsp), %rdi
leaq 0xe0(%rsp), %rsi
leaq 0xb8(%rsp), %rcx
movq %r14, %rdx
callq 0x5c1c
leaq 0xe0(%rsp), %rsi
movw $0x1, (%rsi)
movb $0x1, 0x2(%rsi)
leaq 0xb8(%rsp), %rdi
pushq $0x3
popq %rdx
leaq 0x28(%rsp), %rbx
movq %rbx, %rcx
callq 0x5570
andq $0x0, 0x60(%rsp)
andq $0x0, 0x20(%rsp)
andq $0x0, 0x28(%rsp)
andl $0x0, 0x30(%rsp)
andq $0x0, 0x38(%rsp)
xorps %xmm0, %xmm0
andl $0x0, 0x40(%rsp)
movaps %xmm0, 0x50(%rsp)
andq $0x0, 0x48(%rsp)
movaps %xmm0, 0x10(%rsp)
leaq 0x150(%rsp), %rsi
movw $0x6101, (%rsi)         # imm = 0x6101
movl $0x1, 0x4(%rsi)
movw $0x6200, 0x8(%rsi)      # imm = 0x6200
movl $0x2, 0xc(%rsi)
movw $0x6301, 0x10(%rsi)     # imm = 0x6301
movl $0x3, 0x14(%rsi)
leaq 0x70(%rsp), %rdi
pushq $0x3
popq %rdx
leaq 0xf(%rsp), %rcx
callq 0x5f3e
leaq 0xe0(%rsp), %rdi
leaq 0x70(%rsp), %rsi
callq 0x5e50
leaq 0x138(%rsp), %rdi
movq %rbx, (%rdi)
leaq 0x10(%rsp), %rax
movq %rax, 0x8(%rdi)
leaq 0x50(%rsp), %rbx
movq %rbx, 0x10(%rdi)
leaq 0xe0(%rsp), %r14
movq %r14, %rsi
callq 0x5f74
movq %r14, %rdi
callq 0x5f8a
leaq 0x70(%rsp), %rdi
callq 0x852e
leaq 0xa0(%rsp), %rsi
movq %rbx, %rdi
callq 0x5670
testb %al, %al
je 0x535a
leaq 0x10(%rsp), %rdi
leaq 0x88(%rsp), %rsi
callq 0x5fa0
testb %al, %al
je 0x5379
leaq 0x28(%rsp), %rdi
leaq 0xb8(%rsp), %rsi
callq 0x55e6
testb %al, %al
je 0x5398
leaq 0x28(%rsp), %rdi
callq 0x5620
leaq 0x10(%rsp), %rdi
callq 0x7b3e
leaq 0x50(%rsp), %rdi
callq 0x62fa
leaq 0xb8(%rsp), %rdi
callq 0x5620
leaq 0x88(%rsp), %rdi
callq 0x7b3e
leaq 0xa0(%rsp), %rdi
callq 0x62fa
addq $0x168, %rsp            # imm = 0x168
popq %rbx
popq %r14
retq
leaq 0x41d9(%rip), %rdi      # 0x953a
leaq 0x3d07(%rip), %rsi      # 0x906f
leaq 0x42bb(%rip), %rcx      # 0x962a
movl $0x159, %edx            # imm = 0x159
callq 0x20c0
leaq 0x42bd(%rip), %rdi      # 0x963d
leaq 0x3ce8(%rip), %rsi      # 0x906f
leaq 0x429c(%rip), %rcx      # 0x962a
movl $0x15a, %edx            # imm = 0x15A
callq 0x20c0
leaq 0x41c2(%rip), %rdi      # 0x9561
leaq 0x3cc9(%rip), %rsi      # 0x906f
leaq 0x427d(%rip), %rcx      # 0x962a
movl $0x15b, %edx            # imm = 0x15B
callq 0x20c0
movq %rax, %rbx
leaq 0x70(%rsp), %rdi
callq 0x852e
jmp 0x53d5
jmp 0x53d2
movq %rax, %rbx
jmp 0x5400
movq %rax, %rbx
jmp 0x540d
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
callq 0x5620
leaq 0x10(%rsp), %rdi
callq 0x7b3e
leaq 0x50(%rsp), %rdi
callq 0x62fa
leaq 0xb8(%rsp), %rdi
callq 0x5620
leaq 0x88(%rsp), %rdi
callq 0x7b3e
leaq 0xa0(%rsp), %rdi
callq 0x62fa
movq %rbx, %rdi
callq 0x21d0