// File: /workspace/github_c_makefile_star2_O0/dalnefre[P]kernel_abe/schemer.c
// Function: join_par_beh
BEH_DECL(join_par_beh)
{
	CONS* to;
	CONS* value;
	CONS* list;

	DBUG_ENTER("join_par_beh");
	to = MINE;
	if (is_pair(WHAT) && (pr_head(WHAT) == to)) {
		value = pr_tail(WHAT);
		DBUG_PRINT("", ("value = %s", cons_to_str(value)));
		BECOME(join_list_beh, mk_pair(to, value));
	} else if (is_list(WHAT)) {
		list = WHAT;
		DBUG_PRINT("", ("list = %s", cons_to_str(list)));
		BECOME(join_value_beh, mk_pair(to, list));
	} else {
		DBUG_PRINT("", ("Ignored! %s", cons_to_str(WHAT)));
		abort();
	}
	DBUG_RETURN;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq %rdi, -0x8(%rbp)
leaq 0x17d82(%rip), %rax     # 0x202e5
movq %rax, -0x48(%rbp)
leaq 0x1dda2(%rip), %rax     # 0x26310
movq (%rax), %rax
movq 0x50(%rax), %rax
movl 0x8(%rax), %eax
movl %eax, -0x40(%rbp)
movl $0x47e, -0x3c(%rbp)     # imm = 0x47E
leaq 0x1a603(%rip), %rax     # 0x22b8c
movq %rax, -0x38(%rbp)
leaq 0x1db9c(%rip), %rax     # 0x26130
movq %rax, -0x30(%rbp)
leaq 0x1dd71(%rip), %rax     # 0x26310
movq (%rax), %rax
movq 0x50(%rax), %rax
movq %rax, -0x28(%rbp)
leaq -0x48(%rbp), %rdi
callq 0x1f2c0
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x1c1b0
movq %rax, %rdi
callq 0x11430
movq %rax, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x1c340
movq %rax, %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movb %al, -0x49(%rbp)
je 0x8602
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x1c340
andq $0x3, %rax
cmpq $0x0, %rax
sete %al
movb %al, -0x49(%rbp)
movb -0x49(%rbp), %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0x8716
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x1c340
leaq 0x1dc56(%rip), %rcx     # 0x26280
cmpq %rcx, %rax
sete %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
jne 0x8716
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x1c340
movq %rax, %rdi
callq 0x1c1b0
cmpq -0x10(%rbp), %rax
jne 0x8716
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x1c340
movq %rax, %rdi
callq 0x1c340
movq %rax, -0x18(%rbp)
leaq 0x1e260(%rip), %rax     # 0x268e0
cmpl $0x0, (%rax)
je 0x86de
leaq 0x1dc84(%rip), %rax     # 0x26310
movq (%rax), %rax
movq 0x50(%rax), %rax
leaq 0x1a4f2(%rip), %rcx     # 0x22b8c
movq %rcx, 0x10(%rax)
leaq 0x1a4e7(%rip), %rdi     # 0x22b8c
callq 0x1e6d0
cmpl $0x0, %eax
je 0x86de
leaq 0x1dc5a(%rip), %rax     # 0x26310
movq (%rax), %rax
movq 0x50(%rax), %rax
movl $0x482, 0xc(%rax)       # imm = 0x482
movq -0x18(%rbp), %rdi
callq 0x14080
movq %rax, %rsi
leaq 0x179cd(%rip), %rdi     # 0x200a4
movb $0x0, %al
callq 0x1f370
jmp 0x86e0
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x1c1b0
movq %rax, -0x58(%rbp)
movq -0x10(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0x1c0c0
movq -0x58(%rbp), %rdi
movq %rax, %rdx
leaq -0xe0c(%rip), %rsi      # 0x7900
callq 0x11910
jmp 0x8887
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x1c340
movq %rax, %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movb %al, -0x59(%rbp)
je 0x874c
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x1c340
andq $0x3, %rax
cmpq $0x0, %rax
sete %al
movb %al, -0x59(%rbp)
movb -0x59(%rbp), %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0x880b
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x1c340
movq %rax, -0x20(%rbp)
leaq 0x1e168(%rip), %rax     # 0x268e0
cmpl $0x0, (%rax)
je 0x87d6
leaq 0x1db8c(%rip), %rax     # 0x26310
movq (%rax), %rax
movq 0x50(%rax), %rax
leaq 0x1a3fa(%rip), %rcx     # 0x22b8c
movq %rcx, 0x10(%rax)
leaq 0x1a3ef(%rip), %rdi     # 0x22b8c
callq 0x1e6d0
cmpl $0x0, %eax
je 0x87d6
leaq 0x1db62(%rip), %rax     # 0x26310
movq (%rax), %rax
movq 0x50(%rax), %rax
movl $0x486, 0xc(%rax)       # imm = 0x486
movq -0x20(%rbp), %rdi
callq 0x14080
movq %rax, %rsi
leaq 0x17ae1(%rip), %rdi     # 0x202b0
movb $0x0, %al
callq 0x1f370
jmp 0x87d8
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x1c1b0
movq %rax, -0x68(%rbp)
movq -0x10(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x1c0c0
movq -0x68(%rbp), %rdi
movq %rax, %rdx
leaq -0x5a4(%rip), %rsi      # 0x8260
callq 0x11910
jmp 0x8885
jmp 0x880d
leaq 0x1e0cc(%rip), %rax     # 0x268e0
cmpl $0x0, (%rax)
je 0x887e
leaq 0x1daf0(%rip), %rax     # 0x26310
movq (%rax), %rax
movq 0x50(%rax), %rax
leaq 0x1a35e(%rip), %rcx     # 0x22b8c
movq %rcx, 0x10(%rax)
leaq 0x1a353(%rip), %rdi     # 0x22b8c
callq 0x1e6d0
cmpl $0x0, %eax
je 0x887e
leaq 0x1dac6(%rip), %rax     # 0x26310
movq (%rax), %rax
movq 0x50(%rax), %rax
movl $0x489, 0xc(%rax)       # imm = 0x489
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x1c340
movq %rax, %rdi
callq 0x14080
movq %rax, %rsi
leaq 0x177e9(%rip), %rdi     # 0x20060
movb $0x0, %al
callq 0x1f370
jmp 0x8880
callq 0x2050
jmp 0x8887
movl $0x48c, -0x3c(%rbp)     # imm = 0x48C
leaq -0x48(%rbp), %rdi
callq 0x1f490
addq $0x70, %rsp
popq %rbp
retq
nopl (%rax)