// File: /workspace/github_c_makefile_star2_O0/thegenemyers[P]DASCRUBBER/DB.c
// Function: Print_Number
void Print_Number(int64 num, int width, FILE *out)
{ if (width == 0)
    { if (num < 1000ll)
        fprintf(out,"%lld",num);
      else if (num < 1000000ll)
        fprintf(out,"%lld%c%03lld",num/1000ll,COMMA,num%1000ll);
      else if (num < 1000000000ll)
        fprintf(out,"%lld%c%03lld%c%03lld",num/1000000ll,
                                           COMMA,(num%1000000ll)/1000ll,COMMA,num%1000ll);
      else
        fprintf(out,"%lld%c%03lld%c%03lld%c%03lld",num/1000000000ll,
                                                   COMMA,(num%1000000000ll)/1000000ll,
                                                   COMMA,(num%1000000ll)/1000ll,COMMA,num%1000ll);
    }
  else
    { if (num < 1000ll)
        fprintf(out,"%*lld",width,num);
      else if (num < 1000000ll)
        { if (width <= 4)
            fprintf(out,"%lld%c%03lld",num/1000ll,COMMA,num%1000ll);
          else
            fprintf(out,"%*lld%c%03lld",width-4,num/1000ll,COMMA,num%1000ll);
        }
      else if (num < 1000000000ll)
        { if (width <= 8)
            fprintf(out,"%lld%c%03lld%c%03lld",num/1000000ll,COMMA,(num%1000000ll)/1000ll,
                                               COMMA,num%1000ll);
          else
            fprintf(out,"%*lld%c%03lld%c%03lld",width-8,num/1000000ll,COMMA,(num%1000000ll)/1000ll,
                                                COMMA,num%1000ll);
        }
      else
        { if (width <= 12)
            fprintf(out,"%lld%c%03lld%c%03lld%c%03lld",num/1000000000ll,COMMA,
                                                       (num%1000000000ll)/1000000ll,COMMA,
                                                       (num%1000000ll)/1000ll,COMMA,num%1000ll);
          else
            fprintf(out,"%*lld%c%03lld%c%03lld%c%03lld",width-12,num/1000000000ll,COMMA,
                                                        (num%1000000000ll)/1000000ll,COMMA,
                                                        (num%1000000ll)/1000ll,COMMA,num%1000ll);
        }
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x80, %rsp
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
movq %rdx, -0x18(%rbp)
cmpl $0x0, -0xc(%rbp)
jne 0x2acd
cmpq $0x3e8, -0x8(%rbp)      # imm = 0x3E8
jge 0x2975
movq -0x18(%rbp), %rdi
movq -0x8(%rbp), %rdx
leaq 0xb8d5(%rip), %rsi      # 0xe23e
movb $0x0, %al
callq 0x1180
jmp 0x2ac8
cmpq $0xf4240, -0x8(%rbp)    # imm = 0xF4240
jge 0x29c2
movq -0x18(%rbp), %rdi
movq -0x8(%rbp), %rax
movl $0x3e8, %ecx            # imm = 0x3E8
cqto
idivq %rcx
movq %rax, -0x20(%rbp)
movq -0x8(%rbp), %rax
movl $0x3e8, %ecx            # imm = 0x3E8
cqto
idivq %rcx
movq %rdx, %r8
movq -0x20(%rbp), %rdx
leaq 0xb9a7(%rip), %rsi      # 0xe358
movl $0x2c, %ecx
movb $0x0, %al
callq 0x1180
jmp 0x2ac6
cmpq $0x3b9aca00, -0x8(%rbp) # imm = 0x3B9ACA00
jge 0x2a35
movq -0x18(%rbp), %rdi
movq -0x8(%rbp), %rax
movl $0xf4240, %ecx          # imm = 0xF4240
cqto
idivq %rcx
movq %rax, -0x28(%rbp)
movq -0x8(%rbp), %rax
movl $0xf4240, %ecx          # imm = 0xF4240
cqto
idivq %rcx
movq %rdx, %rax
movl $0x3e8, %ecx            # imm = 0x3E8
cqto
idivq %rcx
movq %rax, %r8
movq -0x8(%rbp), %rax
movl $0x3e8, %ecx            # imm = 0x3E8
cqto
idivq %rcx
movq %rdx, %rax
movq -0x28(%rbp), %rdx
leaq 0xb949(%rip), %rsi      # 0xe365
movl $0x2c, %r9d
movl %r9d, %ecx
movq %rax, (%rsp)
movb $0x0, %al
callq 0x1180
jmp 0x2ac4
movq -0x18(%rbp), %rdi
movq -0x8(%rbp), %rax
movl $0x3b9aca00, %ecx       # imm = 0x3B9ACA00
cqto
idivq %rcx
movq %rax, -0x30(%rbp)
movq -0x8(%rbp), %rax
movl $0x3b9aca00, %ecx       # imm = 0x3B9ACA00
cqto
idivq %rcx
movq %rdx, %rax
movl $0xf4240, %ecx          # imm = 0xF4240
cqto
idivq %rcx
movq %rax, %r8
movq -0x8(%rbp), %rax
movl $0xf4240, %ecx          # imm = 0xF4240
cqto
idivq %rcx
movq %rdx, %rax
movl $0x3e8, %ecx            # imm = 0x3E8
cqto
idivq %rcx
movq %rax, %r10
movq -0x8(%rbp), %rax
movl $0x3e8, %ecx            # imm = 0x3E8
cqto
idivq %rcx
movq %rdx, %rax
movq -0x30(%rbp), %rdx
leaq 0xb8d7(%rip), %rsi      # 0xe37a
movl $0x2c, %r9d
movl %r9d, %ecx
movq %r10, (%rsp)
movl $0x2c, 0x8(%rsp)
movq %rax, 0x10(%rsp)
movb $0x0, %al
callq 0x1180
jmp 0x2ac6
jmp 0x2ac8
jmp 0x2dc4
cmpq $0x3e8, -0x8(%rbp)      # imm = 0x3E8
jge 0x2af5
movq -0x18(%rbp), %rdi
movl -0xc(%rbp), %edx
movq -0x8(%rbp), %rcx
leaq 0xb8ae(%rip), %rsi      # 0xe397
movb $0x0, %al
callq 0x1180
jmp 0x2dc2
cmpq $0xf4240, -0x8(%rbp)    # imm = 0xF4240
jge 0x2b94
cmpl $0x4, -0xc(%rbp)
jg 0x2b49
movq -0x18(%rbp), %rdi
movq -0x8(%rbp), %rax
movl $0x3e8, %ecx            # imm = 0x3E8
cqto
idivq %rcx
movq %rax, -0x38(%rbp)
movq -0x8(%rbp), %rax
movl $0x3e8, %ecx            # imm = 0x3E8
cqto
idivq %rcx
movq %rdx, %r8
movq -0x38(%rbp), %rdx
leaq 0xb81d(%rip), %rsi      # 0xe358
movl $0x2c, %ecx
movb $0x0, %al
callq 0x1180
jmp 0x2b8f
movq -0x18(%rbp), %rdi
movl -0xc(%rbp), %eax
subl $0x4, %eax
movl %eax, -0x3c(%rbp)
movq -0x8(%rbp), %rax
movl $0x3e8, %ecx            # imm = 0x3E8
cqto
idivq %rcx
movq %rax, %rcx
movq -0x8(%rbp), %rax
movl $0x3e8, %esi            # imm = 0x3E8
cqto
idivq %rsi
movq %rdx, %r9
movl -0x3c(%rbp), %edx
leaq 0xb81b(%rip), %rsi      # 0xe39d
movl $0x2c, %r8d
movb $0x0, %al
callq 0x1180
jmp 0x2dc0
cmpq $0x3b9aca00, -0x8(%rbp) # imm = 0x3B9ACA00
jge 0x2c83
cmpl $0x8, -0xc(%rbp)
jg 0x2c0e
movq -0x18(%rbp), %rdi
movq -0x8(%rbp), %rax
movl $0xf4240, %ecx          # imm = 0xF4240
cqto
idivq %rcx
movq %rax, -0x48(%rbp)
movq -0x8(%rbp), %rax
movl $0xf4240, %ecx          # imm = 0xF4240
cqto
idivq %rcx
movq %rdx, %rax
movl $0x3e8, %ecx            # imm = 0x3E8
cqto
idivq %rcx
movq %rax, %r8
movq -0x8(%rbp), %rax
movl $0x3e8, %ecx            # imm = 0x3E8
cqto
idivq %rcx
movq %rdx, %rax
movq -0x48(%rbp), %rdx
leaq 0xb76d(%rip), %rsi      # 0xe365
movl $0x2c, %r9d
movl %r9d, %ecx
movq %rax, (%rsp)
movb $0x0, %al
callq 0x1180
jmp 0x2c7e
movq -0x18(%rbp), %rdi
movl -0xc(%rbp), %eax
subl $0x8, %eax
movl %eax, -0x4c(%rbp)
movq -0x8(%rbp), %rax
movl $0xf4240, %ecx          # imm = 0xF4240
cqto
idivq %rcx
movq %rax, %rcx
movq -0x8(%rbp), %rax
movl $0xf4240, %esi          # imm = 0xF4240
cqto
idivq %rsi
movq %rdx, %rax
movl $0x3e8, %esi            # imm = 0x3E8
cqto
idivq %rsi
movq %rax, %r9
movq -0x8(%rbp), %rax
movl $0x3e8, %esi            # imm = 0x3E8
cqto
idivq %rsi
movq %rdx, %rax
movl -0x4c(%rbp), %edx
leaq 0xb746(%rip), %rsi      # 0xe3ab
movl $0x2c, %r8d
movl $0x2c, (%rsp)
movq %rax, 0x8(%rsp)
movb $0x0, %al
callq 0x1180
jmp 0x2dbe
cmpl $0xc, -0xc(%rbp)
jg 0x2d21
movq -0x18(%rbp), %rdi
movq -0x8(%rbp), %rax
movl $0x3b9aca00, %ecx       # imm = 0x3B9ACA00
cqto
idivq %rcx
movq %rax, -0x58(%rbp)
movq -0x8(%rbp), %rax
movl $0x3b9aca00, %ecx       # imm = 0x3B9ACA00
cqto
idivq %rcx
movq %rdx, %rax
movl $0xf4240, %ecx          # imm = 0xF4240
cqto
idivq %rcx
movq %rax, %r8
movq -0x8(%rbp), %rax
movl $0xf4240, %ecx          # imm = 0xF4240
cqto
idivq %rcx
movq %rdx, %rax
movl $0x3e8, %ecx            # imm = 0x3E8
cqto
idivq %rcx
movq %rax, %r10
movq -0x8(%rbp), %rax
movl $0x3e8, %ecx            # imm = 0x3E8
cqto
idivq %rcx
movq %rdx, %rax
movq -0x58(%rbp), %rdx
leaq 0xb67f(%rip), %rsi      # 0xe37a
movl $0x2c, %r9d
movl %r9d, %ecx
movq %r10, (%rsp)
movl $0x2c, 0x8(%rsp)
movq %rax, 0x10(%rsp)
movb $0x0, %al
callq 0x1180
jmp 0x2dbc
movq -0x18(%rbp), %rdi
movl -0xc(%rbp), %eax
subl $0xc, %eax
movl %eax, -0x5c(%rbp)
movq -0x8(%rbp), %rax
movl $0x3b9aca00, %ecx       # imm = 0x3B9ACA00
cqto
idivq %rcx
movq %rax, %rcx
movq -0x8(%rbp), %rax
movl $0x3b9aca00, %esi       # imm = 0x3B9ACA00
cqto
idivq %rsi
movq %rdx, %rax
movl $0xf4240, %esi          # imm = 0xF4240
cqto
idivq %rsi
movq %rax, %r9
movq -0x8(%rbp), %rax
movl $0xf4240, %esi          # imm = 0xF4240
cqto
idivq %rsi
movq %rdx, %rax
movl $0x3e8, %esi            # imm = 0x3E8
cqto
idivq %rsi
movq %rax, %r10
movq -0x8(%rbp), %rax
movl $0x3e8, %esi            # imm = 0x3E8
cqto
idivq %rsi
movq %rdx, %rax
movl -0x5c(%rbp), %edx
leaq 0xb62b(%rip), %rsi      # 0xe3c1
movl $0x2c, %r8d
movl $0x2c, (%rsp)
movq %r10, 0x8(%rsp)
movl $0x2c, 0x10(%rsp)
movq %rax, 0x18(%rsp)
movb $0x0, %al
callq 0x1180
jmp 0x2dbe
jmp 0x2dc0
jmp 0x2dc2
jmp 0x2dc4
addq $0x80, %rsp
popq %rbp
retq
nopl (%rax)