	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_verify_traced_variables        ## -- Begin function verify_traced_variables
	.p2align	4, 0x90
_verify_traced_variables:               ## @verify_traced_variables
	.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	$40, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	_NUM_TRACED_VARIABLES@GOTPCREL(%rip), %rdx
	cmpl	$0, (%rdx)
	jle	LBB0_13
## %bb.1:
	movl	%esi, %ecx
	movq	%rdi, %r15
	movq	_traced_variables@GOTPCREL(%rip), %rdi
	xorl	%r13d, %r13d
	movl	%esi, -44(%rbp)                 ## 4-byte Spill
	movq	%r15, -72(%rbp)                 ## 8-byte Spill
	jmp	LBB0_2
	.p2align	4, 0x90
LBB0_11:                                ##   in Loop: Header=BB0_2 Depth=1
	leaq	L_.str.5(%rip), %rdi
	xorl	%eax, %eax
	callq	_xprintf
	movq	-64(%rbp), %rax                 ## 8-byte Reload
	movq	-16(%rax), %rdi
	movl	(%r12), %edx
	movq	%r15, %rsi
	callq	_memcpy
	movl	-44(%rbp), %ecx                 ## 4-byte Reload
	movq	-72(%rbp), %r15                 ## 8-byte Reload
	movq	_NUM_TRACED_VARIABLES@GOTPCREL(%rip), %rdx
	movq	_traced_variables@GOTPCREL(%rip), %rdi
	movq	-56(%rbp), %rax                 ## 8-byte Reload
LBB0_12:                                ##   in Loop: Header=BB0_2 Depth=1
	movq	%r15, 8(%rax,%r14)
	movl	%ecx, 16(%rax,%r14)
	incq	%r13
	movslq	(%rdx), %rax
	cmpq	%rax, %r13
	jge	LBB0_13
LBB0_2:                                 ## =>This Loop Header: Depth=1
                                        ##     Child Loop BB0_7 Depth 2
                                        ##     Child Loop BB0_10 Depth 2
	movq	(%rdi), %rax
	leaq	(,%r13,2), %r14
	addq	%r13, %r14
	shlq	$4, %r14
	movq	32(%rax,%r14), %rsi
	testq	%rsi, %rsi
	je	LBB0_12
## %bb.3:                               ##   in Loop: Header=BB0_2 Depth=1
	cmpq	$0, 40(%rax,%r14)
	je	LBB0_12
## %bb.4:                               ##   in Loop: Header=BB0_2 Depth=1
	movq	24(%rax,%r14), %rdi
	movq	%r15, %r12
	movl	%ecx, %r15d
	movq	%rdx, %rbx
	movl	(%rax,%r14), %edx
	movq	%rax, -56(%rbp)                 ## 8-byte Spill
	callq	_memcmp
	movq	_traced_variables@GOTPCREL(%rip), %rdi
	movq	%rbx, %rdx
	movl	%r15d, %ecx
	movq	%r12, %r15
	testq	%rax, %rax
	movq	-56(%rbp), %rax                 ## 8-byte Reload
	je	LBB0_12
## %bb.5:                               ##   in Loop: Header=BB0_2 Depth=1
	leaq	(%rax,%r14), %rdx
	addq	$40, %rdx
	movq	%rdx, -64(%rbp)                 ## 8-byte Spill
	leaq	(%rax,%r14), %r12
	movq	(%rdx), %rsi
	leaq	L_.str(%rip), %rdi
	movq	%rax, %rbx
	xorl	%eax, %eax
	callq	_xprintf
	movq	8(%rbx,%r14), %rsi
	movl	16(%rbx,%r14), %edx
	leaq	L_.str.1(%rip), %rdi
	xorl	%eax, %eax
	callq	_xprintf
	leaq	L_.str.2(%rip), %rdi
	movq	%r15, %rsi
	movq	-64(%rbp), %r15                 ## 8-byte Reload
	movl	-44(%rbp), %edx                 ## 4-byte Reload
	xorl	%eax, %eax
	callq	_xprintf
	leaq	L_.str.3(%rip), %rdi
	xorl	%eax, %eax
	callq	_xprintf
	cmpl	$0, (%r12)
	jle	LBB0_8
## %bb.6:                               ##   in Loop: Header=BB0_2 Depth=1
	xorl	%ebx, %ebx
	.p2align	4, 0x90
LBB0_7:                                 ##   Parent Loop BB0_2 Depth=1
                                        ## =>  This Inner Loop Header: Depth=2
	movq	-16(%r15), %rax
	movl	(%rax,%rbx,4), %edi
	callq	_print_hex8
	incq	%rbx
	movslq	(%r12), %rax
	cmpq	%rax, %rbx
	jl	LBB0_7
LBB0_8:                                 ##   in Loop: Header=BB0_2 Depth=1
	movq	-56(%rbp), %rax                 ## 8-byte Reload
	leaq	(%rax,%r14), %rbx
	addq	$32, %rbx
	leaq	L_.str.4(%rip), %rdi
	xorl	%eax, %eax
	callq	_xprintf
	movq	(%rbx), %r15
	cmpl	$0, (%r12)
	jle	LBB0_11
## %bb.9:                               ##   in Loop: Header=BB0_2 Depth=1
	xorl	%ebx, %ebx
	.p2align	4, 0x90
LBB0_10:                                ##   Parent Loop BB0_2 Depth=1
                                        ## =>  This Inner Loop Header: Depth=2
	movl	(%r15,%rbx,4), %edi
	callq	_print_hex8
	incq	%rbx
	movslq	(%r12), %rax
	cmpq	%rax, %rbx
	jl	LBB0_10
	jmp	LBB0_11
LBB0_13:
	addq	$40, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_NUM_TRACED_VARIABLES,4,2       ## @NUM_TRACED_VARIABLES
	.comm	_traced_variables,8,3           ## @traced_variables
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"Traced variable \"%s\" has been modified\n"

L_.str.1:                               ## @.str.1
	.asciz	"Between %s:%d\n"

L_.str.2:                               ## @.str.2
	.asciz	"And %s:%d\n"

L_.str.3:                               ## @.str.3
	.asciz	"Previous value "

L_.str.4:                               ## @.str.4
	.asciz	"\nNew value "

L_.str.5:                               ## @.str.5
	.asciz	"\n"

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_verify_traced_variables        ; -- Begin function verify_traced_variables
	.p2align	2
_verify_traced_variables:               ; @verify_traced_variables
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #112
	.cfi_def_cfa_offset 112
	stp	x28, x27, [sp, #16]             ; 16-byte Folded Spill
	stp	x26, x25, [sp, #32]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #48]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #64]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #80]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #96]             ; 16-byte Folded Spill
	add	x29, sp, #96
	.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
Lloh0:
	adrp	x28, _NUM_TRACED_VARIABLES@GOTPAGE
Lloh1:
	ldr	x28, [x28, _NUM_TRACED_VARIABLES@GOTPAGEOFF]
	ldr	w8, [x28]
	cmp	w8, #1
	b.lt	LBB0_13
; %bb.1:
	mov	x19, x1
	mov	x20, x0
	mov	x21, #0
	mov	w23, #48
	b	LBB0_4
LBB0_2:                                 ;   in Loop: Header=BB0_4 Depth=1
Lloh2:
	adrp	x0, l_.str.5@PAGE
Lloh3:
	add	x0, x0, l_.str.5@PAGEOFF
	bl	_xprintf
	ldr	x0, [x26]
	ldr	w2, [x25]
	mov	x1, x27
	bl	_memcpy
LBB0_3:                                 ;   in Loop: Header=BB0_4 Depth=1
	madd	x8, x21, x23, x24
	str	x20, [x8, #8]
	str	w19, [x8, #16]
	add	x21, x21, #1
	ldrsw	x8, [x28]
	cmp	x21, x8
	b.ge	LBB0_13
LBB0_4:                                 ; =>This Loop Header: Depth=1
                                        ;     Child Loop BB0_9 Depth 2
                                        ;     Child Loop BB0_12 Depth 2
Lloh4:
	adrp	x8, _traced_variables@GOTPAGE
Lloh5:
	ldr	x8, [x8, _traced_variables@GOTPAGEOFF]
Lloh6:
	ldr	x24, [x8]
	madd	x27, x21, x23, x24
	ldr	x1, [x27, #32]!
	cbz	x1, LBB0_3
; %bb.5:                                ;   in Loop: Header=BB0_4 Depth=1
	madd	x22, x21, x23, x24
	ldr	x8, [x22, #40]!
	cbz	x8, LBB0_3
; %bb.6:                                ;   in Loop: Header=BB0_4 Depth=1
	madd	x25, x21, x23, x24
	mov	x26, x25
	ldr	x0, [x26, #24]!
	ldr	w2, [x25]
	bl	_memcmp
	cbz	x0, LBB0_3
; %bb.7:                                ;   in Loop: Header=BB0_4 Depth=1
	ldr	x8, [x22]
	str	x8, [sp]
Lloh7:
	adrp	x0, l_.str@PAGE
Lloh8:
	add	x0, x0, l_.str@PAGEOFF
	bl	_xprintf
	madd	x8, x21, x23, x24
	ldr	x9, [x8, #8]
	ldr	w8, [x8, #16]
	stp	x9, x8, [sp]
Lloh9:
	adrp	x0, l_.str.1@PAGE
Lloh10:
	add	x0, x0, l_.str.1@PAGEOFF
	bl	_xprintf
	stp	x20, x19, [sp]
Lloh11:
	adrp	x0, l_.str.2@PAGE
Lloh12:
	add	x0, x0, l_.str.2@PAGEOFF
	bl	_xprintf
Lloh13:
	adrp	x0, l_.str.3@PAGE
Lloh14:
	add	x0, x0, l_.str.3@PAGEOFF
	bl	_xprintf
	ldr	w8, [x25]
	cmp	w8, #1
	b.lt	LBB0_10
; %bb.8:                                ;   in Loop: Header=BB0_4 Depth=1
	mov	x22, #0
LBB0_9:                                 ;   Parent Loop BB0_4 Depth=1
                                        ; =>  This Inner Loop Header: Depth=2
	ldr	x8, [x26]
	ldr	w0, [x8, x22, lsl #2]
	bl	_print_hex8
	add	x22, x22, #1
	ldrsw	x8, [x25]
	cmp	x22, x8
	b.lt	LBB0_9
LBB0_10:                                ;   in Loop: Header=BB0_4 Depth=1
Lloh15:
	adrp	x0, l_.str.4@PAGE
Lloh16:
	add	x0, x0, l_.str.4@PAGEOFF
	bl	_xprintf
	ldr	x27, [x27]
	ldr	w8, [x25]
	cmp	w8, #1
	b.lt	LBB0_2
; %bb.11:                               ;   in Loop: Header=BB0_4 Depth=1
	mov	x22, #0
LBB0_12:                                ;   Parent Loop BB0_4 Depth=1
                                        ; =>  This Inner Loop Header: Depth=2
	ldr	w0, [x27, x22, lsl #2]
	bl	_print_hex8
	add	x22, x22, #1
	ldrsw	x8, [x25]
	cmp	x22, x8
	b.lt	LBB0_12
	b	LBB0_2
LBB0_13:
	ldp	x29, x30, [sp, #96]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #80]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #64]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #48]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #32]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #112
	ret
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpAdd	Lloh2, Lloh3
	.loh AdrpLdrGotLdr	Lloh4, Lloh5, Lloh6
	.loh AdrpAdd	Lloh13, Lloh14
	.loh AdrpAdd	Lloh11, Lloh12
	.loh AdrpAdd	Lloh9, Lloh10
	.loh AdrpAdd	Lloh7, Lloh8
	.loh AdrpAdd	Lloh15, Lloh16
	.cfi_endproc
                                        ; -- End function
	.comm	_NUM_TRACED_VARIABLES,4,2       ; @NUM_TRACED_VARIABLES
	.comm	_traced_variables,8,3           ; @traced_variables
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"Traced variable \"%s\" has been modified\n"

l_.str.1:                               ; @.str.1
	.asciz	"Between %s:%d\n"

l_.str.2:                               ; @.str.2
	.asciz	"And %s:%d\n"

l_.str.3:                               ; @.str.3
	.asciz	"Previous value "

l_.str.4:                               ; @.str.4
	.asciz	"\nNew value "

l_.str.5:                               ; @.str.5
	.asciz	"\n"

.subsections_via_symbols
