// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_name_Name_couldzebezelabelzenamezy
static bool mw_mirth_name_Name_couldzebezelabelzenamezy (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_Bzqazq;
	enum std_byte_Byte v8 = std_byte_Byte_Bzqzzzq;
	int64_t v9 = v7;
	INT v10 = i64_to_int(v9);
	uint64_t v11 = int_to_u64(v10);
	uint8_t v12 = (uint8_t)(v11);
	int64_t v13 = v6;
	INT v14 = i64_to_int(v13);
	uint64_t v15 = int_to_u64(v14);
	uint8_t v16 = (uint8_t)(v15);
	uint64_t v17 = (uint64_t)(v16);
	uint32_t v18 = (uint32_t)(v17);
	uint64_t v19 = (uint64_t)(v12);
	uint32_t v20 = (uint32_t)(v19);
	uint64_t v21 = (uint64_t)(v20);
	uint64_t v22 = (uint64_t)(v18);
	bool v23 = (v21 <= v22);
	bool branch_Bool_24;
	if (v23) {
		int64_t v25 = v6;
		INT v26 = i64_to_int(v25);
		uint64_t v27 = int_to_u64(v26);
		uint8_t v28 = (uint8_t)(v27);
		int64_t v29 = v8;
		INT v30 = i64_to_int(v29);
		uint64_t v31 = int_to_u64(v30);
		uint8_t v32 = (uint8_t)(v31);
		uint64_t v33 = (uint64_t)(v32);
		uint32_t v34 = (uint32_t)(v33);
		uint64_t v35 = (uint64_t)(v28);
		uint32_t v36 = (uint32_t)(v35);
		uint64_t v37 = (uint64_t)(v36);
		uint64_t v38 = (uint64_t)(v34);
		bool v39 = (v37 <= v38);
		branch_Bool_24 = v39;
	} else {
		bool v40 = false;
		branch_Bool_24 = v40;
	}
	struct mirth_mirth_zaMirth* branch_zaMirth_41;
	uint64_t branch_Name_42;
	bool branch_Bool_43;
	if (branch_Bool_24) {
		bool v44 = true;
		branch_Bool_43 = v44;
		branch_Name_42 = in_Name_2;
		branch_zaMirth_41 = v5;
	} else {
		struct mirth_mirth_zaMirth* v45;
		enum std_byte_Byte v46 = mw_mirth_name_Name_head(v5, in_Name_2, &v45);
		enum std_byte_Byte v47 = std_byte_Byte_Bzqzazq;
		int64_t v48 = v46;
		INT v49 = i64_to_int(v48);
		uint64_t v50 = int_to_u64(v49);
		uint8_t v51 = (uint8_t)(v50);
		int64_t v52 = v47;
		INT v53 = i64_to_int(v52);
		uint64_t v54 = int_to_u64(v53);
		uint8_t v55 = (uint8_t)(v54);
		uint64_t v56 = (uint64_t)(v55);
		uint32_t v57 = (uint32_t)(v56);
		uint64_t v58 = (uint64_t)(v51);
		uint32_t v59 = (uint32_t)(v58);
		uint64_t v60 = (uint64_t)(v59);
		uint64_t v61 = (uint64_t)(v57);
		bool v62 = (v60 == v61);
		uint64_t branch_Name_63;
		struct mirth_mirth_zaMirth* branch_zaMirth_64;
		bool branch_Bool_65;
		if (v62) {
			struct mirth_mirth_zaMirth* v66;
			enum std_byte_Byte v67 = mw_mirth_name_Name_tailzehead(v45, in_Name_2, &v66);
			enum std_byte_Byte v68 = std_byte_Byte_Bzqazq;
			enum std_byte_Byte v69 = std_byte_Byte_Bzqzzzq;
			int64_t v70 = v68;
			INT v71 = i64_to_int(v70);
			uint64_t v72 = int_to_u64(v71);
			uint8_t v73 = (uint8_t)(v72);
			int64_t v74 = v67;
			INT v75 = i64_to_int(v74);
			uint64_t v76 = int_to_u64(v75);
			uint8_t v77 = (uint8_t)(v76);
			uint64_t v78 = (uint64_t)(v77);
			uint32_t v79 = (uint32_t)(v78);
			uint64_t v80 = (uint64_t)(v73);
			uint32_t v81 = (uint32_t)(v80);
			uint64_t v82 = (uint64_t)(v81);
			uint64_t v83 = (uint64_t)(v79);
			bool v84 = (v82 <= v83);
			bool branch_Bool_85;
			if (v84) {
				int64_t v86 = v67;
				INT v87 = i64_to_int(v86);
				uint64_t v88 = int_to_u64(v87);
				uint8_t v89 = (uint8_t)(v88);
				int64_t v90 = v69;
				INT v91 = i64_to_int(v90);
				uint64_t v92 = int_to_u64(v91);
				uint8_t v93 = (uint8_t)(v92);
				uint64_t v94 = (uint64_t)(v93);
				uint32_t v95 = (uint32_t)(v94);
				uint64_t v96 = (uint64_t)(v89);
				uint32_t v97 = (uint32_t)(v96);
				uint64_t v98 = (uint64_t)(v97);
				uint64_t v99 = (uint64_t)(v95);
				bool v100 = (v98 <= v99);
				branch_Bool_85 = v100;
			} else {
				bool v101 = false;
				branch_Bool_85 = v101;
			}
			branch_Bool_65 = branch_Bool_85;
			branch_zaMirth_64 = v66;
			branch_Name_63 = in_Name_2;
		} else {
			bool v102 = false;
			branch_Bool_65 = v102;
			branch_zaMirth_64 = v45;
			branch_Name_63 = in_Name_2;
		}
		branch_Bool_43 = branch_Bool_65;
		branch_Name_42 = branch_Name_63;
		branch_zaMirth_41 = branch_zaMirth_64;
	}
	*out_zaMirth_3 = branch_zaMirth_41;
	return branch_Bool_43;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x2e0, %rsp            # imm = 0x2E0
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 $0x61, -0x28(%rbp)
movl $0x7a, -0x2c(%rbp)
movl -0x28(%rbp), %eax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rdi
callq 0x1a290
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rdi
callq 0x1b680
movq %rax, -0x48(%rbp)
movq -0x48(%rbp), %rax
movb %al, -0x49(%rbp)
movl -0x24(%rbp), %eax
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rdi
callq 0x1a290
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rdi
callq 0x1b680
movq %rax, -0x68(%rbp)
movq -0x68(%rbp), %rax
movb %al, -0x69(%rbp)
movzbl -0x69(%rbp), %eax
movq %rax, -0x78(%rbp)
movq -0x78(%rbp), %rax
movl %eax, -0x7c(%rbp)
movzbl -0x49(%rbp), %eax
movq %rax, -0x88(%rbp)
movq -0x88(%rbp), %rax
movl %eax, -0x8c(%rbp)
movl -0x8c(%rbp), %eax
movq %rax, -0x98(%rbp)
movl -0x7c(%rbp), %eax
movq %rax, -0xa0(%rbp)
movq -0x98(%rbp), %rax
cmpq -0xa0(%rbp), %rax
setbe %al
andb $0x1, %al
movb %al, -0xa1(%rbp)
testb $0x1, -0xa1(%rbp)
je 0xd1f50
movl -0x24(%rbp), %eax
movq %rax, -0xb0(%rbp)
movq -0xb0(%rbp), %rdi
callq 0x1a290
movq %rax, -0xb8(%rbp)
movq -0xb8(%rbp), %rdi
callq 0x1b680
movq %rax, -0xc0(%rbp)
movq -0xc0(%rbp), %rax
movb %al, -0xc1(%rbp)
movl -0x2c(%rbp), %eax
movq %rax, -0xd0(%rbp)
movq -0xd0(%rbp), %rdi
callq 0x1a290
movq %rax, -0xd8(%rbp)
movq -0xd8(%rbp), %rdi
callq 0x1b680
movq %rax, -0xe0(%rbp)
movq -0xe0(%rbp), %rax
movb %al, -0xe1(%rbp)
movzbl -0xe1(%rbp), %eax
movq %rax, -0xf0(%rbp)
movq -0xf0(%rbp), %rax
movl %eax, -0xf4(%rbp)
movzbl -0xc1(%rbp), %eax
movq %rax, -0x100(%rbp)
movq -0x100(%rbp), %rax
movl %eax, -0x104(%rbp)
movl -0x104(%rbp), %eax
movq %rax, -0x110(%rbp)
movl -0xf4(%rbp), %eax
movq %rax, -0x118(%rbp)
movq -0x110(%rbp), %rax
cmpq -0x118(%rbp), %rax
setbe %al
andb $0x1, %al
movb %al, -0x119(%rbp)
movb -0x119(%rbp), %al
andb $0x1, %al
movb %al, -0xa2(%rbp)
jmp 0xd1f65
movb $0x0, -0x11a(%rbp)
movb -0x11a(%rbp), %al
andb $0x1, %al
movb %al, -0xa2(%rbp)
testb $0x1, -0xa2(%rbp)
je 0xd1f9e
movb $0x1, -0x132(%rbp)
movb -0x132(%rbp), %al
andb $0x1, %al
movb %al, -0x131(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x130(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x128(%rbp)
jmp 0xd236e
movq -0x20(%rbp), %rdi
movq -0x10(%rbp), %rsi
leaq -0x140(%rbp), %rdx
callq 0x6e510
movl %eax, -0x144(%rbp)
movl $0x2b, -0x148(%rbp)
movl -0x144(%rbp), %eax
movq %rax, -0x150(%rbp)
movq -0x150(%rbp), %rdi
callq 0x1a290
movq %rax, -0x158(%rbp)
movq -0x158(%rbp), %rdi
callq 0x1b680
movq %rax, -0x160(%rbp)
movq -0x160(%rbp), %rax
movb %al, -0x161(%rbp)
movl -0x148(%rbp), %eax
movq %rax, -0x170(%rbp)
movq -0x170(%rbp), %rdi
callq 0x1a290
movq %rax, -0x178(%rbp)
movq -0x178(%rbp), %rdi
callq 0x1b680
movq %rax, -0x180(%rbp)
movq -0x180(%rbp), %rax
movb %al, -0x181(%rbp)
movzbl -0x181(%rbp), %eax
movq %rax, -0x190(%rbp)
movq -0x190(%rbp), %rax
movl %eax, -0x194(%rbp)
movzbl -0x161(%rbp), %eax
movq %rax, -0x1a0(%rbp)
movq -0x1a0(%rbp), %rax
movl %eax, -0x1a4(%rbp)
movl -0x1a4(%rbp), %eax
movq %rax, -0x1b0(%rbp)
movl -0x194(%rbp), %eax
movq %rax, -0x1b8(%rbp)
movq -0x1b0(%rbp), %rax
cmpq -0x1b8(%rbp), %rax
sete %al
andb $0x1, %al
movb %al, -0x1b9(%rbp)
testb $0x1, -0x1b9(%rbp)
je 0xd2316
movq -0x140(%rbp), %rdi
movq -0x10(%rbp), %rsi
leaq -0x1e0(%rbp), %rdx
callq 0x6e570
movl %eax, -0x1e4(%rbp)
movl $0x61, -0x1e8(%rbp)
movl $0x7a, -0x1ec(%rbp)
movl -0x1e8(%rbp), %eax
movq %rax, -0x1f8(%rbp)
movq -0x1f8(%rbp), %rdi
callq 0x1a290
movq %rax, -0x200(%rbp)
movq -0x200(%rbp), %rdi
callq 0x1b680
movq %rax, -0x208(%rbp)
movq -0x208(%rbp), %rax
movb %al, -0x209(%rbp)
movl -0x1e4(%rbp), %eax
movq %rax, -0x218(%rbp)
movq -0x218(%rbp), %rdi
callq 0x1a290
movq %rax, -0x220(%rbp)
movq -0x220(%rbp), %rdi
callq 0x1b680
movq %rax, -0x228(%rbp)
movq -0x228(%rbp), %rax
movb %al, -0x229(%rbp)
movzbl -0x229(%rbp), %eax
movq %rax, -0x238(%rbp)
movq -0x238(%rbp), %rax
movl %eax, -0x23c(%rbp)
movzbl -0x209(%rbp), %eax
movq %rax, -0x248(%rbp)
movq -0x248(%rbp), %rax
movl %eax, -0x24c(%rbp)
movl -0x24c(%rbp), %eax
movq %rax, -0x258(%rbp)
movl -0x23c(%rbp), %eax
movq %rax, -0x260(%rbp)
movq -0x258(%rbp), %rax
cmpq -0x260(%rbp), %rax
setbe %al
andb $0x1, %al
movb %al, -0x261(%rbp)
testb $0x1, -0x261(%rbp)
je 0xd22d8
movl -0x1e4(%rbp), %eax
movq %rax, -0x270(%rbp)
movq -0x270(%rbp), %rdi
callq 0x1a290
movq %rax, -0x278(%rbp)
movq -0x278(%rbp), %rdi
callq 0x1b680
movq %rax, -0x280(%rbp)
movq -0x280(%rbp), %rax
movb %al, -0x281(%rbp)
movl -0x1ec(%rbp), %eax
movq %rax, -0x290(%rbp)
movq -0x290(%rbp), %rdi
callq 0x1a290
movq %rax, -0x298(%rbp)
movq -0x298(%rbp), %rdi
callq 0x1b680
movq %rax, -0x2a0(%rbp)
movq -0x2a0(%rbp), %rax
movb %al, -0x2a1(%rbp)
movzbl -0x2a1(%rbp), %eax
movq %rax, -0x2b0(%rbp)
movq -0x2b0(%rbp), %rax
movl %eax, -0x2b4(%rbp)
movzbl -0x281(%rbp), %eax
movq %rax, -0x2c0(%rbp)
movq -0x2c0(%rbp), %rax
movl %eax, -0x2c4(%rbp)
movl -0x2c4(%rbp), %eax
movq %rax, -0x2d0(%rbp)
movl -0x2b4(%rbp), %eax
movq %rax, -0x2d8(%rbp)
movq -0x2d0(%rbp), %rax
cmpq -0x2d8(%rbp), %rax
setbe %al
andb $0x1, %al
movb %al, -0x2d9(%rbp)
movb -0x2d9(%rbp), %al
andb $0x1, %al
movb %al, -0x262(%rbp)
jmp 0xd22ed
movb $0x0, -0x2da(%rbp)
movb -0x2da(%rbp), %al
andb $0x1, %al
movb %al, -0x262(%rbp)
movb -0x262(%rbp), %al
andb $0x1, %al
movb %al, -0x1d1(%rbp)
movq -0x1e0(%rbp), %rax
movq %rax, -0x1d0(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x1c8(%rbp)
jmp 0xd2344
movb $0x0, -0x2db(%rbp)
movb -0x2db(%rbp), %al
andb $0x1, %al
movb %al, -0x1d1(%rbp)
movq -0x140(%rbp), %rax
movq %rax, -0x1d0(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x1c8(%rbp)
movb -0x1d1(%rbp), %al
andb $0x1, %al
movb %al, -0x131(%rbp)
movq -0x1c8(%rbp), %rax
movq %rax, -0x130(%rbp)
movq -0x1d0(%rbp), %rax
movq %rax, -0x128(%rbp)
movq -0x128(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movb -0x131(%rbp), %al
andb $0x1, %al
addq $0x2e0, %rsp            # imm = 0x2E0
popq %rbp
retq
nopl (%rax)