// File: /workspace/github_c_makefile_star2_O2/dalnefre[P]kernel_abe/reduce.c
// Function: init_reduce
static CONFIG*
init_reduce()
{
	CONFIG* cfg;
	
	if (reduce_cfg != NULL) {
		return reduce_cfg;
	}
	DBUG_PRINT("", ("initializing configuration"));
	cfg = new_configuration(1000);
	reduce_cfg = cfg;

	DBUG_PRINT("", ("initializing actors"));
	undefined_symbol = ATOM("_");
	true_symbol = ATOM("TRUE");
	false_symbol = ATOM("FALSE");
	self_symbol = ATOM("self");
	expr_symbol = ATOM("expr");
	cont_symbol = ATOM("cont");
	env_symbol = ATOM("env");
	beh_symbol = ATOM("beh");
	form_symbol = ATOM("form");
	
	a_reduce = CFG_ACTOR(cfg, reduce_expr, NIL);
	cfg_add_gc_root(cfg, a_reduce);
	a_reduce_args = CFG_ACTOR(cfg, reduce_seq, NIL);
	cfg_add_gc_root(cfg, a_reduce_args);
	a_become = CFG_ACTOR(cfg, reduce_and_apply, map_put(NIL, beh_symbol, MK_FUNC(eval_become)));
	cfg_add_gc_root(cfg, a_become);

	an_error = CFG_ACTOR(cfg, error_msg, NIL);
	a_print = CFG_ACTOR(cfg, print_msg, NIL);
	a_sink = CFG_ACTOR(cfg, sink_beh, NIL);

	DBUG_PRINT("", ("initializing environment"));
	eval_env = map_put(eval_env, ATOM("System_Info"), system_info());
	eval_env = map_put(eval_env, ATOM("#"), CFG_ACTOR(cfg, reduce_dbug, NIL));

	eval_env = map_put(eval_env, ATOM("@sink"), a_sink);
	eval_env = map_put(eval_env, ATOM("@error"), an_error);
	eval_env = map_put(eval_env, ATOM("@print"), a_print);

	eval_env = map_put(eval_env, ATOM("product"), CFG_ACTOR(cfg, reduce_product, NIL));
	
	eval_env = map_put(eval_env, ATOM("sum"), CFG_ACTOR(cfg, reduce_sum, NIL));
	
	eval_env = map_put(eval_env, ATOM("actor"), CFG_ACTOR(cfg, reduce_actor, NIL));

	eval_env = map_put(eval_env, ATOM("send"),
		CFG_ACTOR(cfg, reduce_and_apply, map_put(NIL, beh_symbol, MK_FUNC(eval_send))));

	eval_env = map_put(eval_env, ATOM("par"), CFG_ACTOR(cfg, reduce_par, NIL));
	
	eval_env = map_put(eval_env, ATOM("background"), CFG_ACTOR(cfg, reduce_background, NIL));

	eval_env = map_put(eval_env, ATOM("template"), CFG_ACTOR(cfg, reduce_template, NIL));

	eval_env = map_put(eval_env, ATOM("function"), CFG_ACTOR(cfg, reduce_function, NIL));

	eval_env = map_put(eval_env, ATOM("define"), CFG_ACTOR(cfg, reduce_define, NIL));

	eval_env = map_put(eval_env, ATOM("reduce"), CFG_ACTOR(cfg, reduce_reduce, NIL));
	
	eval_env = map_put(eval_env, ATOM("preceed?"),
		CFG_ACTOR(cfg, reduce_and_apply, map_put(NIL, beh_symbol, MK_FUNC(eval_preceedp))));

	eval_env = map_put(eval_env, ATOM("zero?"),
		CFG_ACTOR(cfg, reduce_and_apply, map_put(NIL, beh_symbol, MK_FUNC(eval_zerop))));

	eval_env = map_put(eval_env, ATOM("number?"),
		CFG_ACTOR(cfg, reduce_and_apply, map_put(NIL, beh_symbol, MK_FUNC(eval_numberp))));

	eval_env = map_put(eval_env, ATOM("equal?"),
		CFG_ACTOR(cfg, reduce_and_apply, map_put(NIL, beh_symbol, MK_FUNC(eval_equalp))));

	eval_env = map_put(eval_env, ATOM("list"),		/* FIXME:  should probably just use reduce_seq directly */
		CFG_ACTOR(cfg, reduce_and_apply, map_put(NIL, beh_symbol, MK_FUNC(eval_list))));
	
	eval_env = map_put(eval_env, ATOM("seq"), CFG_ACTOR(cfg, reduce_seq, NIL));
	
	eval_env = map_put(eval_env, ATOM("if"), CFG_ACTOR(cfg, reduce_if, NIL));

	eval_env = map_put(eval_env, ATOM("empty?"),
		CFG_ACTOR(cfg, reduce_and_apply, map_put(NIL, beh_symbol, MK_FUNC(eval_emptyp))));

	eval_env = map_put(eval_env, ATOM("list?"),
		CFG_ACTOR(cfg, reduce_and_apply, map_put(NIL, beh_symbol, MK_FUNC(eval_listp))));

	eval_env = map_put(eval_env, ATOM("first"),
		CFG_ACTOR(cfg, reduce_and_apply, map_put(NIL, beh_symbol, MK_FUNC(eval_first))));

	eval_env = map_put(eval_env, ATOM("rest"),
		CFG_ACTOR(cfg, reduce_and_apply, map_put(NIL, beh_symbol, MK_FUNC(eval_rest))));

	eval_env = map_put(eval_env, ATOM("prepend"),
		CFG_ACTOR(cfg, reduce_and_apply, map_put(NIL, beh_symbol, MK_FUNC(eval_prepend))));

	eval_env = map_put(eval_env, ATOM("literal"), CFG_ACTOR(cfg, reduce_literal, NIL));

	eval_env = map_put(eval_env, self_symbol, a_sink);		/*** << WARNING!! >>   THIS BINDING MUST BE LAST! ***/
															/*** IMPLEMENTATION OF extend_env() DEPENDS ON IT ***/

	cfg_add_gc_root(cfg, eval_env);
	return cfg;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq 0x11b5c(%rip), %rbx     # 0x1a3e8
testq %rbx, %rbx
jne 0x9257
leaq 0x120a4(%rip), %r15     # 0x1a940
cmpl $0x0, (%r15)
je 0x88e0
leaq 0x11aef(%rip), %rbx     # 0x1a398
movq (%rbx), %rax
movq 0x50(%rax), %rax
leaq 0xd22d(%rip), %rdi      # 0x15ae4
movq %rdi, 0x10(%rax)
callq 0x12334
testl %eax, %eax
je 0x88e0
movq (%rbx), %rax
movq 0x50(%rax), %rax
movl $0x5e0, 0xc(%rax)       # imm = 0x5E0
leaq 0xb59b(%rip), %rdi      # 0x13e74
xorl %eax, %eax
callq 0x12c30
movl $0x3e8, %edi            # imm = 0x3E8
callq 0x9850
movq %rax, %rbx
movq %rax, 0x11af4(%rip)     # 0x1a3e8
cmpl $0x0, (%r15)
je 0x8938
leaq 0x11a97(%rip), %r14     # 0x1a398
movq (%r14), %rax
movq 0x50(%rax), %rax
leaq 0xd1d5(%rip), %rdi      # 0x15ae4
movq %rdi, 0x10(%rax)
callq 0x12334
testl %eax, %eax
je 0x8938
movq (%r14), %rax
movq 0x50(%rax), %rax
movl $0x5e4, 0xc(%rax)       # imm = 0x5E4
leaq 0xb55e(%rip), %rdi      # 0x13e8f
xorl %eax, %eax
callq 0x12c30
leaq 0xb564(%rip), %rdi      # 0x13ea3
callq 0xe45f
movq %rax, 0x1182d(%rip)     # 0x1a178
leaq 0xc8f3(%rip), %rdi      # 0x15245
callq 0xe45f
movq %rax, 0x11822(%rip)     # 0x1a180
leaq 0xc916(%rip), %rdi      # 0x1527b
callq 0xe45f
movq %rax, 0x11817(%rip)     # 0x1a188
leaq 0xb52d(%rip), %rdi      # 0x13ea5
callq 0xe45f
movq %rax, 0x1182c(%rip)     # 0x1a1b0
leaq 0xa713(%rip), %rdi      # 0x1309e
callq 0xe45f
movq %rax, 0x117c1(%rip)     # 0x1a158
leaq 0xb50c(%rip), %rdi      # 0x13eaa
callq 0xe45f
movq %rax, 0x117a6(%rip)     # 0x1a150
leaq 0xb4fe(%rip), %rdi      # 0x13eaf
callq 0xe45f
movq %rax, 0x117ab(%rip)     # 0x1a168
leaq 0xb5ff(%rip), %rdi      # 0x13fc3
callq 0xe45f
movq %rax, 0x117c8(%rip)     # 0x1a198
leaq 0xb4dc(%rip), %rdi      # 0x13eb3
callq 0xe45f
movq %rax, 0x1177d(%rip)     # 0x1a160
leaq -0x6232(%rip), %rsi     # 0x27b8
leaq 0x11917(%rip), %r14     # 0x1a308
movq %rbx, %rdi
movq %r14, %rdx
callq 0x9ef7
movq %rax, 0x1178d(%rip)     # 0x1a190
movq %rbx, %rdi
movq %rax, %rsi
callq 0x9a23
leaq -0x1e50(%rip), %rsi     # 0x6bc5
movq %rbx, %rdi
movq %r14, %rdx
callq 0x9ef7
movq %rax, 0x11779(%rip)     # 0x1a1a0
movq %rbx, %rdi
movq %rax, %rsi
callq 0x9a23
movq 0x1175f(%rip), %rsi     # 0x1a198
leaq -0x24f7(%rip), %rax     # 0x6549
leaq 0x3(,%rax,4), %rdx
movq %r14, %rdi
callq 0x11339
leaq -0x599d(%rip), %rsi     # 0x30ba
movq %rbx, %rdi
movq %rax, %rdx
callq 0x9ef7
movq %rax, 0x1174f(%rip)     # 0x1a1b8
movq %rbx, %rdi
movq %rax, %rsi
callq 0x9a23
leaq 0x914(%rip), %rsi       # 0x938f
movq %rbx, %rdi
movq %r14, %rdx
callq 0x9ef7
movq %rax, 0x116e3(%rip)     # 0x1a170
leaq -0x6748(%rip), %rsi     # 0x234c
movq %rbx, %rdi
movq %r14, %rdx
callq 0x9ef7
movq %rax, 0x11762(%rip)     # 0x1a208
leaq 0x81f(%rip), %rsi       # 0x92cc
movq %rbx, %rdi
movq %r14, %rdx
callq 0x9ef7
movq %rax, 0x116e9(%rip)     # 0x1a1a8
cmpl $0x0, (%r15)
je 0x8b03
leaq 0x118cc(%rip), %r14     # 0x1a398
movq (%r14), %rax
movq 0x50(%rax), %rax
leaq 0xd00a(%rip), %rdi      # 0x15ae4
movq %rdi, 0x10(%rax)
callq 0x12334
testl %eax, %eax
je 0x8b03
movq (%r14), %rax
movq 0x50(%rax), %rax
movl $0x5fa, 0xc(%rax)       # imm = 0x5FA
leaq 0xb3bc(%rip), %rdi      # 0x13eb8
xorl %eax, %eax
callq 0x12c30
movq 0x116b6(%rip), %r14     # 0x1a1c0
leaq 0xb3c0(%rip), %rdi      # 0x13ed1
callq 0xe45f
movq %rax, %r15
callq 0x8459
movq %r14, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r15
movq %rax, 0x1168a(%rip)     # 0x1a1c0
leaq 0xb3a0(%rip), %rdi      # 0x13edd
callq 0xe45f
movq %rax, %r12
leaq -0x1208(%rip), %rsi     # 0x7944
leaq 0x117b5(%rip), %r14     # 0x1a308
movq %rbx, %rdi
movq %r14, %rdx
callq 0x9ef7
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r15
movq %rax, 0x1164a(%rip)     # 0x1a1c0
leaq 0xb362(%rip), %rdi      # 0x13edf
callq 0xe45f
movq 0x1161f(%rip), %rdx     # 0x1a1a8
movq %r15, %rdi
movq %rax, %rsi
callq 0x11339
movq %rax, %r15
movq %rax, 0x11622(%rip)     # 0x1a1c0
leaq 0xb340(%rip), %rdi      # 0x13ee5
callq 0xe45f
movq 0x115bf(%rip), %rdx     # 0x1a170
movq %r15, %rdi
movq %rax, %rsi
callq 0x11339
movq %rax, %r15
movq %rax, 0x115fa(%rip)     # 0x1a1c0
leaq 0xb31f(%rip), %rdi      # 0x13eec
callq 0xe45f
movq 0x1162f(%rip), %rdx     # 0x1a208
movq %r15, %rdi
movq %rax, %rsi
callq 0x11339
movq %rax, %r15
movq %rax, 0x115d2(%rip)     # 0x1a1c0
leaq 0xa7ca(%rip), %rdi      # 0x133bf
callq 0xe45f
movq %rax, %r12
leaq -0x3ae5(%rip), %rsi     # 0x511f
movq %rbx, %rdi
movq %r14, %rdx
callq 0x9ef7
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r15
movq %rax, 0x11599(%rip)     # 0x1a1c0
leaq 0xa75b(%rip), %rdi      # 0x13389
callq 0xe45f
movq %rax, %r12
leaq -0x3fd9(%rip), %rsi     # 0x4c64
movq %rbx, %rdi
movq %r14, %rdx
callq 0x9ef7
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r15
movq %rax, 0x11560(%rip)     # 0x1a1c0
leaq 0xa86f(%rip), %rdi      # 0x134d6
callq 0xe45f
movq %rax, %r12
leaq -0x294a(%rip), %rsi     # 0x632c
movq %rbx, %rdi
movq %r14, %rdx
callq 0x9ef7
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r12
movq %rax, 0x11527(%rip)     # 0x1a1c0
leaq 0xa774(%rip), %rdi      # 0x13414
callq 0xe45f
movq %rax, %r13
movq 0x114e9(%rip), %rsi     # 0x1a198
leaq -0x3103(%rip), %rax     # 0x5bb3
leaq 0x3(,%rax,4), %rdx
movq %r14, %rdi
callq 0x11339
leaq -0x5c13(%rip), %r15     # 0x30ba
movq %rbx, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x9ef7
movq %r12, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r12
movq %rax, 0x114cd(%rip)     # 0x1a1c0
leaq 0xa8e6(%rip), %rdi      # 0x135e0
callq 0xe45f
movq %rax, %r13
leaq -0x15ed(%rip), %rsi     # 0x771c
movq %rbx, %rdi
movq %r14, %rdx
callq 0x9ef7
movq %r12, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r12
movq %rax, 0x11494(%rip)     # 0x1a1c0
leaq 0xa7b0(%rip), %rdi      # 0x134e3
callq 0xe45f
movq %rax, %r13
leaq -0x2553(%rip), %rsi     # 0x67ef
movq %rbx, %rdi
movq %r14, %rdx
callq 0x9ef7
movq %r12, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r12
movq %rax, 0x1145b(%rip)     # 0x1a1c0
leaq 0xa66c(%rip), %rdi      # 0x133d8
callq 0xe45f
movq %rax, %r13
leaq -0x38fa(%rip), %rsi     # 0x5481
movq %rbx, %rdi
movq %r14, %rdx
callq 0x9ef7
movq %r12, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r12
movq %rax, 0x11422(%rip)     # 0x1a1c0
leaq 0xa661(%rip), %rdi      # 0x13406
callq 0xe45f
movq %rax, %r13
leaq -0x336e(%rip), %rsi     # 0x5a46
movq %rbx, %rdi
movq %r14, %rdx
callq 0x9ef7
movq %r12, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r12
movq %rax, 0x113e9(%rip)     # 0x1a1c0
leaq 0xa53d(%rip), %rdi      # 0x1331b
callq 0xe45f
movq %rax, %r13
leaq -0x47dd(%rip), %rsi     # 0x4610
movq %rbx, %rdi
movq %r14, %rdx
callq 0x9ef7
movq %r12, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r12
movq %rax, 0x113b0(%rip)     # 0x1a1c0
leaq 0xa338(%rip), %rdi      # 0x1314f
callq 0xe45f
movq %rax, %r13
leaq -0x6041(%rip), %rsi     # 0x2de5
movq %rbx, %rdi
movq %r14, %rdx
callq 0x9ef7
movq %r12, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r12
movq %rax, 0x11377(%rip)     # 0x1a1c0
leaq 0xb0a3(%rip), %rdi      # 0x13ef3
callq 0xe45f
movq %rax, %r13
movq 0x11339(%rip), %rsi     # 0x1a198
leaq -0x4f98(%rip), %rax     # 0x3ece
leaq 0x3(,%rax,4), %rdx
movq %r14, %rdi
callq 0x11339
movq %rbx, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x9ef7
movq %r12, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r12
movq %rax, 0x11324(%rip)     # 0x1a1c0
leaq 0xb059(%rip), %rdi      # 0x13efc
callq 0xe45f
movq %rax, %r13
movq 0x112e6(%rip), %rsi     # 0x1a198
leaq -0x529e(%rip), %rax     # 0x3c1b
leaq 0x3(,%rax,4), %rdx
movq %r14, %rdi
callq 0x11339
movq %rbx, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x9ef7
movq %r12, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r12
movq %rax, 0x112d1(%rip)     # 0x1a1c0
leaq 0xb00c(%rip), %rdi      # 0x13f02
callq 0xe45f
movq %rax, %r13
movq 0x11293(%rip), %rsi     # 0x1a198
leaq -0x543d(%rip), %rax     # 0x3acf
leaq 0x3(,%rax,4), %rdx
movq %r14, %rdi
callq 0x11339
movq %rbx, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x9ef7
movq %r12, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r12
movq %rax, 0x1127e(%rip)     # 0x1a1c0
leaq 0xafc1(%rip), %rdi      # 0x13f0a
callq 0xe45f
movq %rax, %r13
movq 0x11240(%rip), %rsi     # 0x1a198
leaq -0x51f8(%rip), %rax     # 0x3d67
leaq 0x3(,%rax,4), %rdx
movq %r14, %rdi
callq 0x11339
movq %rbx, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x9ef7
movq %r12, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r12
movq %rax, 0x1122b(%rip)     # 0x1a1c0
leaq 0xc3be(%rip), %rdi      # 0x1535a
callq 0xe45f
movq %rax, %r13
movq 0x111ed(%rip), %rsi     # 0x1a198
leaq -0x5d61(%rip), %rax     # 0x3251
leaq 0x3(,%rax,4), %rdx
movq %r14, %rdi
callq 0x11339
movq %rbx, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x9ef7
movq %r12, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r12
movq %rax, 0x111d8(%rip)     # 0x1a1c0
leaq 0xa510(%rip), %rdi      # 0x134ff
callq 0xe45f
movq %rax, %r13
leaq -0x2439(%rip), %rsi     # 0x6bc5
movq %rbx, %rdi
movq %r14, %rdx
callq 0x9ef7
movq %r12, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r12
movq %rax, 0x1119f(%rip)     # 0x1a1c0
leaq 0xa28f(%rip), %rdi      # 0x132b7
callq 0xe45f
movq %rax, %r13
leaq -0x4dc9(%rip), %rsi     # 0x426e
movq %rbx, %rdi
movq %r14, %rdx
callq 0x9ef7
movq %r12, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r12
movq %rax, 0x11166(%rip)     # 0x1a1c0
leaq 0xaeb0(%rip), %rdi      # 0x13f11
callq 0xe45f
movq %rax, %r13
movq 0x11128(%rip), %rsi     # 0x1a198
leaq -0x56f7(%rip), %rax     # 0x3980
leaq 0x3(,%rax,4), %rdx
movq %r14, %rdi
callq 0x11339
movq %rbx, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x9ef7
movq %r12, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r12
movq %rax, 0x11113(%rip)     # 0x1a1c0
leaq 0xae64(%rip), %rdi      # 0x13f18
callq 0xe45f
movq %rax, %r13
movq 0x110d5(%rip), %rsi     # 0x1a198
leaq -0x58aa(%rip), %rax     # 0x3820
leaq 0x3(,%rax,4), %rdx
movq %r14, %rdi
callq 0x11339
movq %rbx, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x9ef7
movq %r12, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r12
movq %rax, 0x110c0(%rip)     # 0x1a1c0
leaq 0xa0cb(%rip), %rdi      # 0x131d2
callq 0xe45f
movq %rax, %r13
movq 0x11082(%rip), %rsi     # 0x1a198
leaq -0x5da1(%rip), %rax     # 0x337c
leaq 0x3(,%rax,4), %rdx
movq %r14, %rdi
callq 0x11339
movq %rbx, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x9ef7
movq %r12, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r12
movq %rax, 0x1106d(%rip)     # 0x1a1c0
leaq 0xa098(%rip), %rdi      # 0x131f2
callq 0xe45f
movq %rax, %r13
movq 0x1102f(%rip), %rsi     # 0x1a198
leaq -0x5c4b(%rip), %rax     # 0x3525
leaq 0x3(,%rax,4), %rdx
movq %r14, %rdi
callq 0x11339
movq %rbx, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x9ef7
movq %r12, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r12
movq %rax, 0x1101a(%rip)     # 0x1a1c0
leaq 0xa063(%rip), %rdi      # 0x13210
callq 0xe45f
movq %rax, %r13
movq 0x10fdc(%rip), %rsi     # 0x1a198
leaq -0x5af5(%rip), %rax     # 0x36ce
leaq 0x3(,%rax,4), %rdx
movq %r14, %rdi
callq 0x11339
movq %rbx, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x9ef7
movq %r12, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, %r15
movq %rax, 0x10fc7(%rip)     # 0x1a1c0
leaq 0x9f76(%rip), %rdi      # 0x13176
callq 0xe45f
movq %rax, %r12
leaq -0x627d(%rip), %rsi     # 0x2f92
movq %rbx, %rdi
movq %r14, %rdx
callq 0x9ef7
movq %r15, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x11339
movq %rax, 0x10f91(%rip)     # 0x1a1c0
movq 0x10f7a(%rip), %rsi     # 0x1a1b0
movq 0x10f6b(%rip), %rdx     # 0x1a1a8
movq %rax, %rdi
callq 0x11339
movq %rax, 0x10f74(%rip)     # 0x1a1c0
movq %rbx, %rdi
movq %rax, %rsi
callq 0x9a23
movq %rbx, %rax
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq