// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_type_PrimType_ctypezy
static struct std_maybe_Maybe_1 mw_mirth_type_PrimType_ctypezy (struct mirth_mirth_zaMirth* in_zaMirth_1, enum mirth_type_PrimType in_PrimType_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* branch_zaMirth_5;
	struct std_maybe_Maybe_1 branch_Maybe_6;
	switch (in_PrimType_2) {
		case mirth_type_PrimType_Ptr: {
			STR* v7;
			STRLIT(v7, "void*", 5);
			struct mirth_type_CType v8 = mtw_mirth_type_CType_Ptr(v7);
			struct std_maybe_Maybe_1 v9 = mtw_std_maybe_Maybe_1_Some(MK_mirth_type_CType(v8));
			branch_Maybe_6 = v9;
			branch_zaMirth_5 = in_zaMirth_1;
		} break;
		case mirth_type_PrimType_World: {
			STR* v10;
			STRLIT(v10, "void", 4);
			struct mirth_type_CType v11 = mtw_mirth_type_CType_Void(v10);
			struct std_maybe_Maybe_1 v12 = mtw_std_maybe_Maybe_1_Some(MK_mirth_type_CType(v11));
			branch_Maybe_6 = v12;
			branch_zaMirth_5 = in_zaMirth_1;
		} break;
		case mirth_type_PrimType_Bool: {
			STR* v13;
			STRLIT(v13, "_Bool", 5);
			struct mirth_type_CType v14 = mtw_mirth_type_CType_UInt(v13);
			struct std_maybe_Maybe_1 v15 = mtw_std_maybe_Maybe_1_Some(MK_mirth_type_CType(v14));
			branch_Maybe_6 = v15;
			branch_zaMirth_5 = in_zaMirth_1;
		} break;
		case mirth_type_PrimType_U8: {
			STR* v16;
			STRLIT(v16, "uint8_t", 7);
			struct mirth_type_CType v17 = mtw_mirth_type_CType_UInt(v16);
			struct std_maybe_Maybe_1 v18 = mtw_std_maybe_Maybe_1_Some(MK_mirth_type_CType(v17));
			branch_Maybe_6 = v18;
			branch_zaMirth_5 = in_zaMirth_1;
		} break;
		case mirth_type_PrimType_U16: {
			STR* v19;
			STRLIT(v19, "uint16_t", 8);
			struct mirth_type_CType v20 = mtw_mirth_type_CType_UInt(v19);
			struct std_maybe_Maybe_1 v21 = mtw_std_maybe_Maybe_1_Some(MK_mirth_type_CType(v20));
			branch_Maybe_6 = v21;
			branch_zaMirth_5 = in_zaMirth_1;
		} break;
		case mirth_type_PrimType_U32: {
			STR* v22;
			STRLIT(v22, "uint32_t", 8);
			struct mirth_type_CType v23 = mtw_mirth_type_CType_UInt(v22);
			struct std_maybe_Maybe_1 v24 = mtw_std_maybe_Maybe_1_Some(MK_mirth_type_CType(v23));
			branch_Maybe_6 = v24;
			branch_zaMirth_5 = in_zaMirth_1;
		} break;
		case mirth_type_PrimType_U64: {
			STR* v25;
			STRLIT(v25, "uint64_t", 8);
			struct mirth_type_CType v26 = mtw_mirth_type_CType_UInt(v25);
			struct std_maybe_Maybe_1 v27 = mtw_std_maybe_Maybe_1_Some(MK_mirth_type_CType(v26));
			branch_Maybe_6 = v27;
			branch_zaMirth_5 = in_zaMirth_1;
		} break;
		case mirth_type_PrimType_I8: {
			STR* v28;
			STRLIT(v28, "int8_t", 6);
			struct mirth_type_CType v29 = mtw_mirth_type_CType_Int(v28);
			struct std_maybe_Maybe_1 v30 = mtw_std_maybe_Maybe_1_Some(MK_mirth_type_CType(v29));
			branch_Maybe_6 = v30;
			branch_zaMirth_5 = in_zaMirth_1;
		} break;
		case mirth_type_PrimType_I16: {
			STR* v31;
			STRLIT(v31, "int16_t", 7);
			struct mirth_type_CType v32 = mtw_mirth_type_CType_Int(v31);
			struct std_maybe_Maybe_1 v33 = mtw_std_maybe_Maybe_1_Some(MK_mirth_type_CType(v32));
			branch_Maybe_6 = v33;
			branch_zaMirth_5 = in_zaMirth_1;
		} break;
		case mirth_type_PrimType_I32: {
			STR* v34;
			STRLIT(v34, "int32_t", 7);
			struct mirth_type_CType v35 = mtw_mirth_type_CType_Int(v34);
			struct std_maybe_Maybe_1 v36 = mtw_std_maybe_Maybe_1_Some(MK_mirth_type_CType(v35));
			branch_Maybe_6 = v36;
			branch_zaMirth_5 = in_zaMirth_1;
		} break;
		case mirth_type_PrimType_I64: {
			STR* v37;
			STRLIT(v37, "int64_t", 7);
			struct mirth_type_CType v38 = mtw_mirth_type_CType_Int(v37);
			struct std_maybe_Maybe_1 v39 = mtw_std_maybe_Maybe_1_Some(MK_mirth_type_CType(v38));
			branch_Maybe_6 = v39;
			branch_zaMirth_5 = in_zaMirth_1;
		} break;
		case mirth_type_PrimType_F32: {
			STR* v40;
			STRLIT(v40, "float", 5);
			struct mirth_type_CType v41 = mtw_mirth_type_CType_F32(v40);
			struct std_maybe_Maybe_1 v42 = mtw_std_maybe_Maybe_1_Some(MK_mirth_type_CType(v41));
			branch_Maybe_6 = v42;
			branch_zaMirth_5 = in_zaMirth_1;
		} break;
		case mirth_type_PrimType_F64: {
			STR* v43;
			STRLIT(v43, "double", 6);
			struct mirth_type_CType v44 = mtw_mirth_type_CType_F64(v43);
			struct std_maybe_Maybe_1 v45 = mtw_std_maybe_Maybe_1_Some(MK_mirth_type_CType(v44));
			branch_Maybe_6 = v45;
			branch_zaMirth_5 = in_zaMirth_1;
		} break;
		default: {
			struct std_maybe_Maybe_1 v46 = { .tag=std_maybe_Maybe_1_None };
			branch_Maybe_6 = v46;
			branch_zaMirth_5 = in_zaMirth_1;
		} break;
	}
	*out_zaMirth_3 = branch_zaMirth_5;
	return branch_Maybe_6;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x660, %rsp            # imm = 0x660
movq %rdi, -0x18(%rbp)
movl %esi, -0x1c(%rbp)
movq %rdx, -0x28(%rbp)
movl -0x1c(%rbp), %eax
addl $-0x4, %eax
movl %eax, %ecx
movq %rcx, -0x660(%rbp)
subl $0x10, %eax
ja 0x16b28d
movq -0x660(%rbp), %rax
leaq 0x1e887c(%rip), %rcx    # 0x352758
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
jmp 0x169ee7
cmpq $0x0, 0x122c0f1(%rip)   # 0x1395fe0
jne 0x169f09
leaq 0x1f085e(%rip), %rdi    # 0x35a756
movl $0x5, %esi
callq 0xb6c0
movq %rax, 0x122c0d7(%rip)   # 0x1395fe0
jmp 0x169f0b
movq 0x122c0ce(%rip), %rax   # 0x1395fe0
movq %rax, -0x48(%rbp)
leaq 0x22723b(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x169fbc
movq 0x122c0a2(%rip), %rax   # 0x1395fe0
movq %rax, -0x58(%rbp)
leaq 0x22720f(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x50(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x58(%rbp), %rax
cmpq $0x0, %rax
je 0x169fbc
movq 0x122c074(%rip), %rax   # 0x1395fe0
movq %rax, -0x68(%rbp)
leaq 0x2271e1(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x60(%rbp)
movq -0x68(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x169fbc
movq 0x122c04c(%rip), %rax   # 0x1395fe0
movq %rax, -0x78(%rbp)
leaq 0x2271b9(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x70(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x78(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x169fbe
movq 0x122c01b(%rip), %rax   # 0x1395fe0
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rdi
callq 0x16b6b0
movl %eax, -0x88(%rbp)
movq %rdx, -0x80(%rbp)
movl -0x88(%rbp), %edi
movq -0x80(%rbp), %rsi
callq 0x720b0
movq %rax, -0xa8(%rbp)
movq %rdx, -0xa0(%rbp)
movq -0xa8(%rbp), %rdi
movq -0xa0(%rbp), %rsi
callq 0xca10
movl %eax, -0x98(%rbp)
movq %rdx, -0x90(%rbp)
movq -0x98(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x90(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x30(%rbp)
jmp 0x16b2be
jmp 0x16a03e
cmpq $0x0, 0x122bfa2(%rip)   # 0x1395fe8
jne 0x16a060
leaq 0x1ed33f(%rip), %rdi    # 0x35738e
movl $0x4, %esi
callq 0xb6c0
movq %rax, 0x122bf88(%rip)   # 0x1395fe8
jmp 0x16a062
movq 0x122bf7f(%rip), %rax   # 0x1395fe8
movq %rax, -0xc0(%rbp)
leaq 0x2270e1(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0xb8(%rbp)
movq -0xb8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x16a137
movq 0x122bf4a(%rip), %rax   # 0x1395fe8
movq %rax, -0xd0(%rbp)
leaq 0x2270ac(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0xc8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0xd0(%rbp), %rax
cmpq $0x0, %rax
je 0x16a137
movq 0x122bf13(%rip), %rax   # 0x1395fe8
movq %rax, -0xe0(%rbp)
leaq 0x227075(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0xd8(%rbp)
movq -0xe0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x16a137
movq 0x122bee2(%rip), %rax   # 0x1395fe8
movq %rax, -0xf0(%rbp)
leaq 0x227044(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0xe8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0xf0(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x16a139
movq 0x122bea8(%rip), %rax   # 0x1395fe8
movq %rax, -0xb0(%rbp)
movq -0xb0(%rbp), %rdi
callq 0x72020
movl %eax, -0x100(%rbp)
movq %rdx, -0xf8(%rbp)
movl -0x100(%rbp), %edi
movq -0xf8(%rbp), %rsi
callq 0x720b0
movq %rax, -0x120(%rbp)
movq %rdx, -0x118(%rbp)
movq -0x120(%rbp), %rdi
movq -0x118(%rbp), %rsi
callq 0xca10
movl %eax, -0x110(%rbp)
movq %rdx, -0x108(%rbp)
movq -0x110(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x108(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x30(%rbp)
jmp 0x16b2be
jmp 0x16a1c5
cmpq $0x0, 0x122be23(%rip)   # 0x1395ff0
jne 0x16a1e7
leaq 0x1f0586(%rip), %rdi    # 0x35a75c
movl $0x5, %esi
callq 0xb6c0
movq %rax, 0x122be09(%rip)   # 0x1395ff0
jmp 0x16a1e9
movq 0x122be00(%rip), %rax   # 0x1395ff0
movq %rax, -0x138(%rbp)
leaq 0x226f5a(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x130(%rbp)
movq -0x130(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x16a2be
movq 0x122bdcb(%rip), %rax   # 0x1395ff0
movq %rax, -0x148(%rbp)
leaq 0x226f25(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x140(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x148(%rbp), %rax
cmpq $0x0, %rax
je 0x16a2be
movq 0x122bd94(%rip), %rax   # 0x1395ff0
movq %rax, -0x158(%rbp)
leaq 0x226eee(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x150(%rbp)
movq -0x158(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x16a2be
movq 0x122bd63(%rip), %rax   # 0x1395ff0
movq %rax, -0x168(%rbp)
leaq 0x226ebd(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x160(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x168(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x16a2c0
movq 0x122bd29(%rip), %rax   # 0x1395ff0
movq %rax, -0x128(%rbp)
movq -0x128(%rbp), %rdi
callq 0x75560
movl %eax, -0x178(%rbp)
movq %rdx, -0x170(%rbp)
movl -0x178(%rbp), %edi
movq -0x170(%rbp), %rsi
callq 0x720b0
movq %rax, -0x198(%rbp)
movq %rdx, -0x190(%rbp)
movq -0x198(%rbp), %rdi
movq -0x190(%rbp), %rsi
callq 0xca10
movl %eax, -0x188(%rbp)
movq %rdx, -0x180(%rbp)
movq -0x188(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x180(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x30(%rbp)
jmp 0x16b2be
jmp 0x16a34c
cmpq $0x0, 0x122bca4(%rip)   # 0x1395ff8
jne 0x16a36e
leaq 0x1f0405(%rip), %rdi    # 0x35a762
movl $0x7, %esi
callq 0xb6c0
movq %rax, 0x122bc8a(%rip)   # 0x1395ff8
jmp 0x16a370
movq 0x122bc81(%rip), %rax   # 0x1395ff8
movq %rax, -0x1b0(%rbp)
leaq 0x226dd3(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x1a8(%rbp)
movq -0x1a8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x16a445
movq 0x122bc4c(%rip), %rax   # 0x1395ff8
movq %rax, -0x1c0(%rbp)
leaq 0x226d9e(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x1b8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x1c0(%rbp), %rax
cmpq $0x0, %rax
je 0x16a445
movq 0x122bc15(%rip), %rax   # 0x1395ff8
movq %rax, -0x1d0(%rbp)
leaq 0x226d67(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x1c8(%rbp)
movq -0x1d0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x16a445
movq 0x122bbe4(%rip), %rax   # 0x1395ff8
movq %rax, -0x1e0(%rbp)
leaq 0x226d36(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x1d8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x1e0(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x16a447
movq 0x122bbaa(%rip), %rax   # 0x1395ff8
movq %rax, -0x1a0(%rbp)
movq -0x1a0(%rbp), %rdi
callq 0x75560
movl %eax, -0x1f0(%rbp)
movq %rdx, -0x1e8(%rbp)
movl -0x1f0(%rbp), %edi
movq -0x1e8(%rbp), %rsi
callq 0x720b0
movq %rax, -0x210(%rbp)
movq %rdx, -0x208(%rbp)
movq -0x210(%rbp), %rdi
movq -0x208(%rbp), %rsi
callq 0xca10
movl %eax, -0x200(%rbp)
movq %rdx, -0x1f8(%rbp)
movq -0x200(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x1f8(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x30(%rbp)
jmp 0x16b2be
jmp 0x16a4d3
cmpq $0x0, 0x122bb25(%rip)   # 0x1396000
jne 0x16a4f5
leaq 0x1f0286(%rip), %rdi    # 0x35a76a
movl $0x8, %esi
callq 0xb6c0
movq %rax, 0x122bb0b(%rip)   # 0x1396000
jmp 0x16a4f7
movq 0x122bb02(%rip), %rax   # 0x1396000
movq %rax, -0x228(%rbp)
leaq 0x226c4c(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x220(%rbp)
movq -0x220(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x16a5cc
movq 0x122bacd(%rip), %rax   # 0x1396000
movq %rax, -0x238(%rbp)
leaq 0x226c17(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x230(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x238(%rbp), %rax
cmpq $0x0, %rax
je 0x16a5cc
movq 0x122ba96(%rip), %rax   # 0x1396000
movq %rax, -0x248(%rbp)
leaq 0x226be0(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x240(%rbp)
movq -0x248(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x16a5cc
movq 0x122ba65(%rip), %rax   # 0x1396000
movq %rax, -0x258(%rbp)
leaq 0x226baf(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x250(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x258(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x16a5ce
movq 0x122ba2b(%rip), %rax   # 0x1396000
movq %rax, -0x218(%rbp)
movq -0x218(%rbp), %rdi
callq 0x75560
movl %eax, -0x268(%rbp)
movq %rdx, -0x260(%rbp)
movl -0x268(%rbp), %edi
movq -0x260(%rbp), %rsi
callq 0x720b0
movq %rax, -0x288(%rbp)
movq %rdx, -0x280(%rbp)
movq -0x288(%rbp), %rdi
movq -0x280(%rbp), %rsi
callq 0xca10
movl %eax, -0x278(%rbp)
movq %rdx, -0x270(%rbp)
movq -0x278(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x270(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x30(%rbp)
jmp 0x16b2be
jmp 0x16a65a
cmpq $0x0, 0x122b9a6(%rip)   # 0x1396008
jne 0x16a67c
leaq 0x1f0108(%rip), %rdi    # 0x35a773
movl $0x8, %esi
callq 0xb6c0
movq %rax, 0x122b98c(%rip)   # 0x1396008
jmp 0x16a67e
movq 0x122b983(%rip), %rax   # 0x1396008
movq %rax, -0x2a0(%rbp)
leaq 0x226ac5(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x298(%rbp)
movq -0x298(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x16a753
movq 0x122b94e(%rip), %rax   # 0x1396008
movq %rax, -0x2b0(%rbp)
leaq 0x226a90(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x2a8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x2b0(%rbp), %rax
cmpq $0x0, %rax
je 0x16a753
movq 0x122b917(%rip), %rax   # 0x1396008
movq %rax, -0x2c0(%rbp)
leaq 0x226a59(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x2b8(%rbp)
movq -0x2c0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x16a753
movq 0x122b8e6(%rip), %rax   # 0x1396008
movq %rax, -0x2d0(%rbp)
leaq 0x226a28(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x2c8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x2d0(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x16a755
movq 0x122b8ac(%rip), %rax   # 0x1396008
movq %rax, -0x290(%rbp)
movq -0x290(%rbp), %rdi
callq 0x75560
movl %eax, -0x2e0(%rbp)
movq %rdx, -0x2d8(%rbp)
movl -0x2e0(%rbp), %edi
movq -0x2d8(%rbp), %rsi
callq 0x720b0
movq %rax, -0x300(%rbp)
movq %rdx, -0x2f8(%rbp)
movq -0x300(%rbp), %rdi
movq -0x2f8(%rbp), %rsi
callq 0xca10
movl %eax, -0x2f0(%rbp)
movq %rdx, -0x2e8(%rbp)
movq -0x2f0(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x2e8(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x30(%rbp)
jmp 0x16b2be
jmp 0x16a7e1
cmpq $0x0, 0x122b827(%rip)   # 0x1396010
jne 0x16a803
leaq 0x1eff8a(%rip), %rdi    # 0x35a77c
movl $0x8, %esi
callq 0xb6c0
movq %rax, 0x122b80d(%rip)   # 0x1396010
jmp 0x16a805
movq 0x122b804(%rip), %rax   # 0x1396010
movq %rax, -0x318(%rbp)
leaq 0x22693e(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x310(%rbp)
movq -0x310(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x16a8da
movq 0x122b7cf(%rip), %rax   # 0x1396010
movq %rax, -0x328(%rbp)
leaq 0x226909(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x320(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x328(%rbp), %rax
cmpq $0x0, %rax
je 0x16a8da
movq 0x122b798(%rip), %rax   # 0x1396010
movq %rax, -0x338(%rbp)
leaq 0x2268d2(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x330(%rbp)
movq -0x338(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x16a8da
movq 0x122b767(%rip), %rax   # 0x1396010
movq %rax, -0x348(%rbp)
leaq 0x2268a1(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x340(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x348(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x16a8dc
movq 0x122b72d(%rip), %rax   # 0x1396010
movq %rax, -0x308(%rbp)
movq -0x308(%rbp), %rdi
callq 0x75560
movl %eax, -0x358(%rbp)
movq %rdx, -0x350(%rbp)
movl -0x358(%rbp), %edi
movq -0x350(%rbp), %rsi
callq 0x720b0
movq %rax, -0x378(%rbp)
movq %rdx, -0x370(%rbp)
movq -0x378(%rbp), %rdi
movq -0x370(%rbp), %rsi
callq 0xca10
movl %eax, -0x368(%rbp)
movq %rdx, -0x360(%rbp)
movq -0x368(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x360(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x30(%rbp)
jmp 0x16b2be
jmp 0x16a968
cmpq $0x0, 0x122b6a8(%rip)   # 0x1396018
jne 0x16a98a
leaq 0x1efdea(%rip), %rdi    # 0x35a763
movl $0x6, %esi
callq 0xb6c0
movq %rax, 0x122b68e(%rip)   # 0x1396018
jmp 0x16a98c
movq 0x122b685(%rip), %rax   # 0x1396018
movq %rax, -0x390(%rbp)
leaq 0x2267b7(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x388(%rbp)
movq -0x388(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x16aa61
movq 0x122b650(%rip), %rax   # 0x1396018
movq %rax, -0x3a0(%rbp)
leaq 0x226782(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x398(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x3a0(%rbp), %rax
cmpq $0x0, %rax
je 0x16aa61
movq 0x122b619(%rip), %rax   # 0x1396018
movq %rax, -0x3b0(%rbp)
leaq 0x22674b(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x3a8(%rbp)
movq -0x3b0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x16aa61
movq 0x122b5e8(%rip), %rax   # 0x1396018
movq %rax, -0x3c0(%rbp)
leaq 0x22671a(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x3b8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x3c0(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x16aa63
movq 0x122b5ae(%rip), %rax   # 0x1396018
movq %rax, -0x380(%rbp)
movq -0x380(%rbp), %rdi
callq 0x754a0
movl %eax, -0x3d0(%rbp)
movq %rdx, -0x3c8(%rbp)
movl -0x3d0(%rbp), %edi
movq -0x3c8(%rbp), %rsi
callq 0x720b0
movq %rax, -0x3f0(%rbp)
movq %rdx, -0x3e8(%rbp)
movq -0x3f0(%rbp), %rdi
movq -0x3e8(%rbp), %rsi
callq 0xca10
movl %eax, -0x3e0(%rbp)
movq %rdx, -0x3d8(%rbp)
movq -0x3e0(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x3d8(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x30(%rbp)
jmp 0x16b2be
jmp 0x16aaef
cmpq $0x0, 0x122b529(%rip)   # 0x1396020
jne 0x16ab11
leaq 0x1efc6b(%rip), %rdi    # 0x35a76b
movl $0x7, %esi
callq 0xb6c0
movq %rax, 0x122b50f(%rip)   # 0x1396020
jmp 0x16ab13
movq 0x122b506(%rip), %rax   # 0x1396020
movq %rax, -0x408(%rbp)
leaq 0x226630(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x400(%rbp)
movq -0x400(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x16abe8
movq 0x122b4d1(%rip), %rax   # 0x1396020
movq %rax, -0x418(%rbp)
leaq 0x2265fb(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x410(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x418(%rbp), %rax
cmpq $0x0, %rax
je 0x16abe8
movq 0x122b49a(%rip), %rax   # 0x1396020
movq %rax, -0x428(%rbp)
leaq 0x2265c4(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x420(%rbp)
movq -0x428(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x16abe8
movq 0x122b469(%rip), %rax   # 0x1396020
movq %rax, -0x438(%rbp)
leaq 0x226593(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x430(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x438(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x16abea
movq 0x122b42f(%rip), %rax   # 0x1396020
movq %rax, -0x3f8(%rbp)
movq -0x3f8(%rbp), %rdi
callq 0x754a0
movl %eax, -0x448(%rbp)
movq %rdx, -0x440(%rbp)
movl -0x448(%rbp), %edi
movq -0x440(%rbp), %rsi
callq 0x720b0
movq %rax, -0x468(%rbp)
movq %rdx, -0x460(%rbp)
movq -0x468(%rbp), %rdi
movq -0x460(%rbp), %rsi
callq 0xca10
movl %eax, -0x458(%rbp)
movq %rdx, -0x450(%rbp)
movq -0x458(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x450(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x30(%rbp)
jmp 0x16b2be
jmp 0x16ac76
cmpq $0x0, 0x122b3aa(%rip)   # 0x1396028
jne 0x16ac98
leaq 0x1efaed(%rip), %rdi    # 0x35a774
movl $0x7, %esi
callq 0xb6c0
movq %rax, 0x122b390(%rip)   # 0x1396028
jmp 0x16ac9a
movq 0x122b387(%rip), %rax   # 0x1396028
movq %rax, -0x480(%rbp)
leaq 0x2264a9(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x478(%rbp)
movq -0x478(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x16ad6f
movq 0x122b352(%rip), %rax   # 0x1396028
movq %rax, -0x490(%rbp)
leaq 0x226474(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x488(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x490(%rbp), %rax
cmpq $0x0, %rax
je 0x16ad6f
movq 0x122b31b(%rip), %rax   # 0x1396028
movq %rax, -0x4a0(%rbp)
leaq 0x22643d(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x498(%rbp)
movq -0x4a0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x16ad6f
movq 0x122b2ea(%rip), %rax   # 0x1396028
movq %rax, -0x4b0(%rbp)
leaq 0x22640c(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x4a8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x4b0(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x16ad71
movq 0x122b2b0(%rip), %rax   # 0x1396028
movq %rax, -0x470(%rbp)
movq -0x470(%rbp), %rdi
callq 0x754a0
movl %eax, -0x4c0(%rbp)
movq %rdx, -0x4b8(%rbp)
movl -0x4c0(%rbp), %edi
movq -0x4b8(%rbp), %rsi
callq 0x720b0
movq %rax, -0x4e0(%rbp)
movq %rdx, -0x4d8(%rbp)
movq -0x4e0(%rbp), %rdi
movq -0x4d8(%rbp), %rsi
callq 0xca10
movl %eax, -0x4d0(%rbp)
movq %rdx, -0x4c8(%rbp)
movq -0x4d0(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x4c8(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x30(%rbp)
jmp 0x16b2be
jmp 0x16adfd
cmpq $0x0, 0x122b22b(%rip)   # 0x1396030
jne 0x16ae1f
leaq 0x1ef96f(%rip), %rdi    # 0x35a77d
movl $0x7, %esi
callq 0xb6c0
movq %rax, 0x122b211(%rip)   # 0x1396030
jmp 0x16ae21
movq 0x122b208(%rip), %rax   # 0x1396030
movq %rax, -0x4f8(%rbp)
leaq 0x226322(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x4f0(%rbp)
movq -0x4f0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x16aef6
movq 0x122b1d3(%rip), %rax   # 0x1396030
movq %rax, -0x508(%rbp)
leaq 0x2262ed(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x500(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x508(%rbp), %rax
cmpq $0x0, %rax
je 0x16aef6
movq 0x122b19c(%rip), %rax   # 0x1396030
movq %rax, -0x518(%rbp)
leaq 0x2262b6(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x510(%rbp)
movq -0x518(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x16aef6
movq 0x122b16b(%rip), %rax   # 0x1396030
movq %rax, -0x528(%rbp)
leaq 0x226285(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x520(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x528(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x16aef8
movq 0x122b131(%rip), %rax   # 0x1396030
movq %rax, -0x4e8(%rbp)
movq -0x4e8(%rbp), %rdi
callq 0x754a0
movl %eax, -0x538(%rbp)
movq %rdx, -0x530(%rbp)
movl -0x538(%rbp), %edi
movq -0x530(%rbp), %rsi
callq 0x720b0
movq %rax, -0x558(%rbp)
movq %rdx, -0x550(%rbp)
movq -0x558(%rbp), %rdi
movq -0x550(%rbp), %rsi
callq 0xca10
movl %eax, -0x548(%rbp)
movq %rdx, -0x540(%rbp)
movq -0x548(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x540(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x30(%rbp)
jmp 0x16b2be
jmp 0x16af84
cmpq $0x0, 0x122b0ac(%rip)   # 0x1396038
jne 0x16afa6
leaq 0x1ef7f0(%rip), %rdi    # 0x35a785
movl $0x5, %esi
callq 0xb6c0
movq %rax, 0x122b092(%rip)   # 0x1396038
jmp 0x16afa8
movq 0x122b089(%rip), %rax   # 0x1396038
movq %rax, -0x570(%rbp)
leaq 0x22619b(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x568(%rbp)
movq -0x568(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x16b07d
movq 0x122b054(%rip), %rax   # 0x1396038
movq %rax, -0x580(%rbp)
leaq 0x226166(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x578(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x580(%rbp), %rax
cmpq $0x0, %rax
je 0x16b07d
movq 0x122b01d(%rip), %rax   # 0x1396038
movq %rax, -0x590(%rbp)
leaq 0x22612f(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x588(%rbp)
movq -0x590(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x16b07d
movq 0x122afec(%rip), %rax   # 0x1396038
movq %rax, -0x5a0(%rbp)
leaq 0x2260fe(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x598(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x5a0(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x16b07f
movq 0x122afb2(%rip), %rax   # 0x1396038
movq %rax, -0x560(%rbp)
movq -0x560(%rbp), %rdi
callq 0x16b740
movl %eax, -0x5b0(%rbp)
movq %rdx, -0x5a8(%rbp)
movl -0x5b0(%rbp), %edi
movq -0x5a8(%rbp), %rsi
callq 0x720b0
movq %rax, -0x5d0(%rbp)
movq %rdx, -0x5c8(%rbp)
movq -0x5d0(%rbp), %rdi
movq -0x5c8(%rbp), %rsi
callq 0xca10
movl %eax, -0x5c0(%rbp)
movq %rdx, -0x5b8(%rbp)
movq -0x5c0(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x5b8(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x30(%rbp)
jmp 0x16b2be
jmp 0x16b10b
cmpq $0x0, 0x122af2d(%rip)   # 0x1396040
jne 0x16b12d
leaq 0x1ef66f(%rip), %rdi    # 0x35a78b
movl $0x6, %esi
callq 0xb6c0
movq %rax, 0x122af13(%rip)   # 0x1396040
jmp 0x16b12f
movq 0x122af0a(%rip), %rax   # 0x1396040
movq %rax, -0x5e8(%rbp)
leaq 0x226014(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x5e0(%rbp)
movq -0x5e0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x16b204
movq 0x122aed5(%rip), %rax   # 0x1396040
movq %rax, -0x5f8(%rbp)
leaq 0x225fdf(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x5f0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x5f8(%rbp), %rax
cmpq $0x0, %rax
je 0x16b204
movq 0x122ae9e(%rip), %rax   # 0x1396040
movq %rax, -0x608(%rbp)
leaq 0x225fa8(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x600(%rbp)
movq -0x608(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x16b204
movq 0x122ae6d(%rip), %rax   # 0x1396040
movq %rax, -0x618(%rbp)
leaq 0x225f77(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x610(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x618(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x16b206
movq 0x122ae33(%rip), %rax   # 0x1396040
movq %rax, -0x5d8(%rbp)
movq -0x5d8(%rbp), %rdi
callq 0x16b7d0
movl %eax, -0x628(%rbp)
movq %rdx, -0x620(%rbp)
movl -0x628(%rbp), %edi
movq -0x620(%rbp), %rsi
callq 0x720b0
movq %rax, -0x648(%rbp)
movq %rdx, -0x640(%rbp)
movq -0x648(%rbp), %rdi
movq -0x640(%rbp), %rsi
callq 0xca10
movl %eax, -0x638(%rbp)
movq %rdx, -0x630(%rbp)
movq -0x638(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x630(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x30(%rbp)
jmp 0x16b2be
leaq -0x658(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movq -0x658(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x650(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rcx
movq -0x28(%rbp), %rax
movq %rcx, (%rax)
movl -0x10(%rbp), %eax
movq -0x8(%rbp), %rdx
addq $0x660, %rsp            # imm = 0x660
popq %rbp
retq
nopl (%rax)