	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function print_bvspace
_print_bvspace:                         ## @print_bvspace
	.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
	pushq	%rax
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rdx, %r15
	movq	%rsi, %r12
	movq	%rdi, %r14
	movq	%rdx, %rdi
	callq	_assert
	movq	%r14, %rdi
	callq	_term_newln
	movq	_MDOC_Bd@GOTPCREL(%rip), %rax
	movq	(%r12), %r10
	cmpq	%r10, (%rax)
	jne	LBB0_2
## %bb.1:
	movq	48(%r12), %rax
	cmpq	$0, 16(%rax)
	jne	LBB0_27
LBB0_2:
	movq	_MDOC_Bl@GOTPCREL(%rip), %rax
	movq	(%rax), %r9
	cmpq	%r10, %r9
	jne	LBB0_4
## %bb.3:
	movq	48(%r12), %rax
	cmpq	$0, 8(%rax)
	je	LBB0_4
LBB0_27:
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_4:
	movq	40(%r15), %r8
	movq	%r15, %rsi
	testq	%r8, %r8
	je	LBB0_9
## %bb.5:
	movq	_ROFFT_COMMENT@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	_NODE_NOPRT@GOTPCREL(%rip), %rcx
	movl	(%rcx), %ecx
	movq	%r8, %rdx
	jmp	LBB0_6
	.p2align	4, 0x90
LBB0_8:                                 ##   in Loop: Header=BB0_6 Depth=1
	movq	40(%rsi), %rdx
	testq	%rdx, %rdx
	je	LBB0_9
LBB0_6:                                 ## =>This Inner Loop Header: Depth=1
	movq	%rdx, %rsi
	cmpq	%rax, 8(%rdx)
	je	LBB0_8
## %bb.7:                               ##   in Loop: Header=BB0_6 Depth=1
	testl	%ecx, 16(%rsi)
	jne	LBB0_8
	jmp	LBB0_17
LBB0_9:
	movq	_ROFFT_ROOT@GOTPCREL(%rip), %rax
	movq	(%rax), %rdi
	movq	_ROFFT_BLOCK@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	_MDOC_Sh@GOTPCREL(%rip), %rcx
	movq	(%rcx), %r13
	movq	_MDOC_Ss@GOTPCREL(%rip), %rcx
	movq	(%rcx), %rbx
	movq	_MDOC_It@GOTPCREL(%rip), %rcx
	movq	(%rcx), %rcx
	movq	_LIST_item@GOTPCREL(%rip), %rdx
	movq	(%rdx), %r11
	jmp	LBB0_10
	.p2align	4, 0x90
LBB0_16:                                ##   in Loop: Header=BB0_10 Depth=1
	cmpq	$0, 40(%rsi)
	jne	LBB0_17
LBB0_10:                                ## =>This Inner Loop Header: Depth=1
	movq	56(%rsi), %rsi
	movq	8(%rsi), %rdx
	cmpq	%rdi, %rdx
	je	LBB0_27
## %bb.11:                              ##   in Loop: Header=BB0_10 Depth=1
	cmpq	%rax, %rdx
	jne	LBB0_10
## %bb.12:                              ##   in Loop: Header=BB0_10 Depth=1
	movq	(%rsi), %rdx
	cmpq	%r13, %rdx
	je	LBB0_27
## %bb.13:                              ##   in Loop: Header=BB0_10 Depth=1
	cmpq	%rbx, %rdx
	je	LBB0_27
## %bb.14:                              ##   in Loop: Header=BB0_10 Depth=1
	cmpq	%rcx, %rdx
	jne	LBB0_16
## %bb.15:                              ##   in Loop: Header=BB0_10 Depth=1
	movq	56(%rsi), %rdx
	movq	56(%rdx), %rdx
	movq	48(%rdx), %rdx
	cmpq	%r11, (%rdx)
	je	LBB0_16
LBB0_17:
	cmpq	%r10, %r9
	jne	LBB0_22
## %bb.18:
	movq	_LIST_column@GOTPCREL(%rip), %rcx
	movq	48(%r12), %rax
	movq	(%rax), %rax
	cmpq	%rax, (%rcx)
	jne	LBB0_23
## %bb.19:
	testq	%r8, %r8
	je	LBB0_22
## %bb.20:
	movq	_MDOC_It@GOTPCREL(%rip), %rcx
	movq	(%rcx), %rcx
	cmpq	(%r8), %rcx
	je	LBB0_27
## %bb.21:
	movq	_LIST_diag@GOTPCREL(%rip), %rcx
	cmpq	%rax, (%rcx)
	je	LBB0_25
	jmp	LBB0_22
LBB0_23:
	movq	_LIST_diag@GOTPCREL(%rip), %rcx
	cmpq	%rax, (%rcx)
	jne	LBB0_22
## %bb.24:
	testq	%r8, %r8
	je	LBB0_22
LBB0_25:
	movq	_MDOC_It@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	cmpq	(%r8), %rax
	jne	LBB0_22
## %bb.26:
	movq	32(%r8), %rdi
	callq	_assert
	movq	40(%r15), %rax
	movq	32(%rax), %rax
	cmpq	$0, 24(%rax)
	je	LBB0_27
LBB0_22:
	movq	%r14, %rdi
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_term_vspace                    ## TAILCALL
	.cfi_endproc
                                        ## -- End function
	.comm	_MDOC_Bd,8,3                    ## @MDOC_Bd
	.comm	_MDOC_Bl,8,3                    ## @MDOC_Bl
	.comm	_ROFFT_COMMENT,8,3              ## @ROFFT_COMMENT
	.comm	_NODE_NOPRT,4,2                 ## @NODE_NOPRT
	.comm	_ROFFT_ROOT,8,3                 ## @ROFFT_ROOT
	.comm	_ROFFT_BLOCK,8,3                ## @ROFFT_BLOCK
	.comm	_MDOC_Sh,8,3                    ## @MDOC_Sh
	.comm	_MDOC_Ss,8,3                    ## @MDOC_Ss
	.comm	_MDOC_It,8,3                    ## @MDOC_It
	.comm	_LIST_item,8,3                  ## @LIST_item
	.comm	_LIST_column,8,3                ## @LIST_column
	.comm	_LIST_diag,8,3                  ## @LIST_diag
	.no_dead_strip	_print_bvspace
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function print_bvspace
_print_bvspace:                         ; @print_bvspace
	.cfi_startproc
; %bb.0:
	stp	x22, x21, [sp, #-48]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 48
	stp	x20, x19, [sp, #16]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #32]             ; 16-byte Folded Spill
	add	x29, sp, #32
	.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
	mov	x20, x2
	mov	x21, x1
	mov	x19, x0
	mov	x0, x2
	bl	_assert
	mov	x0, x19
	bl	_term_newln
Lloh0:
	adrp	x8, _MDOC_Bd@GOTPAGE
Lloh1:
	ldr	x8, [x8, _MDOC_Bd@GOTPAGEOFF]
Lloh2:
	ldr	x8, [x8]
	ldr	x9, [x21]
	cmp	x8, x9
	b.ne	LBB0_2
; %bb.1:
	ldr	x8, [x21, #48]
	ldr	x8, [x8, #16]
	cbnz	x8, LBB0_4
LBB0_2:
Lloh3:
	adrp	x8, _MDOC_Bl@GOTPAGE
Lloh4:
	ldr	x8, [x8, _MDOC_Bl@GOTPAGEOFF]
Lloh5:
	ldr	x10, [x8]
	cmp	x10, x9
	b.ne	LBB0_5
; %bb.3:
	ldr	x8, [x21, #48]
	ldr	x8, [x8, #8]
	cbz	x8, LBB0_5
LBB0_4:
	ldp	x29, x30, [sp, #32]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #16]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp], #48             ; 16-byte Folded Reload
	ret
LBB0_5:
	ldr	x8, [x20, #40]
	mov	x11, x20
	cbz	x8, LBB0_10
; %bb.6:
Lloh6:
	adrp	x11, _ROFFT_COMMENT@GOTPAGE
Lloh7:
	ldr	x11, [x11, _ROFFT_COMMENT@GOTPAGEOFF]
Lloh8:
	ldr	x12, [x11]
Lloh9:
	adrp	x11, _NODE_NOPRT@GOTPAGE
Lloh10:
	ldr	x11, [x11, _NODE_NOPRT@GOTPAGEOFF]
Lloh11:
	ldr	w13, [x11]
	mov	x14, x8
	b	LBB0_8
LBB0_7:                                 ;   in Loop: Header=BB0_8 Depth=1
	ldr	x14, [x11, #40]
	cbz	x14, LBB0_10
LBB0_8:                                 ; =>This Inner Loop Header: Depth=1
	mov	x11, x14
	ldr	x14, [x14, #8]
	cmp	x14, x12
	b.eq	LBB0_7
; %bb.9:                                ;   in Loop: Header=BB0_8 Depth=1
	ldr	w14, [x11, #16]
	tst	w13, w14
	b.ne	LBB0_7
	b	LBB0_17
LBB0_10:
Lloh12:
	adrp	x12, _ROFFT_ROOT@GOTPAGE
Lloh13:
	ldr	x12, [x12, _ROFFT_ROOT@GOTPAGEOFF]
Lloh14:
	ldr	x12, [x12]
Lloh15:
	adrp	x13, _ROFFT_BLOCK@GOTPAGE
Lloh16:
	ldr	x13, [x13, _ROFFT_BLOCK@GOTPAGEOFF]
Lloh17:
	ldr	x13, [x13]
Lloh18:
	adrp	x14, _MDOC_Sh@GOTPAGE
Lloh19:
	ldr	x14, [x14, _MDOC_Sh@GOTPAGEOFF]
Lloh20:
	ldr	x14, [x14]
Lloh21:
	adrp	x15, _MDOC_Ss@GOTPAGE
Lloh22:
	ldr	x15, [x15, _MDOC_Ss@GOTPAGEOFF]
Lloh23:
	ldr	x15, [x15]
Lloh24:
	adrp	x16, _MDOC_It@GOTPAGE
Lloh25:
	ldr	x16, [x16, _MDOC_It@GOTPAGEOFF]
Lloh26:
	ldr	x16, [x16]
Lloh27:
	adrp	x17, _LIST_item@GOTPAGE
Lloh28:
	ldr	x17, [x17, _LIST_item@GOTPAGEOFF]
Lloh29:
	ldr	x17, [x17]
	b	LBB0_12
LBB0_11:                                ;   in Loop: Header=BB0_12 Depth=1
	ldr	x0, [x11, #40]
	cbnz	x0, LBB0_17
LBB0_12:                                ; =>This Inner Loop Header: Depth=1
	ldr	x11, [x11, #56]
	ldr	x0, [x11, #8]
	cmp	x0, x12
	b.eq	LBB0_4
; %bb.13:                               ;   in Loop: Header=BB0_12 Depth=1
	cmp	x0, x13
	b.ne	LBB0_12
; %bb.14:                               ;   in Loop: Header=BB0_12 Depth=1
	ldr	x0, [x11]
	cmp	x0, x14
	ccmp	x0, x15, #4, ne
	b.eq	LBB0_4
; %bb.15:                               ;   in Loop: Header=BB0_12 Depth=1
	cmp	x0, x16
	b.ne	LBB0_11
; %bb.16:                               ;   in Loop: Header=BB0_12 Depth=1
	ldr	x0, [x11, #56]
	ldr	x0, [x0, #56]
	ldr	x0, [x0, #48]
	ldr	x0, [x0]
	cmp	x0, x17
	b.eq	LBB0_11
LBB0_17:
	cmp	x10, x9
	b.ne	LBB0_25
; %bb.18:
Lloh30:
	adrp	x9, _LIST_column@GOTPAGE
Lloh31:
	ldr	x9, [x9, _LIST_column@GOTPAGEOFF]
Lloh32:
	ldr	x10, [x9]
	ldr	x9, [x21, #48]
	ldr	x9, [x9]
	cmp	x10, x9
	b.ne	LBB0_22
; %bb.19:
	cbz	x8, LBB0_25
; %bb.20:
Lloh33:
	adrp	x10, _MDOC_It@GOTPAGE
Lloh34:
	ldr	x10, [x10, _MDOC_It@GOTPAGEOFF]
Lloh35:
	ldr	x10, [x10]
	ldr	x11, [x8]
	cmp	x10, x11
	b.eq	LBB0_4
; %bb.21:
Lloh36:
	adrp	x10, _LIST_diag@GOTPAGE
Lloh37:
	ldr	x10, [x10, _LIST_diag@GOTPAGEOFF]
Lloh38:
	ldr	x10, [x10]
	cmp	x10, x9
	b.eq	LBB0_23
	b	LBB0_25
LBB0_22:
Lloh39:
	adrp	x10, _LIST_diag@GOTPAGE
Lloh40:
	ldr	x10, [x10, _LIST_diag@GOTPAGEOFF]
Lloh41:
	ldr	x10, [x10]
	cmp	x10, x9
	ccmp	x8, #0, #4, eq
	b.eq	LBB0_25
LBB0_23:
Lloh42:
	adrp	x9, _MDOC_It@GOTPAGE
Lloh43:
	ldr	x9, [x9, _MDOC_It@GOTPAGEOFF]
Lloh44:
	ldr	x9, [x9]
	ldr	x10, [x8]
	cmp	x9, x10
	b.ne	LBB0_25
; %bb.24:
	ldr	x0, [x8, #32]
	bl	_assert
	ldr	x8, [x20, #40]
	ldr	x8, [x8, #32]
	ldr	x8, [x8, #24]
	cbz	x8, LBB0_4
LBB0_25:
	mov	x0, x19
	ldp	x29, x30, [sp, #32]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #16]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp], #48             ; 16-byte Folded Reload
	b	_term_vspace
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh9, Lloh10, Lloh11
	.loh AdrpLdrGotLdr	Lloh6, Lloh7, Lloh8
	.loh AdrpLdrGotLdr	Lloh27, Lloh28, Lloh29
	.loh AdrpLdrGotLdr	Lloh24, Lloh25, Lloh26
	.loh AdrpLdrGotLdr	Lloh21, Lloh22, Lloh23
	.loh AdrpLdrGotLdr	Lloh18, Lloh19, Lloh20
	.loh AdrpLdrGotLdr	Lloh15, Lloh16, Lloh17
	.loh AdrpLdrGotLdr	Lloh12, Lloh13, Lloh14
	.loh AdrpLdrGotLdr	Lloh30, Lloh31, Lloh32
	.loh AdrpLdrGotLdr	Lloh33, Lloh34, Lloh35
	.loh AdrpLdrGotLdr	Lloh36, Lloh37, Lloh38
	.loh AdrpLdrGotLdr	Lloh39, Lloh40, Lloh41
	.loh AdrpLdrGotLdr	Lloh42, Lloh43, Lloh44
	.cfi_endproc
                                        ; -- End function
	.comm	_MDOC_Bd,8,3                    ; @MDOC_Bd
	.comm	_MDOC_Bl,8,3                    ; @MDOC_Bl
	.comm	_ROFFT_COMMENT,8,3              ; @ROFFT_COMMENT
	.comm	_NODE_NOPRT,4,2                 ; @NODE_NOPRT
	.comm	_ROFFT_ROOT,8,3                 ; @ROFFT_ROOT
	.comm	_ROFFT_BLOCK,8,3                ; @ROFFT_BLOCK
	.comm	_MDOC_Sh,8,3                    ; @MDOC_Sh
	.comm	_MDOC_Ss,8,3                    ; @MDOC_Ss
	.comm	_MDOC_It,8,3                    ; @MDOC_It
	.comm	_LIST_item,8,3                  ; @LIST_item
	.comm	_LIST_column,8,3                ; @LIST_column
	.comm	_LIST_diag,8,3                  ; @LIST_diag
	.no_dead_strip	_print_bvspace
.subsections_via_symbols
