// File: nvanbenschoten[P]total-order-multicast/include/args.h
// Function: args::Group::GetPosNames[abi:cxx11]() const
std::vector<std::string> GetPosNames() const {
    std::vector<std::string> names;
    for (const auto &child : children) {
      if (const Group *group = dynamic_cast<Group *>(child)) {
        auto groupNames = group->GetPosNames();
        names.insert(std::end(names),
                     std::make_move_iterator(std::begin(groupNames)),
                     std::make_move_iterator(std::end(groupNames)));
      } else if (const PositionalBase *pos =
                     dynamic_cast<PositionalBase *>(child)) {
        names.emplace_back(pos->Name());
      }
    }
    return names;
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x120, %rsp            # imm = 0x120
movq %rdi, -0xe0(%rbp)
movq %rdi, %rax
movq %rax, -0xd8(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0xd0(%rbp)
movb $0x0, -0x11(%rbp)
callq 0x18940
movq -0xd0(%rbp), %rax
addq $0x30, %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rdi
callq 0x1bb90
movq %rax, -0x28(%rbp)
movq -0x20(%rbp), %rdi
callq 0x1bbc0
movq %rax, -0x30(%rbp)
leaq -0x28(%rbp), %rdi
leaq -0x30(%rbp), %rsi
callq 0x1bbf0
testb $0x1, %al
jne 0x1b097
jmp 0x1b2c0
leaq -0x28(%rbp), %rdi
callq 0x1bc30
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq (%rax), %rax
movq %rax, -0xe8(%rbp)
cmpq $0x0, %rax
je 0x1b0df
movq -0xe8(%rbp), %rdi
leaq 0x2a5ba(%rip), %rsi     # 0x45680
leaq 0x2a5f3(%rip), %rdx     # 0x456c0
xorl %eax, %eax
movl %eax, %ecx
callq 0x64d0
movq %rax, -0xf0(%rbp)
jmp 0x1b0ea
xorl %eax, %eax
movq %rax, -0xf0(%rbp)
jmp 0x1b0ea
movq -0xf0(%rbp), %rax
movq %rax, -0x40(%rbp)
cmpq $0x0, -0x40(%rbp)
je 0x1b1fa
movq -0x40(%rbp), %rsi
leaq -0x58(%rbp), %rdi
callq 0x1b020
jmp 0x1b10f
movq -0xe0(%rbp), %rdi
callq 0x18810
movq %rax, -0x78(%rbp)
leaq -0x70(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x18840
leaq -0x58(%rbp), %rdi
callq 0x188b0
movq %rax, -0x88(%rbp)
movq -0x88(%rbp), %rdi
callq 0x18880
movq %rax, -0xf8(%rbp)
jmp 0x1b151
movq -0xf8(%rbp), %rax
movq %rax, -0x80(%rbp)
leaq -0x58(%rbp), %rdi
callq 0x18810
movq %rax, -0x98(%rbp)
movq -0x98(%rbp), %rdi
callq 0x18880
movq %rax, -0x100(%rbp)
jmp 0x1b181
movq -0xe0(%rbp), %rdi
movq -0x100(%rbp), %rax
movq %rax, -0x90(%rbp)
movq -0x70(%rbp), %rsi
movq -0x80(%rbp), %rdx
movq -0x90(%rbp), %rcx
callq 0x18760
movq %rax, -0x108(%rbp)
jmp 0x1b1b3
movq -0x108(%rbp), %rax
movq %rax, -0xa0(%rbp)
leaq -0x58(%rbp), %rdi
callq 0x188e0
jmp 0x1b2b0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x1b2e6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x58(%rbp), %rdi
callq 0x188e0
jmp 0x1b2e6
movq -0x38(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x110(%rbp)
cmpq $0x0, %rax
je 0x1b235
movq -0x110(%rbp), %rdi
leaq 0x2a464(%rip), %rsi     # 0x45680
leaq 0x2a4b5(%rip), %rdx     # 0x456d8
xorl %eax, %eax
movl %eax, %ecx
callq 0x64d0
movq %rax, -0x118(%rbp)
jmp 0x1b240
xorl %eax, %eax
movq %rax, -0x118(%rbp)
jmp 0x1b240
movq -0x118(%rbp), %rax
movq %rax, -0xa8(%rbp)
cmpq $0x0, -0xa8(%rbp)
je 0x1b2ae
movq -0xa8(%rbp), %rsi
movq (%rsi), %rax
movq 0x28(%rax), %rax
leaq -0xc8(%rbp), %rdi
callq *%rax
jmp 0x1b271
movq -0xe0(%rbp), %rdi
leaq -0xc8(%rbp), %rsi
callq 0x1bca0
jmp 0x1b286
leaq -0xc8(%rbp), %rdi
callq 0x68c8
jmp 0x1b2ae
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0xc8(%rbp), %rdi
callq 0x68c8
jmp 0x1b2e6
jmp 0x1b2b0
jmp 0x1b2b2
leaq -0x28(%rbp), %rdi
callq 0x1bc50
jmp 0x1b081
movb $0x1, -0x11(%rbp)
testb $0x1, -0x11(%rbp)
jne 0x1b2d6
movq -0xe0(%rbp), %rdi
callq 0x188e0
movq -0xd8(%rbp), %rax
addq $0x120, %rsp            # imm = 0x120
popq %rbp
retq
movq -0xe0(%rbp), %rdi
callq 0x188e0
movq -0x60(%rbp), %rdi
callq 0x67a0
nopl (%rax,%rax)