// File: /workspace/github_c_makefile_star2_O0/samsonjs[P]lake/src/primitive.c
// Function: div
static LakeVal *_div(LakeCtx *ctx, LakeList *args)
{
    size_t n = LIST_N(args);

    if (n < 1)
    {
        ERR("/ requires at least one argument");
        return NULL;
    }

    LakeVal *v = LIST_VAL(args, 0);
    ENSURE_INT(v, (size_t)0);
    int result = INT_VAL(INT(v));

    if (n == 1)
    {
        if (result == 0)
        {
            DIVIDE_BY_ZERO();
            return NULL;
        }
        result = 1 / result;
    }
    else
    {
        size_t i;
        for (i = 1; i < n; ++i)
        {
            v = LIST_VAL(args, i);
            ENSURE_INT(v, i);
            int val = INT_VAL(INT(v));
            if (val == 0)
            {
                DIVIDE_BY_ZERO();
                return NULL;
            }
            result /= val;
        }
    }
    return VAL(int_from_c(result));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
cmpq $0x1, -0x20(%rbp)
jae 0x708a
jmp 0x7035
movq 0x5fbc(%rip), %rax      # 0xcff8
movq (%rax), %rdi
leaq 0x2018(%rip), %rsi      # 0x905e
movb $0x0, %al
callq 0x1160
movq 0x5fa4(%rip), %rax      # 0xcff8
movq (%rax), %rdi
leaq 0x2511(%rip), %rsi      # 0x956f
movb $0x0, %al
callq 0x1160
movq 0x5f8c(%rip), %rax      # 0xcff8
movq (%rax), %rdi
leaq 0x236a(%rip), %rsi      # 0x93e0
movb $0x0, %al
callq 0x1160
movq $0x0, -0x8(%rbp)
jmp 0x7326
movq -0x18(%rbp), %rcx
xorl %eax, %eax
cmpq 0x18(%rcx), %rax
jae 0x70a7
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
movq (%rax), %rax
movq %rax, -0x48(%rbp)
jmp 0x70af
xorl %eax, %eax
movq %rax, -0x48(%rbp)
jmp 0x70af
movq -0x48(%rbp), %rax
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rsi
movl $0x3, %edi
callq 0x40d0
cmpl $0x0, %eax
jne 0x7139
jmp 0x70cc
movq 0x5f25(%rip), %rax      # 0xcff8
movq (%rax), %rdi
leaq 0x1f81(%rip), %rsi      # 0x905e
movb $0x0, %al
callq 0x1160
movq 0x5f0d(%rip), %rax      # 0xcff8
movq (%rax), %rax
movq %rax, -0x50(%rbp)
movq -0x28(%rbp), %rdi
callq 0x40f0
movq -0x50(%rbp), %rdi
movq %rax, %rcx
leaq 0x2422(%rip), %rsi      # 0x952b
xorl %eax, %eax
movl %eax, %edx
movb $0x0, %al
callq 0x1160
movq 0x5edd(%rip), %rax      # 0xcff8
movq (%rax), %rdi
leaq 0x22bb(%rip), %rsi      # 0x93e0
movb $0x0, %al
callq 0x1160
movq $0x0, -0x8(%rbp)
jmp 0x7326
jmp 0x713b
movq -0x28(%rbp), %rax
movl 0x10(%rax), %eax
movl %eax, -0x2c(%rbp)
cmpq $0x1, -0x20(%rbp)
jne 0x71ba
cmpl $0x0, -0x2c(%rbp)
jne 0x71a9
jmp 0x7154
movq 0x5e9d(%rip), %rax      # 0xcff8
movq (%rax), %rdi
leaq 0x1ef9(%rip), %rsi      # 0x905e
movb $0x0, %al
callq 0x1160
movq 0x5e85(%rip), %rax      # 0xcff8
movq (%rax), %rdi
leaq 0x2413(%rip), %rsi      # 0x9590
movb $0x0, %al
callq 0x1160
movq 0x5e6d(%rip), %rax      # 0xcff8
movq (%rax), %rdi
leaq 0x224b(%rip), %rsi      # 0x93e0
movb $0x0, %al
callq 0x1160
movq $0x0, -0x8(%rbp)
jmp 0x7326
movl $0x1, %eax
cltd
idivl -0x2c(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0x731a
movq $0x1, -0x38(%rbp)
movq -0x38(%rbp), %rax
cmpq -0x20(%rbp), %rax
jae 0x7318
cmpq $0x0, -0x38(%rbp)
jb 0x71fb
movq -0x38(%rbp), %rax
movq -0x18(%rbp), %rcx
cmpq 0x18(%rcx), %rax
jae 0x71fb
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
movq -0x38(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x58(%rbp)
jmp 0x7203
xorl %eax, %eax
movq %rax, -0x58(%rbp)
jmp 0x7203
movq -0x58(%rbp), %rax
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rsi
movl $0x3, %edi
callq 0x40d0
cmpl $0x0, %eax
jne 0x7295
jmp 0x7220
movq 0x5dd1(%rip), %rax      # 0xcff8
movq (%rax), %rdi
leaq 0x1e2d(%rip), %rsi      # 0x905e
movb $0x0, %al
callq 0x1160
movq 0x5db9(%rip), %rax      # 0xcff8
movq (%rax), %rax
movq %rax, -0x68(%rbp)
movq -0x38(%rbp), %rax
movq %rax, -0x60(%rbp)
movq -0x28(%rbp), %rdi
callq 0x40f0
movq -0x68(%rbp), %rdi
movq -0x60(%rbp), %rdx
movq %rax, %rcx
leaq 0x22c2(%rip), %rsi      # 0x952b
movb $0x0, %al
callq 0x1160
movq 0x5d81(%rip), %rax      # 0xcff8
movq (%rax), %rdi
leaq 0x215f(%rip), %rsi      # 0x93e0
movb $0x0, %al
callq 0x1160
movq $0x0, -0x8(%rbp)
jmp 0x7326
jmp 0x7297
movq -0x28(%rbp), %rax
movl 0x10(%rax), %eax
movl %eax, -0x3c(%rbp)
cmpl $0x0, -0x3c(%rbp)
jne 0x72fb
jmp 0x72a9
movq 0x5d48(%rip), %rax      # 0xcff8
movq (%rax), %rdi
leaq 0x1da4(%rip), %rsi      # 0x905e
movb $0x0, %al
callq 0x1160
movq 0x5d30(%rip), %rax      # 0xcff8
movq (%rax), %rdi
leaq 0x22be(%rip), %rsi      # 0x9590
movb $0x0, %al
callq 0x1160
movq 0x5d18(%rip), %rax      # 0xcff8
movq (%rax), %rdi
leaq 0x20f6(%rip), %rsi      # 0x93e0
movb $0x0, %al
callq 0x1160
movq $0x0, -0x8(%rbp)
jmp 0x7326
movl -0x3c(%rbp), %ecx
movl -0x2c(%rbp), %eax
cltd
idivl %ecx
movl %eax, -0x2c(%rbp)
movq -0x38(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x38(%rbp)
jmp 0x71c2
jmp 0x731a
movl -0x2c(%rbp), %edi
callq 0x3fb0
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x70, %rsp
popq %rbp
retq