// File: /workspace/github_cpp_makefile_star2_O3/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
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movl %r9d, %r13d
movl %r8d, -0x30(%rbp)
movl %ecx, -0x2c(%rbp)
movq %rdx, %r15
movl %esi, %r14d
movq %rdi, %rbx
movq 0x10(%rdi), %r12
movq (%r12), %rax
movq -0x18(%rax), %rax
movl 0x18(%r12,%rax), %ecx
andl $-0x4b, %ecx
orl $0x2, %ecx
movl %ecx, 0x18(%r12,%rax)
leaq 0x16652(%rip), %rsi     # 0x488bb
movl $0xa, %edx
movq %r12, %rdi
callq 0xb320
leal 0x3(,%r14,2), %eax
leaq -0x50(%rbp), %rsi
movl %eax, (%rsi)
movq %r12, %rdi
callq 0xf3a7
leaq 0x18749(%rip), %rsi     # 0x4a9dc
movl $0x1, %edx
movq %rax, %rdi
callq 0xb320
cmpl $-0x1, %r13d
je 0x322dd
movq 0x10(%rbx), %r14
leaq 0x14075(%rip), %rsi     # 0x46326
movl $0x6, %edx
movq %r14, %rdi
callq 0xb320
movl %r13d, %esi
movq %r14, %rdi
callq 0xb190
leaq 0x1870c(%rip), %rsi     # 0x4a9dc
movl $0x1, %edx
movq %rax, %rdi
callq 0xb320
movq 0x10(%rbx), %r13
testq %r15, %r15
je 0x324e6
leaq 0x165d5(%rip), %rsi     # 0x488c6
movl $0x8, %edx
movq %r13, %rdi
callq 0xb320
movq (%rbx), %rax
leaq -0x50(%rbp), %r14
movq %r14, %rdi
movq %rbx, %rsi
movq %r15, %rdx
movl -0x2c(%rbp), %ecx
movl -0x30(%rbp), %r8d
callq *0x28(%rax)
movq (%r14), %rsi
movq 0x8(%r14), %rdx
movq %r13, %rdi
callq 0xb320
leaq 0x186ae(%rip), %rsi     # 0x4a9dc
movl $0x1, %edx
movq %rax, %rdi
callq 0xb320
leaq -0x40(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3234d
callq 0xb280
movq 0x10(%rbx), %r14
leaq 0x162aa(%rip), %rsi     # 0x48602
movl $0x1, %edx
movq %r14, %rdi
callq 0xb320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xb2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xb030
movq %rax, %rdi
callq 0xb1a0
movq 0x10(%rbx), %r14
leaq 0x13f43(%rip), %rsi     # 0x462da
movl $0xd, %edx
movq %r14, %rdi
callq 0xb320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xb2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xb030
movq %rax, %rdi
callq 0xb1a0
movq 0x10(%rbx), %r12
leaq 0x13f12(%rip), %rsi     # 0x462e8
movl $0x1d, %edx
movq %r12, %rdi
callq 0xb320
movq %r15, %rdi
callq 0xb110
movq %r12, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0xb320
leaq 0x16099(%rip), %r15     # 0x48499
movl $0x3, %edx
movq %r12, %rdi
movq %r15, %rsi
callq 0xb320
movq (%r12), %rax
movq -0x18(%rax), %rdi
addq %r12, %rdi
movl $0xa, %esi
callq 0xb2a0
movsbl %al, %esi
movq %r12, %rdi
callq 0xb030
movq %rax, %rdi
callq 0xb1a0
movq 0x10(%rbx), %r14
leaq 0x1648c(%rip), %rsi     # 0x488cf
movl $0x1d, %edx
movq %r14, %rdi
callq 0xb320
movl -0x2c(%rbp), %esi
movq %r14, %rdi
callq 0xb190
movq %rax, %r14
movl $0x3, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0xb320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xb2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xb030
movq %rax, %rdi
callq 0xb1a0
movq 0x10(%rbx), %r14
leaq 0x13e66(%rip), %rsi     # 0x46306
movl $0xe, %edx
movq %r14, %rdi
callq 0xb320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xb2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xb030
movq %rax, %rdi
callq 0xb1a0
movq 0x10(%rbx), %r13
leaq 0x15f07(%rip), %rsi     # 0x483e6
movl $0x7, %edx
jmp 0x324f2
leaq 0x15fad(%rip), %rsi     # 0x4849a
movl $0x2, %edx
movq %r13, %rdi
callq 0xb320
movq (%r13), %rax
movq -0x18(%rax), %rdi
addq %r13, %rdi
movl $0xa, %esi
callq 0xb2a0
movsbl %al, %esi
movq %r13, %rdi
callq 0xb030
movq %rax, %rdi
callq 0xb1a0
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq -0x40(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x32546
callq 0xb280
movq %rbx, %rdi
callq 0xb4e0