// File: /workspace/github_c_makefile_star2_O0/dalnefre[P]kernel_abe/life.c
// Function: seq_generator
BEH_DECL(seq_generator)
{
	CONS* msg = WHAT;
	CONS* state = MINE;
	CONS* next = map_get(state, ATOM("next"));
	CONS* step = map_get(state, ATOM("step"));
	CONS* limit = map_get(state, ATOM("limit"));
	CONS* label = map_get(state, ATOM("label"));
	CONS* ctx = map_get_def(state, ATOM("ctx"), NIL);
	CONS* send_to = map_get(state, ATOM("send-to"));
	
	DBUG_ENTER("seq_generator");
	DBUG_PRINT("", ("msg=%s", cons_to_str(msg)));
	ctx = map_put_all(ctx, msg);
	state = NIL;
	state = map_put(state, ATOM("send-to"), send_to);
	state = map_put(state, ATOM("ctx"), ctx);
	state = map_put(state, ATOM("label"), label);
	state = map_put(state, ATOM("limit"), limit);
	state = map_put(state, ATOM("step"), step);
/*	actor = ACTOR(int_generator, state); */
	msg = NIL;
	msg = map_put(msg, ATOM("next"), next);
	SEND(ACTOR(int_generator, state), msg);
	DBUG_RETURN;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xe0, %rsp
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0xf020
movq %rax, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0xee90
movq %rax, %rdi
callq 0x4110
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0xa0(%rbp)
leaq 0x107b0(%rip), %rdi     # 0x130cb
callq 0xb1f0
movq -0xa0(%rbp), %rdi
movq %rax, %rsi
xorl %eax, %eax
movl %eax, %edx
callq 0xf840
movq %rax, -0x20(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x98(%rbp)
leaq 0x106bf(%rip), %rdi     # 0x13008
callq 0xb1f0
movq -0x98(%rbp), %rdi
movq %rax, %rsi
xorl %eax, %eax
movl %eax, %edx
callq 0xf840
movq %rax, -0x28(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x90(%rbp)
leaq 0x10696(%rip), %rdi     # 0x1300d
callq 0xb1f0
movq -0x90(%rbp), %rdi
movq %rax, %rsi
xorl %eax, %eax
movl %eax, %edx
callq 0xf840
movq %rax, -0x30(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x88(%rbp)
leaq 0x1066e(%rip), %rdi     # 0x13013
callq 0xb1f0
movq -0x88(%rbp), %rdi
movq %rax, %rsi
xorl %eax, %eax
movl %eax, %edx
callq 0xf840
movq %rax, -0x38(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x80(%rbp)
leaq 0x10649(%rip), %rdi     # 0x13019
callq 0xb1f0
movq -0x80(%rbp), %rdi
movq %rax, %rsi
leaq 0x15975(%rip), %rdx     # 0x18358
callq 0xf840
movq %rax, -0x40(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x78(%rbp)
leaq 0x10622(%rip), %rdi     # 0x1301d
callq 0xb1f0
movq -0x78(%rbp), %rdi
movq %rax, %rsi
xorl %eax, %eax
movl %eax, %edx
callq 0xf840
movq %rax, -0x48(%rbp)
leaq 0x10661(%rip), %rax     # 0x1307c
movq %rax, -0x70(%rbp)
leaq 0x159c2(%rip), %rax     # 0x183e8
movq (%rax), %rax
movq 0x50(%rax), %rax
movl 0x8(%rax), %eax
movl %eax, -0x68(%rbp)
movl $0xae, -0x64(%rbp)
leaq 0x1256f(%rip), %rax     # 0x14fb0
movq %rax, -0x60(%rbp)
leaq 0x157d4(%rip), %rax     # 0x18220
movq %rax, -0x58(%rbp)
leaq 0x15991(%rip), %rax     # 0x183e8
movq (%rax), %rax
movq 0x50(%rax), %rax
movq %rax, -0x50(%rbp)
leaq -0x70(%rbp), %rdi
callq 0x11fa0
leaq 0x1611e(%rip), %rax     # 0x18b90
cmpl $0x0, (%rax)
je 0x2ad0
leaq 0x1596a(%rip), %rax     # 0x183e8
movq (%rax), %rax
movq 0x50(%rax), %rax
leaq 0x12524(%rip), %rcx     # 0x14fb0
movq %rcx, 0x10(%rax)
leaq 0x12519(%rip), %rdi     # 0x14fb0
callq 0x113b0
cmpl $0x0, %eax
je 0x2ad0
leaq 0x15940(%rip), %rax     # 0x183e8
movq (%rax), %rax
movq 0x50(%rax), %rax
movl $0xaf, 0xc(%rax)
movq -0x10(%rbp), %rdi
callq 0x6d60
movq %rax, %rsi
leaq 0x10666(%rip), %rdi     # 0x1312f
movb $0x0, %al
callq 0x12050
jmp 0x2ad2
movq -0x40(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0xfa20
movq %rax, -0x40(%rbp)
leaq 0x1586e(%rip), %rax     # 0x18358
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0xd8(%rbp)
leaq 0x1051d(%rip), %rdi     # 0x1301d
callq 0xb1f0
movq -0xd8(%rbp), %rdi
movq %rax, %rsi
movq -0x48(%rbp), %rdx
callq 0xf930
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0xd0(%rbp)
leaq 0x104eb(%rip), %rdi     # 0x13019
callq 0xb1f0
movq -0xd0(%rbp), %rdi
movq %rax, %rsi
movq -0x40(%rbp), %rdx
callq 0xf930
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0xc8(%rbp)
leaq 0x104b7(%rip), %rdi     # 0x13013
callq 0xb1f0
movq -0xc8(%rbp), %rdi
movq %rax, %rsi
movq -0x38(%rbp), %rdx
callq 0xf930
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0xc0(%rbp)
leaq 0x10483(%rip), %rdi     # 0x1300d
callq 0xb1f0
movq -0xc0(%rbp), %rdi
movq %rax, %rsi
movq -0x30(%rbp), %rdx
callq 0xf930
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0xb8(%rbp)
leaq 0x10450(%rip), %rdi     # 0x13008
callq 0xb1f0
movq -0xb8(%rbp), %rdi
movq %rax, %rsi
movq -0x28(%rbp), %rdx
callq 0xf930
movq %rax, -0x18(%rbp)
leaq 0x1577d(%rip), %rax     # 0x18358
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0xb0(%rbp)
leaq 0x104da(%rip), %rdi     # 0x130cb
callq 0xb1f0
movq -0xb0(%rbp), %rdi
movq %rax, %rsi
movq -0x20(%rbp), %rdx
callq 0xf930
movq %rax, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0xa8(%rbp)
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rdx
leaq -0x7a7(%rip), %rsi      # 0x2480
callq 0x5200
movq -0xa8(%rbp), %rdi
movq %rax, %rsi
movq -0x10(%rbp), %rdx
callq 0x5320
movl $0xbb, -0x64(%rbp)
leaq -0x70(%rbp), %rdi
callq 0x12170
addq $0xe0, %rsp
popq %rbp
retq
nopl (%rax,%rax)