// File: /workspace/github_cpp_makefile_star2_O1/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 0xa65a
movq (%rbx), %rbx
leaq 0x81ea(%rip), %rsi      # 0x22704
leaq 0x20(%rsp), %rdi
callq 0xe973
leaq 0x15505(%rip), %rax     # 0x2fa30
movq (%rax), %rsi
testq %rsi, %rsi
je 0x1a552
movq (%rsi), %rax
leaq 0x8(%rsp), %rdi
callq *(%rax)
movq 0x8(%rsp), %rax
movq $0x0, 0x8(%rsp)
movq %rax, 0x38(%rsp)
jmp 0x1a55b
movq $0x0, 0x38(%rsp)
leaq 0x20(%rsp), %rsi
leaq 0x38(%rsp), %rdx
movq %rbx, %rdi
callq 0xa684
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0x1a57d
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x38(%rsp)
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x1a596
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x8167(%rip), %rsi      # 0x22709
leaq 0x20(%rsp), %rdi
callq 0xe973
leaq 0x15485(%rip), %rax     # 0x2fa38
movq (%rax), %rsi
testq %rsi, %rsi
je 0x1a5da
movq (%rsi), %rax
leaq 0x8(%rsp), %rdi
callq *(%rax)
movq 0x8(%rsp), %rax
movq $0x0, 0x8(%rsp)
movq %rax, 0x30(%rsp)
jmp 0x1a5e3
movq $0x0, 0x30(%rsp)
leaq 0x20(%rsp), %rsi
leaq 0x30(%rsp), %rdx
movq %rbx, %rdi
callq 0xa684
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x1a605
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x30(%rsp)
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x1a61e
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x80d6(%rip), %rsi      # 0x22700
leaq 0x20(%rsp), %rdi
callq 0xe973
leaq 0x153ed(%rip), %rax     # 0x2fa28
movq (%rax), %rsi
testq %rsi, %rsi
je 0x1a662
movq (%rsi), %rax
leaq 0x8(%rsp), %rdi
callq *(%rax)
movq 0x8(%rsp), %rax
movq $0x0, 0x8(%rsp)
movq %rax, 0x28(%rsp)
jmp 0x1a66b
movq $0x0, 0x28(%rsp)
leaq 0x20(%rsp), %rsi
leaq 0x28(%rsp), %rdx
movq %rbx, %rdi
callq 0xa684
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x1a68d
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x28(%rsp)
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x1a6a6
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x8313(%rip), %rsi      # 0x229c5
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
leaq 0x142cc(%rip), %r14     # 0x2e9a0
movq %r14, (%rax)
leaq 0x1a36(%rip), %rcx      # 0x1c114
movq %rcx, 0x10(%rax)
leaq 0x148(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0x148(%rsp), %rdi
testq %rdi, %rdi
je 0x1a70d
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x148(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a729
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x8214(%rip), %rsi      # 0x22949
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x34f6(%rip), %rcx      # 0x1dc50
movq %rcx, 0x10(%rax)
leaq 0x140(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0x140(%rsp), %rdi
testq %rdi, %rdi
je 0x1a789
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x140(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a7a5
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x73bb(%rip), %rsi      # 0x21b6c
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x35d8(%rip), %rcx      # 0x1ddae
movq %rcx, 0x10(%rax)
leaq 0x138(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0x138(%rsp), %rdi
testq %rdi, %rdi
je 0x1a805
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x138(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a821
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x819e(%rip), %rsi      # 0x229cb
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x36ba(%rip), %rcx      # 0x1df0c
movq %rcx, 0x10(%rax)
leaq 0x130(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0x130(%rsp), %rdi
testq %rdi, %rdi
je 0x1a881
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x130(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a89d
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x8305(%rip), %rsi      # 0x22bae
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x379c(%rip), %rcx      # 0x1e06a
movq %rcx, 0x10(%rax)
leaq 0x128(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0x128(%rsp), %rdi
testq %rdi, %rdi
je 0x1a8fd
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x128(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a919
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x80ac(%rip), %rsi      # 0x229d1
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x387e(%rip), %r15      # 0x1e1c8
movq %r15, 0x10(%rax)
leaq 0x120(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0x120(%rsp), %rdi
testq %rdi, %rdi
je 0x1a979
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x120(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1a995
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x802c(%rip), %rsi      # 0x229cd
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
movq %r15, 0x10(%rax)
leaq 0x118(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0x118(%rsp), %rdi
testq %rdi, %rdi
je 0x1a9ee
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x118(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1aa0a
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7fba(%rip), %rsi      # 0x229d0
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x389d(%rip), %rcx      # 0x1e2d8
movq %rcx, 0x10(%rax)
leaq 0x110(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0x110(%rsp), %rdi
testq %rdi, %rdi
je 0x1aa6a
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x110(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1aa86
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7f41(%rip), %rsi      # 0x229d3
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x3931(%rip), %rcx      # 0x1e3e8
movq %rcx, 0x10(%rax)
leaq 0x108(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0x108(%rsp), %rdi
testq %rdi, %rdi
je 0x1aae6
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x108(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1ab02
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7ec7(%rip), %rsi      # 0x229d5
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x39c3(%rip), %rcx      # 0x1e4f6
movq %rcx, 0x10(%rax)
leaq 0x100(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0x100(%rsp), %rdi
testq %rdi, %rdi
je 0x1ab62
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x100(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1ab7e
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x6795(%rip), %rsi      # 0x2131f
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x3a65(%rip), %rcx      # 0x1e614
movq %rcx, 0x10(%rax)
leaq 0xf8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0xf8(%rsp), %rdi
testq %rdi, %rdi
je 0x1abde
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xf8(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1abfa
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7dd2(%rip), %rsi      # 0x229d8
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x3af7(%rip), %rcx      # 0x1e722
movq %rcx, 0x10(%rax)
leaq 0xf0(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0xf0(%rsp), %rdi
testq %rdi, %rdi
je 0x1ac5a
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xf0(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1ac76
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7d59(%rip), %rsi      # 0x229db
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x3b99(%rip), %rcx      # 0x1e840
movq %rcx, 0x10(%rax)
leaq 0xe8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0xe8(%rsp), %rdi
testq %rdi, %rdi
je 0x1acd6
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xe8(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1acf2
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7ce1(%rip), %rsi      # 0x229df
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x3c29(%rip), %rcx      # 0x1e94c
movq %rcx, 0x10(%rax)
leaq 0xe0(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0xe0(%rsp), %rdi
testq %rdi, %rdi
je 0x1ad52
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xe0(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1ad6e
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7c6a(%rip), %rsi      # 0x229e4
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x9, 0x8(%rax)
leaq 0x13d34(%rip), %r15     # 0x2ead0
movq %r15, (%rax)
leaq 0x1581(%rip), %rcx      # 0x1c327
movq %rcx, 0x10(%rax)
leaq 0xd8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0xd8(%rsp), %rdi
testq %rdi, %rdi
je 0x1add5
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xd8(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1adf1
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7bec(%rip), %rsi      # 0x229e9
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x178f(%rip), %rcx      # 0x1c5b1
movq %rcx, 0x10(%rax)
leaq 0xd0(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0x1ae51
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xd0(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1ae6d
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7b7a(%rip), %rsi      # 0x229f3
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x1877(%rip), %rcx      # 0x1c715
movq %rcx, 0x10(%rax)
leaq 0xc8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0xc8(%rsp), %rdi
testq %rdi, %rdi
je 0x1aecd
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xc8(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1aee9
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7b0a(%rip), %rsi      # 0x229ff
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x9, 0x8(%rax)
movq %r15, (%rax)
leaq 0x190e(%rip), %rcx      # 0x1c828
movq %rcx, 0x10(%rax)
leaq 0xc0(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0xc0(%rsp), %rdi
testq %rdi, %rdi
je 0x1af49
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xc0(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1af65
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7a99(%rip), %rsi      # 0x22a0a
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x9, 0x8(%rax)
movq %r15, (%rax)
leaq 0x1663(%rip), %rcx      # 0x1c5f9
movq %rcx, 0x10(%rax)
leaq 0xb8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0xb8(%rsp), %rdi
testq %rdi, %rdi
je 0x1afc5
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xb8(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1afe1
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7a28(%rip), %rsi      # 0x22a15
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x9, 0x8(%rax)
movq %r15, (%rax)
leaq 0x19f2(%rip), %rcx      # 0x1ca04
movq %rcx, 0x10(%rax)
leaq 0xb0(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0xb0(%rsp), %rdi
testq %rdi, %rdi
je 0x1b041
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xb0(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b05d
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x79b8(%rip), %rsi      # 0x22a21
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x1b43(%rip), %rcx      # 0x1cbd1
movq %rcx, 0x10(%rax)
leaq 0xa8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b0bd
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xa8(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b0d9
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7948(%rip), %rsi      # 0x22a2d
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x1bd1(%rip), %rcx      # 0x1ccdb
movq %rcx, 0x10(%rax)
leaq 0xa0(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x1b139
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xa0(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b155
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x78d6(%rip), %rsi      # 0x22a37
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x205e(%rip), %rcx      # 0x1d1e4
movq %rcx, 0x10(%rax)
leaq 0x98(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0x1b1b5
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x98(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b1d1
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7864(%rip), %rsi      # 0x22a41
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x2332(%rip), %rcx      # 0x1d534
movq %rcx, 0x10(%rax)
leaq 0x90(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0x90(%rsp), %rdi
testq %rdi, %rdi
je 0x1b231
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x90(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b24d
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x77ed(%rip), %rsi      # 0x22a46
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x2372(%rip), %rcx      # 0x1d5f0
movq %rcx, 0x10(%rax)
leaq 0x88(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0x1b2ad
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x88(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b2c9
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7776(%rip), %rsi      # 0x22a4b
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x23b2(%rip), %rcx      # 0x1d6ac
movq %rcx, 0x10(%rax)
leaq 0x80(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x1b329
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x80(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b345
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x76ff(%rip), %rsi      # 0x22a50
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x2414(%rip), %rcx      # 0x1d78a
movq %rcx, 0x10(%rax)
leaq 0x78(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0x1b39f
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x78(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b3b8
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7699(%rip), %rsi      # 0x22a5d
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x24ab(%rip), %rcx      # 0x1d894
movq %rcx, 0x10(%rax)
leaq 0x70(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0x1b412
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x70(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b42b
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x5fba(%rip), %rsi      # 0x213f1
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x250a(%rip), %rcx      # 0x1d966
movq %rcx, 0x10(%rax)
leaq 0x68(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x1b485
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x68(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b49e
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x75b9(%rip), %rsi      # 0x22a63
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x24ba(%rip), %rcx      # 0x1d989
movq %rcx, 0x10(%rax)
leaq 0x60(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0x1b4f8
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x60(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b511
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x5e48(%rip), %rsi      # 0x21365
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x246e(%rip), %rcx      # 0x1d9b0
movq %rcx, 0x10(%rax)
leaq 0x58(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x1b56b
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x58(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b584
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x74d8(%rip), %rsi      # 0x22a68
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x250e(%rip), %rcx      # 0x1dac3
movq %rcx, 0x10(%rax)
leaq 0x50(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x1b5de
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x50(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b5f7
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x746c(%rip), %rsi      # 0x22a6f
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x34c0(%rip), %rcx      # 0x1eae8
movq %rcx, 0x10(%rax)
leaq 0x48(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x1b651
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x48(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b66a
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x10(%rsp), %rbx
leaq 0x7406(%rip), %rsi      # 0x22a7c
leaq 0x8(%rsp), %rdi
callq 0xe973
movl $0x18, %edi
callq 0x7300
movl $0x8, 0x8(%rax)
movq %r14, (%rax)
leaq 0x37ad(%rip), %rcx      # 0x1ee48
movq %rcx, 0x10(%rax)
leaq 0x40(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xa684
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x1b6c4
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x40(%rsp)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b6dd
movq (%rdi), %rax
callq *0x10(%rax)
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x1b6ec
callq 0xad5c
addq $0x150, %rsp            # imm = 0x150
popq %rbx
popq %r14
popq %r15
retq
jmp 0x1b6fd
jmp 0x1b6fd
movq %rax, %rbx
jmp 0x1bdb7
movq %rax, %rbx
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x1b718
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x40(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x1b743
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x48(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x1b76e
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x50(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x1b799
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x58(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0x1b7c4
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x60(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x1b7ef
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x68(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0x1b81a
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x70(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0x1b845
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x78(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x1b873
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x80(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0x1b8a4
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x88(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0x90(%rsp), %rdi
testq %rdi, %rdi
je 0x1b8d5
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x90(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0x1b906
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x98(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x1b937
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xa0(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0xa8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b968
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xa8(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0xb0(%rsp), %rdi
testq %rdi, %rdi
je 0x1b999
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xb0(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0xb8(%rsp), %rdi
testq %rdi, %rdi
je 0x1b9ca
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xb8(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0xc0(%rsp), %rdi
testq %rdi, %rdi
je 0x1b9fb
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xc0(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0xc8(%rsp), %rdi
testq %rdi, %rdi
je 0x1ba2c
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xc8(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0x1ba5d
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xd0(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0xd8(%rsp), %rdi
testq %rdi, %rdi
je 0x1ba8e
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xd8(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0xe0(%rsp), %rdi
testq %rdi, %rdi
je 0x1babf
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xe0(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0xe8(%rsp), %rdi
testq %rdi, %rdi
je 0x1baf0
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xe8(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0xf0(%rsp), %rdi
testq %rdi, %rdi
je 0x1bb21
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xf0(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0xf8(%rsp), %rdi
testq %rdi, %rdi
je 0x1bb52
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0xf8(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0x100(%rsp), %rdi
testq %rdi, %rdi
je 0x1bb83
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x100(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0x108(%rsp), %rdi
testq %rdi, %rdi
je 0x1bbb4
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x108(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0x110(%rsp), %rdi
testq %rdi, %rdi
je 0x1bbe5
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x110(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0x118(%rsp), %rdi
testq %rdi, %rdi
je 0x1bc16
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x118(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0x120(%rsp), %rdi
testq %rdi, %rdi
je 0x1bc47
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x120(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0x128(%rsp), %rdi
testq %rdi, %rdi
je 0x1bc78
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x128(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0x130(%rsp), %rdi
testq %rdi, %rdi
je 0x1bca9
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x130(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0x138(%rsp), %rdi
testq %rdi, %rdi
je 0x1bcd7
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x138(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0x140(%rsp), %rdi
testq %rdi, %rdi
je 0x1bd02
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x140(%rsp)
jmp 0x1bd3e
jmp 0x1bd3b
jmp 0x1bdd2
movq %rax, %rbx
movq 0x148(%rsp), %rdi
testq %rdi, %rdi
je 0x1bd2d
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x148(%rsp)
jmp 0x1bd3e
movq %rax, %rbx
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x1bd4e
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x8(%rsp)
jmp 0x1bdd5
jmp 0x1bdd2
movq %rax, %rbx
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x1bd6e
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x28(%rsp)
jmp 0x1bdb7
jmp 0x1bdd2
movq %rax, %rbx
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x1bd8e
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x30(%rsp)
jmp 0x1bdb7
jmp 0x1bdd2
movq %rax, %rbx
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0x1bdae
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x38(%rsp)
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x1bdc7
movq (%rdi), %rax
callq *0x10(%rax)
movq $0x0, 0x20(%rsp)
jmp 0x1bdd5
movq %rax, %rbx
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x1bde4
callq 0xad5c
movq %rbx, %rdi
callq 0x7620