// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_name_Name_couldzebezefieldzenamezy
static bool mw_mirth_name_Name_couldzebezefieldzenamezy (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;
	bool branch_Bool_42;
	if (branch_Bool_24) {
		bool v43 = true;
		branch_Bool_42 = v43;
		branch_zaMirth_41 = v5;
	} else {
		struct mirth_mirth_zaMirth* v44;
		bool v45 = mw_mirth_name_Name_couldzebezerawzefieldzenamezy(v5, in_Name_2, &v44);
		branch_Bool_42 = v45;
		branch_zaMirth_41 = v44;
	}
	*out_zaMirth_3 = branch_zaMirth_41;
	return branch_Bool_42;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x140, %rsp            # imm = 0x140
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 0x17a450
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 0x17a465
movb $0x0, -0x11a(%rbp)
movb -0x11a(%rbp), %al
andb $0x1, %al
movb %al, -0xa2(%rbp)
testb $0x1, -0xa2(%rbp)
je 0x17a490
movb $0x1, -0x12a(%rbp)
movb -0x12a(%rbp), %al
andb $0x1, %al
movb %al, -0x129(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x128(%rbp)
jmp 0x17a4c8
movq -0x20(%rbp), %rdi
movq -0x10(%rbp), %rsi
leaq -0x138(%rbp), %rdx
callq 0x17a5c0
andb $0x1, %al
movb %al, -0x139(%rbp)
movb -0x139(%rbp), %al
andb $0x1, %al
movb %al, -0x129(%rbp)
movq -0x138(%rbp), %rax
movq %rax, -0x128(%rbp)
movq -0x128(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movb -0x129(%rbp), %al
andb $0x1, %al
addq $0x140, %rsp            # imm = 0x140
popq %rbp
retq
nopw (%rax,%rax)