// File: /workspace/github_c_makefile_star2_O3/dalnefre[P]kernel_abe/actor.c
// Function: report_configuration
void
report_configuration(CONFIG* cfg)
{
	CONS* p;
	CONS* q;
	char* m;
	CONS* cq = CONFIG_QUEUE(cfg);

	DBUG_ENTER("report_configuration");
	p = NIL;
	DBUG_PRINT("", ("NIL @%p = %s", p, cons_to_str(p)));

	DBUG_PRINT("", ("@%p {head:%p, tail:%p}", cq, car(cq), cdr(cq)));
	p = car(cq);
	assert(consp(p));
	DBUG_PRINT("", ("@%p = %s", p, cons_to_str(p)));
	
	assert(!nilp(p));
	p = car(p);
	DBUG_PRINT("", ("@%p = %s", p, cons_to_str(p)));
	assert(consp(p));
	q = car(p);
	DBUG_PRINT("", ("1st: actor=%p (behavior=%p, state=%p)", q, _THIS(q), _MINE(q)));
	assert(actorp(q));
	assert(funcp(car(MK_CONS(q))));
	assert(consp(cdr(MK_CONS(q))));
	
	m = (char*)cons(NIL, NIL);		/* get base address for dynamic allocations */
	DBUG_PRINT("", ("m=%p", m));
	DBUG_HEXDUMP((m - 256), 512);
	DBUG_RETURN;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x30, %rsp
movq %rdi, %r14
leaq 0x971f(%rip), %rax      # 0x1ceca
leaq 0x8(%rsp), %rdi
movq %rax, (%rdi)
leaq 0xfb76(%rip), %r12      # 0x23330
movq (%r12), %rax
movq 0x50(%rax), %rax
movl 0x8(%rax), %ecx
movl %ecx, 0x8(%rdi)
movl $0x228, 0xc(%rdi)       # imm = 0x228
leaq 0x8b74(%rip), %rbx      # 0x1c34a
movq %rbx, 0x10(%rdi)
leaq 0xf9c7(%rip), %rcx      # 0x231a8
movq %rcx, 0x18(%rdi)
movq %rax, 0x20(%rdi)
callq 0x1ba26
leaq 0x1013b(%rip), %r13     # 0x23930
cmpl $0x0, (%r13)
je 0x138a2
movq (%r12), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b188
testl %eax, %eax
je 0x1384a
movq (%r12), %rax
movq 0x50(%rax), %rax
movl $0x22a, 0xc(%rax)       # imm = 0x22A
leaq 0xfa72(%rip), %r15      # 0x232a0
movq %r15, %rdi
callq 0x13c40
leaq 0x96a2(%rip), %rdi      # 0x1cedf
movq %r15, %rsi
movq %rax, %rdx
xorl %eax, %eax
callq 0x1ba97
cmpl $0x0, (%r13)
je 0x138a2
movq (%r12), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b188
testl %eax, %eax
je 0x138a2
movq (%r12), %rax
movq 0x50(%rax), %rax
movl $0x22c, 0xc(%rax)       # imm = 0x22C
movq %r14, %rdi
callq 0x19c72
movq %rax, %r15
movq %r14, %rdi
callq 0x19d11
leaq 0x965a(%rip), %rdi      # 0x1ceec
movq %r14, %rsi
movq %r15, %rdx
movq %rax, %rcx
xorl %eax, %eax
callq 0x1ba97
movq %r14, %rdi
callq 0x19c72
testq %rax, %rax
je 0x13b04
movq %rax, %r14
andl $0x3, %eax
jne 0x13b04
cmpl $0x0, (%r13)
je 0x13909
movq (%r12), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b188
testl %eax, %eax
je 0x13909
movq (%r12), %rax
movq 0x50(%rax), %rax
movl $0x22f, 0xc(%rax)       # imm = 0x22F
movq %r14, %rdi
callq 0x13c40
leaq 0x95e7(%rip), %rdi      # 0x1cee3
movq %r14, %rsi
movq %rax, %rdx
xorl %eax, %eax
callq 0x1ba97
cmpq 0xf6b0(%rip), %r14      # 0x22fc0
je 0x13b23
movq %r14, %rdi
callq 0x19c72
movq %rax, %r14
cmpl $0x0, (%r13)
je 0x1396b
movq (%r12), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b188
testl %eax, %eax
je 0x1396b
movq (%r12), %rax
movq 0x50(%rax), %rax
movl $0x233, 0xc(%rax)       # imm = 0x233
movq %r14, %rdi
callq 0x13c40
leaq 0x9585(%rip), %rdi      # 0x1cee3
movq %r14, %rsi
movq %rax, %rdx
xorl %eax, %eax
callq 0x1ba97
testq %r14, %r14
je 0x13b42
movl %r14d, %eax
andl $0x3, %eax
jne 0x13b42
movq %r14, %rdi
callq 0x19c72
movq %rax, %r14
cmpl $0x0, (%r13)
je 0x139e3
movq (%r12), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b188
testl %eax, %eax
je 0x139e3
movq (%r12), %rax
movq 0x50(%rax), %rax
movl $0x236, 0xc(%rax)       # imm = 0x236
movq %r14, %rdi
callq 0x11d2c
movq %rax, %r15
movq %r14, %rdi
callq 0x11d65
leaq 0x9566(%rip), %rdi      # 0x1cf39
movq %r14, %rsi
movq %r15, %rdx
movq %rax, %rcx
xorl %eax, %eax
callq 0x1ba97
movl %r14d, %eax
andl $0x3, %eax
cmpl $0x1, %eax
jne 0x13b61
andq $-0x4, %r14
movq %r14, %rdi
callq 0x19c72
cmpq $0x1, %rax
je 0x13ac6
movq %r14, %rdi
callq 0x19c72
notl %eax
testb $0x3, %al
jne 0x13ac6
movq %r14, %rdi
callq 0x19d11
testq %rax, %rax
je 0x13ae5
movq %r14, %rdi
callq 0x19d11
testb $0x3, %al
jne 0x13ae5
leaq 0xf85e(%rip), %rdi      # 0x232a0
movq %rdi, %rsi
callq 0x19c50
cmpl $0x0, (%r13)
je 0x13aa7
movq %rax, %r14
movq (%r12), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b188
testl %eax, %eax
je 0x13a8c
movq (%r12), %rax
movq 0x50(%rax), %rax
movl $0x23c, 0xc(%rax)       # imm = 0x23C
leaq 0x9515(%rip), %rdi      # 0x1cf97
movq %r14, %rsi
xorl %eax, %eax
callq 0x1ba97
cmpl $0x0, (%r13)
je 0x13aa7
addq $-0x100, %r14
movq %r14, %rdi
movl $0x200, %esi            # imm = 0x200
callq 0x1bc54
leaq 0x8(%rsp), %rdi
movl $0x23e, 0xc(%rdi)       # imm = 0x23E
callq 0x1bbab
addq $0x30, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
leaq 0x949c(%rip), %rdi      # 0x1cf69
leaq 0x9104(%rip), %rsi      # 0x1cbd8
leaq 0x9431(%rip), %rcx      # 0x1cf0c
movl $0x238, %edx            # imm = 0x238
callq 0x2100
leaq 0x9494(%rip), %rdi      # 0x1cf80
leaq 0x90e5(%rip), %rsi      # 0x1cbd8
leaq 0x9412(%rip), %rcx      # 0x1cf0c
movl $0x239, %edx            # imm = 0x239
callq 0x2100
leaq 0x93f8(%rip), %rdi      # 0x1cf03
leaq 0x90c6(%rip), %rsi      # 0x1cbd8
leaq 0x93f3(%rip), %rcx      # 0x1cf0c
movl $0x22e, %edx            # imm = 0x22E
callq 0x2100
leaq 0x9406(%rip), %rdi      # 0x1cf30
leaq 0x90a7(%rip), %rsi      # 0x1cbd8
leaq 0x93d4(%rip), %rcx      # 0x1cf0c
movl $0x231, %edx            # imm = 0x231
callq 0x2100
leaq 0x93ba(%rip), %rdi      # 0x1cf03
leaq 0x9088(%rip), %rsi      # 0x1cbd8
leaq 0x93b5(%rip), %rcx      # 0x1cf0c
movl $0x234, %edx            # imm = 0x234
callq 0x2100
leaq 0x93f7(%rip), %rdi      # 0x1cf5f
leaq 0x9069(%rip), %rsi      # 0x1cbd8
leaq 0x9396(%rip), %rcx      # 0x1cf0c
movl $0x237, %edx            # imm = 0x237
callq 0x2100