// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_std_prim_Int_c99zeradixes
static struct std_list_List_1 mw_std_prim_Int_c99zeradixes (INT in_Int_1) {
	struct std_list_List_1 v3 = { .tag=std_list_List_1_Nil };
	struct std_list_List_1 v4;
	mw_std_list_List_1_buildzx(v3, &v4);
	bool v5 = true;
	struct std_list_List_1 r6 = v4;
	INT v7 = in_Int_1;
	bool v8 = v5;
	bool v9 = v5;
	while (v9) {
		struct std_list_List_1 r10 = r6;
		INT v11 = v7;
		bool v12 = v8;
		INT v13 = WRAP_I63(4294967296LL);
		INT v14;
		INT v15 = int_divmod(v11, v13, &v14);
		uint64_t v16 = int_to_u64(v14);
		uint32_t v17 = (uint32_t)(v16);
		struct std_list_List_1 v18;
		mw_std_list_zaLister_1_pushzx(MKU32(v17), r10, &v18);
		uint32_t v19 = 2147483648;
		uint64_t v20 = (uint64_t)(v17);
		uint64_t v21 = (uint64_t)(v19);
		uint64_t v22 = (v20 & v21);
		uint32_t v23 = (uint32_t)(v22);
		INT v24 = WRAP_I63(0LL);
		INT v25 = v24;
		uint64_t v26 = (uint64_t)(v23);
		INT v27 = u64_to_int(v26);
		bool v28 = int_eq(v27, v25);
		struct std_list_List_1 branch_zaLister_29;
		INT branch_Int_30;
		bool branch_Bool_31;
		if (v28) {
			incref(MKINT(v15));
			INT v32 = WRAP_I63(0LL);
			bool v33 = int_eq(v15, v32);
			bool v34 = !v33;
			branch_Bool_31 = v34;
			branch_Int_30 = v15;
			branch_zaLister_29 = v18;
		} else {
			incref(MKINT(v15));
			INT v35 = WRAP_I63(-1LL);
			bool v36 = int_eq(v15, v35);
			bool v37 = !v36;
			branch_Bool_31 = v37;
			branch_Int_30 = v15;
			branch_zaLister_29 = v18;
		}
		v9 = branch_Bool_31;
		v8 = branch_Bool_31;
		v7 = branch_Int_30;
		r6 = branch_zaLister_29;
	}
	decref(MKINT(v7));
	struct std_list_List_1 v38 = mw_std_list_zaLister_1_donezx(r6);
	return v38;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x230, %rsp            # imm = 0x230
movq %rdi, -0x18(%rbp)
leaq -0x28(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movl -0x28(%rbp), %edi
movq -0x20(%rbp), %rsi
leaq -0x38(%rbp), %rdx
callq 0xc9d0
movb $0x1, -0x39(%rbp)
movq -0x38(%rbp), %rax
movq %rax, -0x50(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0x48(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x58(%rbp)
movb -0x39(%rbp), %al
andb $0x1, %al
movb %al, -0x59(%rbp)
movb -0x39(%rbp), %al
andb $0x1, %al
movb %al, -0x5a(%rbp)
testb $0x1, -0x5a(%rbp)
je 0x32438c
movq -0x50(%rbp), %rax
movq %rax, -0x70(%rbp)
movq -0x48(%rbp), %rax
movq %rax, -0x68(%rbp)
movq -0x58(%rbp), %rax
movq %rax, -0x78(%rbp)
movb -0x59(%rbp), %al
andb $0x1, %al
movb %al, -0x79(%rbp)
movq 0x4abb4(%rip), %rax     # 0x36eb40
movq %rax, -0x88(%rbp)
movq -0x78(%rbp), %rdi
movq -0x88(%rbp), %rsi
leaq -0x90(%rbp), %rdx
callq 0x41390
movq %rax, -0x98(%rbp)
movq -0x90(%rbp), %rdi
callq 0x1b680
movq %rax, -0xa0(%rbp)
movq -0xa0(%rbp), %rax
movl %eax, -0xa4(%rbp)
movl -0xa4(%rbp), %eax
movq %rax, -0xc8(%rbp)
leaq 0x6f3c3(%rip), %rax     # 0x3933a8
movq %rax, -0xc0(%rbp)
movq -0xc8(%rbp), %rdi
movq -0xc0(%rbp), %rsi
movl -0x70(%rbp), %edx
movq -0x68(%rbp), %rcx
leaq -0xb8(%rbp), %r8
callq 0xcc30
movl $0x80000000, -0xcc(%rbp) # imm = 0x80000000
movl -0xa4(%rbp), %eax
movq %rax, -0xd8(%rbp)
movl -0xcc(%rbp), %eax
movq %rax, -0xe0(%rbp)
movq -0xd8(%rbp), %rax
andq -0xe0(%rbp), %rax
movq %rax, -0xe8(%rbp)
movq -0xe8(%rbp), %rax
movl %eax, -0xec(%rbp)
movq 0x4a9f6(%rip), %rax     # 0x36ea50
movq %rax, -0xf8(%rbp)
movq -0xf8(%rbp), %rax
movq %rax, -0x100(%rbp)
movl -0xec(%rbp), %eax
movq %rax, -0x108(%rbp)
movq -0x108(%rbp), %rdi
callq 0x1b520
movq %rax, -0x110(%rbp)
movq -0x110(%rbp), %rdi
movq -0x100(%rbp), %rsi
callq 0x194b0
andb $0x1, %al
movb %al, -0x111(%rbp)
testb $0x1, -0x111(%rbp)
je 0x324206
jmp 0x3240b9
movq -0x98(%rbp), %rax
movq %rax, -0x148(%rbp)
leaq 0x6d35a(%rip), %rax     # 0x391428
orq $0x1, %rax
movq %rax, -0x140(%rbp)
movq -0x140(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x32418e
movq -0x98(%rbp), %rax
movq %rax, -0x158(%rbp)
leaq 0x6d325(%rip), %rax     # 0x391428
orq $0x1, %rax
movq %rax, -0x150(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x158(%rbp), %rax
cmpq $0x0, %rax
je 0x32418e
movq -0x98(%rbp), %rax
movq %rax, -0x168(%rbp)
leaq 0x6d2ee(%rip), %rax     # 0x391428
orq $0x1, %rax
movq %rax, -0x160(%rbp)
movq -0x168(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x32418e
movq -0x98(%rbp), %rax
movq %rax, -0x178(%rbp)
leaq 0x6d2bd(%rip), %rax     # 0x391428
orq $0x1, %rax
movq %rax, -0x170(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x178(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x324190
movq 0x4a8b9(%rip), %rax     # 0x36ea50
movq %rax, -0x180(%rbp)
movq -0x98(%rbp), %rdi
movq -0x180(%rbp), %rsi
callq 0x194b0
andb $0x1, %al
movb %al, -0x181(%rbp)
movb -0x181(%rbp), %al
xorb $-0x1, %al
andb $0x1, %al
movb %al, -0x182(%rbp)
movb -0x182(%rbp), %al
andb $0x1, %al
movb %al, -0x131(%rbp)
movq -0x98(%rbp), %rax
movq %rax, -0x130(%rbp)
movq -0xb8(%rbp), %rax
movq %rax, -0x128(%rbp)
movq -0xb0(%rbp), %rax
movq %rax, -0x120(%rbp)
jmp 0x324350
jmp 0x324208
movq -0x98(%rbp), %rax
movq %rax, -0x198(%rbp)
leaq 0x6d20b(%rip), %rax     # 0x391428
orq $0x1, %rax
movq %rax, -0x190(%rbp)
movq -0x190(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x3242dd
movq -0x98(%rbp), %rax
movq %rax, -0x1a8(%rbp)
leaq 0x6d1d6(%rip), %rax     # 0x391428
orq $0x1, %rax
movq %rax, -0x1a0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x1a8(%rbp), %rax
cmpq $0x0, %rax
je 0x3242dd
movq -0x98(%rbp), %rax
movq %rax, -0x1b8(%rbp)
leaq 0x6d19f(%rip), %rax     # 0x391428
orq $0x1, %rax
movq %rax, -0x1b0(%rbp)
movq -0x1b8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x3242dd
movq -0x98(%rbp), %rax
movq %rax, -0x1c8(%rbp)
leaq 0x6d16e(%rip), %rax     # 0x391428
orq $0x1, %rax
movq %rax, -0x1c0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x1c8(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x3242df
movq 0x4a78a(%rip), %rax     # 0x36ea70
movq %rax, -0x1d0(%rbp)
movq -0x98(%rbp), %rdi
movq -0x1d0(%rbp), %rsi
callq 0x194b0
andb $0x1, %al
movb %al, -0x1d1(%rbp)
movb -0x1d1(%rbp), %al
xorb $-0x1, %al
andb $0x1, %al
movb %al, -0x1d2(%rbp)
movb -0x1d2(%rbp), %al
andb $0x1, %al
movb %al, -0x131(%rbp)
movq -0x98(%rbp), %rax
movq %rax, -0x130(%rbp)
movq -0xb8(%rbp), %rax
movq %rax, -0x128(%rbp)
movq -0xb0(%rbp), %rax
movq %rax, -0x120(%rbp)
movb -0x131(%rbp), %al
andb $0x1, %al
movb %al, -0x5a(%rbp)
movb -0x131(%rbp), %al
andb $0x1, %al
movb %al, -0x59(%rbp)
movq -0x130(%rbp), %rax
movq %rax, -0x58(%rbp)
movq -0x128(%rbp), %rax
movq %rax, -0x50(%rbp)
movq -0x120(%rbp), %rax
movq %rax, -0x48(%rbp)
jmp 0x323f5b
jmp 0x32438e
movq -0x58(%rbp), %rax
movq %rax, -0x1e8(%rbp)
leaq 0x6d088(%rip), %rax     # 0x391428
orq $0x1, %rax
movq %rax, -0x1e0(%rbp)
movq -0x1e0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x324492
movq -0x58(%rbp), %rax
movq %rax, -0x1f8(%rbp)
leaq 0x6d056(%rip), %rax     # 0x391428
orq $0x1, %rax
movq %rax, -0x1f0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x1f8(%rbp), %rax
cmpq $0x0, %rax
je 0x324492
movq -0x58(%rbp), %rax
movq %rax, -0x208(%rbp)
leaq 0x6d01e(%rip), %rax     # 0x391428
orq $0x1, %rax
movq %rax, -0x200(%rbp)
movq -0x208(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x324492
movq -0x58(%rbp), %rax
movq %rax, -0x218(%rbp)
leaq 0x6cff0(%rip), %rax     # 0x391428
orq $0x1, %rax
movq %rax, -0x210(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x218(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x324490
movq -0x58(%rbp), %rax
movq %rax, -0x228(%rbp)
leaq 0x6cfb6(%rip), %rax     # 0x391428
orq $0x1, %rax
movq %rax, -0x220(%rbp)
movq -0x228(%rbp), %rdi
movq -0x220(%rbp), %rsi
callq 0x127c0
jmp 0x324492
jmp 0x324494
movl -0x50(%rbp), %edi
movq -0x48(%rbp), %rsi
callq 0xcea0
movl %eax, -0x10(%rbp)
movq %rdx, -0x8(%rbp)
movl -0x10(%rbp), %eax
movq -0x8(%rbp), %rdx
addq $0x230, %rsp            # imm = 0x230
popq %rbp
retq
nopw (%rax,%rax)