	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function test_modint
_test_modint:                           ## @test_modint
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	pushq	%r15
	pushq	%r14
	pushq	%r13
	pushq	%r12
	pushq	%rbx
	subq	$1576, %rsp                     ## imm = 0x628
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	%rax, -48(%rbp)
	leaq	L_.str(%rip), %rdi
	callq	_printf
	movq	_stdout@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_fflush
	movq	_RNG@GOTPCREL(%rip), %rbx
	movl	(%rbx), %edi
	callq	_gmp_randinit_mt
	callq	_mpz_init
	callq	_mpz_init
	callq	_mpz_init
	callq	_mpz_init
	callq	_mpz_init
	xorl	%edi, %edi
	callq	_time
	movl	%eax, %esi
	callq	_mpz_set_ui
	movl	(%rbx), %edi
	callq	_gmp_randseed
	movl	$2, %eax
	movq	%rax, -1552(%rbp)               ## 8-byte Spill
	movq	_impl@GOTPCREL(%rip), %r12
	leaq	-656(%rbp), %r15
	.p2align	4, 0x90
LBB0_1:                                 ## =>This Loop Header: Depth=1
                                        ##     Child Loop BB0_2 Depth 2
	movq	-1552(%rbp), %rcx               ## 8-byte Reload
	leal	60(%rcx), %eax
	movl	%eax, -1572(%rbp)               ## 4-byte Spill
	leal	-1(%rcx), %eax
	movq	%rax, -1592(%rbp)               ## 8-byte Spill
	movl	$10, %eax
	.p2align	4, 0x90
LBB0_2:                                 ##   Parent Loop BB0_1 Depth=1
                                        ## =>  This Inner Loop Header: Depth=2
	movl	%eax, -1580(%rbp)               ## 4-byte Spill
	movq	-1552(%rbp), %rsi               ## 8-byte Reload
                                        ## kill: def $esi killed $esi killed $rsi
	callq	_rand_prime
	movq	_RNG@GOTPCREL(%rip), %rbx
	movl	(%rbx), %esi
	callq	_mpz_urandomm
	movl	(%rbx), %esi
	callq	_mpz_urandomm
	movl	(%rbx), %esi
	movl	-1572(%rbp), %edx               ## 4-byte Reload
	callq	_mpz_urandomb
	callq	_mpz_sgn
	testq	%rax, %rax
	jne	LBB0_4
## %bb.3:                               ##   in Loop: Header=BB0_2 Depth=2
	movl	$1, %esi
	callq	_mpz_set_ui
LBB0_4:                                 ##   in Loop: Header=BB0_2 Depth=2
	leaq	-160(%rbp), %rdi
	leaq	-1600(%rbp), %rsi
	movl	$1, %edx
	movl	$1, %ecx
	xorl	%r8d, %r8d
	xorl	%r9d, %r9d
	callq	_mpz_export
	leaq	-272(%rbp), %r14
	movq	%r14, %rdi
	leaq	-1544(%rbp), %rsi
	movl	$1, %edx
	movl	$1, %ecx
	xorl	%r8d, %r8d
	xorl	%r9d, %r9d
	callq	_mpz_export
	leaq	-384(%rbp), %r13
	movq	%r13, %rdi
	leaq	-1568(%rbp), %rsi
	movl	$1, %edx
	movl	$1, %ecx
	xorl	%r8d, %r8d
	xorl	%r9d, %r9d
	callq	_mpz_export
	leaq	-496(%rbp), %rdi
	leaq	-1560(%rbp), %rsi
	movl	$1, %edx
	movl	$1, %ecx
	xorl	%r8d, %r8d
	xorl	%r9d, %r9d
	callq	_mpz_export
	movq	(%r12), %rax
	movq	-1600(%rbp), %rdx
	movq	%r15, %rdi
	leaq	-160(%rbp), %rsi
	callq	*80(%rax)
	movq	(%r12), %rax
	movq	-1544(%rbp), %rdx
	leaq	-816(%rbp), %rdi
	movq	%r14, %rsi
	movq	%r15, %rcx
	callq	*(%rax)
	cmpl	$1, %eax
	jne	LBB0_5
## %bb.7:                               ##   in Loop: Header=BB0_2 Depth=2
	movq	(%r12), %rax
	movl	-652(%rbp), %edi
	callq	*8(%rax)
	movl	%eax, %ebx
	movq	(%r12), %rax
	movq	-1568(%rbp), %rdx
	leaq	-976(%rbp), %rdi
	movq	%rdi, %r14
	movq	%r13, %rsi
	movq	%r15, %rcx
	callq	*(%rax)
	cmpl	$1, %eax
	jne	LBB0_8
## %bb.9:                               ##   in Loop: Header=BB0_2 Depth=2
	movq	(%r12), %rax
	movq	-1560(%rbp), %rdx
	leaq	-1216(%rbp), %rdi
	leaq	-496(%rbp), %rsi
	callq	*80(%rax)
	movq	%r15, %rdi
	callq	_check_eqz
	movl	%ebx, -1576(%rbp)               ## 4-byte Spill
	leaq	-816(%rbp), %r13
	movq	%r13, %rdi
	callq	_check_eqz
	movq	%r14, %rdi
	callq	_check_eqz
	leaq	-1216(%rbp), %rdi
	callq	_check_eqz
	movq	(%r12), %rax
	movq	-1544(%rbp), %rdx
	movq	%r13, %rdi
	leaq	-272(%rbp), %rsi
	movq	%r15, %rcx
	callq	*(%rax)
	movq	(%r12), %rax
	movq	-1568(%rbp), %rdx
	movq	%r14, %rdi
	leaq	-384(%rbp), %rsi
	movq	%r15, %rcx
	callq	*(%rax)
	movq	(%r12), %rax
	movq	%r13, %rdi
	movq	%r14, %rsi
	movl	$1, %edx
	callq	*16(%rax)
	movl	%eax, %ebx
	movq	(%r12), %rax
	movq	%r13, %rdi
	movq	%r15, %rsi
	xorl	%edx, %edx
	callq	*24(%rax)
	xorl	$1, %eax
	orl	%eax, %ebx
	movq	(%r12), %rax
	movq	%r13, %rdi
	movq	%r15, %rsi
	movl	%ebx, %edx
	callq	*24(%rax)
	callq	_mpz_add
	callq	_mpz_mod
	movq	%r13, %rdi
	callq	_check_eqz
	movq	(%r12), %rax
	movq	-1544(%rbp), %rdx
	movq	%r13, %rdi
	leaq	-272(%rbp), %rsi
	movq	%r15, %rcx
	callq	*(%rax)
	movq	(%r12), %rax
	movq	-1568(%rbp), %rdx
	movq	%r14, %rdi
	leaq	-384(%rbp), %rsi
	movq	%r15, %rcx
	callq	*(%rax)
	movq	(%r12), %rax
	movq	16(%rax), %rbx
	movq	%r13, %rdi
	movq	%r14, %rsi
	movl	$1, %edx
	callq	*24(%rax)
	movq	%r13, %rdi
	movq	%r15, %rsi
	movl	%eax, %edx
	callq	*%rbx
	callq	_mpz_sub
	callq	_mpz_mod
	movq	%r13, %rdi
	callq	_check_eqz
	movq	(%r12), %rax
	movq	-1560(%rbp), %rdx
	movq	%r13, %rdi
	leaq	-496(%rbp), %rbx
	movq	%rbx, %rsi
	movq	%r15, %rcx
	callq	*88(%rax)
	callq	_mpz_mod
	movq	%r13, %rdi
	callq	_check_eqz
	movq	(%r12), %rax
	movq	-1560(%rbp), %rdx
	leaq	-1216(%rbp), %r14
	movq	%r14, %rdi
	movq	%rbx, %rsi
	callq	*80(%rax)
	movq	(%r12), %rax
	movq	%r13, %rdi
	movq	%r14, %rsi
	movq	%r15, %rdx
	callq	*72(%rax)
	callq	_mpz_mod
	movq	%r13, %rdi
	callq	_check_eqz
	movq	(%r12), %rax
	movq	-1544(%rbp), %rdx
	movq	%r13, %rdi
	leaq	-272(%rbp), %rsi
	movq	%r15, %rcx
	callq	*(%rax)
	movq	(%r12), %rax
	movq	%r13, %rdi
	movq	%r13, %rbx
	movq	%r15, %rsi
	callq	*56(%rax)
	movq	(%r12), %rax
	movl	32(%rax), %esi
	movq	-1592(%rbp), %rax               ## 8-byte Reload
	leal	(%rax,%rsi), %ecx
	movl	%ecx, %eax
	cltd
	idivl	%esi
	subl	%edx, %ecx
	movl	%ecx, %edx
	callq	_mpz_mul_2exp
	callq	_mpz_mod
	movq	%r13, %rdi
	callq	_check_eqz
	movq	(%r12), %rax
	movq	%r13, %rdi
	movq	%r15, %rsi
	movl	-1576(%rbp), %r14d              ## 4-byte Reload
	movl	%r14d, %edx
	callq	*64(%rax)
	movq	%r13, %rdi
	callq	_check_eqz
	movq	(%r12), %rax
	movq	-1544(%rbp), %rdx
	movq	%r13, %rdi
	leaq	-272(%rbp), %rsi
	movq	%r15, %rcx
	callq	*(%rax)
	movq	(%r12), %rax
	movq	-1568(%rbp), %rdx
	leaq	-976(%rbp), %r13
	movq	%r13, %rdi
	leaq	-384(%rbp), %rsi
	movq	%r15, %rcx
	callq	*(%rax)
	movq	(%r12), %rax
	movq	%rbx, %rdi
	movq	%r15, %rsi
	callq	*56(%rax)
	movq	(%r12), %rax
	leaq	-1376(%rbp), %rdi
	leaq	-816(%rbp), %rbx
	movq	%rbx, %rsi
	movq	%r13, %rdx
	movq	%r15, %rcx
	movl	%r14d, %r8d
	callq	*48(%rax)
	callq	_mpz_mul
	callq	_mpz_mod
	leaq	-1376(%rbp), %r13
	movq	%r13, %rdi
	callq	_check_eqz
	movq	(%r12), %rax
	movq	-1544(%rbp), %rdx
	movq	%rbx, %rdi
	leaq	-272(%rbp), %rsi
	movq	%r15, %rcx
	callq	*(%rax)
	movq	(%r12), %rax
	movq	-1560(%rbp), %rdx
	leaq	-1536(%rbp), %rcx
	movq	%rcx, (%rsp)
	movq	%rbx, %rdi
	leaq	-496(%rbp), %rsi
	movq	%r15, %rcx
	movl	%r14d, %r8d
	movq	%r13, %r9
	callq	*40(%rax)
	callq	_mpz_powm
	movq	%rbx, %rdi
	callq	_check_eqz
	movl	-1580(%rbp), %eax               ## 4-byte Reload
	decl	%eax
	jne	LBB0_2
## %bb.10:                              ##   in Loop: Header=BB0_1 Depth=1
	movl	$46, %edi
	callq	_putchar
	movq	_stdout@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_fflush
	movq	-1552(%rbp), %rax               ## 8-byte Reload
	incl	%eax
	movq	%rax, -1552(%rbp)               ## 8-byte Spill
	cmpl	$129, %eax
	jne	LBB0_1
## %bb.11:
	callq	_mpz_clear
	callq	_mpz_clear
	callq	_mpz_clear
	callq	_mpz_clear
	callq	_mpz_clear
	leaq	L_str(%rip), %rdi
	callq	_puts
	movq	_stdout@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_fflush
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	cmpq	-48(%rbp), %rax
	jne	LBB0_13
## %bb.12:
	addq	$1576, %rsp                     ## imm = 0x628
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_5:
	leaq	L_str.9(%rip), %rdi
	callq	_puts
	leaq	L_.str.2(%rip), %rdi
	jmp	LBB0_6
LBB0_8:
	leaq	L_str.9(%rip), %rdi
	callq	_puts
	leaq	L_.str.5(%rip), %rdi
LBB0_6:
	callq	_printf
	callq	_print_z
	movl	$10, %edi
	callq	_putchar
	leaq	L_.str.4(%rip), %rdi
	callq	_printf
	leaq	-656(%rbp), %rdi
	callq	_print_u
	movl	$10, %edi
	callq	_putchar
	movq	_EXIT_FAILURE@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_exit
LBB0_13:
	callq	___stack_chk_fail
	.cfi_endproc
                                        ## -- End function
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"Test modular integers: "

	.comm	_stdout,4,2                     ## @stdout
	.comm	_RNG,4,2                        ## @RNG
	.comm	_impl,8,3                       ## @impl
L_.str.2:                               ## @.str.2
	.asciz	"  ea = "

L_.str.4:                               ## @.str.4
	.asciz	"  p = "

	.comm	_EXIT_FAILURE,4,2               ## @EXIT_FAILURE
L_.str.5:                               ## @.str.5
	.asciz	"  eb = "

L_str:                                  ## @str
	.asciz	" done."

L_str.9:                                ## @str.9
	.asciz	"Decode error"

	.no_dead_strip	_test_modint
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function test_modint
_test_modint:                           ; @test_modint
	.cfi_startproc
; %bb.0:
	stp	x28, x27, [sp, #-96]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 96
	stp	x26, x25, [sp, #16]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #32]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #48]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #64]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #80]             ; 16-byte Folded Spill
	add	x29, sp, #80
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	.cfi_offset w21, -40
	.cfi_offset w22, -48
	.cfi_offset w23, -56
	.cfi_offset w24, -64
	.cfi_offset w25, -72
	.cfi_offset w26, -80
	.cfi_offset w27, -88
	.cfi_offset w28, -96
	sub	sp, sp, #1488
Lloh0:
	adrp	x8, ___stack_chk_guard@GOTPAGE
Lloh1:
	ldr	x8, [x8, ___stack_chk_guard@GOTPAGEOFF]
Lloh2:
	ldr	x8, [x8]
	stur	x8, [x29, #-88]
Lloh3:
	adrp	x0, l_.str@PAGE
Lloh4:
	add	x0, x0, l_.str@PAGEOFF
	bl	_printf
Lloh5:
	adrp	x23, _stdout@GOTPAGE
Lloh6:
	ldr	x23, [x23, _stdout@GOTPAGEOFF]
	ldr	w0, [x23]
	bl	_fflush
Lloh7:
	adrp	x24, _RNG@GOTPAGE
Lloh8:
	ldr	x24, [x24, _RNG@GOTPAGEOFF]
	ldr	w0, [x24]
	bl	_gmp_randinit_mt
	bl	_mpz_init
	bl	_mpz_init
	bl	_mpz_init
	bl	_mpz_init
	bl	_mpz_init
	mov	x0, #0
	bl	_time
	mov	x1, x0
	bl	_mpz_set_ui
	ldr	w0, [x24]
	bl	_gmp_randseed
	mov	w19, #2
Lloh9:
	adrp	x25, _impl@GOTPAGE
Lloh10:
	ldr	x25, [x25, _impl@GOTPAGEOFF]
LBB0_1:                                 ; =>This Loop Header: Depth=1
                                        ;     Child Loop BB0_2 Depth 2
	add	w20, w19, #60
	sub	w26, w19, #1
	mov	w27, #10
LBB0_2:                                 ;   Parent Loop BB0_1 Depth=1
                                        ; =>  This Inner Loop Header: Depth=2
	mov	x1, x19
	bl	_rand_prime
	ldr	w1, [x24]
	bl	_mpz_urandomm
	ldr	w1, [x24]
	bl	_mpz_urandomm
	ldr	w1, [x24]
	mov	x2, x20
	bl	_mpz_urandomb
	bl	_mpz_sgn
	cbnz	x0, LBB0_4
; %bb.3:                                ;   in Loop: Header=BB0_2 Depth=2
	mov	w1, #1
	bl	_mpz_set_ui
LBB0_4:                                 ;   in Loop: Header=BB0_2 Depth=2
	sub	x0, x29, #188
	add	x1, sp, #32
	mov	w2, #1
	mov	w3, #1
	mov	w4, #0
	mov	w5, #0
	bl	_mpz_export
	add	x0, sp, #1280
	add	x1, sp, #24
	mov	w2, #1
	mov	w3, #1
	mov	w4, #0
	mov	w5, #0
	bl	_mpz_export
	add	x0, sp, #1180
	add	x1, sp, #16
	mov	w2, #1
	mov	w3, #1
	mov	w4, #0
	mov	w5, #0
	bl	_mpz_export
	add	x0, sp, #1080
	add	x1, sp, #8
	mov	w2, #1
	mov	w3, #1
	mov	w4, #0
	mov	w5, #0
	bl	_mpz_export
	ldr	x8, [x25]
	ldr	x8, [x8, #80]
	ldr	x2, [sp, #32]
	add	x0, sp, #920
	sub	x1, x29, #188
	blr	x8
	ldr	x8, [x25]
	ldr	x8, [x8]
	ldr	x2, [sp, #24]
	add	x0, sp, #760
	add	x1, sp, #1280
	add	x3, sp, #920
	blr	x8
	cmp	w0, #1
	b.ne	LBB0_10
; %bb.5:                                ;   in Loop: Header=BB0_2 Depth=2
	ldr	x8, [x25]
	ldr	x8, [x8, #8]
	ldr	w0, [sp, #924]
	blr	x8
	mov	x21, x0
	ldr	x8, [x25]
	ldr	x8, [x8]
	ldr	x2, [sp, #16]
	add	x0, sp, #600
	add	x1, sp, #1180
	add	x3, sp, #920
	blr	x8
	cmp	w0, #1
	b.ne	LBB0_11
; %bb.6:                                ;   in Loop: Header=BB0_2 Depth=2
	ldr	x8, [x25]
	ldr	x8, [x8, #80]
	ldr	x2, [sp, #8]
	add	x0, sp, #360
	add	x1, sp, #1080
	blr	x8
	add	x0, sp, #920
	bl	_check_eqz
	add	x0, sp, #760
	bl	_check_eqz
	add	x0, sp, #600
	bl	_check_eqz
	add	x0, sp, #360
	bl	_check_eqz
	ldr	x8, [x25]
	ldr	x8, [x8]
	ldr	x2, [sp, #24]
	add	x0, sp, #760
	add	x1, sp, #1280
	add	x3, sp, #920
	blr	x8
	ldr	x8, [x25]
	ldr	x8, [x8]
	ldr	x2, [sp, #16]
	add	x0, sp, #600
	add	x1, sp, #1180
	add	x3, sp, #920
	blr	x8
	ldr	x8, [x25]
	ldr	x8, [x8, #16]
	add	x0, sp, #760
	add	x1, sp, #600
	mov	w2, #1
	blr	x8
	mov	x22, x0
	ldr	x8, [x25]
	ldr	x8, [x8, #24]
	add	x0, sp, #760
	add	x1, sp, #920
	mov	w2, #0
	blr	x8
	eor	w8, w0, #0x1
	orr	w2, w8, w22
	ldr	x8, [x25]
	ldr	x8, [x8, #24]
	add	x0, sp, #760
	add	x1, sp, #920
	blr	x8
	bl	_mpz_add
	bl	_mpz_mod
	add	x0, sp, #760
	bl	_check_eqz
	ldr	x8, [x25]
	ldr	x8, [x8]
	ldr	x2, [sp, #24]
	add	x0, sp, #760
	add	x1, sp, #1280
	add	x3, sp, #920
	blr	x8
	ldr	x8, [x25]
	ldr	x8, [x8]
	ldr	x2, [sp, #16]
	add	x0, sp, #600
	add	x1, sp, #1180
	add	x3, sp, #920
	blr	x8
	ldr	x8, [x25]
	ldp	x22, x8, [x8, #16]
	add	x0, sp, #760
	add	x1, sp, #600
	mov	w2, #1
	blr	x8
	mov	x2, x0
	add	x0, sp, #760
	add	x1, sp, #920
	blr	x22
	bl	_mpz_sub
	bl	_mpz_mod
	add	x0, sp, #760
	bl	_check_eqz
	ldr	x8, [x25]
	ldr	x8, [x8, #88]
	ldr	x2, [sp, #8]
	add	x0, sp, #760
	add	x1, sp, #1080
	add	x3, sp, #920
	blr	x8
	bl	_mpz_mod
	add	x0, sp, #760
	bl	_check_eqz
	ldr	x8, [x25]
	ldr	x8, [x8, #80]
	ldr	x2, [sp, #8]
	add	x0, sp, #360
	add	x1, sp, #1080
	blr	x8
	ldr	x8, [x25]
	ldr	x8, [x8, #72]
	add	x0, sp, #760
	add	x1, sp, #360
	add	x2, sp, #920
	blr	x8
	bl	_mpz_mod
	add	x0, sp, #760
	bl	_check_eqz
	ldr	x8, [x25]
	ldr	x8, [x8]
	ldr	x2, [sp, #24]
	add	x0, sp, #760
	add	x1, sp, #1280
	add	x3, sp, #920
	blr	x8
	ldr	x8, [x25]
	ldr	x8, [x8, #56]
	add	x0, sp, #760
	add	x1, sp, #920
	blr	x8
	ldr	x8, [x25]
	ldr	w8, [x8, #32]
	add	w9, w26, w8
	sdiv	w9, w9, w8
	mul	w2, w9, w8
	bl	_mpz_mul_2exp
	bl	_mpz_mod
	add	x0, sp, #760
	bl	_check_eqz
	ldr	x8, [x25]
	ldr	x8, [x8, #64]
	add	x0, sp, #760
	add	x1, sp, #920
	mov	x2, x21
	blr	x8
	add	x0, sp, #760
	bl	_check_eqz
	ldr	x8, [x25]
	ldr	x8, [x8]
	ldr	x2, [sp, #24]
	add	x0, sp, #760
	add	x1, sp, #1280
	add	x3, sp, #920
	blr	x8
	ldr	x8, [x25]
	ldr	x8, [x8]
	ldr	x2, [sp, #16]
	add	x0, sp, #600
	add	x1, sp, #1180
	add	x3, sp, #920
	blr	x8
	ldr	x8, [x25]
	ldr	x8, [x8, #56]
	add	x0, sp, #760
	add	x1, sp, #920
	blr	x8
	ldr	x8, [x25]
	ldr	x8, [x8, #48]
	add	x0, sp, #200
	add	x1, sp, #760
	add	x2, sp, #600
	add	x3, sp, #920
	mov	x4, x21
	blr	x8
	bl	_mpz_mul
	bl	_mpz_mod
	add	x0, sp, #200
	bl	_check_eqz
	ldr	x8, [x25]
	ldr	x8, [x8]
	ldr	x2, [sp, #24]
	add	x0, sp, #760
	add	x1, sp, #1280
	add	x3, sp, #920
	blr	x8
	ldr	x8, [x25]
	ldr	x8, [x8, #40]
	ldr	x2, [sp, #8]
	add	x0, sp, #760
	add	x1, sp, #1080
	add	x3, sp, #920
	add	x5, sp, #200
	add	x6, sp, #40
	mov	x4, x21
	blr	x8
	bl	_mpz_powm
	add	x0, sp, #760
	bl	_check_eqz
	subs	w27, w27, #1
	b.ne	LBB0_2
; %bb.7:                                ;   in Loop: Header=BB0_1 Depth=1
	mov	w0, #46
	bl	_putchar
	ldr	w0, [x23]
	bl	_fflush
	add	w19, w19, #1
	cmp	w19, #129
	b.ne	LBB0_1
; %bb.8:
	bl	_mpz_clear
	bl	_mpz_clear
	bl	_mpz_clear
	bl	_mpz_clear
	bl	_mpz_clear
Lloh11:
	adrp	x0, l_str@PAGE
Lloh12:
	add	x0, x0, l_str@PAGEOFF
	bl	_puts
	ldr	w0, [x23]
	bl	_fflush
	ldur	x8, [x29, #-88]
Lloh13:
	adrp	x9, ___stack_chk_guard@GOTPAGE
Lloh14:
	ldr	x9, [x9, ___stack_chk_guard@GOTPAGEOFF]
Lloh15:
	ldr	x9, [x9]
	cmp	x9, x8
	b.ne	LBB0_13
; %bb.9:
	add	sp, sp, #1488
	ldp	x29, x30, [sp, #80]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #64]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #48]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #32]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #16]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp], #96             ; 16-byte Folded Reload
	ret
LBB0_10:
Lloh16:
	adrp	x0, l_str.9@PAGE
Lloh17:
	add	x0, x0, l_str.9@PAGEOFF
	bl	_puts
Lloh18:
	adrp	x0, l_.str.2@PAGE
Lloh19:
	add	x0, x0, l_.str.2@PAGEOFF
	b	LBB0_12
LBB0_11:
Lloh20:
	adrp	x0, l_str.9@PAGE
Lloh21:
	add	x0, x0, l_str.9@PAGEOFF
	bl	_puts
Lloh22:
	adrp	x0, l_.str.5@PAGE
Lloh23:
	add	x0, x0, l_.str.5@PAGEOFF
LBB0_12:
	bl	_printf
	bl	_print_z
	mov	w0, #10
	bl	_putchar
Lloh24:
	adrp	x0, l_.str.4@PAGE
Lloh25:
	add	x0, x0, l_.str.4@PAGEOFF
	bl	_printf
	add	x0, sp, #920
	bl	_print_u
	mov	w0, #10
	bl	_putchar
Lloh26:
	adrp	x8, _EXIT_FAILURE@GOTPAGE
Lloh27:
	ldr	x8, [x8, _EXIT_FAILURE@GOTPAGEOFF]
Lloh28:
	ldr	w0, [x8]
	bl	_exit
LBB0_13:
	bl	___stack_chk_fail
	.loh AdrpLdrGot	Lloh9, Lloh10
	.loh AdrpLdrGot	Lloh7, Lloh8
	.loh AdrpLdrGot	Lloh5, Lloh6
	.loh AdrpAdd	Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGotLdr	Lloh13, Lloh14, Lloh15
	.loh AdrpAdd	Lloh11, Lloh12
	.loh AdrpAdd	Lloh18, Lloh19
	.loh AdrpAdd	Lloh16, Lloh17
	.loh AdrpAdd	Lloh22, Lloh23
	.loh AdrpAdd	Lloh20, Lloh21
	.loh AdrpLdrGotLdr	Lloh26, Lloh27, Lloh28
	.loh AdrpAdd	Lloh24, Lloh25
	.cfi_endproc
                                        ; -- End function
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"Test modular integers: "

	.comm	_stdout,4,2                     ; @stdout
	.comm	_RNG,4,2                        ; @RNG
	.comm	_impl,8,3                       ; @impl
l_.str.2:                               ; @.str.2
	.asciz	"  ea = "

l_.str.4:                               ; @.str.4
	.asciz	"  p = "

	.comm	_EXIT_FAILURE,4,2               ; @EXIT_FAILURE
l_.str.5:                               ; @.str.5
	.asciz	"  eb = "

l_str:                                  ; @str
	.asciz	" done."

l_str.9:                                ; @str.9
	.asciz	"Decode error"

	.no_dead_strip	_test_modint
.subsections_via_symbols
