// File: vsklad[P]cgen/./bal/cnf/io/cnfvig.hpp
// Function: bal::CnfVigStreamWriter<false, false>::node_label[abi:cxx11](char const*, unsigned int, unsigned int) const
virtual const std::string node_label(const char* const name, const unsigned index, const unsigned element_size) const {
            std::string label;
            if (name != nullptr) {
                label = name;
                if (element_size == 1) {
                    label += "[" + std::to_string(index) + "]";
                } else {
                    label += "[" + std::to_string(index / element_size) + "]";
                    label += "[" + std::to_string(element_size - index % element_size - 1) + "]";
                };
            };
            return label;
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x170, %rsp            # imm = 0x170
movq %rdi, -0x168(%rbp)
movq %rdi, %rax
movq %rax, -0x160(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movl %ecx, -0x1c(%rbp)
movl %r8d, -0x20(%rbp)
movb $0x0, -0x21(%rbp)
callq 0xd450
cmpq $0x0, -0x18(%rbp)
je 0x3bb59
movq -0x168(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0xd430
jmp 0x3b8b5
cmpl $0x1, -0x20(%rbp)
jne 0x3b990
movl -0x1c(%rbp), %esi
leaq -0x98(%rbp), %rdi
callq 0x260b0
jmp 0x3b8d0
leaq 0x26cc9(%rip), %rsi     # 0x625a0
leaq -0x78(%rbp), %rdi
leaq -0x98(%rbp), %rdx
callq 0x2e060
jmp 0x3b8e9
leaq 0x238eb(%rip), %rdx     # 0x5f1db
leaq -0x58(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x30f40
jmp 0x3b8ff
movq -0x168(%rbp), %rdi
leaq -0x58(%rbp), %rsi
callq 0xd3f0
jmp 0x3b911
leaq -0x58(%rbp), %rdi
callq 0xd1b0
leaq -0x78(%rbp), %rdi
callq 0xd1b0
leaq -0x98(%rbp), %rdi
callq 0xd1b0
jmp 0x3bb57
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
jmp 0x3bb7f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
jmp 0x3b97f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
jmp 0x3b976
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
leaq -0x58(%rbp), %rdi
callq 0xd1b0
leaq -0x78(%rbp), %rdi
callq 0xd1b0
leaq -0x98(%rbp), %rdi
callq 0xd1b0
jmp 0x3bb7f
movl -0x1c(%rbp), %eax
movl -0x20(%rbp), %ecx
xorl %edx, %edx
divl %ecx
movl %eax, %esi
leaq -0xf8(%rbp), %rdi
callq 0x260b0
jmp 0x3b9aa
leaq 0x26bef(%rip), %rsi     # 0x625a0
leaq -0xd8(%rbp), %rdi
leaq -0xf8(%rbp), %rdx
callq 0x2e060
jmp 0x3b9c6
leaq 0x2380e(%rip), %rdx     # 0x5f1db
leaq -0xb8(%rbp), %rdi
leaq -0xd8(%rbp), %rsi
callq 0x30f40
jmp 0x3b9e2
movq -0x168(%rbp), %rdi
leaq -0xb8(%rbp), %rsi
callq 0xd3f0
jmp 0x3b9f7
leaq -0xb8(%rbp), %rdi
callq 0xd1b0
leaq -0xd8(%rbp), %rdi
callq 0xd1b0
leaq -0xf8(%rbp), %rdi
callq 0xd1b0
movl -0x20(%rbp), %ecx
movl %ecx, -0x16c(%rbp)
movl -0x1c(%rbp), %eax
xorl %edx, %edx
divl %ecx
movl -0x16c(%rbp), %eax
movl %edx, %esi
notl %esi
addl %eax, %esi
leaq -0x158(%rbp), %rdi
callq 0x260b0
jmp 0x3ba45
leaq 0x26b54(%rip), %rsi     # 0x625a0
leaq -0x138(%rbp), %rdi
leaq -0x158(%rbp), %rdx
callq 0x2e060
jmp 0x3ba61
leaq 0x23773(%rip), %rdx     # 0x5f1db
leaq -0x118(%rbp), %rdi
leaq -0x138(%rbp), %rsi
callq 0x30f40
jmp 0x3ba7d
movq -0x168(%rbp), %rdi
leaq -0x118(%rbp), %rsi
callq 0xd3f0
jmp 0x3ba92
leaq -0x118(%rbp), %rdi
callq 0xd1b0
leaq -0x138(%rbp), %rdi
callq 0xd1b0
leaq -0x158(%rbp), %rdi
callq 0xd1b0
jmp 0x3bb57
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
jmp 0x3bafb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
jmp 0x3baef
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
leaq -0xb8(%rbp), %rdi
callq 0xd1b0
leaq -0xd8(%rbp), %rdi
callq 0xd1b0
leaq -0xf8(%rbp), %rdi
callq 0xd1b0
jmp 0x3bb7f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
jmp 0x3bb49
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
jmp 0x3bb3d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
leaq -0x118(%rbp), %rdi
callq 0xd1b0
leaq -0x138(%rbp), %rdi
callq 0xd1b0
leaq -0x158(%rbp), %rdi
callq 0xd1b0
jmp 0x3bb7f
jmp 0x3bb59
movb $0x1, -0x21(%rbp)
testb $0x1, -0x21(%rbp)
jne 0x3bb6f
movq -0x168(%rbp), %rdi
callq 0xd1b0
movq -0x160(%rbp), %rax
addq $0x170, %rsp            # imm = 0x170
popq %rbp
retq
movq -0x168(%rbp), %rdi
callq 0xd1b0
movq -0x30(%rbp), %rdi
callq 0xd5a0
nopw %cs:(%rax,%rax)
nop