// File: /workspace/github_cpp_makefile_star2_O3/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 0x1eecb(%rip), %rsi     # 0x4836f
movl $0xb, %edx
movq %r15, %rdi
callq 0xb320
leal 0x3(,%r14,2), %r12d
leaq -0x58(%rbp), %rbx
movl %r12d, (%rbx)
movq %r15, %rdi
movq %rbx, %rsi
callq 0xf3a7
movq %rax, %r14
leaq 0x1f12c(%rip), %rsi     # 0x48601
movl $0x2, %edx
movq %rax, %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(%r13), %r14
leaq 0x1ee67(%rip), %rsi     # 0x4837b
movl $0x1a, %edx
movq %r14, %rdi
callq 0xb320
movl %r12d, (%rbx)
leaq -0x58(%rbp), %rsi
movq %r14, %rdi
callq 0xf3a7
movq %rax, %r14
leaq 0x1ce0e(%rip), %rsi     # 0x46348
movl $0x7, %edx
movq %rax, %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 -0x38(%rbp), %rax
testq %rax, %rax
je 0x296e2
movq %rax, %rbx
movq 0x10(%r13), %r14
leaq 0x1ee0d(%rip), %rsi     # 0x48396
movl $0x1c, %edx
movq %r14, %rdi
callq 0xb320
movq %rbx, %rdi
callq 0xb110
movq %r14, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0xb320
movq %r13, %r15
leaq 0x1cd92(%rip), %r13     # 0x46348
movl $0x7, %edx
movq %r14, %rdi
movq %r13, %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(%r15), %r14
leaq 0x1edbb(%rip), %rsi     # 0x483b3
movl $0x1d, %edx
movq %r14, %rdi
callq 0xb320
movl -0x2c(%rbp), %r12d
movl %r12d, %esi
movq %r14, %rdi
callq 0xb190
movq %rax, %r14
movl $0x7, %edx
movq %rax, %rdi
movq %r13, %rsi
movq %r15, %r13
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(%r15), %r14
leaq 0x1ed75(%rip), %rsi     # 0x483d1
movl $0x14, %edx
movq %r14, %rdi
callq 0xb320
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 0xb320
movq %rax, %r14
leaq 0x1ccac(%rip), %rsi     # 0x46348
movl $0x7, %edx
movq %rax, %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
leaq -0x48(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x296e2
callq 0xb280
movq 0x10(%r13), %rbx
leaq 0x1ecf9(%rip), %rsi     # 0x483e6
movl $0x7, %edx
movq %rbx, %rdi
callq 0xb320
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0xb2a0
movsbl %al, %esi
movq %rbx, %rdi
callq 0xb030
movq %rax, %rdi
callq 0xb1a0
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 0x29745
callq 0xb280
movq %rbx, %rdi
callq 0xb4e0
nop