// File: /workspace/github_c_makefile_star2_O0/dalnefre[P]kernel_abe/schemer.c
// Function: apply_define_beh
BEH_DECL(apply_define_beh)
{
	CONS* value = WHAT;
	CONS* to;
	CONS* name;
	CONS* env;
	CONS* p = MINE;
	CONS* msg;

	DBUG_ENTER("apply_define_beh");
	to = pr_head(p);
	p = pr_tail(p);
	name = pr_head(p);
	DBUG_PRINT("", ("name = %s", cons_to_str(name)));
	DBUG_PRINT("", ("value = %s", cons_to_str(value)));
	env = pr_tail(p);
	msg = mk_empty();
	msg = mk_list(value, msg);
	msg = mk_list(name, msg);
	msg = mk_list(ATOM("define"), msg);
	msg = mk_pair(msg, env);
	msg = mk_pair(to, msg);
	SEND(env, msg);
	DBUG_RETURN;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x1c340
movq %rax, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x1c1b0
movq %rax, %rdi
callq 0x11430
movq %rax, -0x30(%rbp)
leaq 0x19cd2(%rip), %rax     # 0x2025f
movq %rax, -0x60(%rbp)
leaq 0x1fd78(%rip), %rax     # 0x26310
movq (%rax), %rax
movq 0x50(%rax), %rax
movl 0x8(%rax), %eax
movl %eax, -0x58(%rbp)
movl $0x339, -0x54(%rbp)     # imm = 0x339
leaq 0x1c5d9(%rip), %rax     # 0x22b8c
movq %rax, -0x50(%rbp)
leaq 0x1fb72(%rip), %rax     # 0x26130
movq %rax, -0x48(%rbp)
leaq 0x1fd47(%rip), %rax     # 0x26310
movq (%rax), %rax
movq 0x50(%rax), %rax
movq %rax, -0x40(%rbp)
leaq -0x60(%rbp), %rdi
callq 0x1f2c0
movq -0x30(%rbp), %rdi
callq 0x1c1b0
movq %rax, -0x18(%rbp)
movq -0x30(%rbp), %rdi
callq 0x1c340
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rdi
callq 0x1c1b0
movq %rax, -0x20(%rbp)
leaq 0x202d5(%rip), %rax     # 0x268e0
cmpl $0x0, (%rax)
je 0x6669
leaq 0x1fcf9(%rip), %rax     # 0x26310
movq (%rax), %rax
movq 0x50(%rax), %rax
leaq 0x1c567(%rip), %rcx     # 0x22b8c
movq %rcx, 0x10(%rax)
leaq 0x1c55c(%rip), %rdi     # 0x22b8c
callq 0x1e6d0
cmpl $0x0, %eax
je 0x6669
leaq 0x1fccf(%rip), %rax     # 0x26310
movq (%rax), %rax
movq 0x50(%rax), %rax
movl $0x33d, 0xc(%rax)       # imm = 0x33D
movq -0x20(%rbp), %rdi
callq 0x14080
movq %rax, %rsi
leaq 0x19a38(%rip), %rdi     # 0x2009a
movb $0x0, %al
callq 0x1f370
jmp 0x666b
jmp 0x666d
leaq 0x2026c(%rip), %rax     # 0x268e0
cmpl $0x0, (%rax)
je 0x66d2
leaq 0x1fc90(%rip), %rax     # 0x26310
movq (%rax), %rax
movq 0x50(%rax), %rax
leaq 0x1c4fe(%rip), %rcx     # 0x22b8c
movq %rcx, 0x10(%rax)
leaq 0x1c4f3(%rip), %rdi     # 0x22b8c
callq 0x1e6d0
cmpl $0x0, %eax
je 0x66d2
leaq 0x1fc66(%rip), %rax     # 0x26310
movq (%rax), %rax
movq 0x50(%rax), %rax
movl $0x33e, 0xc(%rax)       # imm = 0x33E
movq -0x10(%rbp), %rdi
callq 0x14080
movq %rax, %rsi
leaq 0x199d9(%rip), %rdi     # 0x200a4
movb $0x0, %al
callq 0x1f370
jmp 0x66d4
movq -0x30(%rbp), %rdi
callq 0x1c340
movq %rax, -0x28(%rbp)
leaq 0x1fb98(%rip), %rax     # 0x26280
movq %rax, -0x38(%rbp)
movq -0x10(%rbp), %rdi
movq -0x38(%rbp), %rsi
callq 0x1c0c0
movq %rax, -0x38(%rbp)
movq -0x20(%rbp), %rdi
movq -0x38(%rbp), %rsi
callq 0x1c0c0
movq %rax, -0x38(%rbp)
leaq 0x1999a(%rip), %rdi     # 0x200af
callq 0x18510
movq %rax, %rdi
movq -0x38(%rbp), %rsi
callq 0x1c0c0
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0x1c0c0
movq %rax, -0x38(%rbp)
movq -0x18(%rbp), %rdi
movq -0x38(%rbp), %rsi
callq 0x1c0c0
movq %rax, -0x38(%rbp)
movq -0x8(%rbp), %rdi
movq -0x28(%rbp), %rsi
movq -0x38(%rbp), %rdx
callq 0x12640
movl $0x347, -0x54(%rbp)     # imm = 0x347
leaq -0x60(%rbp), %rdi
callq 0x1f490
addq $0x60, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)