// File: /workspace/github_cpp_makefile_star2_O3/Wombozo[P]harmony/src/utils.cpp
// Function: valid_user_note_input(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&)
bool valid_user_note_input(const std::string &str)
{
    for (auto snote : snotes)
    {
        if (!snote.compare(str))
            return true;
    }
    std::cout << "Available answers : ";
    for (auto snote : snotes)
    {
        std::cout << "| " + snote + " | ";
    }
    std::cout << std::endl;
    return false;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rdi, -0x70(%rbp)
movq 0xdf84(%rip), %r12      # 0x132e8
movq 0xdf85(%rip), %r13      # 0x132f0
cmpq %r13, %r12
je 0x53c6
leaq -0x38(%rbp), %rbx
leaq -0x48(%rbp), %r14
movq %rbx, -0x48(%rbp)
movq (%r12), %rsi
movq 0x8(%r12), %rdx
addq %rsi, %rdx
movq %r14, %rdi
callq 0x663a
movq %r14, %rdi
movq -0x70(%rbp), %rsi
callq 0x3040
movl %eax, %r15d
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x53b4
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3190
testl %r15d, %r15d
je 0x551b
addq $0x20, %r12
cmpq %r13, %r12
jne 0x5378
movq 0xdbfb(%rip), %rdi      # 0x12fc8
leaq 0x8d9e(%rip), %rsi      # 0xe172
movl $0x14, %edx
callq 0x31c0
movq 0xdf03(%rip), %r13      # 0x132e8
movq 0xdf04(%rip), %rbx      # 0x132f0
cmpq %rbx, %r13
je 0x54e9
leaq -0x58(%rbp), %r15
leaq -0x48(%rbp), %r14
leaq -0x90(%rbp), %r12
leaq -0x38(%rbp), %rax
movq %rax, -0x48(%rbp)
movq (%r13), %rsi
movq 0x8(%r13), %rdx
addq %rsi, %rdx
movq %r14, %rdi
callq 0x663a
movq %r12, %rdi
leaq 0x8d5f(%rip), %rsi      # 0xe188
movq %r14, %rdx
callq 0x6599
movq %r12, %rdi
leaq 0x8d4c(%rip), %rsi      # 0xe187
callq 0x32e0
movq %r15, -0x68(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x5460
movq %rdx, -0x68(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x58(%rbp)
jmp 0x5467
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rdx
movq %rdx, -0x60(%rbp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq -0x68(%rbp), %rsi
movq -0x60(%rbp), %rdx
movq 0xdb3b(%rip), %rdi      # 0x12fc8
callq 0x31c0
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
je 0x54a7
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x3190
movq -0x90(%rbp), %rdi
leaq -0x80(%rbp), %rax
cmpq %rax, %rdi
je 0x54c3
movq -0x80(%rbp), %rsi
incq %rsi
callq 0x3190
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x54dc
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3190
addq $0x20, %r13
cmpq %rbx, %r13
jne 0x5404
movq 0xdad8(%rip), %rbx      # 0x12fc8
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3170
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x3110
xorl %eax, %eax
jmp 0x551d
movb $0x1, %al
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
jne 0x5585
jmp 0x5591
movq %rax, %r14
jmp 0x5578
movq %rax, %r14
jmp 0x555c
movq %rax, %r14
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
je 0x555c
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x3190
movq -0x90(%rbp), %rdi
leaq -0x80(%rbp), %rax
cmpq %rax, %rdi
je 0x5578
movq -0x80(%rbp), %rsi
incq %rsi
callq 0x3190
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x5591
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3190
movq %r14, %rdi
callq 0x32b0