// File: /workspace/github_cpp_makefile_star2_O2/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, %r12d
movl %ecx, -0x2c(%rbp)
movq %rdx, %r15
movl %esi, %r14d
movq %rdi, %rbx
movq 0x10(%rdi), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
movl 0x18(%rdi,%rax), %ecx
andl $-0x4b, %ecx
orl $0x2, %ecx
movl %ecx, 0x18(%rdi,%rax)
leaq 0x12586(%rip), %rsi     # 0x3aa69
callq 0xc290
leal 0x3(,%r14,2), %ecx
leaq -0x50(%rbp), %rsi
movl %ecx, (%rsi)
movq %rax, %rdi
callq 0xeb12
leaq 0x146de(%rip), %rsi     # 0x3cbe3
movq %rax, %rdi
callq 0xc290
cmpl $-0x1, %r13d
je 0x2853d
movq 0x10(%rbx), %rdi
leaq 0xfd48(%rip), %rsi      # 0x38266
callq 0xc290
movl %r13d, %esi
movq %rax, %rdi
callq 0xc190
leaq 0x146ae(%rip), %rsi     # 0x3cbe3
movq %rax, %rdi
callq 0xc290
movq 0x10(%rbx), %rdi
testq %r15, %r15
je 0x2864d
leaq 0x12523(%rip), %rsi     # 0x3aa74
callq 0xc290
movq %rax, %r14
movq (%rbx), %rax
leaq -0x50(%rbp), %r13
movq %r13, %rdi
movq %rbx, %rsi
movq %r15, %rdx
movl -0x2c(%rbp), %ecx
movl %r12d, %r8d
callq *0x28(%rax)
movq %r14, %rdi
movq %r13, %rsi
callq 0xc230
leaq 0x1465f(%rip), %rsi     # 0x3cbe3
movq %rax, %rdi
callq 0xc290
leaq -0x50(%rbp), %rdi
callq 0xc110
movq 0x10(%rbx), %rdi
leaq 0x12210(%rip), %rsi     # 0x3a7b0
callq 0xc290
movq %rax, %rdi
callq 0xc120
movq 0x10(%rbx), %rdi
leaq 0xfc62(%rip), %rsi      # 0x3821a
callq 0xc290
movq %rax, %rdi
callq 0xc120
movq 0x10(%rbx), %rdi
leaq 0xfc58(%rip), %rsi      # 0x38228
callq 0xc290
movq %rax, %rdi
movq %r15, %rsi
callq 0xc290
leaq 0x12060(%rip), %r14     # 0x3a647
movq %rax, %rdi
movq %r14, %rsi
callq 0xc290
movq %rax, %rdi
callq 0xc120
movq 0x10(%rbx), %rdi
leaq 0x12478(%rip), %rsi     # 0x3aa7d
callq 0xc290
movl -0x2c(%rbp), %esi
movq %rax, %rdi
callq 0xc190
movq %rax, %rdi
movq %r14, %rsi
callq 0xc290
movq %rax, %rdi
callq 0xc120
movq 0x10(%rbx), %rdi
leaq 0xfc13(%rip), %rsi      # 0x38246
callq 0xc290
movq %rax, %rdi
callq 0xc120
movq 0x10(%rbx), %rdi
leaq 0x11f49(%rip), %rsi     # 0x3a594
jmp 0x28654
leaq 0x11ff4(%rip), %rsi     # 0x3a648
callq 0xc290
movq %rax, %rdi
callq 0xc120
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq -0x50(%rbp), %rdi
callq 0xc110
movq %rbx, %rdi
callq 0xc4c0