// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: kmg
static s7_pointer kmg(s7_scheme *sc, s7_int bytes)
                {
                    block_t *b;
                    int len = 0;
                    b = mallocate(sc, 128);
                    if (bytes < 1000)
                        len = snprintf((char *)block_data(b), 128, "%" print_s7_int, bytes);
                    else
                    {
                        if (bytes < 1000000)
                            len = snprintf((char *)block_data(b), 128, "%.1fk", bytes / 1000.0);
                        else
                        {
                            if (bytes < 1000000000)
                                len = snprintf((char *)block_data(b), 128, "%.1fM", bytes / 1000000.0);
                            else len = snprintf((char *)block_data(b), 128, "%.1fG", bytes / 1000000000.0);
                        }
                    }
                    return(cons(sc, make_integer(sc, bytes), block_to_string(sc, b, len)));
                }

// Assembly:
subq $0x68, %rsp
movq %rdi, 0x60(%rsp)
movq %rsi, 0x58(%rsp)
movl $0x0, 0x4c(%rsp)
movq 0x60(%rsp), %rdi
movl $0x80, %esi
callq 0xaa80
movq %rax, 0x50(%rsp)
cmpq $0x3e8, 0x58(%rsp)      # imm = 0x3E8
jge 0x1a071e
movq 0x50(%rsp), %rax
movq (%rax), %rdi
movq 0x58(%rsp), %rcx
movl $0x80, %esi
leaq 0x523b5(%rip), %rdx     # 0x1f2ac3
movb $0x0, %al
callq 0x9210
movl %eax, 0x4c(%rsp)
jmp 0x1a07d2
cmpq $0xf4240, 0x58(%rsp)    # imm = 0xF4240
jge 0x1a075d
movq 0x50(%rsp), %rax
movq (%rax), %rdi
cvtsi2sdq 0x58(%rsp), %xmm0
movsd 0x41338(%rip), %xmm1    # 0x1e1a78
divsd %xmm1, %xmm0
movl $0x80, %esi
leaq 0x51468(%rip), %rdx     # 0x1f1bb8
movb $0x1, %al
callq 0x9210
movl %eax, 0x4c(%rsp)
jmp 0x1a07d0
cmpq $0x3b9aca00, 0x58(%rsp) # imm = 0x3B9ACA00
jge 0x1a079c
movq 0x50(%rsp), %rax
movq (%rax), %rdi
cvtsi2sdq 0x58(%rsp), %xmm0
movsd 0x41309(%rip), %xmm1    # 0x1e1a88
divsd %xmm1, %xmm0
movl $0x80, %esi
leaq 0x5142f(%rip), %rdx     # 0x1f1bbe
movb $0x1, %al
callq 0x9210
movl %eax, 0x4c(%rsp)
jmp 0x1a07ce
movq 0x50(%rsp), %rax
movq (%rax), %rdi
cvtsi2sdq 0x58(%rsp), %xmm0
movsd 0x412dd(%rip), %xmm1    # 0x1e1a90
divsd %xmm1, %xmm0
movl $0x80, %esi
leaq 0x51401(%rip), %rdx     # 0x1f1bc4
movb $0x1, %al
callq 0x9210
movl %eax, 0x4c(%rsp)
jmp 0x1a07d0
jmp 0x1a07d2
movq 0x58(%rsp), %rax
movq %rax, 0x28(%rsp)
movq 0x28(%rsp), %rax
andq $-0x800, %rax           # imm = 0xF800
cmpq $0x0, %rax
jne 0x1a0803
movq 0x28(%rsp), %rcx
leaq 0x75c87(%rip), %rax     # 0x216480
movq (%rax,%rcx,8), %rax
movq %rax, (%rsp)
jmp 0x1a0879
jmp 0x1a0805
movq 0x60(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x60(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x1a0829
movq 0x60(%rsp), %rdi
callq 0xc670
movq 0x60(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x18(%rsp)
movq 0x18(%rsp), %rax
movq $0xb, (%rax)
movq 0x28(%rsp), %rcx
movq 0x18(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x18(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
movq %rax, (%rsp)
movq (%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x20(%rsp), %rax
movq %rax, 0x38(%rsp)
movq 0x60(%rsp), %rdi
movq 0x50(%rsp), %rsi
movslq 0x4c(%rsp), %rdx
callq 0x2d220
movq %rax, 0x30(%rsp)
movq 0x60(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x60(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x1a08c9
movq 0x60(%rsp), %rdi
callq 0xc670
movq 0x60(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x40(%rsp)
movq 0x40(%rsp), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq 0x38(%rsp), %rcx
movq 0x40(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x30(%rsp), %rcx
movq 0x40(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x40(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rax
addq $0x68, %rsp
retq
nopl (%rax,%rax)