// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_name_Name_iszetypezehole
static bool mw_mirth_name_Name_iszetypezehole (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Name_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* v5;
	enum std_byte_Byte v6 = mw_mirth_name_Name_head(in_zaMirth_1, in_Name_2, &v5);
	enum std_byte_Byte v7 = std_byte_Byte_Bzqzyzq;
	int64_t v8 = v6;
	INT v9 = i64_to_int(v8);
	uint64_t v10 = int_to_u64(v9);
	uint8_t v11 = (uint8_t)(v10);
	int64_t v12 = v7;
	INT v13 = i64_to_int(v12);
	uint64_t v14 = int_to_u64(v13);
	uint8_t v15 = (uint8_t)(v14);
	uint64_t v16 = (uint64_t)(v15);
	uint32_t v17 = (uint32_t)(v16);
	uint64_t v18 = (uint64_t)(v11);
	uint32_t v19 = (uint32_t)(v18);
	uint64_t v20 = (uint64_t)(v19);
	uint64_t v21 = (uint64_t)(v17);
	bool v22 = (v20 == v21);
	struct mirth_mirth_zaMirth* v23;
	enum std_byte_Byte v24 = mw_mirth_name_Name_tailzehead(v5, in_Name_2, &v23);
	enum std_byte_Byte v25 = std_byte_Byte_BNUL;
	int64_t v26 = v24;
	INT v27 = i64_to_int(v26);
	uint64_t v28 = int_to_u64(v27);
	uint8_t v29 = (uint8_t)(v28);
	int64_t v30 = v25;
	INT v31 = i64_to_int(v30);
	uint64_t v32 = int_to_u64(v31);
	uint8_t v33 = (uint8_t)(v32);
	uint64_t v34 = (uint64_t)(v33);
	uint32_t v35 = (uint32_t)(v34);
	uint64_t v36 = (uint64_t)(v29);
	uint32_t v37 = (uint32_t)(v36);
	uint64_t v38 = (uint64_t)(v37);
	uint64_t v39 = (uint64_t)(v35);
	bool v40 = (v38 == v39);
	enum std_byte_Byte v41 = std_byte_Byte_Bzqazq;
	enum std_byte_Byte v42 = std_byte_Byte_Bzqzzzq;
	int64_t v43 = v41;
	INT v44 = i64_to_int(v43);
	uint64_t v45 = int_to_u64(v44);
	uint8_t v46 = (uint8_t)(v45);
	int64_t v47 = v24;
	INT v48 = i64_to_int(v47);
	uint64_t v49 = int_to_u64(v48);
	uint8_t v50 = (uint8_t)(v49);
	uint64_t v51 = (uint64_t)(v50);
	uint32_t v52 = (uint32_t)(v51);
	uint64_t v53 = (uint64_t)(v46);
	uint32_t v54 = (uint32_t)(v53);
	uint64_t v55 = (uint64_t)(v54);
	uint64_t v56 = (uint64_t)(v52);
	bool v57 = (v55 <= v56);
	bool branch_Bool_58;
	if (v57) {
		int64_t v59 = v24;
		INT v60 = i64_to_int(v59);
		uint64_t v61 = int_to_u64(v60);
		uint8_t v62 = (uint8_t)(v61);
		int64_t v63 = v42;
		INT v64 = i64_to_int(v63);
		uint64_t v65 = int_to_u64(v64);
		uint8_t v66 = (uint8_t)(v65);
		uint64_t v67 = (uint64_t)(v66);
		uint32_t v68 = (uint32_t)(v67);
		uint64_t v69 = (uint64_t)(v62);
		uint32_t v70 = (uint32_t)(v69);
		uint64_t v71 = (uint64_t)(v70);
		uint64_t v72 = (uint64_t)(v68);
		bool v73 = (v71 <= v72);
		branch_Bool_58 = v73;
	} else {
		bool v74 = false;
		branch_Bool_58 = v74;
	}
	bool v75 = (v40 || branch_Bool_58);
	bool v76 = (v22 && v75);
	*out_zaMirth_3 = v23;
	return v76;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x220, %rsp            # imm = 0x220
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
leaq -0x20(%rbp), %rdx
callq 0x6e510
movl %eax, -0x24(%rbp)
movl $0x3f, -0x28(%rbp)
movl -0x24(%rbp), %eax
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rdi
callq 0x1a290
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rdi
callq 0x1b680
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rax
movb %al, -0x41(%rbp)
movl -0x28(%rbp), %eax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rdi
callq 0x1a290
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rdi
callq 0x1b680
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rax
movb %al, -0x61(%rbp)
movzbl -0x61(%rbp), %eax
movq %rax, -0x70(%rbp)
movq -0x70(%rbp), %rax
movl %eax, -0x74(%rbp)
movzbl -0x41(%rbp), %eax
movq %rax, -0x80(%rbp)
movq -0x80(%rbp), %rax
movl %eax, -0x84(%rbp)
movl -0x84(%rbp), %eax
movq %rax, -0x90(%rbp)
movl -0x74(%rbp), %eax
movq %rax, -0x98(%rbp)
movq -0x90(%rbp), %rax
cmpq -0x98(%rbp), %rax
sete %al
andb $0x1, %al
movb %al, -0x99(%rbp)
movq -0x20(%rbp), %rdi
movq -0x10(%rbp), %rsi
leaq -0xa8(%rbp), %rdx
callq 0x6e570
movl %eax, -0xac(%rbp)
movl $0x0, -0xb0(%rbp)
movl -0xac(%rbp), %eax
movq %rax, -0xb8(%rbp)
movq -0xb8(%rbp), %rdi
callq 0x1a290
movq %rax, -0xc0(%rbp)
movq -0xc0(%rbp), %rdi
callq 0x1b680
movq %rax, -0xc8(%rbp)
movq -0xc8(%rbp), %rax
movb %al, -0xc9(%rbp)
movl -0xb0(%rbp), %eax
movq %rax, -0xd8(%rbp)
movq -0xd8(%rbp), %rdi
callq 0x1a290
movq %rax, -0xe0(%rbp)
movq -0xe0(%rbp), %rdi
callq 0x1b680
movq %rax, -0xe8(%rbp)
movq -0xe8(%rbp), %rax
movb %al, -0xe9(%rbp)
movzbl -0xe9(%rbp), %eax
movq %rax, -0xf8(%rbp)
movq -0xf8(%rbp), %rax
movl %eax, -0xfc(%rbp)
movzbl -0xc9(%rbp), %eax
movq %rax, -0x108(%rbp)
movq -0x108(%rbp), %rax
movl %eax, -0x10c(%rbp)
movl -0x10c(%rbp), %eax
movq %rax, -0x118(%rbp)
movl -0xfc(%rbp), %eax
movq %rax, -0x120(%rbp)
movq -0x118(%rbp), %rax
cmpq -0x120(%rbp), %rax
sete %al
andb $0x1, %al
movb %al, -0x121(%rbp)
movl $0x61, -0x128(%rbp)
movl $0x7a, -0x12c(%rbp)
movl -0x128(%rbp), %eax
movq %rax, -0x138(%rbp)
movq -0x138(%rbp), %rdi
callq 0x1a290
movq %rax, -0x140(%rbp)
movq -0x140(%rbp), %rdi
callq 0x1b680
movq %rax, -0x148(%rbp)
movq -0x148(%rbp), %rax
movb %al, -0x149(%rbp)
movl -0xac(%rbp), %eax
movq %rax, -0x158(%rbp)
movq -0x158(%rbp), %rdi
callq 0x1a290
movq %rax, -0x160(%rbp)
movq -0x160(%rbp), %rdi
callq 0x1b680
movq %rax, -0x168(%rbp)
movq -0x168(%rbp), %rax
movb %al, -0x169(%rbp)
movzbl -0x169(%rbp), %eax
movq %rax, -0x178(%rbp)
movq -0x178(%rbp), %rax
movl %eax, -0x17c(%rbp)
movzbl -0x149(%rbp), %eax
movq %rax, -0x188(%rbp)
movq -0x188(%rbp), %rax
movl %eax, -0x18c(%rbp)
movl -0x18c(%rbp), %eax
movq %rax, -0x198(%rbp)
movl -0x17c(%rbp), %eax
movq %rax, -0x1a0(%rbp)
movq -0x198(%rbp), %rax
cmpq -0x1a0(%rbp), %rax
setbe %al
andb $0x1, %al
movb %al, -0x1a1(%rbp)
testb $0x1, -0x1a1(%rbp)
je 0xdd8a3
movl -0xac(%rbp), %eax
movq %rax, -0x1b0(%rbp)
movq -0x1b0(%rbp), %rdi
callq 0x1a290
movq %rax, -0x1b8(%rbp)
movq -0x1b8(%rbp), %rdi
callq 0x1b680
movq %rax, -0x1c0(%rbp)
movq -0x1c0(%rbp), %rax
movb %al, -0x1c1(%rbp)
movl -0x12c(%rbp), %eax
movq %rax, -0x1d0(%rbp)
movq -0x1d0(%rbp), %rdi
callq 0x1a290
movq %rax, -0x1d8(%rbp)
movq -0x1d8(%rbp), %rdi
callq 0x1b680
movq %rax, -0x1e0(%rbp)
movq -0x1e0(%rbp), %rax
movb %al, -0x1e1(%rbp)
movzbl -0x1e1(%rbp), %eax
movq %rax, -0x1f0(%rbp)
movq -0x1f0(%rbp), %rax
movl %eax, -0x1f4(%rbp)
movzbl -0x1c1(%rbp), %eax
movq %rax, -0x200(%rbp)
movq -0x200(%rbp), %rax
movl %eax, -0x204(%rbp)
movl -0x204(%rbp), %eax
movq %rax, -0x210(%rbp)
movl -0x1f4(%rbp), %eax
movq %rax, -0x218(%rbp)
movq -0x210(%rbp), %rax
cmpq -0x218(%rbp), %rax
setbe %al
andb $0x1, %al
movb %al, -0x219(%rbp)
movb -0x219(%rbp), %al
andb $0x1, %al
movb %al, -0x1a2(%rbp)
jmp 0xdd8b8
movb $0x0, -0x21a(%rbp)
movb -0x21a(%rbp), %al
andb $0x1, %al
movb %al, -0x1a2(%rbp)
movb $0x1, %al
testb $0x1, -0x121(%rbp)
movb %al, -0x21d(%rbp)
jne 0xdd8d5
movb -0x1a2(%rbp), %al
movb %al, -0x21d(%rbp)
movb -0x21d(%rbp), %al
andb $0x1, %al
movb %al, -0x21b(%rbp)
xorl %eax, %eax
testb $0x1, -0x99(%rbp)
movb %al, -0x21e(%rbp)
je 0xdd900
movb -0x21b(%rbp), %al
movb %al, -0x21e(%rbp)
movb -0x21e(%rbp), %al
andb $0x1, %al
movb %al, -0x21c(%rbp)
movq -0xa8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movb -0x21c(%rbp), %al
andb $0x1, %al
addq $0x220, %rsp            # imm = 0x220
popq %rbp
retq
nopl (%rax)