// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_lexer_zaLexer_finishzeintzeliteral
static struct std_result_Result_2 mw_mirth_lexer_zaLexer_finishzeintzeliteral (STR* in_zaStr_1, struct mirth_lexer_zaLexer* in_zaLexer_2, INT in_Int_3, INT in_Int_4, INT in_Offset_5, STR* *out_zaStr_6, struct mirth_lexer_zaLexer* *out_zaLexer_7) {
	INT v9 = int_mul(in_Int_3, in_Int_4);
	STR* v10;
	struct mirth_lexer_zaLexer* v11;
	struct std_maybe_Maybe_1 v12 = mw_mirth_lexer_zaLexer_intzesuffixzy(in_zaStr_1, in_zaLexer_2, in_Offset_5, &v10, &v11);
	struct std_result_Result_2 branch_Result_13;
	switch ((v12).tag) {
		case std_maybe_Maybe_1_Some: {
			VAL v14 = mtp_std_maybe_Maybe_1_Some(v12);
			struct std_result_Result_2 v15 = mw_mirth_lexer_IntSuffix_convert(v9, V_mirth_lexer_IntSuffix(v14));
			branch_Result_13 = v15;
		} break;
		case std_maybe_Maybe_1_None: {
			decref(MKINT(v9));
			STR* v16;
			STRLIT(v16, "Invalid integer token.", 22);
			struct std_result_Result_2 v17 = mtw_std_result_Result_2_Err(MKSTR(v16));
			branch_Result_13 = v17;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	*out_zaLexer_7 = v11;
	*out_zaStr_6 = v10;
	return branch_Result_13;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x150, %rsp            # imm = 0x150
movq 0x10(%rbp), %rax
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq %r8, -0x28(%rbp)
movq %rdi, -0x30(%rbp)
movq %rsi, -0x38(%rbp)
movq %r9, -0x40(%rbp)
movq -0x18(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x2b090
movq %rax, -0x48(%rbp)
movq -0x30(%rbp), %rdi
movq -0x38(%rbp), %rsi
movq -0x28(%rbp), %rdx
leaq -0x50(%rbp), %rcx
leaq -0x58(%rbp), %r8
callq 0x1dd250
movl %eax, -0x68(%rbp)
movq %rdx, -0x60(%rbp)
movl -0x68(%rbp), %eax
movl %eax, -0x144(%rbp)
testl %eax, %eax
je 0x1df8ed
jmp 0x1df897
movl -0x144(%rbp), %eax
subl $0x1, %eax
jne 0x1dfb58
jmp 0x1df8a8
movl -0x68(%rbp), %edi
movq -0x60(%rbp), %rsi
callq 0x174a0
movq %rax, -0x78(%rbp)
movq %rdx, -0x70(%rbp)
movq -0x78(%rbp), %rax
movl %eax, %esi
movq -0x48(%rbp), %rdi
callq 0x1dfca0
movl %eax, -0x88(%rbp)
movq %rdx, -0x80(%rbp)
movq -0x88(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x80(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x1dfb71
jmp 0x1df8ef
movq -0x48(%rbp), %rax
movq %rax, -0x98(%rbp)
leaq 0x1b1b27(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0x90(%rbp)
movq -0x90(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1df9f3
movq -0x48(%rbp), %rax
movq %rax, -0xa8(%rbp)
leaq 0x1b1af5(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0xa0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0xa8(%rbp), %rax
cmpq $0x0, %rax
je 0x1df9f3
movq -0x48(%rbp), %rax
movq %rax, -0xb8(%rbp)
leaq 0x1b1abd(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0xb0(%rbp)
movq -0xb8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1df9f3
movq -0x48(%rbp), %rax
movq %rax, -0xc8(%rbp)
leaq 0x1b1a8f(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0xc0(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0xc8(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1df9f1
movq -0x48(%rbp), %rax
movq %rax, -0xd8(%rbp)
leaq 0x1b1a55(%rip), %rax    # 0x391428
orq $0x1, %rax
movq %rax, -0xd0(%rbp)
movq -0xd8(%rbp), %rdi
movq -0xd0(%rbp), %rsi
callq 0x127c0
jmp 0x1df9f3
jmp 0x1df9f5
jmp 0x1df9f7
cmpq $0x0, 0x11b6d89(%rip)   # 0x1396788
jne 0x1dfa19
leaq 0x17c8f3(%rip), %rdi    # 0x35c2fb
movl $0x16, %esi
callq 0xb6c0
movq %rax, 0x11b6d6f(%rip)   # 0x1396788
jmp 0x1dfa1b
movq 0x11b6d66(%rip), %rax   # 0x1396788
movq %rax, -0xf0(%rbp)
leaq 0x1b1728(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0xe8(%rbp)
movq -0xe8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1dfaf0
movq 0x11b6d31(%rip), %rax   # 0x1396788
movq %rax, -0x100(%rbp)
leaq 0x1b16f3(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0xf8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x100(%rbp), %rax
cmpq $0x0, %rax
je 0x1dfaf0
movq 0x11b6cfa(%rip), %rax   # 0x1396788
movq %rax, -0x110(%rbp)
leaq 0x1b16bc(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x108(%rbp)
movq -0x110(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1dfaf0
movq 0x11b6cc9(%rip), %rax   # 0x1396788
movq %rax, -0x120(%rbp)
leaq 0x1b168b(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x118(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x120(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1dfaf2
movq 0x11b6c8f(%rip), %rax   # 0x1396788
movq %rax, -0xe0(%rbp)
movq -0xe0(%rbp), %rax
movq %rax, -0x140(%rbp)
leaq 0x1b1643(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x138(%rbp)
movq -0x140(%rbp), %rdi
movq -0x138(%rbp), %rsi
callq 0x29ab0
movl %eax, -0x130(%rbp)
movq %rdx, -0x128(%rbp)
movq -0x130(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x128(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x1dfb71
leaq 0x174322(%rip), %rdi    # 0x353e81
movl $0x20, %esi
callq 0xb6c0
movq %rax, %rdi
callq 0xc620
movq -0x58(%rbp), %rcx
movq 0x10(%rbp), %rax
movq %rcx, (%rax)
movq -0x50(%rbp), %rcx
movq -0x40(%rbp), %rax
movq %rcx, (%rax)
movl -0x10(%rbp), %eax
movq -0x8(%rbp), %rdx
addq $0x150, %rsp            # imm = 0x150
popq %rbp
retq
nopw (%rax,%rax)