// File: /workspace/github_c_makefile_star2_O0/dalnefre[P]kernel_abe/kernel.c
// Function: eval_sequence_beh
static
BEH_DECL(eval_sequence_beh)
{
	CONS* state = MINE;
	CONS* cust;
	CONS* body;
	CONS* env;

	DBUG_ENTER("eval_sequence_beh");
	ENSURE(is_pr(state));
	cust = hd(state);
	ENSURE(actorp(cust));
	ENSURE(is_pr(tl(state)));
	body = hd(tl(state));
	env = tl(tl(state));
	ENSURE(WHAT == a_inert);

	SEND(body, pr(cust, pr(ATOM("foldl"),
		pr(a_inert, pr(MK_FUNC(pair_tail), pr(ATOM("eval"), env))))));
	DBUG_RETURN;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xf0, %rsp
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x25380
movq %rax, %rdi
callq 0x1a600
movq %rax, -0x10(%rbp)
leaq 0x11247(%rip), %rax     # 0x29ae6
movq %rax, -0x50(%rbp)
leaq 0x16a76(%rip), %rax     # 0x2f320
movq (%rax), %rax
movq 0x50(%rax), %rax
movl 0x8(%rax), %eax
movl %eax, -0x48(%rbp)
movl $0x732, -0x44(%rbp)     # imm = 0x732
leaq 0x10aaa(%rip), %rax     # 0x2936f
movq %rax, -0x40(%rbp)
leaq 0x16870(%rip), %rax     # 0x2f140
movq %rax, -0x38(%rbp)
leaq 0x16a45(%rip), %rax     # 0x2f320
movq (%rax), %rax
movq 0x50(%rax), %rax
movq %rax, -0x30(%rbp)
leaq -0x50(%rbp), %rdi
callq 0x28490
xorl %eax, %eax
cmpq $0x0, -0x10(%rbp)
movb %al, -0x51(%rbp)
je 0x1890d
movq -0x10(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
sete %al
movb %al, -0x51(%rbp)
movb -0x51(%rbp), %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0x18954
leaq 0x1696c(%rip), %rax     # 0x2f290
cmpq %rax, -0x10(%rbp)
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0x18954
movq -0x10(%rbp), %rax
andq $0x3, %rax
cmpq $0x1, %rax
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0x189d1
movq -0x8(%rbp), %rax
movq %rax, -0x68(%rbp)
movq -0x8(%rbp), %rdi
leaq -0x12e17(%rip), %rsi    # 0x5b50
leaq 0x16922(%rip), %rdx     # 0x2f290
callq 0x1b6f0
movq %rax, -0x60(%rbp)
leaq 0x10bda(%rip), %rdi     # 0x29558
callq 0x216e0
movq %rax, -0x70(%rbp)
leaq 0x1068e(%rip), %rdi     # 0x2901c
callq 0x216e0
movq %rax, %rdi
movl $0x1ccf, %esi           # imm = 0x1CCF
callq 0x25290
movq -0x70(%rbp), %rdi
movq %rax, %rsi
callq 0x25290
movq -0x68(%rbp), %rdi
movq -0x60(%rbp), %rsi
movq %rax, %rdx
callq 0x1b810
movl $0x733, -0x44(%rbp)     # imm = 0x733
leaq -0x50(%rbp), %rdi
callq 0x28660
jmp 0x18d44
movq -0x10(%rbp), %rdi
callq 0x25380
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
andq $0x3, %rax
cmpq $0x1, %rax
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0x18a81
movq -0x8(%rbp), %rax
movq %rax, -0x80(%rbp)
movq -0x8(%rbp), %rdi
leaq -0x12ec1(%rip), %rsi    # 0x5b50
leaq 0x16878(%rip), %rdx     # 0x2f290
callq 0x1b6f0
movq %rax, -0x78(%rbp)
leaq 0x10b30(%rip), %rdi     # 0x29558
callq 0x216e0
movq %rax, -0x88(%rbp)
leaq 0x105e1(%rip), %rdi     # 0x2901c
callq 0x216e0
movq %rax, %rdi
movl $0x1cd7, %esi           # imm = 0x1CD7
callq 0x25290
movq -0x88(%rbp), %rdi
movq %rax, %rsi
callq 0x25290
movq -0x80(%rbp), %rdi
movq -0x78(%rbp), %rsi
movq %rax, %rdx
callq 0x1b810
movl $0x735, -0x44(%rbp)     # imm = 0x735
leaq -0x50(%rbp), %rdi
callq 0x28660
jmp 0x18d44
movq -0x10(%rbp), %rdi
callq 0x25510
movq %rax, %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movb %al, -0x89(%rbp)
je 0x18ab5
movq -0x10(%rbp), %rdi
callq 0x25510
andq $0x3, %rax
cmpq $0x0, %rax
sete %al
movb %al, -0x89(%rbp)
movb -0x89(%rbp), %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0x18b10
movq -0x10(%rbp), %rdi
callq 0x25510
leaq 0x167b8(%rip), %rcx     # 0x2f290
cmpq %rcx, %rax
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0x18b10
movq -0x10(%rbp), %rdi
callq 0x25510
andq $0x3, %rax
cmpq $0x1, %rax
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0x18b9f
movq -0x8(%rbp), %rax
movq %rax, -0xa0(%rbp)
movq -0x8(%rbp), %rdi
leaq -0x12fd6(%rip), %rsi    # 0x5b50
leaq 0x16763(%rip), %rdx     # 0x2f290
callq 0x1b6f0
movq %rax, -0x98(%rbp)
leaq 0x10a18(%rip), %rdi     # 0x29558
callq 0x216e0
movq %rax, -0xa8(%rbp)
leaq 0x104c9(%rip), %rdi     # 0x2901c
callq 0x216e0
movq %rax, %rdi
movl $0x1cdb, %esi           # imm = 0x1CDB
callq 0x25290
movq -0xa8(%rbp), %rdi
movq %rax, %rsi
callq 0x25290
movq -0xa0(%rbp), %rdi
movq -0x98(%rbp), %rsi
movq %rax, %rdx
callq 0x1b810
movl $0x736, -0x44(%rbp)     # imm = 0x736
leaq -0x50(%rbp), %rdi
callq 0x28660
jmp 0x18d44
movq -0x10(%rbp), %rdi
callq 0x25510
movq %rax, %rdi
callq 0x25380
movq %rax, -0x20(%rbp)
movq -0x10(%rbp), %rdi
callq 0x25510
movq %rax, %rdi
callq 0x25510
movq %rax, -0x28(%rbp)
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x25510
cmpq 0x167bb(%rip), %rax     # 0x2f398
je 0x18c72
movq -0x8(%rbp), %rax
movq %rax, -0xb8(%rbp)
movq -0x8(%rbp), %rdi
leaq -0x130a9(%rip), %rsi    # 0x5b50
leaq 0x16690(%rip), %rdx     # 0x2f290
callq 0x1b6f0
movq %rax, -0xb0(%rbp)
leaq 0x10945(%rip), %rdi     # 0x29558
callq 0x216e0
movq %rax, -0xc0(%rbp)
leaq 0x103f6(%rip), %rdi     # 0x2901c
callq 0x216e0
movq %rax, %rdi
movl $0x1ce7, %esi           # imm = 0x1CE7
callq 0x25290
movq -0xc0(%rbp), %rdi
movq %rax, %rsi
callq 0x25290
movq -0xb8(%rbp), %rdi
movq -0xb0(%rbp), %rsi
movq %rax, %rdx
callq 0x1b810
movl $0x739, -0x44(%rbp)     # imm = 0x739
leaq -0x50(%rbp), %rdi
callq 0x28660
jmp 0x18d44
movq -0x8(%rbp), %rax
movq %rax, -0xd0(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0xc8(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0xd8(%rbp)
leaq 0x10955(%rip), %rdi     # 0x295ef
callq 0x216e0
movq %rax, -0xe0(%rbp)
movq 0x166eb(%rip), %rax     # 0x2f398
movq %rax, -0xe8(%rbp)
leaq 0x95(%rip), %rax        # 0x18d50
shlq $0x2, %rax
orq $0x3, %rax
movq %rax, -0xf0(%rbp)
leaq 0x108ed(%rip), %rdi     # 0x295be
callq 0x216e0
movq %rax, %rdi
movq -0x28(%rbp), %rsi
callq 0x25290
movq -0xf0(%rbp), %rdi
movq %rax, %rsi
callq 0x25290
movq -0xe8(%rbp), %rdi
movq %rax, %rsi
callq 0x25290
movq -0xe0(%rbp), %rdi
movq %rax, %rsi
callq 0x25290
movq -0xd8(%rbp), %rdi
movq %rax, %rsi
callq 0x25290
movq -0xd0(%rbp), %rdi
movq -0xc8(%rbp), %rsi
movq %rax, %rdx
callq 0x1b810
movl $0x73d, -0x44(%rbp)     # imm = 0x73D
leaq -0x50(%rbp), %rdi
callq 0x28660
addq $0xf0, %rsp
popq %rbp
retq
nopl (%rax)