// File: /workspace/github_cpp_makefile_star2_O1/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 0x16930(%rip), %rsi     # 0x4a8ab
movl $0xa, %edx
movq %r12, %rdi
callq 0xc320
leal 0x3(,%r14,2), %eax
leaq -0x50(%rbp), %rsi
movl %eax, (%rsi)
movq %r12, %rdi
callq 0x10712
leaq 0x18b35(%rip), %rsi     # 0x4cada
movl $0x1, %edx
movq %rax, %rdi
callq 0xc320
cmpl $-0x1, %r13d
je 0x33fef
movq 0x10(%rbx), %r14
leaq 0x14353(%rip), %rsi     # 0x48316
movl $0x6, %edx
movq %r14, %rdi
callq 0xc320
movl %r13d, %esi
movq %r14, %rdi
callq 0xc190
leaq 0x18af8(%rip), %rsi     # 0x4cada
movl $0x1, %edx
movq %rax, %rdi
callq 0xc320
movq 0x10(%rbx), %r13
testq %r15, %r15
je 0x341f8
leaq 0x168b3(%rip), %rsi     # 0x4a8b6
movl $0x8, %edx
movq %r13, %rdi
callq 0xc320
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 0xc320
leaq 0x18a9a(%rip), %rsi     # 0x4cada
movl $0x1, %edx
movq %rax, %rdi
callq 0xc320
leaq -0x40(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3405f
callq 0xc280
movq 0x10(%rbx), %r14
leaq 0x16588(%rip), %rsi     # 0x4a5f2
movl $0x1, %edx
movq %r14, %rdi
callq 0xc320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xc2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xc030
movq %rax, %rdi
callq 0xc1a0
movq 0x10(%rbx), %r14
leaq 0x14221(%rip), %rsi     # 0x482ca
movl $0xd, %edx
movq %r14, %rdi
callq 0xc320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xc2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xc030
movq %rax, %rdi
callq 0xc1a0
movq 0x10(%rbx), %r12
leaq 0x141f0(%rip), %rsi     # 0x482d8
movl $0x1d, %edx
movq %r12, %rdi
callq 0xc320
movq %r15, %rdi
callq 0xc110
movq %r12, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0xc320
leaq 0x16377(%rip), %r15     # 0x4a489
movl $0x3, %edx
movq %r12, %rdi
movq %r15, %rsi
callq 0xc320
movq (%r12), %rax
movq -0x18(%rax), %rdi
addq %r12, %rdi
movl $0xa, %esi
callq 0xc2a0
movsbl %al, %esi
movq %r12, %rdi
callq 0xc030
movq %rax, %rdi
callq 0xc1a0
movq 0x10(%rbx), %r14
leaq 0x1676a(%rip), %rsi     # 0x4a8bf
movl $0x1d, %edx
movq %r14, %rdi
callq 0xc320
movl -0x2c(%rbp), %esi
movq %r14, %rdi
callq 0xc190
movq %rax, %r14
movl $0x3, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0xc320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xc2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xc030
movq %rax, %rdi
callq 0xc1a0
movq 0x10(%rbx), %r14
leaq 0x14144(%rip), %rsi     # 0x482f6
movl $0xe, %edx
movq %r14, %rdi
callq 0xc320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xc2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xc030
movq %rax, %rdi
callq 0xc1a0
movq 0x10(%rbx), %r13
leaq 0x161e5(%rip), %rsi     # 0x4a3d6
movl $0x7, %edx
jmp 0x34204
leaq 0x1628b(%rip), %rsi     # 0x4a48a
movl $0x2, %edx
movq %r13, %rdi
callq 0xc320
movq (%r13), %rax
movq -0x18(%rax), %rdi
addq %r13, %rdi
movl $0xa, %esi
callq 0xc2a0
movsbl %al, %esi
movq %r13, %rdi
callq 0xc030
movq %rax, %rdi
callq 0xc1a0
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 0x34258
callq 0xc280
movq %rbx, %rdi
callq 0xc4e0