// File: /workspace/github_c_makefile_star2_O0/dalnefre[P]kernel_abe/kernel.c
// Function: copy_es_immutable_args_beh
static
BEH_DECL(copy_es_immutable_args_beh)
{
	CONS* state = MINE;
	CONS* cust;
	CONS* msg = WHAT;
	CONS* sexpr;

	DBUG_ENTER("copy_es_immutable_args_beh");
	ENSURE(is_pr(state));
	cust = hd(state);
	ENSURE(actorp(cust));
	ENSURE(is_pr(msg));
	sexpr = hd(msg);
	ENSURE(nilp(tl(msg)));

	SEND(sexpr, pr(cust, ATOM("copy_immutable")));
	DBUG_RETURN;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xe0, %rsp
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x25380
movq %rax, %rdi
callq 0x1a600
movq %rax, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x25510
movq %rax, -0x20(%rbp)
leaq 0x193da(%rip), %rax     # 0x29a0a
movq %rax, -0x50(%rbp)
leaq 0x1ece5(%rip), %rax     # 0x2f320
movq (%rax), %rax
movq 0x50(%rax), %rax
movl 0x8(%rax), %eax
movl %eax, -0x48(%rbp)
movl $0x9b0, -0x44(%rbp)     # imm = 0x9B0
leaq 0x18d19(%rip), %rax     # 0x2936f
movq %rax, -0x40(%rbp)
leaq 0x1eadf(%rip), %rax     # 0x2f140
movq %rax, -0x38(%rbp)
leaq 0x1ecb4(%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 0x1069e
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 0x106e5
leaq 0x1ebdb(%rip), %rax     # 0x2f290
cmpq %rax, -0x10(%rbp)
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0x106e5
movq -0x10(%rbp), %rax
andq $0x3, %rax
cmpq $0x1, %rax
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0x10762
movq -0x8(%rbp), %rax
movq %rax, -0x68(%rbp)
movq -0x8(%rbp), %rdi
leaq -0xaba8(%rip), %rsi     # 0x5b50
leaq 0x1eb91(%rip), %rdx     # 0x2f290
callq 0x1b6f0
movq %rax, -0x60(%rbp)
leaq 0x18e49(%rip), %rdi     # 0x29558
callq 0x216e0
movq %rax, -0x70(%rbp)
leaq 0x188fd(%rip), %rdi     # 0x2901c
callq 0x216e0
movq %rax, %rdi
movl $0x26c7, %esi           # imm = 0x26C7
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 $0x9b1, -0x44(%rbp)     # imm = 0x9B1
leaq -0x50(%rbp), %rdi
callq 0x28660
jmp 0x10a35
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 0x10812
movq -0x8(%rbp), %rax
movq %rax, -0x80(%rbp)
movq -0x8(%rbp), %rdi
leaq -0xac52(%rip), %rsi     # 0x5b50
leaq 0x1eae7(%rip), %rdx     # 0x2f290
callq 0x1b6f0
movq %rax, -0x78(%rbp)
leaq 0x18d9f(%rip), %rdi     # 0x29558
callq 0x216e0
movq %rax, -0x88(%rbp)
leaq 0x18850(%rip), %rdi     # 0x2901c
callq 0x216e0
movq %rax, %rdi
movl $0x26cf, %esi           # imm = 0x26CF
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 $0x9b3, -0x44(%rbp)     # imm = 0x9B3
leaq -0x50(%rbp), %rdi
callq 0x28660
jmp 0x10a35
xorl %eax, %eax
cmpq $0x0, -0x20(%rbp)
movb %al, -0x89(%rbp)
je 0x10836
movq -0x20(%rbp), %rax
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 0x10884
leaq 0x1ea40(%rip), %rax     # 0x2f290
cmpq %rax, -0x20(%rbp)
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0x10884
movq -0x20(%rbp), %rax
andq $0x3, %rax
cmpq $0x1, %rax
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0x10913
movq -0x8(%rbp), %rax
movq %rax, -0xa0(%rbp)
movq -0x8(%rbp), %rdi
leaq -0xad4a(%rip), %rsi     # 0x5b50
leaq 0x1e9ef(%rip), %rdx     # 0x2f290
callq 0x1b6f0
movq %rax, -0x98(%rbp)
leaq 0x18ca4(%rip), %rdi     # 0x29558
callq 0x216e0
movq %rax, -0xa8(%rbp)
leaq 0x18755(%rip), %rdi     # 0x2901c
callq 0x216e0
movq %rax, %rdi
movl $0x26d3, %esi           # imm = 0x26D3
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 $0x9b4, -0x44(%rbp)     # imm = 0x9B4
leaq -0x50(%rbp), %rdi
callq 0x28660
jmp 0x10a35
movq -0x20(%rbp), %rdi
callq 0x25380
movq %rax, -0x28(%rbp)
movq -0x20(%rbp), %rdi
callq 0x25510
leaq 0x1e960(%rip), %rcx     # 0x2f290
cmpq %rcx, %rax
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0x109d3
movq -0x8(%rbp), %rax
movq %rax, -0xb8(%rbp)
movq -0x8(%rbp), %rdi
leaq -0xae0d(%rip), %rsi     # 0x5b50
leaq 0x1e92c(%rip), %rdx     # 0x2f290
callq 0x1b6f0
movq %rax, -0xb0(%rbp)
leaq 0x18be1(%rip), %rdi     # 0x29558
callq 0x216e0
movq %rax, -0xc0(%rbp)
leaq 0x18692(%rip), %rdi     # 0x2901c
callq 0x216e0
movq %rax, %rdi
movl $0x26db, %esi           # imm = 0x26DB
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 $0x9b6, -0x44(%rbp)     # imm = 0x9B6
leaq -0x50(%rbp), %rdi
callq 0x28660
jmp 0x10a35
movq -0x8(%rbp), %rax
movq %rax, -0xd0(%rbp)
movq -0x28(%rbp), %rax
movq %rax, -0xc8(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0xd8(%rbp)
leaq 0x18b83(%rip), %rdi     # 0x2957e
callq 0x216e0
movq -0xd8(%rbp), %rdi
movq %rax, %rsi
callq 0x25290
movq -0xd0(%rbp), %rdi
movq -0xc8(%rbp), %rsi
movq %rax, %rdx
callq 0x1b810
movl $0x9b9, -0x44(%rbp)     # imm = 0x9B9
leaq -0x50(%rbp), %rdi
callq 0x28660
addq $0xe0, %rsp
popq %rbp
retq
nop