// File: vsklad[P]cgen/./bal/cnf/io/cnfgexf.hpp
// Function: bal::CnfGexfStreamWriter<false, true>::write_node(unsigned int, char const*, unsigned int, unsigned int, unsigned int)
void write_node(const variableid_t id, const char* const name,
                        const unsigned index, const unsigned element_size, const timestamp_t end) override {
            _assert_level_0(DYNAMIC || end == TIMESTAMP_MAX);
            stream << std::dec;
            stream << "<node id=\""  << literal_t(variable_t__literal_id(id)) << "\"";
            if (DYNAMIC && end != TIMESTAMP_MAX) {
                stream << " end=\"" << end << "\"";
            };
            if (name != nullptr) {
                stream << " label=\"" << node_label(name, index, element_size) << "\"";
                stream << ">" << std::endl;
                stream << "  <attvalues>" << std::endl;
                stream << "    <attvalue for=\"0\" value=\"" << name << "\"/>" << std::endl;
                stream << "    <attvalue for=\"1\" value=\"" << index << "\"/>" << std::endl;
                stream << "  </attvalues>" << std::endl;
                stream << "</node>" << std::endl;
            } else {
                stream << "/>" << std::endl;
            };
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x80, %rsp
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
movq %rdx, -0x18(%rbp)
movl %ecx, -0x1c(%rbp)
movl %r8d, -0x20(%rbp)
movl %r9d, -0x24(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x68(%rbp)
movq 0x10(%rax), %rdi
leaq -0x39254(%rip), %rsi    # 0x102c0
callq 0xd0f0
movq -0x68(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x1b796(%rip), %rsi     # 0x64cbe
callq 0xd320
movq %rax, -0x60(%rbp)
movl -0xc(%rbp), %esi
addl $0x1, %esi
shll %esi
orl $0x1, %esi
leaq -0x28(%rbp), %rdi
callq 0x12e30
movq -0x60(%rbp), %rdi
leaq -0x28(%rbp), %rsi
callq 0x12d50
movq %rax, %rdi
leaq 0x1db7a(%rip), %rsi     # 0x670d6
callq 0xd320
cmpl $-0x1, -0x24(%rbp)
je 0x49595
movq -0x68(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x18d9c(%rip), %rsi     # 0x62312
callq 0xd320
movq %rax, %rdi
movl -0x24(%rbp), %esi
callq 0xd420
movq %rax, %rdi
leaq 0x1db46(%rip), %rsi     # 0x670d6
callq 0xd320
cmpq $0x0, -0x18(%rbp)
je 0x49726
movq -0x68(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x1b71a(%rip), %rsi     # 0x64cc9
callq 0xd320
movq -0x68(%rbp), %rsi
movq %rax, -0x80(%rbp)
movq -0x18(%rbp), %rdx
movl -0x1c(%rbp), %ecx
movl -0x20(%rbp), %r8d
movq (%rsi), %rax
movq 0x28(%rax), %rax
leaq -0x48(%rbp), %rdi
movq %rdi, -0x78(%rbp)
callq *%rax
movq -0x80(%rbp), %rdi
movq -0x78(%rbp), %rsi
callq 0xd290
movq %rax, -0x70(%rbp)
jmp 0x495eb
movq -0x70(%rbp), %rdi
leaq 0x1dae0(%rip), %rsi     # 0x670d6
callq 0xd320
jmp 0x495fd
leaq -0x48(%rbp), %rdi
callq 0xd1b0
movq -0x68(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x1b3f0(%rip), %rsi     # 0x64a05
callq 0xd320
movq %rax, %rdi
movq 0x3995c(%rip), %rsi     # 0x82f80
callq 0xd360
movq -0x68(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x18c8e(%rip), %rsi     # 0x622c6
callq 0xd320
movq %rax, %rdi
movq 0x39939(%rip), %rsi     # 0x82f80
callq 0xd360
movq -0x68(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x18c79(%rip), %rsi     # 0x622d4
callq 0xd320
movq %rax, %rdi
movq -0x18(%rbp), %rsi
callq 0xd320
movq %rax, %rdi
leaq 0x1b226(%rip), %rsi     # 0x6489c
callq 0xd320
movq %rax, %rdi
movq 0x398fb(%rip), %rsi     # 0x82f80
callq 0xd360
movq -0x68(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x1b639(%rip), %rsi     # 0x64cd2
callq 0xd320
movq %rax, %rdi
movl -0x1c(%rbp), %esi
callq 0xd420
movq %rax, %rdi
leaq 0x1b1e9(%rip), %rsi     # 0x6489c
callq 0xd320
movq %rax, %rdi
movq 0x398be(%rip), %rsi     # 0x82f80
callq 0xd360
movq -0x68(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x18c1c(%rip), %rsi     # 0x622f2
callq 0xd320
movq %rax, %rdi
movq 0x3989b(%rip), %rsi     # 0x82f80
callq 0xd360
movq -0x68(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x1b0f0(%rip), %rsi     # 0x647e9
callq 0xd320
movq %rax, %rdi
movq 0x39878(%rip), %rsi     # 0x82f80
callq 0xd360
jmp 0x49749
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x48(%rbp), %rdi
callq 0xd1b0
jmp 0x49752
movq -0x68(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x1b168(%rip), %rsi     # 0x6489d
callq 0xd320
movq %rax, %rdi
movq 0x3983c(%rip), %rsi     # 0x82f80
callq 0xd360
addq $0x80, %rsp
popq %rbp
retq
movq -0x50(%rbp), %rdi
callq 0xd5a0
nopl (%rax,%rax)