// File: /workspace/github_c_makefile_star2_O0/voithos[P]awl/src/builtins.c
// Function: builtin_var
awlval* builtin_var(awlenv* e, awlval* a, bool global) {
    char* op = global ? "global" : "define";
    AWLASSERT_MINARGCOUNT(a, 2, op);

    /* Special case when there is a single symbol to be defined */
    if (a->cell[0]->type == AWLVAL_SYM) {
        AWLASSERT_ARGCOUNT(a, 2, op);

        int index = awlenv_index(e, a->cell[0]);
        AWLASSERT(a, index == -1,
                "cannot redefine '%s'", a->cell[0]->sym);

        EVAL_SINGLE_ARG(e, a, 1);

        if (global) {
            awlenv_put_global(e, a->cell[0], a->cell[1]);
        } else {
            awlenv_put(e, a->cell[0], a->cell[1]);
        }
        return awlval_take(a, 1);
    }

    AWLASSERT_TYPE(a, 0, AWLVAL_SEXPR, op);

    awlval* syms = a->cell[0];
    for (int i = 0; i < syms->count; i++) {
        AWLASSERT(a, (syms->cell[i]->type == AWLVAL_SYM),
                "function '%s' cannot define non-symbol at position %i", op, i);
    }

    for (int i = 0; i < syms->count; i++) {
        int index = awlenv_index(e, syms->cell[i]);
        AWLASSERT(a, index == -1,
                "cannot redefine '%s'", syms->cell[i]->sym);
    }

    AWLASSERT(a, (syms->count == a->count - 1),
            "function '%s' given non-matching number of symbols and values; %i symbols, %i values",
            op, syms->count, a->count - 1);

    /* Evaluate value arguments (but not the symbols) */
    for (int i = 1; i < a->count; i++) {
        EVAL_SINGLE_ARG(e, a, i);
    }

    for (int i = 0; i < syms->count; i++) {
        if (global) {
            awlenv_put_global(e, syms->cell[i], a->cell[i + 1]);
        } else {
            awlenv_put(e, syms->cell[i], a->cell[i + 1]);
        }
    }

    return awlval_take(a, a->count - 1);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xa0, %rsp
movb %dl, %al
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
andb $0x1, %al
movb %al, -0x19(%rbp)
movb -0x19(%rbp), %dl
leaq 0x14b77(%rip), %rax     # 0x1a31b
leaq 0x14b69(%rip), %rcx     # 0x1a314
testb $0x1, %dl
cmovneq %rcx, %rax
movq %rax, -0x28(%rbp)
movq -0x18(%rbp), %rax
cmpl $0x2, 0x4(%rax)
jge 0x57f8
movq -0x28(%rbp), %rsi
movq -0x18(%rbp), %rax
movl 0x4(%rax), %ecx
leaq 0x148dd(%rip), %rdi     # 0x1a0af
movl $0x2, %edx
movb $0x0, %al
callq 0x16600
movq %rax, -0x30(%rbp)
movq -0x18(%rbp), %rdi
callq 0x16cf0
movq -0x30(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x5bfc
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
cmpl $0x3, (%rax)
jne 0x592d
movq -0x18(%rbp), %rax
cmpl $0x2, 0x4(%rax)
je 0x584e
movq -0x28(%rbp), %rsi
movq -0x18(%rbp), %rax
movl 0x4(%rax), %ecx
leaq 0x148ba(%rip), %rdi     # 0x1a0e2
movl $0x2, %edx
movb $0x0, %al
callq 0x16600
movq %rax, -0x38(%rbp)
movq -0x18(%rbp), %rdi
callq 0x16cf0
movq -0x38(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x5bfc
movq -0x10(%rbp), %rdi
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rsi
callq 0x188d0
movl %eax, -0x3c(%rbp)
cmpl $-0x1, -0x3c(%rbp)
je 0x58a2
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
movq 0x18(%rax), %rsi
leaq 0x14aa1(%rip), %rdi     # 0x1a322
movb $0x0, %al
callq 0x16600
movq %rax, -0x48(%rbp)
movq -0x18(%rbp), %rdi
callq 0x16cf0
movq -0x48(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x5bfc
movq -0x10(%rbp), %rdi
movq -0x18(%rbp), %rsi
movl $0x1, %edx
callq 0x7be0
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
cmpl $0x2, (%rax)
jne 0x58ce
movq -0x18(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x5bfc
testb $0x1, -0x19(%rbp)
je 0x58f6
movq -0x10(%rbp), %rdi
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rsi
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rdx
callq 0x189f0
jmp 0x5916
movq -0x10(%rbp), %rdi
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rsi
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rdx
callq 0x189b0
movq -0x18(%rbp), %rdi
movl $0x1, %esi
callq 0x17560
movq %rax, -0x8(%rbp)
jmp 0x5bfc
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
cmpl $0xb, (%rax)
je 0x59a6
movq -0x28(%rbp), %rax
movq %rax, -0x98(%rbp)
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
movl (%rax), %edi
callq 0x161a0
movq %rax, -0x90(%rbp)
movl $0xb, %edi
callq 0x161a0
movq -0x98(%rbp), %rsi
movq -0x90(%rbp), %rcx
movq %rax, %r8
leaq 0x147a6(%rip), %rdi     # 0x1a129
xorl %edx, %edx
movb $0x0, %al
callq 0x16600
movq %rax, -0x50(%rbp)
movq -0x18(%rbp), %rdi
callq 0x16cf0
movq -0x50(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x5bfc
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
movq %rax, -0x58(%rbp)
movl $0x0, -0x5c(%rbp)
movl -0x5c(%rbp), %eax
movq -0x58(%rbp), %rcx
cmpl 0x4(%rcx), %eax
jge 0x5a19
movq -0x58(%rbp), %rax
movq 0x8(%rax), %rax
movslq -0x5c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
cmpl $0x3, (%rax)
je 0x5a0c
movq -0x28(%rbp), %rsi
movl -0x5c(%rbp), %edx
leaq 0x1494c(%rip), %rdi     # 0x1a337
movb $0x0, %al
callq 0x16600
movq %rax, -0x68(%rbp)
movq -0x18(%rbp), %rdi
callq 0x16cf0
movq -0x68(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x5bfc
jmp 0x5a0e
movl -0x5c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x5c(%rbp)
jmp 0x59bc
movl $0x0, -0x6c(%rbp)
movl -0x6c(%rbp), %eax
movq -0x58(%rbp), %rcx
cmpl 0x4(%rcx), %eax
jge 0x5a97
movq -0x10(%rbp), %rdi
movq -0x58(%rbp), %rax
movq 0x8(%rax), %rax
movslq -0x6c(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
callq 0x188d0
movl %eax, -0x70(%rbp)
cmpl $-0x1, -0x70(%rbp)
je 0x5a8a
movq -0x58(%rbp), %rax
movq 0x8(%rax), %rax
movslq -0x6c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq 0x18(%rax), %rsi
leaq 0x148b9(%rip), %rdi     # 0x1a322
movb $0x0, %al
callq 0x16600
movq %rax, -0x78(%rbp)
movq -0x18(%rbp), %rdi
callq 0x16cf0
movq -0x78(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x5bfc
jmp 0x5a8c
movl -0x6c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x6c(%rbp)
jmp 0x5a20
movq -0x58(%rbp), %rax
movl 0x4(%rax), %eax
movq -0x18(%rbp), %rcx
movl 0x4(%rcx), %ecx
subl $0x1, %ecx
cmpl %ecx, %eax
je 0x5ae9
movq -0x28(%rbp), %rsi
movq -0x58(%rbp), %rax
movl 0x4(%rax), %edx
movq -0x18(%rbp), %rax
movl 0x4(%rax), %ecx
subl $0x1, %ecx
leaq 0x148a5(%rip), %rdi     # 0x1a36d
movb $0x0, %al
callq 0x16600
movq %rax, -0x80(%rbp)
movq -0x18(%rbp), %rdi
callq 0x16cf0
movq -0x80(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x5bfc
movl $0x1, -0x84(%rbp)
movl -0x84(%rbp), %eax
movq -0x18(%rbp), %rcx
cmpl 0x4(%rcx), %eax
jge 0x5b42
movq -0x10(%rbp), %rdi
movq -0x18(%rbp), %rsi
movl -0x84(%rbp), %edx
callq 0x7be0
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
cmpl $0x2, (%rax)
jne 0x5b2f
movq -0x18(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x5bfc
jmp 0x5b31
movl -0x84(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x84(%rbp)
jmp 0x5af3
movl $0x0, -0x88(%rbp)
movl -0x88(%rbp), %eax
movq -0x58(%rbp), %rcx
cmpl 0x4(%rcx), %eax
jge 0x5be5
testb $0x1, -0x19(%rbp)
je 0x5b9b
movq -0x10(%rbp), %rdi
movq -0x58(%rbp), %rax
movq 0x8(%rax), %rax
movslq -0x88(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movl -0x88(%rbp), %ecx
addl $0x1, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rdx
callq 0x189f0
jmp 0x5bcf
movq -0x10(%rbp), %rdi
movq -0x58(%rbp), %rax
movq 0x8(%rax), %rax
movslq -0x88(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movl -0x88(%rbp), %ecx
addl $0x1, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rdx
callq 0x189b0
jmp 0x5bd1
movl -0x88(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x88(%rbp)
jmp 0x5b4c
movq -0x18(%rbp), %rdi
movq -0x18(%rbp), %rax
movl 0x4(%rax), %esi
subl $0x1, %esi
callq 0x17560
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0xa0, %rsp
popq %rbp
retq
nopl (%rax)