// File: /workspace/github_cpp_makefile_star2_O3/kdungs[P]cpp-prelude/test_prelude.cc
// Function: test_span()
auto test_span() -> void {
  using Prelude::span;
  auto expectL = std::vector<int>{1, 2, 3, 4};
  auto expectR = std::vector<int>{5, 6, 7, 8};
  std::vector<int> resultL, resultR;
  std::tie(resultL, resultR) = span([](int x) { return x < 5; },
                                    std::vector<int>{1, 2, 3, 4, 5, 6, 7, 8});
  assert(resultL == expectL);
  assert(resultR == expectR);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xa8, %rsp
movaps 0x4e05(%rip), %xmm0     # 0xa010
leaq 0x80(%rsp), %rbx
movaps %xmm0, (%rbx)
leaq 0x50(%rsp), %rdi
leaq 0x20(%rsp), %rcx
movl $0x4, %edx
movq %rbx, %rsi
callq 0x6c08
movaps 0x4e1c(%rip), %xmm0     # 0xa050
movaps %xmm0, (%rbx)
leaq 0x38(%rsp), %rdi
leaq 0x80(%rsp), %rsi
leaq 0x20(%rsp), %rcx
movl $0x4, %edx
callq 0x6c08
movups 0x5952(%rip), %xmm0     # 0xabac
leaq 0x80(%rsp), %rsi
movaps %xmm0, 0x10(%rsi)
movups 0x592f(%rip), %xmm0     # 0xab9c
movaps %xmm0, (%rsi)
leaq 0x8(%rsp), %rdi
leaq 0x5(%rsp), %rcx
movl $0x8, %edx
callq 0x6c08
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rax
subq %rsi, %rax
sarq $0x2, %rax
movq %rsi, %rbx
testq %rax, %rax
jle 0x52cb
movq %rsi, %rbx
movq %rax, %rcx
shrq %rcx
movq %rcx, %rdx
notq %rdx
addq %rax, %rdx
leaq (%rbx,%rcx,4), %rax
addq $0x4, %rax
cmpl $0x5, -0x4(%rax)
cmovlq %rax, %rbx
cmovgeq %rcx, %rdx
movq %rdx, %rax
testq %rdx, %rdx
jg 0x52a0
leaq 0x20(%rsp), %rdi
leaq 0x7(%rsp), %rcx
movq %rbx, %rdx
callq 0x80e2
movq 0x10(%rsp), %rdx
leaq 0x68(%rsp), %rdi
leaq 0x6(%rsp), %rcx
movq %rbx, %rsi
callq 0x80e2
movq 0x68(%rsp), %r15
movq 0x70(%rsp), %r13
movq 0x78(%rsp), %r12
movq 0x20(%rsp), %rbx
movq 0x28(%rsp), %rbp
movq 0x30(%rsp), %r14
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x5329
movq 0x18(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq %rbp, %rdx
subq %rbx, %rdx
movq 0x50(%rsp), %rsi
movq 0x58(%rsp), %rax
subq %rsi, %rax
cmpq %rax, %rdx
jne 0x53f1
cmpq %rbx, %rbp
je 0x535a
movq %rbx, %rdi
callq 0x2100
testl %eax, %eax
jne 0x53f1
movq %r13, %rdx
subq %r15, %rdx
movq 0x38(%rsp), %rsi
movq 0x40(%rsp), %rax
subq %rsi, %rax
cmpq %rax, %rdx
jne 0x5410
cmpq %r15, %r13
je 0x538b
movq %r15, %rdi
callq 0x2100
testl %eax, %eax
jne 0x5410
testq %r15, %r15
je 0x539e
subq %r15, %r12
movq %r15, %rdi
movq %r12, %rsi
callq 0x20f0
testq %rbx, %rbx
je 0x53b1
subq %rbx, %r14
movq %rbx, %rdi
movq %r14, %rsi
callq 0x20f0
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0x53c8
movq 0x48(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x53df
movq 0x60(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x5142(%rip), %rdi      # 0xa53a
leaq 0x4c70(%rip), %rsi      # 0xa06f
leaq 0x519a(%rip), %rcx      # 0xa5a0
movl $0x109, %edx            # imm = 0x109
callq 0x2090
leaq 0x514a(%rip), %rdi      # 0xa561
leaq 0x4c51(%rip), %rsi      # 0xa06f
leaq 0x517b(%rip), %rcx      # 0xa5a0
movl $0x10a, %edx            # imm = 0x10A
callq 0x2090
movq %rax, %rbx
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x544e
movq 0x30(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
jmp 0x544e
movq %rax, %rbx
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x546a
movq 0x18(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
jmp 0x546a
movq %rax, %rbx
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0x5486
movq 0x48(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
jmp 0x5486
movq %rax, %rbx
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x549d
movq 0x60(%rsp), %rsi
subq %rdi, %rsi
callq 0x20f0
movq %rbx, %rdi
callq 0x2170