// File: /workspace/github_cpp_makefile_star2_O1/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
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movl %r8d, -0x30(%rbp)
movl %ecx, -0x2c(%rbp)
movq %rdx, -0x38(%rbp)
movl %esi, %r14d
movq %rdi, %r13
movq 0x10(%rdi), %r15
movq (%r15), %rax
movq -0x18(%rax), %rax
movl 0x18(%r15,%rax), %ecx
andl $-0x4b, %ecx
orl $0x2, %ecx
movl %ecx, 0x18(%r15,%rax)
leaq 0x1f4f3(%rip), %rsi     # 0x4a35f
movl $0xb, %edx
movq %r15, %rdi
callq 0xc320
leal 0x3(,%r14,2), %r12d
leaq -0x58(%rbp), %rbx
movl %r12d, (%rbx)
movq %r15, %rdi
movq %rbx, %rsi
callq 0x10712
movq %rax, %r14
leaq 0x1f754(%rip), %rsi     # 0x4a5f1
movl $0x2, %edx
movq %rax, %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(%r13), %r14
leaq 0x1f48f(%rip), %rsi     # 0x4a36b
movl $0x1a, %edx
movq %r14, %rdi
callq 0xc320
movl %r12d, (%rbx)
leaq -0x58(%rbp), %rsi
movq %r14, %rdi
callq 0x10712
movq %rax, %r14
leaq 0x1d436(%rip), %rsi     # 0x48338
movl $0x7, %edx
movq %rax, %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 -0x38(%rbp), %rax
testq %rax, %rax
je 0x2b0aa
movq %rax, %rbx
movq 0x10(%r13), %r14
leaq 0x1f435(%rip), %rsi     # 0x4a386
movl $0x1c, %edx
movq %r14, %rdi
callq 0xc320
movq %rbx, %rdi
callq 0xc110
movq %r14, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0xc320
movq %r13, %r15
leaq 0x1d3ba(%rip), %r13     # 0x48338
movl $0x7, %edx
movq %r14, %rdi
movq %r13, %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(%r15), %r14
leaq 0x1f3e3(%rip), %rsi     # 0x4a3a3
movl $0x1d, %edx
movq %r14, %rdi
callq 0xc320
movl -0x2c(%rbp), %r12d
movl %r12d, %esi
movq %r14, %rdi
callq 0xc190
movq %rax, %r14
movl $0x7, %edx
movq %rax, %rdi
movq %r13, %rsi
movq %r15, %r13
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(%r15), %r14
leaq 0x1f39d(%rip), %rsi     # 0x4a3c1
movl $0x14, %edx
movq %r14, %rdi
callq 0xc320
movq (%r15), %rax
leaq -0x58(%rbp), %r15
movq %r15, %rdi
movq %r13, %rsi
movq %rbx, %rdx
movl %r12d, %ecx
movl -0x30(%rbp), %r8d
callq *0x28(%rax)
movq (%r15), %rsi
movq 0x8(%r15), %rdx
movq %r14, %rdi
callq 0xc320
movq %rax, %r14
leaq 0x1d2d4(%rip), %rsi     # 0x48338
movl $0x7, %edx
movq %rax, %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
leaq -0x48(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2b0aa
callq 0xc280
movq 0x10(%r13), %rbx
leaq 0x1f321(%rip), %rsi     # 0x4a3d6
movl $0x7, %edx
movq %rbx, %rdi
callq 0xc320
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0xc2a0
movsbl %al, %esi
movq %rbx, %rdi
callq 0xc030
movq %rax, %rdi
callq 0xc1a0
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq -0x48(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2b10d
callq 0xc280
movq %rbx, %rdi
callq 0xc4e0
nop