// File: /workspace/github_cpp_makefile_star2_O1/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, -0x50(%rbp)
movq 0xdf98(%rip), %r13      # 0x132e8
movq 0xdf99(%rip), %r14      # 0x132f0
leaq -0x38(%rbp), %r15
cmpq %r14, %r13
setne %bl
je 0x53ba
movq %r15, -0x48(%rbp)
movq (%r13), %rsi
movq 0x8(%r13), %rdx
addq %rsi, %rdx
leaq -0x48(%rbp), %r12
movq %r12, %rdi
callq 0x669c
movq %r12, %rdi
movq -0x50(%rbp), %rsi
callq 0x3040
movl %eax, %r12d
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
je 0x53a6
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3190
leaq -0x38(%rbp), %r15
testl %r12d, %r12d
je 0x53b1
addq $0x20, %r13
jmp 0x535b
testb $0x1, %bl
jne 0x5514
movq 0xdc07(%rip), %rdi      # 0x12fc8
leaq 0x8daa(%rip), %rsi      # 0xe172
movl $0x14, %edx
callq 0x31c0
leaq -0x38(%rbp), %rax
movq 0xdf0b(%rip), %r14      # 0x132e8
movq 0xdf0c(%rip), %rcx      # 0x132f0
movq %rcx, -0x50(%rbp)
cmpq %rcx, %r14
je 0x54e6
leaq -0x60(%rbp), %r12
leaq -0x90(%rbp), %r15
movq %rax, -0x48(%rbp)
movq (%r14), %rsi
movq 0x8(%r14), %rdx
addq %rsi, %rdx
leaq -0x48(%rbp), %r13
movq %r13, %rdi
callq 0x669c
movq %r15, %rdi
leaq 0x8d68(%rip), %rsi      # 0xe188
movq %r13, %rdx
callq 0x65fc
movq %r15, %rdi
leaq 0x8d55(%rip), %rsi      # 0xe187
callq 0x32e0
movq %r12, -0x70(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x5457
movq %rdx, -0x70(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x60(%rbp)
jmp 0x545f
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
movq %rdx, -0x68(%rbp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq -0x70(%rbp), %rsi
movq -0x68(%rbp), %rdx
movq 0xdb43(%rip), %rdi      # 0x12fc8
callq 0x31c0
movq -0x70(%rbp), %rdi
cmpq %r12, %rdi
je 0x549f
movq -0x60(%rbp), %rsi
incq %rsi
callq 0x3190
movq -0x90(%rbp), %rdi
leaq -0x80(%rbp), %rax
cmpq %rax, %rdi
je 0x54bb
movq -0x80(%rbp), %rsi
incq %rsi
callq 0x3190
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x54d8
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3190
leaq -0x38(%rbp), %rax
addq $0x20, %r14
cmpq -0x50(%rbp), %r14
jne 0x53fc
movq 0xdadb(%rip), %r14      # 0x12fc8
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x3170
movsbl %al, %esi
movq %r14, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x3110
andb $0x1, %bl
movl %ebx, %eax
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
jne 0x5581
jmp 0x558d
movq %rax, %rbx
jmp 0x5574
movq %rax, %rbx
jmp 0x5558
movq %rax, %rbx
movq -0x70(%rbp), %rdi
cmpq %r12, %rdi
je 0x5558
movq -0x60(%rbp), %rsi
incq %rsi
callq 0x3190
movq -0x90(%rbp), %rdi
leaq -0x80(%rbp), %rax
cmpq %rax, %rdi
je 0x5574
movq -0x80(%rbp), %rsi
incq %rsi
callq 0x3190
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x558d
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3190
movq %rbx, %rdi
callq 0x32b0