// File: /workspace/github_c_makefile_star2_O0/ComplexNetworks-DCC-FCUP[P]gtrieScanner/nauty/nauty.c
// Function: writemarker(int, int, int, int, int, int)
static void
writemarker(int level, int tv, int index, int tcellsize,
            int numorbits, int numcells)
{
        char s[30];

#define PUTINT(i) itos(i,s); putstring(outfile,s)
#define PUTSTR(x) putstring(outfile,x)

        PUTSTR("level ");
        PUTINT(level);
        PUTSTR(":  ");
        if (numcells != numorbits)
        {
            PUTINT(numcells);
            PUTSTR(" cell");
            if (numcells == 1) PUTSTR("; ");
            else               PUTSTR("s; ");
        }
        PUTINT(numorbits);
        PUTSTR(" orbit");
        if (numorbits == 1) PUTSTR("; ");
        else                PUTSTR("s; ");
        PUTINT(tv+labelorg);
        PUTSTR(" fixed; index ");
        PUTINT(index);
        if (tcellsize != index)
        {
            PUTSTR("/");
            PUTINT(tcellsize);
        }
        PUTSTR("\n");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movl %edi, -0x4(%rbp)
movl %esi, -0x8(%rbp)
movl %edx, -0xc(%rbp)
movl %ecx, -0x10(%rbp)
movl %r8d, -0x14(%rbp)
movl %r9d, -0x18(%rbp)
movq 0x21b7d(%rip), %rdi     # 0x3d480
leaq 0x54fc(%rip), %rsi      # 0x20e06
callq 0x1cd30
movl -0x4(%rbp), %edi
leaq -0x40(%rbp), %rsi
callq 0x1cd70
movq 0x21b5e(%rip), %rdi     # 0x3d480
leaq -0x40(%rbp), %rsi
callq 0x1cd30
movq 0x21b4e(%rip), %rdi     # 0x3d480
leaq 0x54d4(%rip), %rsi      # 0x20e0d
callq 0x1cd30
movl -0x18(%rbp), %eax
cmpl -0x14(%rbp), %eax
je 0x1b9a5
movl -0x18(%rbp), %edi
leaq -0x40(%rbp), %rsi
callq 0x1cd70
movq 0x21b27(%rip), %rdi     # 0x3d480
leaq -0x40(%rbp), %rsi
callq 0x1cd30
movq 0x21b17(%rip), %rdi     # 0x3d480
leaq 0x54a1(%rip), %rsi      # 0x20e11
callq 0x1cd30
cmpl $0x1, -0x18(%rbp)
jne 0x1b990
movq 0x21afe(%rip), %rdi     # 0x3d480
leaq 0x548f(%rip), %rsi      # 0x20e18
callq 0x1cd30
jmp 0x1b9a3
movq 0x21ae9(%rip), %rdi     # 0x3d480
leaq 0x5479(%rip), %rsi      # 0x20e17
callq 0x1cd30
jmp 0x1b9a5
movl -0x14(%rbp), %edi
leaq -0x40(%rbp), %rsi
callq 0x1cd70
movq 0x21ac8(%rip), %rdi     # 0x3d480
leaq -0x40(%rbp), %rsi
callq 0x1cd30
movq 0x21ab8(%rip), %rdi     # 0x3d480
leaq 0x544c(%rip), %rsi      # 0x20e1b
callq 0x1cd30
cmpl $0x1, -0x14(%rbp)
jne 0x1b9ef
movq 0x21a9f(%rip), %rdi     # 0x3d480
leaq 0x5430(%rip), %rsi      # 0x20e18
callq 0x1cd30
jmp 0x1ba02
movq 0x21a8a(%rip), %rdi     # 0x3d480
leaq 0x541a(%rip), %rsi      # 0x20e17
callq 0x1cd30
movl -0x8(%rbp), %edi
leaq 0x21b1c(%rip), %rax     # 0x3d528
addl (%rax), %edi
leaq -0x40(%rbp), %rsi
callq 0x1cd70
movq 0x21a62(%rip), %rdi     # 0x3d480
leaq -0x40(%rbp), %rsi
callq 0x1cd30
movq 0x21a52(%rip), %rdi     # 0x3d480
leaq 0x53ed(%rip), %rsi      # 0x20e22
callq 0x1cd30
movl -0xc(%rbp), %edi
leaq -0x40(%rbp), %rsi
callq 0x1cd70
movq 0x21a33(%rip), %rdi     # 0x3d480
leaq -0x40(%rbp), %rsi
callq 0x1cd30
movl -0x10(%rbp), %eax
cmpl -0xc(%rbp), %eax
je 0x1ba8d
movq 0x21a1b(%rip), %rdi     # 0x3d480
leaq 0x53c5(%rip), %rsi      # 0x20e31
callq 0x1cd30
movl -0x10(%rbp), %edi
leaq -0x40(%rbp), %rsi
callq 0x1cd70
movq 0x219fc(%rip), %rdi     # 0x3d480
leaq -0x40(%rbp), %rsi
callq 0x1cd30
movq 0x219ec(%rip), %rdi     # 0x3d480
leaq 0x45fd(%rip), %rsi      # 0x20098
callq 0x1cd30
addq $0x40, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)