// File: /workspace/github_c_makefile_star2_O0/vlenhart[P]q3bsp/./stb_image_write.h
// Function: writefv(_IO_FILE*, char const*, __va_list_tag*)
static void writefv(FILE *f, const char *fmt, va_list v)
{
   while (*fmt) {
      switch (*fmt++) {
         case ' ': break;
         case '1': { unsigned char x = (unsigned char) va_arg(v, int); fputc(x,f); break; }
         case '2': { int x = va_arg(v,int); unsigned char b[2];
                     b[0] = (unsigned char) x; b[1] = (unsigned char) (x>>8);
                     fwrite(b,2,1,f); break; }
         case '4': { stbiw_uint32 x = va_arg(v,int); unsigned char b[4];
                     b[0]=(unsigned char)x; b[1]=(unsigned char)(x>>8);
                     b[2]=(unsigned char)(x>>16); b[3]=(unsigned char)(x>>24);
                     fwrite(b,4,1,f); break; }
         default:
            STBIW_ASSERT(0);
            return;
      }
   }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x80, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x10(%rbp), %rax
cmpb $0x0, (%rax)
je 0x8d6c
movq -0x10(%rbp), %rax
movq %rax, %rcx
incq %rcx
movq %rcx, -0x10(%rbp)
movsbl (%rax), %eax
addl $-0x20, %eax
movl %eax, %ecx
movq %rcx, -0x38(%rbp)
subl $0x14, %eax
ja 0x8d48
movq -0x38(%rbp), %rax
leaq 0x204ee(%rip), %rcx     # 0x290d0
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
jmp 0x8d67
movq -0x18(%rbp), %rax
movq %rax, -0x48(%rbp)
movl (%rax), %eax
movl %eax, -0x3c(%rbp)
cmpl $0x28, %eax
ja 0x8c1b
movq -0x48(%rbp), %rcx
movl -0x3c(%rbp), %edx
movslq %edx, %rax
addq 0x10(%rcx), %rax
addl $0x8, %edx
movl %edx, (%rcx)
movq %rax, -0x50(%rbp)
jmp 0x8c32
movq -0x48(%rbp), %rcx
movq 0x8(%rcx), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, 0x8(%rcx)
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rax
movl (%rax), %eax
movb %al, -0x19(%rbp)
movzbl -0x19(%rbp), %edi
movq -0x8(%rbp), %rsi
callq 0x33c0
jmp 0x8d67
movq -0x18(%rbp), %rax
movq %rax, -0x60(%rbp)
movl (%rax), %eax
movl %eax, -0x54(%rbp)
cmpl $0x28, %eax
ja 0x8c78
movq -0x60(%rbp), %rcx
movl -0x54(%rbp), %edx
movslq %edx, %rax
addq 0x10(%rcx), %rax
addl $0x8, %edx
movl %edx, (%rcx)
movq %rax, -0x68(%rbp)
jmp 0x8c8f
movq -0x60(%rbp), %rcx
movq 0x8(%rcx), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, 0x8(%rcx)
movq %rax, -0x68(%rbp)
movq -0x68(%rbp), %rax
movl (%rax), %eax
movl %eax, -0x20(%rbp)
movl -0x20(%rbp), %eax
movb %al, -0x22(%rbp)
movl -0x20(%rbp), %eax
sarl $0x8, %eax
movb %al, -0x21(%rbp)
leaq -0x22(%rbp), %rdi
movq -0x8(%rbp), %rcx
movl $0x2, %esi
movl $0x1, %edx
callq 0x3560
jmp 0x8d67
movq -0x18(%rbp), %rax
movq %rax, -0x78(%rbp)
movl (%rax), %eax
movl %eax, -0x6c(%rbp)
cmpl $0x28, %eax
ja 0x8cee
movq -0x78(%rbp), %rcx
movl -0x6c(%rbp), %edx
movslq %edx, %rax
addq 0x10(%rcx), %rax
addl $0x8, %edx
movl %edx, (%rcx)
movq %rax, -0x80(%rbp)
jmp 0x8d05
movq -0x78(%rbp), %rcx
movq 0x8(%rcx), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, 0x8(%rcx)
movq %rax, -0x80(%rbp)
movq -0x80(%rbp), %rax
movl (%rax), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
movb %al, -0x2c(%rbp)
movl -0x28(%rbp), %eax
shrl $0x8, %eax
movb %al, -0x2b(%rbp)
movl -0x28(%rbp), %eax
shrl $0x10, %eax
movb %al, -0x2a(%rbp)
movl -0x28(%rbp), %eax
shrl $0x18, %eax
movb %al, -0x29(%rbp)
leaq -0x2c(%rbp), %rdi
movq -0x8(%rbp), %rcx
movl $0x4, %esi
movl $0x1, %edx
callq 0x3560
jmp 0x8d67
leaq 0x21354(%rip), %rdi     # 0x2a0a3
leaq 0x2044a(%rip), %rsi     # 0x291a0
movl $0x92, %edx
leaq 0x20c75(%rip), %rcx     # 0x299d7
callq 0x31c0
jmp 0x8ba7
addq $0x80, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)