// File: /workspace/github_cpp_makefile_star2_O2/karel-brinda[P]ococo/ext/htslib/./cram/cram_io.h
// Function: append_uint32
static inline unsigned char *append_uint32(unsigned char *cp, uint32_t i) {
    uint32_t j;

    if (i == 0) {
	*cp++ = '0';
	return cp;
    }

    if (i < 100)        goto b1;
    if (i < 10000)      goto b3;
    if (i < 1000000)    goto b5;
    if (i < 100000000)  goto b7;

    if ((j = i / 1000000000)) {*cp++ = j + '0'; i -= j*1000000000; goto x8;}
    if ((j = i / 100000000))  {*cp++ = j + '0'; i -= j*100000000;  goto x7;}
 b7:if ((j = i / 10000000))   {*cp++ = j + '0'; i -= j*10000000;   goto x6;}
    if ((j = i / 1000000))    {*cp++ = j + '0', i -= j*1000000;    goto x5;}
 b5:if ((j = i / 100000))     {*cp++ = j + '0', i -= j*100000;     goto x4;}
    if ((j = i / 10000))      {*cp++ = j + '0', i -= j*10000;      goto x3;}
 b3:if ((j = i / 1000))       {*cp++ = j + '0', i -= j*1000;       goto x2;}
    if ((j = i / 100))        {*cp++ = j + '0', i -= j*100;        goto x1;}
 b1:if ((j = i / 10))         {*cp++ = j + '0', i -= j*10;         goto x0;}
    if (i)                     *cp++ = i + '0';
    return cp;

 x8: *cp++ = i / 100000000 + '0', i %= 100000000;
 x7: *cp++ = i / 10000000  + '0', i %= 10000000;
 x6: *cp++ = i / 1000000   + '0', i %= 1000000;
 x5: *cp++ = i / 100000    + '0', i %= 100000;
 x4: *cp++ = i / 10000     + '0', i %= 10000;
 x3: *cp++ = i / 1000      + '0', i %= 1000;
 x2: *cp++ = i / 100       + '0', i %= 100;
 x1: *cp++ = i / 10        + '0', i %= 10;
 x0: *cp++ = i             + '0';

    return cp;
}

// Assembly:
testl %esi, %esi
je 0x1c7c7
cmpl $0x64, %esi
jae 0x1c7d2
cmpl $0xa, %esi
jae 0x1c801
orb $0x30, %sil
movb %sil, (%rdi)
jmp 0x1c7ca
movb $0x30, (%rdi)
incq %rdi
jmp 0x1c99f
cmpl $0x2710, %esi           # imm = 0x2710
jae 0x1c81a
cmpl $0x3e8, %esi            # imm = 0x3E8
jae 0x1c849
movw $0x64, %cx
movl %esi, %eax
xorl %edx, %edx
divw %cx
movzwl %ax, %eax
imull $-0x64, %eax, %edx
orb $0x30, %al
movb %al, (%rdi)
incq %rdi
addl %esi, %edx
jmp 0x1c988
movzbl %sil, %eax
movb $0xa, %cl
divb %cl
movzbl %al, %eax
imull $-0xa, %eax, %edx
orb $0x30, %al
movb %al, (%rdi)
addl %esi, %edx
jmp 0x1c995
cmpl $0xf4240, %esi          # imm = 0xF4240
jae 0x1c869
cmpl $0x186a0, %esi          # imm = 0x186A0
jae 0x1c899
movl $0x2710, %ecx           # imm = 0x2710
movl %esi, %eax
xorl %edx, %edx
divl %ecx
imull $0xffffd8f0, %eax, %edx # imm = 0xFFFFD8F0
orb $0x30, %al
movb %al, (%rdi)
incq %rdi
addl %esi, %edx
jmp 0x1c967
movw $0x3e8, %cx             # imm = 0x3E8
movl %esi, %eax
xorl %edx, %edx
divw %cx
movzwl %ax, %eax
leal 0x30(%rax), %ecx
movb %cl, (%rdi)
imull $0xfffffc18, %eax, %edx # imm = 0xFFFFFC18
addl %esi, %edx
jmp 0x1c976
cmpl $0x5f5e100, %esi        # imm = 0x5F5E100
jae 0x1c8b5
cmpl $0x989680, %esi         # imm = 0x989680
jae 0x1c8d8
movl $0xf4240, %ecx          # imm = 0xF4240
movl %esi, %eax
xorl %edx, %edx
divl %ecx
leal 0x30(%rax), %ecx
movb %cl, (%rdi)
incq %rdi
imull $0xfff0bdc0, %eax, %edx # imm = 0xFFF0BDC0
addl %esi, %edx
jmp 0x1c944
movl $0x186a0, %ecx          # imm = 0x186A0
movl %esi, %eax
xorl %edx, %edx
divl %ecx
imull $0xfffe7960, %eax, %edx # imm = 0xFFFE7960
orb $0x30, %al
movb %al, (%rdi)
addl %esi, %edx
jmp 0x1c953
cmpl $0x3b9aca00, %esi       # imm = 0x3B9ACA00
jae 0x1c8f1
leaq 0x1(%rdi), %r8
movl $0x5f5e100, %ecx        # imm = 0x5F5E100
movl %esi, %eax
xorl %edx, %edx
divl %ecx
movl %eax, %ecx
imull $0xfa0a1f00, %eax, %edx # imm = 0xFA0A1F00
addl %esi, %edx
jmp 0x1c918
movl $0x989680, %ecx         # imm = 0x989680
movl %esi, %eax
xorl %edx, %edx
divl %ecx
imull $0xff676980, %eax, %edx # imm = 0xFF676980
orb $0x30, %al
movb %al, (%rdi)
addl %esi, %edx
jmp 0x1c930
movl $0x3b9aca00, %ecx       # imm = 0x3B9ACA00
movl %esi, %eax
xorl %edx, %edx
divl %ecx
movl %eax, %ecx
imull $0xc4653600, %eax, %eax # imm = 0xC4653600
addl %esi, %eax
movl $0x5f5e100, %esi        # imm = 0x5F5E100
xorl %edx, %edx
divl %esi
addb $0x30, %al
leaq 0x2(%rdi), %r8
movb %al, 0x1(%rdi)
orb $0x30, %cl
movb %cl, (%rdi)
movl $0x989680, %ecx         # imm = 0x989680
movl %edx, %eax
xorl %edx, %edx
divl %ecx
addb $0x30, %al
movb %al, (%r8)
movq %r8, %rdi
movl $0xf4240, %ecx          # imm = 0xF4240
movl %edx, %eax
xorl %edx, %edx
divl %ecx
addb $0x30, %al
movb %al, 0x1(%rdi)
addq $0x2, %rdi
movl $0x186a0, %ecx          # imm = 0x186A0
movl %edx, %eax
xorl %edx, %edx
divl %ecx
addb $0x30, %al
movb %al, (%rdi)
movl $0x2710, %ecx           # imm = 0x2710
movl %edx, %eax
xorl %edx, %edx
divl %ecx
addb $0x30, %al
movb %al, 0x1(%rdi)
addq $0x2, %rdi
movl $0x3e8, %ecx            # imm = 0x3E8
movl %edx, %eax
xorl %edx, %edx
divl %ecx
addb $0x30, %al
movb %al, (%rdi)
pushq $0x64
popq %rcx
movl %edx, %eax
xorl %edx, %edx
divl %ecx
addb $0x30, %al
movb %al, 0x1(%rdi)
addq $0x2, %rdi
pushq $0xa
popq %rcx
movl %edx, %eax
xorl %edx, %edx
divl %ecx
addb $0x30, %al
movb %al, (%rdi)
addb $0x30, %dl
movb %dl, 0x1(%rdi)
addq $0x2, %rdi
movq %rdi, %rax
retq