// File: /workspace/github_cpp_makefile_star2_O3/andrakis[P]alisp/stdlib.cpp
// Function: ALisp::Stdlib::add_stdlib(ALisp::Cell)
void add_stdlib(Cell env) {
			EnvironmentType ep(env.env());
			// Global symbols
			ep->create(Declare("true"), True);
			ep->create(Declare("false"), False);
			ep->create(Declare("nil"), Nil);

			// conio.cpp
			ep->create(Declare("print"), ProcCell(print));
			// operators.cpp
			ep->create(Declare("+"), ProcCell(plus)); ep->create(Declare("-"), ProcCell(minus));
			ep->create(Declare("*"), ProcCell(multiply)); ep->create(Declare("/"), ProcCell(divide));
			ep->create(Declare("="), ProcCell(equal)); ep->create(Declare("=="), ProcCell(equal));
			ep->create(Declare("!="), ProcCell(nequal));
			ep->create(Declare("<"), ProcCell(lessthan)); ep->create(Declare("<="), ProcCell(lessthanequal));
			ep->create(Declare(">"), ProcCell(morethan)); ep->create(Declare(">="), ProcCell(morethanequal));
			ep->create(Declare("not"), ProcCell(boolnot)); ep->create(Declare("nil?"), ProcCell(boolnil));
			// debug.cpp
			ep->create(Declare("penv"), ProcEnvCell(print_env));
			ep->create(Declare("run_tests"), ProcCell(run_tests));
			ep->create(Declare("debug:parse"), ProcCell(debug_parse));
			ep->create(Declare("debug:eval"), ProcEnvCell(debug_eval));
			ep->create(Declare("debug:repl"), ProcEnvCell(debug_repl));
			// env.cpp
			ep->create(Declare("env:defined"), ProcEnvCell(env_defined));
			// file.cpp
			ep->create(Declare("file:exists"), ProcCell(file_exists));
			ep->create(Declare("file:path"), ProcCell(file_path));
			ep->create(Declare("file:read"), ProcCell(file_read));
			// libcore.cpp
			ep->create(Declare("head"), ProcCell(core_head));
			ep->create(Declare("tail"), ProcCell(core_tail));
			ep->create(Declare("size"), ProcCell(core_size));
			ep->create(Declare("size_atleast"), ProcCell(core_size_atleast));
			ep->create(Declare("index"), ProcCell(core_index));
			ep->create(Declare("list"), ProcCell(core_list));
			ep->create(Declare("none"), ProcCell(core_none));
			ep->create(Declare("atom"), ProcCell(core_atom));
			ep->create(Declare("empty?"), ProcCell(core_empty));
			// strings.cpp
			ep->create(Declare("string:split"), ProcCell(strings_split));
			ep->create(Declare("string:join"), ProcCell(strings_join));
		}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x150, %rsp            # imm = 0x150
movq %rdi, %rsi
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0xa552
movq (%rbx), %rbx
leaq 0x7a1e(%rip), %rsi      # 0x21734
leaq 0x20(%rsp), %rdi
callq 0xe6ec
leaq 0x14a29(%rip), %rax     # 0x2e750
movq (%rax), %rsi
testq %rsi, %rsi
je 0x19d40
movq (%rsi), %rax
leaq 0x8(%rsp), %rdi
callq *(%rax)
movq 0x8(%rsp), %rax
jmp 0x19d42
xorl %eax, %eax
leaq 0x148(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x20(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x148(%rsp), %rdi
testq %rdi, %rdi
je 0x19d6d
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x148(%rsp)
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x19d89
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x79a4(%rip), %rsi      # 0x21739
leaq 0x20(%rsp), %rdi
callq 0xe6ec
leaq 0x149b2(%rip), %rax     # 0x2e758
movq (%rax), %rsi
testq %rsi, %rsi
je 0x19dbf
movq (%rsi), %rax
leaq 0x8(%rsp), %rdi
callq *(%rax)
movq 0x8(%rsp), %rax
jmp 0x19dc1
xorl %eax, %eax
leaq 0x140(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x20(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x140(%rsp), %rdi
testq %rdi, %rdi
je 0x19dec
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x140(%rsp)
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x19e08
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x791c(%rip), %rsi      # 0x21730
leaq 0x20(%rsp), %rdi
callq 0xe6ec
leaq 0x14923(%rip), %rax     # 0x2e748
movq (%rax), %rsi
testq %rsi, %rsi
je 0x19e3e
movq (%rsi), %rax
leaq 0x8(%rsp), %rdi
callq *(%rax)
movq 0x8(%rsp), %rax
jmp 0x19e40
xorl %eax, %eax
leaq 0x138(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x20(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x138(%rsp), %rdi
testq %rdi, %rdi
je 0x19e6b
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x138(%rsp)
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x19e87
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7b62(%rip), %rsi      # 0x219f5
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
leaq 0x13aeb(%rip), %r14     # 0x2d9a0
movq %r14, (%rax)
leaq 0x19fd(%rip), %rcx      # 0x1b8bc
movq %rcx, 0x10(%rax)
leaq 0x130(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x130(%rsp), %rdi
testq %rdi, %rdi
je 0x19eee
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x130(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x19f0a
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7a63(%rip), %rsi      # 0x21979
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x334d(%rip), %rcx      # 0x1d288
movq %rcx, 0x10(%rax)
leaq 0x128(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x128(%rsp), %rdi
testq %rdi, %rdi
je 0x19f6a
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x128(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x19f86
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x6be2(%rip), %rsi      # 0x20b74
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x340c(%rip), %rcx      # 0x1d3c3
movq %rcx, 0x10(%rax)
leaq 0x120(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x120(%rsp), %rdi
testq %rdi, %rdi
je 0x19fe6
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x120(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a002
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x79ed(%rip), %rsi      # 0x219fb
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x34cb(%rip), %rcx      # 0x1d4fe
movq %rcx, 0x10(%rax)
leaq 0x118(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x118(%rsp), %rdi
testq %rdi, %rdi
je 0x1a062
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x118(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a07e
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7b54(%rip), %rsi      # 0x21bde
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x358a(%rip), %rcx      # 0x1d639
movq %rcx, 0x10(%rax)
leaq 0x110(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x110(%rsp), %rdi
testq %rdi, %rdi
je 0x1a0de
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x110(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a0fa
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x78fb(%rip), %rsi      # 0x21a01
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x3649(%rip), %r15      # 0x1d774
movq %r15, 0x10(%rax)
leaq 0x108(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x108(%rsp), %rdi
testq %rdi, %rdi
je 0x1a15a
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x108(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a176
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x787b(%rip), %rsi      # 0x219fd
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
movq %r15, 0x10(%rax)
leaq 0x100(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x100(%rsp), %rdi
testq %rdi, %rdi
je 0x1a1cf
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x100(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a1eb
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7809(%rip), %rsi      # 0x21a00
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x3656(%rip), %rcx      # 0x1d872
movq %rcx, 0x10(%rax)
leaq 0xf8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0xf8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a24b
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xf8(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a267
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7790(%rip), %rsi      # 0x21a03
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x36d8(%rip), %rcx      # 0x1d970
movq %rcx, 0x10(%rax)
leaq 0xf0(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0xf0(%rsp), %rdi
testq %rdi, %rdi
je 0x1a2c7
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xf0(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a2e3
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7716(%rip), %rsi      # 0x21a05
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x375a(%rip), %rcx      # 0x1da6e
movq %rcx, 0x10(%rax)
leaq 0xe8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0xe8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a343
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xe8(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a35f
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x5fa5(%rip), %rsi      # 0x20310
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x37f6(%rip), %rcx      # 0x1db86
movq %rcx, 0x10(%rax)
leaq 0xe0(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0xe0(%rsp), %rdi
testq %rdi, %rdi
je 0x1a3bf
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xe0(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a3db
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7621(%rip), %rsi      # 0x21a08
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x3878(%rip), %rcx      # 0x1dc84
movq %rcx, 0x10(%rax)
leaq 0xd8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0xd8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a43b
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xd8(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a457
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x75a8(%rip), %rsi      # 0x21a0b
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x3914(%rip), %rcx      # 0x1dd9c
movq %rcx, 0x10(%rax)
leaq 0xd0(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0x1a4b7
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xd0(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a4d3
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7530(%rip), %rsi      # 0x21a0f
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x3994(%rip), %rcx      # 0x1de98
movq %rcx, 0x10(%rax)
leaq 0xc8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0xc8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a533
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xc8(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a54f
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x74b9(%rip), %rsi      # 0x21a14
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x9, 0x8(%rax)
leaq 0x13553(%rip), %r15     # 0x2dad0
movq %r15, (%rax)
leaq 0x1534(%rip), %rcx      # 0x1babb
movq %rcx, 0x10(%rax)
leaq 0xc0(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0xc0(%rsp), %rdi
testq %rdi, %rdi
je 0x1a5b6
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xc0(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a5d2
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x743b(%rip), %rsi      # 0x21a19
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x1728(%rip), %rcx      # 0x1bd2b
movq %rcx, 0x10(%rax)
leaq 0xb8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0xb8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a632
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xb8(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a64e
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x73c9(%rip), %rsi      # 0x21a23
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x17f6(%rip), %rcx      # 0x1be75
movq %rcx, 0x10(%rax)
leaq 0xb0(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0xb0(%rsp), %rdi
testq %rdi, %rdi
je 0x1a6ae
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xb0(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a6ca
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7359(%rip), %rsi      # 0x21a2f
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x9, 0x8(%rax)
movq %r15, (%rax)
leaq 0x188a(%rip), %rcx      # 0x1bf85
movq %rcx, 0x10(%rax)
leaq 0xa8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a72a
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xa8(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a746
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x72e8(%rip), %rsi      # 0x21a3a
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x9, 0x8(%rax)
movq %r15, (%rax)
leaq 0x15ef(%rip), %rcx      # 0x1bd66
movq %rcx, 0x10(%rax)
leaq 0xa0(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x1a7a6
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xa0(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a7c2
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7277(%rip), %rsi      # 0x21a45
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x9, 0x8(%rax)
movq %r15, (%rax)
leaq 0x1951(%rip), %rcx      # 0x1c144
movq %rcx, 0x10(%rax)
leaq 0x98(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0x1a822
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x98(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a83e
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7207(%rip), %rsi      # 0x21a51
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x1a8d(%rip), %rcx      # 0x1c2fc
movq %rcx, 0x10(%rax)
leaq 0x90(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x90(%rsp), %rdi
testq %rdi, %rdi
je 0x1a89e
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x90(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a8ba
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7197(%rip), %rsi      # 0x21a5d
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x1b18(%rip), %rcx      # 0x1c403
movq %rcx, 0x10(%rax)
leaq 0x88(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0x1a91a
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x88(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a936
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7125(%rip), %rsi      # 0x21a67
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x1ed1(%rip), %rcx      # 0x1c838
movq %rcx, 0x10(%rax)
leaq 0x80(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x1a996
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x80(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a9b2
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x70b3(%rip), %rsi      # 0x21a71
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x21b9(%rip), %rcx      # 0x1cb9c
movq %rcx, 0x10(%rax)
leaq 0x78(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0x1aa0c
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x78(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1aa25
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7045(%rip), %rsi      # 0x21a76
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x21ff(%rip), %rcx      # 0x1cc55
movq %rcx, 0x10(%rax)
leaq 0x70(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0x1aa7f
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x70(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1aa98
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x6fd7(%rip), %rsi      # 0x21a7b
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x2245(%rip), %rcx      # 0x1cd0e
movq %rcx, 0x10(%rax)
leaq 0x68(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x1aaf2
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x68(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1ab0b
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x6f69(%rip), %rsi      # 0x21a80
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x22ad(%rip), %rcx      # 0x1cde9
movq %rcx, 0x10(%rax)
leaq 0x60(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0x1ab65
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x60(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1ab7e
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x6f03(%rip), %rsi      # 0x21a8d
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x2334(%rip), %rcx      # 0x1cee3
movq %rcx, 0x10(%rax)
leaq 0x58(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x1abd8
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x58(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1abf1
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x57e5(%rip), %rsi      # 0x203e2
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x2390(%rip), %rcx      # 0x1cfb2
movq %rcx, 0x10(%rax)
leaq 0x50(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x1ac4b
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x50(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1ac64
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x6e23(%rip), %rsi      # 0x21a93
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x2340(%rip), %rcx      # 0x1cfd5
movq %rcx, 0x10(%rax)
leaq 0x48(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x1acbe
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x48(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1acd7
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x5673(%rip), %rsi      # 0x20356
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x22f4(%rip), %rcx      # 0x1cffc
movq %rcx, 0x10(%rax)
leaq 0x40(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x1ad31
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x40(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1ad4a
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x6d42(%rip), %rsi      # 0x21a98
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x2391(%rip), %rcx      # 0x1d10c
movq %rcx, 0x10(%rax)
leaq 0x38(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0x1ada4
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x38(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1adbd
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x6cd6(%rip), %rsi      # 0x21a9f
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x3232(%rip), %rcx      # 0x1e020
movq %rcx, 0x10(%rax)
leaq 0x30(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x1ae17
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x30(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1ae30
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x6c70(%rip), %rsi      # 0x21aac
leaq 0x8(%rsp), %rdi
callq 0xe6ec
movl $0x18, %edi
callq 0x7310
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x3507(%rip), %rcx      # 0x1e368
movq %rcx, 0x10(%rax)
leaq 0x28(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa57c
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x1ae8a
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x28(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1aea3
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x1aeb2
callq 0xac0e
addq $0x150, %rsp            # imm = 0x150
popq %rbx
popq %r14
popq %r15
retq
jmp 0x1aec3
jmp 0x1aec3
movq %rax, %rbx
jmp 0x1b578
movq %rax, %rbx
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x1aede
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x28(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x1af09
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x30(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0x1af34
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x38(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x1af5f
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x40(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x1af8a
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x48(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x1afb5
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x50(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x1afe0
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x58(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0x1b00b
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x60(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x1b036
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x68(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0x1b061
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x70(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0x1b08c
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x78(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x1b0ba
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x80(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0x1b0eb
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x88(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0x90(%rsp), %rdi
testq %rdi, %rdi
je 0x1b11c
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x90(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0x1b14d
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x98(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x1b17e
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xa0(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b1af
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xa8(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0xb0(%rsp), %rdi
testq %rdi, %rdi
je 0x1b1e0
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xb0(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0xb8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b211
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xb8(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0xc0(%rsp), %rdi
testq %rdi, %rdi
je 0x1b242
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xc0(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0xc8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b273
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xc8(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0x1b2a4
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xd0(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0xd8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b2d5
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xd8(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0xe0(%rsp), %rdi
testq %rdi, %rdi
je 0x1b306
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xe0(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0xe8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b337
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xe8(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0xf0(%rsp), %rdi
testq %rdi, %rdi
je 0x1b368
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xf0(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0xf8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b399
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xf8(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0x100(%rsp), %rdi
testq %rdi, %rdi
je 0x1b3ca
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x100(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0x108(%rsp), %rdi
testq %rdi, %rdi
je 0x1b3fb
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x108(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0x110(%rsp), %rdi
testq %rdi, %rdi
je 0x1b42c
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x110(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0x118(%rsp), %rdi
testq %rdi, %rdi
je 0x1b45d
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x118(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0x120(%rsp), %rdi
testq %rdi, %rdi
je 0x1b48b
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x120(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0x128(%rsp), %rdi
testq %rdi, %rdi
je 0x1b4b6
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x128(%rsp)
jmp 0x1b4f2
jmp 0x1b4ef
jmp 0x1b582
movq %rax, %rbx
movq 0x130(%rsp), %rdi
testq %rdi, %rdi
je 0x1b4e1
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x130(%rsp)
jmp 0x1b4f2
movq %rax, %rbx
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b585
movq (%rdi), %rax
callq *0x10(%rax)
jmp 0x1b585
jmp 0x1b582
movq %rax, %rbx
movq 0x138(%rsp), %rdi
testq %rdi, %rdi
je 0x1b520
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x138(%rsp)
jmp 0x1b578
jmp 0x1b582
movq %rax, %rbx
movq 0x140(%rsp), %rdi
testq %rdi, %rdi
je 0x1b546
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x140(%rsp)
jmp 0x1b578
jmp 0x1b582
movq %rax, %rbx
movq 0x148(%rsp), %rdi
testq %rdi, %rdi
je 0x1b56c
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x148(%rsp)
movq 0x20(%rsp), %rdi
jmp 0x1b4f7
movq %rax, %rbx
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x1b594
callq 0xac0e
movq %rbx, %rdi
callq 0x7630