	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_repair_main                    ## -- Begin function repair_main
	.p2align	4, 0x90
_repair_main:                           ## @repair_main
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	movq	_StdOut@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	l_.str(%rip), %rsi
	callq	_ConPuts
	movq	_TRUE@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_StdOut,4,2                     ## @StdOut
	.section	__TEXT,__const
	.p2align	2                               ## @.str
l_.str:
	.long	10                              ## 0xa
	.long	84                              ## 0x54
	.long	79                              ## 0x4f
	.long	68                              ## 0x44
	.long	79                              ## 0x4f
	.long	58                              ## 0x3a
	.long	32                              ## 0x20
	.long	65                              ## 0x41
	.long	100                             ## 0x64
	.long	100                             ## 0x64
	.long	32                              ## 0x20
	.long	99                              ## 0x63
	.long	111                             ## 0x6f
	.long	100                             ## 0x64
	.long	101                             ## 0x65
	.long	32                              ## 0x20
	.long	108                             ## 0x6c
	.long	97                              ## 0x61
	.long	116                             ## 0x74
	.long	101                             ## 0x65
	.long	114                             ## 0x72
	.long	32                              ## 0x20
	.long	115                             ## 0x73
	.long	105                             ## 0x69
	.long	110                             ## 0x6e
	.long	99                              ## 0x63
	.long	101                             ## 0x65
	.long	32                              ## 0x20
	.long	87                              ## 0x57
	.long	105                             ## 0x69
	.long	110                             ## 0x6e
	.long	32                              ## 0x20
	.long	55                              ## 0x37
	.long	32                              ## 0x20
	.long	72                              ## 0x48
	.long	111                             ## 0x6f
	.long	109                             ## 0x6d
	.long	101                             ## 0x65
	.long	32                              ## 0x20
	.long	80                              ## 0x50
	.long	114                             ## 0x72
	.long	101                             ## 0x65
	.long	109                             ## 0x6d
	.long	105                             ## 0x69
	.long	117                             ## 0x75
	.long	109                             ## 0x6d
	.long	32                              ## 0x20
	.long	100                             ## 0x64
	.long	111                             ## 0x6f
	.long	101                             ## 0x65
	.long	115                             ## 0x73
	.long	110                             ## 0x6e
	.long	39                              ## 0x27
	.long	116                             ## 0x74
	.long	32                              ## 0x20
	.long	104                             ## 0x68
	.long	97                              ## 0x61
	.long	118                             ## 0x76
	.long	101                             ## 0x65
	.long	32                              ## 0x20
	.long	116                             ## 0x74
	.long	104                             ## 0x68
	.long	105                             ## 0x69
	.long	115                             ## 0x73
	.long	32                              ## 0x20
	.long	102                             ## 0x66
	.long	101                             ## 0x65
	.long	97                              ## 0x61
	.long	116                             ## 0x74
	.long	117                             ## 0x75
	.long	114                             ## 0x72
	.long	101                             ## 0x65
	.long	46                              ## 0x2e
	.long	10                              ## 0xa
	.long	0                               ## 0x0

	.comm	_TRUE,4,2                       ## @TRUE
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_repair_main                    ; -- Begin function repair_main
	.p2align	2
_repair_main:                           ; @repair_main
	.cfi_startproc
; %bb.0:
	stp	x29, x30, [sp, #-16]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 16
	mov	x29, sp
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
Lloh0:
	adrp	x8, _StdOut@GOTPAGE
Lloh1:
	ldr	x8, [x8, _StdOut@GOTPAGEOFF]
Lloh2:
	ldr	w0, [x8]
Lloh3:
	adrp	x1, l_.str@PAGE
Lloh4:
	add	x1, x1, l_.str@PAGEOFF
	bl	_ConPuts
Lloh5:
	adrp	x8, _TRUE@GOTPAGE
Lloh6:
	ldr	x8, [x8, _TRUE@GOTPAGEOFF]
Lloh7:
	ldr	w0, [x8]
	ldp	x29, x30, [sp], #16             ; 16-byte Folded Reload
	ret
	.loh AdrpLdrGotLdr	Lloh5, Lloh6, Lloh7
	.loh AdrpAdd	Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.cfi_endproc
                                        ; -- End function
	.comm	_StdOut,4,2                     ; @StdOut
	.section	__TEXT,__const
	.p2align	2                               ; @.str
l_.str:
	.long	10                              ; 0xa
	.long	84                              ; 0x54
	.long	79                              ; 0x4f
	.long	68                              ; 0x44
	.long	79                              ; 0x4f
	.long	58                              ; 0x3a
	.long	32                              ; 0x20
	.long	65                              ; 0x41
	.long	100                             ; 0x64
	.long	100                             ; 0x64
	.long	32                              ; 0x20
	.long	99                              ; 0x63
	.long	111                             ; 0x6f
	.long	100                             ; 0x64
	.long	101                             ; 0x65
	.long	32                              ; 0x20
	.long	108                             ; 0x6c
	.long	97                              ; 0x61
	.long	116                             ; 0x74
	.long	101                             ; 0x65
	.long	114                             ; 0x72
	.long	32                              ; 0x20
	.long	115                             ; 0x73
	.long	105                             ; 0x69
	.long	110                             ; 0x6e
	.long	99                              ; 0x63
	.long	101                             ; 0x65
	.long	32                              ; 0x20
	.long	87                              ; 0x57
	.long	105                             ; 0x69
	.long	110                             ; 0x6e
	.long	32                              ; 0x20
	.long	55                              ; 0x37
	.long	32                              ; 0x20
	.long	72                              ; 0x48
	.long	111                             ; 0x6f
	.long	109                             ; 0x6d
	.long	101                             ; 0x65
	.long	32                              ; 0x20
	.long	80                              ; 0x50
	.long	114                             ; 0x72
	.long	101                             ; 0x65
	.long	109                             ; 0x6d
	.long	105                             ; 0x69
	.long	117                             ; 0x75
	.long	109                             ; 0x6d
	.long	32                              ; 0x20
	.long	100                             ; 0x64
	.long	111                             ; 0x6f
	.long	101                             ; 0x65
	.long	115                             ; 0x73
	.long	110                             ; 0x6e
	.long	39                              ; 0x27
	.long	116                             ; 0x74
	.long	32                              ; 0x20
	.long	104                             ; 0x68
	.long	97                              ; 0x61
	.long	118                             ; 0x76
	.long	101                             ; 0x65
	.long	32                              ; 0x20
	.long	116                             ; 0x74
	.long	104                             ; 0x68
	.long	105                             ; 0x69
	.long	115                             ; 0x73
	.long	32                              ; 0x20
	.long	102                             ; 0x66
	.long	101                             ; 0x65
	.long	97                              ; 0x61
	.long	116                             ; 0x74
	.long	117                             ; 0x75
	.long	114                             ; 0x72
	.long	101                             ; 0x65
	.long	46                              ; 0x2e
	.long	10                              ; 0xa
	.long	0                               ; 0x0

	.comm	_TRUE,4,2                       ; @TRUE
.subsections_via_symbols
