// File: vsklad[P]cgen/./bal/cnf/io/cnfgraphml.hpp
// Function: bal::CnfGraphMLStreamWriter<false>::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 {
            stream << std::dec;
            stream << "<node id=\"v"  << literal_t(variable_t__literal_id(id)) << "\">" << std::endl;
            stream << "<data key=\"n_variable_id\">" << literal_t(variable_t__literal_id(id)) << "</data>" << std::endl;
            if (name != nullptr) {
                stream << "<data key=\"n_variable_name\">" << name << "</data>" << std::endl;
                stream << "<data key=\"n_variable_index\">" << index << "</data>" << std::endl;
                stream << "<data key=\"n_label\">" << node_label(name, index, element_size) << "</data>" << std::endl;
            };
            stream << "</node>" << std::endl;
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xb0, %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, -0x70(%rbp)
movq 0x10(%rax), %rdi
leaq -0x2b2c4(%rip), %rsi    # 0x102c0
callq 0xd0f0
movq -0x70(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x291da(%rip), %rsi     # 0x64772
callq 0xd320
movq %rax, -0x78(%rbp)
movl -0xc(%rbp), %esi
addl $0x1, %esi
shll %esi
orl $0x1, %esi
leaq -0x28(%rbp), %rdi
callq 0x12e30
movq -0x78(%rbp), %rdi
leaq -0x28(%rbp), %rsi
callq 0x12d50
movq %rax, %rdi
leaq 0x29438(%rip), %rsi     # 0x64a04
callq 0xd320
movq %rax, %rdi
movq 0x479a5(%rip), %rsi     # 0x82f80
callq 0xd360
movq -0x70(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x2918f(%rip), %rsi     # 0x6477e
callq 0xd320
movq %rax, -0x68(%rbp)
movl -0xc(%rbp), %esi
addl $0x1, %esi
shll %esi
orl $0x1, %esi
leaq -0x2c(%rbp), %rdi
callq 0x12e30
movq -0x68(%rbp), %rdi
leaq -0x2c(%rbp), %rsi
callq 0x12d50
movq %rax, %rdi
leaq 0x26d11(%rip), %rsi     # 0x62334
callq 0xd320
movq %rax, %rdi
movq 0x4794e(%rip), %rsi     # 0x82f80
callq 0xd360
cmpq $0x0, -0x18(%rbp)
je 0x3b772
movq -0x70(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x29148(%rip), %rsi     # 0x64799
callq 0xd320
movq %rax, %rdi
movq -0x18(%rbp), %rsi
callq 0xd320
movq %rax, %rdi
leaq 0x26cc8(%rip), %rsi     # 0x62334
movq %rsi, -0xa0(%rbp)
callq 0xd320
movq %rax, %rdi
movq 0x478fe(%rip), %rsi     # 0x82f80
movq %rsi, -0x98(%rbp)
callq 0xd360
movq -0x70(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x29119(%rip), %rsi     # 0x647b6
callq 0xd320
movq %rax, %rdi
movl -0x1c(%rbp), %esi
callq 0xd420
movq -0xa0(%rbp), %rsi
movq %rax, %rdi
callq 0xd320
movq -0x98(%rbp), %rsi
movq %rax, %rdi
callq 0xd360
movq -0x70(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x290fa(%rip), %rsi     # 0x647d4
callq 0xd320
movq -0x70(%rbp), %rsi
movq %rax, -0x90(%rbp)
movq -0x18(%rbp), %rdx
movl -0x1c(%rbp), %ecx
movl -0x20(%rbp), %r8d
movq (%rsi), %rax
movq 0x28(%rax), %rax
leaq -0x50(%rbp), %rdi
movq %rdi, -0x88(%rbp)
callq *%rax
movq -0x90(%rbp), %rdi
movq -0x88(%rbp), %rsi
callq 0xd290
movq %rax, -0x80(%rbp)
jmp 0x3b722
movq -0x80(%rbp), %rdi
leaq 0x26c07(%rip), %rsi     # 0x62334
callq 0xd320
movq %rax, -0xa8(%rbp)
jmp 0x3b73b
movq -0xa8(%rbp), %rdi
movq 0x47837(%rip), %rsi     # 0x82f80
callq 0xd360
jmp 0x3b750
leaq -0x50(%rbp), %rdi
callq 0xd1b0
jmp 0x3b772
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0x50(%rbp), %rdi
callq 0xd1b0
jmp 0x3b79e
movq -0x70(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x29068(%rip), %rsi     # 0x647e9
callq 0xd320
movq %rax, %rdi
movq 0x477f0(%rip), %rsi     # 0x82f80
callq 0xd360
addq $0xb0, %rsp
popq %rbp
retq
movq -0x58(%rbp), %rdi
callq 0xd5a0
nopw (%rax,%rax)