// File: /workspace/github_cpp_makefile_star2_O3/moya-lang[P]Arguments/./Arguments.h
// Function: Moya::System::Arguments::Help::printCommandHelp(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&) const
void printCommandHelp(const std::string &commandName) const
        {
            const Command *command = syntax.findCommandByName(commandName.c_str());
            if (!command)
                return;

            std::string usage = "Usage: " + getApplicationName();
            if (syntax.commands.size() > 1)
                usage += " " + command->name;

            for (const Parameter &parameter : command->parameters) {

                std::string paramBrief = parameter.name;
                if (parameter.hasValue) {
                    if (parameter.isRequired)
                        paramBrief += " " + parameter.identifier;
                    else
                        paramBrief += " <" + parameter.identifier + ">";
                }

                usage += parameter.isRequired ? " <" + paramBrief + ">" : " [" + paramBrief + "]";
            }

            print(margin, "", syntax.programName + ", version: " + syntax.programVersion);
            print(margin, "", usage);

            if (!command->remarks.empty()) {
                std::cout << std::endl;
                print(margin, "", command->remarks);
            }

            if (command->parameters.empty())
                return;

            std::cout << std::endl << "Command parameters:" << std::endl;
            for (const Parameter &parameter : command->parameters) {

                std::string intro = std::string(margin, ' ') + parameter.name;
                if (parameter.hasValue)
                    intro += " <" + parameter.identifier + ">";

                intro.append(maxParameterIntroLength - intro.length(), ' ');
                print(maxParameterIntroLength, intro, parameter.remarks);
            }
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1d8, %rsp            # imm = 0x1D8
movq %rdi, %r12
movq (%rdi), %rbx
movq (%rsi), %r15
addq $0x40, %rbx
movq %rbx, %r13
movq (%r13), %r13
cmpq %rbx, %r13
je 0x4938
leaq 0x30(%r13), %r14
movq %r14, %rdi
movq %r15, %rsi
callq 0x2090
testl %eax, %eax
jne 0x4070
leaq -0x48(%rbp), %r15
movq %r15, %rdi
movq %r12, %rsi
callq 0x4c10
leaq 0x1ff4(%rip), %rcx      # 0x609a
movl $0x7, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x2180
leaq -0xa8(%rbp), %rsi
movq %rsi, -0x10(%rsi)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x40e5
movq %rdx, -0xb8(%rbp)
movq (%rcx), %rdx
movq %rdx, -0xa8(%rbp)
jmp 0x40eb
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, -0xb0(%rbp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq -0x38(%rbp), %rbx
movq -0x10(%rbx), %rdi
cmpq %rbx, %rdi
je 0x411e
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x2150
movq (%r12), %rax
cmpq $0x2, 0x50(%rax)
jb 0x4165
leaq 0x1f70(%rip), %rsi      # 0x60a0
leaq -0x48(%rbp), %rdi
movq %r14, %rdx
callq 0x345f
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
leaq -0xb8(%rbp), %rdi
callq 0x20a0
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x4165
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x2150
movq %r12, -0x70(%rbp)
leaq 0x90(%r13), %rax
movq 0x90(%r13), %r12
movq %rax, -0x78(%rbp)
cmpq %rax, %r12
je 0x43d1
leaq -0x58(%rbp), %r15
movq %rbx, -0x48(%rbp)
movq 0x30(%r12), %rsi
movq 0x38(%r12), %rdx
addq %rsi, %rdx
leaq -0x48(%rbp), %rdi
callq 0x294a
cmpb $0x1, 0x71(%r12)
jne 0x429d
leaq 0x10(%r12), %rdx
cmpb $0x1, 0x70(%r12)
leaq -0x98(%rbp), %rbx
jne 0x41f9
leaq -0x68(%rbp), %rdi
leaq 0x1ed3(%rip), %rsi      # 0x60a0
callq 0x345f
movq -0x68(%rbp), %rsi
movq -0x60(%rbp), %rdx
leaq -0x48(%rbp), %rdi
callq 0x20a0
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
je 0x429d
movq -0x58(%rbp), %rsi
jmp 0x4295
movq %rbx, %rdi
leaq 0x1f1f(%rip), %rsi      # 0x6122
callq 0x345f
movq %rbx, %rdi
leaq 0x1f13(%rip), %rsi      # 0x6125
callq 0x2250
movq %r15, -0x68(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x4237
movq %rdx, -0x68(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x58(%rbp)
jmp 0x423e
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
leaq -0x48(%rbp), %rdi
callq 0x20a0
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
je 0x427b
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x2150
movq -0x98(%rbp), %rdi
leaq -0x88(%rbp), %rax
cmpq %rax, %rdi
je 0x429d
movq -0x88(%rbp), %rsi
incq %rsi
callq 0x2150
movb 0x70(%r12), %bl
cmpb $0x1, %bl
jne 0x42d2
leaq -0x1f8(%rbp), %r14
movq %r14, %rdi
leaq 0x1e6a(%rip), %rsi      # 0x6122
leaq -0x48(%rbp), %rdx
callq 0x345f
movq %r14, %rdi
leaq 0x1e5a(%rip), %rsi      # 0x6125
callq 0x2250
jmp 0x42fb
leaq -0x1d8(%rbp), %r14
movq %r14, %rdi
leaq 0x1e44(%rip), %rsi      # 0x6127
leaq -0x48(%rbp), %rdx
callq 0x345f
movq %r14, %rdi
leaq 0x1de9(%rip), %rsi      # 0x60df
callq 0x2250
movq %r15, -0x68(%rbp)
movq (%rax), %rdx
leaq 0x10(%rax), %rcx
cmpq %rcx, %rdx
je 0x4318
movq %rdx, -0x68(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x58(%rbp)
jmp 0x431f
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, -0x60(%rbp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
movq -0x68(%rbp), %rsi
movq -0x60(%rbp), %rdx
leaq -0xb8(%rbp), %rdi
callq 0x20a0
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
je 0x4364
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x2150
testb %bl, %bl
je 0x4388
movq -0x1f8(%rbp), %rdi
leaq -0x1e8(%rbp), %rax
cmpq %rax, %rdi
leaq -0x38(%rbp), %rbx
je 0x43ae
movq -0x1e8(%rbp), %rsi
jmp 0x43a6
movq -0x1d8(%rbp), %rdi
leaq -0x1c8(%rbp), %rax
cmpq %rax, %rdi
leaq -0x38(%rbp), %rbx
je 0x43ae
movq -0x1c8(%rbp), %rsi
incq %rsi
callq 0x2150
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x43c3
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x2150
movq (%r12), %r12
cmpq -0x78(%rbp), %r12
jne 0x4188
leaq -0x1a8(%rbp), %rbx
movq %rbx, -0x10(%rbx)
leaq 0x1cbe(%rip), %rdx      # 0x60a1
leaq -0x1b8(%rbp), %rdi
movq %rdx, %rsi
callq 0x513c
movq -0x70(%rbp), %r14
movq (%r14), %rax
leaq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rcx
movq %rcx, (%rdi)
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
callq 0x294a
leaq 0x1c74(%rip), %rsi      # 0x608e
leaq -0x48(%rbp), %rdi
callq 0x2250
movq (%r14), %rax
movq 0x20(%rax), %rsi
movq 0x28(%rax), %rdx
leaq -0x48(%rbp), %rdi
callq 0x20a0
leaq -0x108(%rbp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rcx
movq %rax, %rdx
addq $0x10, %rdx
cmpq %rdx, %rcx
je 0x4464
movq %rcx, -0x118(%rbp)
movq (%rdx), %rcx
movq %rcx, -0x108(%rbp)
jmp 0x446b
movups (%rdx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rsi
leaq -0x118(%rbp), %rcx
movq %rsi, 0x8(%rcx)
movq %rdx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq -0x1b8(%rbp), %rdx
movl $0x3, %esi
movq %r14, %rdi
callq 0x4cb2
movq -0x118(%rbp), %rdi
cmpq %r15, %rdi
je 0x44b8
movq -0x108(%rbp), %rsi
incq %rsi
callq 0x2150
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x44d1
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x2150
movq -0x1b8(%rbp), %rdi
cmpq %rbx, %rdi
je 0x44ec
movq -0x1a8(%rbp), %rsi
incq %rsi
callq 0x2150
leaq -0x188(%rbp), %rbx
movq %rbx, -0x10(%rbx)
leaq 0x1ba3(%rip), %rdx      # 0x60a1
leaq -0x198(%rbp), %rdi
movq %rdx, %rsi
callq 0x513c
leaq -0x168(%rbp), %r15
movq %r15, -0x10(%r15)
movq -0xb8(%rbp), %rsi
movq -0xb0(%rbp), %rdx
addq %rsi, %rdx
leaq -0x178(%rbp), %rdi
callq 0x294a
leaq -0x198(%rbp), %rdx
leaq -0x178(%rbp), %rcx
movl $0x3, %esi
movq %r14, %rdi
callq 0x4cb2
movq -0x178(%rbp), %rdi
cmpq %r15, %rdi
je 0x456b
movq -0x168(%rbp), %rsi
incq %rsi
callq 0x2150
movq -0x198(%rbp), %rdi
cmpq %rbx, %rdi
je 0x4586
movq -0x188(%rbp), %rsi
incq %rsi
callq 0x2150
cmpq $0x0, 0x78(%r13)
je 0x4658
movq 0x4a40(%rip), %rdi      # 0x8fd8
movq (%rdi), %rax
addq -0x18(%rax), %rdi
movl $0xa, %esi
callq 0x2130
movsbl %al, %esi
movq 0x4a25(%rip), %rdi      # 0x8fd8
callq 0x2030
movq %rax, %rdi
callq 0x20e0
leaq -0x148(%rbp), %rbx
movq %rbx, -0x10(%rbx)
leaq 0x1acf(%rip), %rdx      # 0x60a1
leaq -0x158(%rbp), %rdi
movq %rdx, %rsi
callq 0x513c
movq -0x70(%rbp), %r14
leaq -0x128(%rbp), %r15
movq %r15, -0x10(%r15)
movq 0x70(%r13), %rsi
movq 0x78(%r13), %rdx
addq %rsi, %rdx
leaq -0x138(%rbp), %rdi
callq 0x294a
leaq -0x158(%rbp), %rdx
leaq -0x138(%rbp), %rcx
movl $0x3, %esi
movq %r14, %rdi
callq 0x4cb2
movq -0x138(%rbp), %rdi
cmpq %r15, %rdi
je 0x463d
movq -0x128(%rbp), %rsi
incq %rsi
callq 0x2150
movq -0x158(%rbp), %rdi
cmpq %rbx, %rdi
je 0x4658
movq -0x148(%rbp), %rsi
incq %rsi
callq 0x2150
movq -0x78(%rbp), %rax
cmpq %rax, (%rax)
je 0x4916
movq 0x496c(%rip), %rdi      # 0x8fd8
movq (%rdi), %rax
addq -0x18(%rax), %rdi
movl $0xa, %esi
callq 0x2130
movsbl %al, %esi
movq 0x4951(%rip), %rdi      # 0x8fd8
callq 0x2030
movq %rax, %rdi
callq 0x20e0
movq %rax, %r14
leaq 0x1a8c(%rip), %rsi      # 0x612a
movl $0x13, %edx
movq %rax, %rdi
callq 0x2190
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2130
movsbl %al, %esi
movq %r14, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20e0
movq -0x78(%rbp), %rax
movq (%rax), %r14
cmpq %rax, %r14
je 0x4916
leaq -0x58(%rbp), %rbx
leaq -0x68(%rbp), %r15
leaq -0xf8(%rbp), %r12
movq %rbx, -0x68(%rbp)
movl $0x3, %esi
movq %r15, %rdi
movl $0x20, %edx
callq 0x21a0
movq 0x30(%r14), %rsi
movq 0x38(%r14), %rdx
movq %r15, %r13
movq %r15, %rdi
callq 0x20a0
leaq -0x38(%rbp), %rsi
movq %rsi, -0x48(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x473e
movq %rdx, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x4744
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, -0x40(%rbp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq -0x68(%rbp), %rdi
cmpq %rbx, %rdi
je 0x4770
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x2150
cmpb $0x1, 0x71(%r14)
jne 0x4829
leaq 0x10(%r14), %rdx
leaq -0x98(%rbp), %r15
movq %r15, %rdi
leaq 0x1992(%rip), %rsi      # 0x6122
callq 0x345f
movq %r15, %rdi
leaq 0x1986(%rip), %rsi      # 0x6125
callq 0x2250
movq %rbx, -0x68(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x47c4
movq %rdx, -0x68(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x58(%rbp)
jmp 0x47ca
movups (%rcx), %xmm0
movups %xmm0, (%rbx)
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
leaq -0x48(%rbp), %rdi
callq 0x20a0
movq -0x68(%rbp), %rdi
cmpq %rbx, %rdi
je 0x4807
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x2150
movq -0x98(%rbp), %rdi
leaq -0x88(%rbp), %rax
cmpq %rax, %rdi
je 0x4829
movq -0x88(%rbp), %rsi
incq %rsi
callq 0x2150
movq -0x70(%rbp), %r15
movq 0x20(%r15), %rcx
movq -0x40(%rbp), %rsi
subq %rsi, %rcx
leaq -0x48(%rbp), %rdi
xorl %edx, %edx
movl $0x20, %r8d
callq 0x2240
movq 0x20(%r15), %r15
leaq -0xc8(%rbp), %rax
movq %rax, -0xd8(%rbp)
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
addq %rsi, %rdx
leaq -0xd8(%rbp), %rdi
callq 0x294a
leaq -0xe8(%rbp), %rax
movq %rax, -0xf8(%rbp)
movq 0x50(%r14), %rsi
movq 0x58(%r14), %rdx
addq %rsi, %rdx
movq %r12, %rdi
callq 0x294a
movq -0x70(%rbp), %rdi
movq %r15, %rsi
leaq -0xd8(%rbp), %rdx
movq %r12, %rcx
callq 0x4cb2
movq -0xf8(%rbp), %rdi
leaq -0xe8(%rbp), %rax
cmpq %rax, %rdi
je 0x48cb
movq -0xe8(%rbp), %rsi
incq %rsi
callq 0x2150
movq -0xd8(%rbp), %rdi
leaq -0xc8(%rbp), %rax
cmpq %rax, %rdi
je 0x48ed
movq -0xc8(%rbp), %rsi
incq %rsi
callq 0x2150
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x4906
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x2150
movq (%r14), %r14
cmpq -0x78(%rbp), %r14
movq %r13, %r15
jne 0x46f1
movq -0xb8(%rbp), %rdi
leaq -0xa8(%rbp), %rax
cmpq %rax, %rdi
je 0x4938
movq -0xa8(%rbp), %rsi
incq %rsi
callq 0x2150
addq $0x1d8, %rsp            # imm = 0x1D8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
jne 0x4bd9
jmp 0x4be5
jmp 0x4bc4
movq %rax, %r14
movq -0x138(%rbp), %rdi
cmpq %r15, %rdi
je 0x4987
movq -0x128(%rbp), %rsi
incq %rsi
callq 0x2150
jmp 0x4987
movq %rax, %r14
movq -0x158(%rbp), %rdi
cmpq %rbx, %rdi
je 0x4be5
movq -0x148(%rbp), %rsi
jmp 0x4bdd
jmp 0x4bc4
movq %rax, %r14
movq -0x178(%rbp), %rdi
cmpq %r15, %rdi
je 0x49cb
movq -0x168(%rbp), %rsi
incq %rsi
callq 0x2150
jmp 0x49cb
movq %rax, %r14
movq -0x198(%rbp), %rdi
cmpq %rbx, %rdi
je 0x4be5
movq -0x188(%rbp), %rsi
jmp 0x4bdd
jmp 0x4bc4
movq %rax, %r14
movq -0x118(%rbp), %rdi
cmpq %r15, %rdi
je 0x4a11
movq -0x108(%rbp), %rsi
incq %rsi
callq 0x2150
jmp 0x4a11
jmp 0x4a0e
movq %rax, %r14
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x4a2f
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x2150
jmp 0x4a2f
movq %rax, %r14
movq -0x1b8(%rbp), %rdi
cmpq %rbx, %rdi
je 0x4be5
movq -0x1a8(%rbp), %rsi
jmp 0x4bdd
jmp 0x4bc4
movq %rax, %r14
leaq -0x38(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x4c07
movq -0x38(%rbp), %rsi
jmp 0x4bff
movq %rax, %r14
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
je 0x4bcc
movq -0x58(%rbp), %rsi
jmp 0x4bba
jmp 0x4bc9
movq %rax, %r14
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
jne 0x4ab6
jmp 0x4ac2
jmp 0x4aa0
jmp 0x4bc9
movq %rax, %r14
jmp 0x4ac2
jmp 0x4bc9
movq %rax, %r14
movq -0x68(%rbp), %rdi
cmpq %rbx, %rdi
je 0x4ac2
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x2150
movq -0x98(%rbp), %rdi
leaq -0x88(%rbp), %rax
cmpq %rax, %rdi
je 0x4bcc
movq -0x88(%rbp), %rsi
jmp 0x4bba
jmp 0x4bc4
jmp 0x4bc9
jmp 0x4bc9
movq %rax, %r14
jmp 0x4ba0
movq %rax, %r14
jmp 0x4b84
jmp 0x4bc4
movq %rax, %r14
movq -0x68(%rbp), %rdi
cmpq %rbx, %rdi
je 0x4be5
movq -0x58(%rbp), %rsi
jmp 0x4bdd
movq %rax, %r14
jmp 0x4b4c
movq %rax, %r14
movq -0xf8(%rbp), %rdi
leaq -0xe8(%rbp), %rax
cmpq %rax, %rdi
je 0x4b4c
movq -0xe8(%rbp), %rsi
incq %rsi
callq 0x2150
movq -0xd8(%rbp), %rdi
leaq -0xc8(%rbp), %rax
cmpq %rax, %rdi
je 0x4bcc
movq -0xc8(%rbp), %rsi
jmp 0x4bba
movq %rax, %r14
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
je 0x4b80
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x2150
testb %bl, %bl
je 0x4ba0
movq -0x1f8(%rbp), %rdi
leaq -0x1e8(%rbp), %rax
cmpq %rax, %rdi
je 0x4bcc
movq -0x1e8(%rbp), %rsi
jmp 0x4bba
movq -0x1d8(%rbp), %rdi
leaq -0x1c8(%rbp), %rax
cmpq %rax, %rdi
je 0x4bcc
movq -0x1c8(%rbp), %rsi
incq %rsi
callq 0x2150
jmp 0x4bcc
movq %rax, %r14
jmp 0x4be5
movq %rax, %r14
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x4be5
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x2150
movq -0xb8(%rbp), %rdi
leaq -0xa8(%rbp), %rax
cmpq %rax, %rdi
je 0x4c07
movq -0xa8(%rbp), %rsi
incq %rsi
callq 0x2150
movq %r14, %rdi
callq 0x2220
nop