	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function ubik_print
_ubik_print:                            ## @ubik_print
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	pushq	%r14
	pushq	%rbx
	.cfi_offset %rbx, -32
	.cfi_offset %r14, -24
	movq	%rsi, %r14
	leaq	16(%rsi), %rdi
	callq	_EXTRACT_32BITS
	movl	%eax, %ebx
	movq	_ubik_req@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str.1(%rip), %rsi
	movl	%ebx, %edx
	callq	_tok2str
	movslq	%eax, %rdi
	callq	_ND_PRINT
	addq	$32, %r14
	leal	-20000(%rbx), %eax
	cmpl	$12, %eax
	ja	LBB0_1
## %bb.14:
	leaq	LJTI0_0(%rip), %rcx
	movslq	(%rcx,%rax,4), %rax
	addq	%rcx, %rax
	jmpq	*%rax
LBB0_4:
	leaq	L_.str.7(%rip), %rdi
LBB0_5:
	callq	_ND_PRINT
	xorl	%eax, %eax
	popq	%rbx
	popq	%r14
	popq	%rbp
	jmp	_UBIK_VERSIONOUT                ## TAILCALL
LBB0_1:
	cmpl	$10003, %ebx                    ## imm = 0x2713
	je	LBB0_15
## %bb.2:
	cmpl	$10000, %ebx                    ## imm = 0x2710
	jne	LBB0_13
## %bb.3:
	movl	(%r14), %edi
	movl	$4, %esi
	callq	_ND_TCHECK2
	movq	%r14, %rdi
	callq	_EXTRACT_32BITS
	testl	%eax, %eax
	leaq	L_.str.4(%rip), %rax
	leaq	L_.str.3(%rip), %rdi
	cmoveq	%rax, %rdi
	callq	_ND_PRINT
	leaq	L_.str.5(%rip), %rdi
	callq	_ND_PRINT
	xorl	%eax, %eax
	callq	_DATEOUT
	leaq	L_.str.6(%rip), %rdi
	callq	_ND_PRINT
	xorl	%eax, %eax
	callq	_UBIK_VERSIONOUT
	jmp	LBB0_4
LBB0_13:
	popq	%rbx
	popq	%r14
	popq	%rbp
	retq
LBB0_6:
	leaq	L_.str.7(%rip), %rdi
	callq	_ND_PRINT
	xorl	%eax, %eax
	callq	_UBIK_VERSIONOUT
	leaq	L_.str.9(%rip), %rdi
	callq	_ND_PRINT
	xorl	%eax, %eax
	callq	_INTOUT
	leaq	L_.str.10(%rip), %rdi
	callq	_ND_PRINT
	xorl	%eax, %eax
	callq	_INTOUT
	leaq	L_.str.11(%rip), %rdi
	callq	_ND_PRINT
	xorl	%eax, %eax
	callq	_INTOUT
	movq	%r14, %rdi
	callq	_ND_TCHECK_32BITS
	movq	%r14, %rdi
	callq	_EXTRACT_32BITS
	movq	_ubik_lock_types@GOTPCREL(%rip), %rcx
	movl	(%rcx), %edi
	leaq	L_.str.12(%rip), %rsi
	movl	%eax, %edx
	popq	%rbx
	popq	%r14
	popq	%rbp
	jmp	_tok2str                        ## TAILCALL
LBB0_7:
	leaq	L_.str.7(%rip), %rdi
	callq	_ND_PRINT
	xorl	%eax, %eax
	callq	_UBIK_VERSIONOUT
	leaq	L_.str.9(%rip), %rdi
	callq	_ND_PRINT
	xorl	%eax, %eax
	callq	_INTOUT
	leaq	L_.str.10(%rip), %rdi
	jmp	LBB0_9
LBB0_8:
	leaq	L_.str.9(%rip), %rdi
	jmp	LBB0_9
LBB0_10:
	leaq	L_.str.9(%rip), %rdi
	callq	_ND_PRINT
	xorl	%eax, %eax
	callq	_INTOUT
	leaq	L_.str.11(%rip), %rdi
	callq	_ND_PRINT
	xorl	%eax, %eax
	callq	_INTOUT
	leaq	L_.str.6(%rip), %rdi
	jmp	LBB0_5
LBB0_11:
	leaq	L_.str.7(%rip), %rdi
	callq	_ND_PRINT
	xorl	%eax, %eax
	callq	_UBIK_VERSIONOUT
	leaq	L_.str.9(%rip), %rdi
	callq	_ND_PRINT
	xorl	%eax, %eax
	callq	_INTOUT
	leaq	L_.str.11(%rip), %rdi
LBB0_9:
	callq	_ND_PRINT
	xorl	%eax, %eax
	popq	%rbx
	popq	%r14
	popq	%rbp
	jmp	_INTOUT                         ## TAILCALL
LBB0_12:
	leaq	L_.str.7(%rip), %rdi
	callq	_ND_PRINT
	xorl	%eax, %eax
	callq	_UBIK_VERSIONOUT
	leaq	L_.str.13(%rip), %rdi
	callq	_ND_PRINT
	xorl	%eax, %eax
	callq	_UBIK_VERSIONOUT
	leaq	L_.str.14(%rip), %rdi
	jmp	LBB0_5
LBB0_15:
	leaq	L_.str.8(%rip), %rdi
	callq	_ND_PRINT
	xorl	%eax, %eax
	popq	%rbx
	popq	%r14
	popq	%rbp
	jmp	_UINTOUT                        ## TAILCALL
	.cfi_endproc
	.p2align	2, 0x90
	.data_region jt32
.set L0_0_set_4, LBB0_4-LJTI0_0
.set L0_0_set_6, LBB0_6-LJTI0_0
.set L0_0_set_7, LBB0_7-LJTI0_0
.set L0_0_set_13, LBB0_13-LJTI0_0
.set L0_0_set_8, LBB0_8-LJTI0_0
.set L0_0_set_10, LBB0_10-LJTI0_0
.set L0_0_set_11, LBB0_11-LJTI0_0
.set L0_0_set_12, LBB0_12-LJTI0_0
LJTI0_0:
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_6
	.long	L0_0_set_7
	.long	L0_0_set_13
	.long	L0_0_set_8
	.long	L0_0_set_10
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_11
	.long	L0_0_set_4
	.long	L0_0_set_13
	.long	L0_0_set_12
	.end_data_region
                                        ## -- End function
	.comm	_ubik_req,4,2                   ## @ubik_req
	.section	__TEXT,__cstring,cstring_literals
L_.str.1:                               ## @.str.1
	.asciz	"op#%d"

L_.str.3:                               ## @.str.3
	.asciz	"yes"

L_.str.4:                               ## @.str.4
	.asciz	"no"

L_.str.5:                               ## @.str.5
	.asciz	" votestart"

L_.str.6:                               ## @.str.6
	.asciz	" dbversion"

L_.str.7:                               ## @.str.7
	.asciz	" tid"

L_.str.8:                               ## @.str.8
	.asciz	" site"

L_.str.9:                               ## @.str.9
	.asciz	" file"

L_.str.10:                              ## @.str.10
	.asciz	" pos"

L_.str.11:                              ## @.str.11
	.asciz	" length"

	.comm	_ubik_lock_types,4,2            ## @ubik_lock_types
L_.str.12:                              ## @.str.12
	.asciz	"type %d"

L_.str.13:                              ## @.str.13
	.asciz	" oldversion"

L_.str.14:                              ## @.str.14
	.asciz	" newversion"

	.no_dead_strip	_ubik_print
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function ubik_print
_ubik_print:                            ; @ubik_print
	.cfi_startproc
; %bb.0:
	stp	x20, x19, [sp, #-32]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 32
	stp	x29, x30, [sp, #16]             ; 16-byte Folded Spill
	add	x29, sp, #16
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	mov	x19, x1
	add	x0, x1, #16
	bl	_EXTRACT_32BITS
	mov	x20, x0
Lloh0:
	adrp	x8, _ubik_req@GOTPAGE
Lloh1:
	ldr	x8, [x8, _ubik_req@GOTPAGEOFF]
Lloh2:
	ldr	w0, [x8]
Lloh3:
	adrp	x1, l_.str.1@PAGE
Lloh4:
	add	x1, x1, l_.str.1@PAGEOFF
	mov	x2, x20
	bl	_tok2str
                                        ; kill: def $w0 killed $w0 def $x0
	sxtw	x0, w0
	bl	_ND_PRINT
	add	x19, x19, #32
	mov	w8, #-20000
	add	w8, w20, w8
	cmp	w8, #12
	b.hi	LBB0_4
; %bb.1:
Lloh5:
	adrp	x9, lJTI0_0@PAGE
Lloh6:
	add	x9, x9, lJTI0_0@PAGEOFF
	adr	x10, LBB0_2
	ldrb	w11, [x9, x8]
	add	x10, x10, x11, lsl #2
	br	x10
LBB0_2:
Lloh7:
	adrp	x0, l_.str.7@PAGE
Lloh8:
	add	x0, x0, l_.str.7@PAGEOFF
LBB0_3:
	bl	_ND_PRINT
	ldp	x29, x30, [sp, #16]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp], #32             ; 16-byte Folded Reload
	b	_UBIK_VERSIONOUT
LBB0_4:
	mov	w8, #10003
	cmp	w20, w8
	b.eq	LBB0_15
; %bb.5:
	mov	w8, #10000
	cmp	w20, w8
	b.ne	LBB0_7
; %bb.6:
	ldr	w0, [x19]
	mov	w1, #4
	bl	_ND_TCHECK2
	mov	x0, x19
	bl	_EXTRACT_32BITS
Lloh9:
	adrp	x8, l_.str.3@PAGE
Lloh10:
	add	x8, x8, l_.str.3@PAGEOFF
Lloh11:
	adrp	x9, l_.str.4@PAGE
Lloh12:
	add	x9, x9, l_.str.4@PAGEOFF
	cmp	w0, #0
	csel	x0, x9, x8, eq
	bl	_ND_PRINT
Lloh13:
	adrp	x0, l_.str.5@PAGE
Lloh14:
	add	x0, x0, l_.str.5@PAGEOFF
	bl	_ND_PRINT
	bl	_DATEOUT
Lloh15:
	adrp	x0, l_.str.6@PAGE
Lloh16:
	add	x0, x0, l_.str.6@PAGEOFF
	bl	_ND_PRINT
	bl	_UBIK_VERSIONOUT
	b	LBB0_2
LBB0_7:
	ldp	x29, x30, [sp, #16]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp], #32             ; 16-byte Folded Reload
	ret
LBB0_8:
Lloh17:
	adrp	x0, l_.str.7@PAGE
Lloh18:
	add	x0, x0, l_.str.7@PAGEOFF
	bl	_ND_PRINT
	bl	_UBIK_VERSIONOUT
Lloh19:
	adrp	x0, l_.str.9@PAGE
Lloh20:
	add	x0, x0, l_.str.9@PAGEOFF
	bl	_ND_PRINT
	bl	_INTOUT
Lloh21:
	adrp	x0, l_.str.10@PAGE
Lloh22:
	add	x0, x0, l_.str.10@PAGEOFF
	bl	_ND_PRINT
	bl	_INTOUT
Lloh23:
	adrp	x0, l_.str.11@PAGE
Lloh24:
	add	x0, x0, l_.str.11@PAGEOFF
	bl	_ND_PRINT
	bl	_INTOUT
	mov	x0, x19
	bl	_ND_TCHECK_32BITS
	mov	x0, x19
	bl	_EXTRACT_32BITS
	mov	x2, x0
Lloh25:
	adrp	x8, _ubik_lock_types@GOTPAGE
Lloh26:
	ldr	x8, [x8, _ubik_lock_types@GOTPAGEOFF]
Lloh27:
	ldr	w0, [x8]
Lloh28:
	adrp	x1, l_.str.12@PAGE
Lloh29:
	add	x1, x1, l_.str.12@PAGEOFF
	ldp	x29, x30, [sp, #16]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp], #32             ; 16-byte Folded Reload
	b	_tok2str
LBB0_9:
Lloh30:
	adrp	x0, l_.str.7@PAGE
Lloh31:
	add	x0, x0, l_.str.7@PAGEOFF
	bl	_ND_PRINT
	bl	_UBIK_VERSIONOUT
Lloh32:
	adrp	x0, l_.str.9@PAGE
Lloh33:
	add	x0, x0, l_.str.9@PAGEOFF
	bl	_ND_PRINT
	bl	_INTOUT
Lloh34:
	adrp	x0, l_.str.10@PAGE
Lloh35:
	add	x0, x0, l_.str.10@PAGEOFF
	b	LBB0_13
LBB0_10:
Lloh36:
	adrp	x0, l_.str.9@PAGE
Lloh37:
	add	x0, x0, l_.str.9@PAGEOFF
	b	LBB0_13
LBB0_11:
Lloh38:
	adrp	x0, l_.str.9@PAGE
Lloh39:
	add	x0, x0, l_.str.9@PAGEOFF
	bl	_ND_PRINT
	bl	_INTOUT
Lloh40:
	adrp	x0, l_.str.11@PAGE
Lloh41:
	add	x0, x0, l_.str.11@PAGEOFF
	bl	_ND_PRINT
	bl	_INTOUT
Lloh42:
	adrp	x0, l_.str.6@PAGE
Lloh43:
	add	x0, x0, l_.str.6@PAGEOFF
	b	LBB0_3
LBB0_12:
Lloh44:
	adrp	x0, l_.str.7@PAGE
Lloh45:
	add	x0, x0, l_.str.7@PAGEOFF
	bl	_ND_PRINT
	bl	_UBIK_VERSIONOUT
Lloh46:
	adrp	x0, l_.str.9@PAGE
Lloh47:
	add	x0, x0, l_.str.9@PAGEOFF
	bl	_ND_PRINT
	bl	_INTOUT
Lloh48:
	adrp	x0, l_.str.11@PAGE
Lloh49:
	add	x0, x0, l_.str.11@PAGEOFF
LBB0_13:
	bl	_ND_PRINT
	ldp	x29, x30, [sp, #16]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp], #32             ; 16-byte Folded Reload
	b	_INTOUT
LBB0_14:
Lloh50:
	adrp	x0, l_.str.7@PAGE
Lloh51:
	add	x0, x0, l_.str.7@PAGEOFF
	bl	_ND_PRINT
	bl	_UBIK_VERSIONOUT
Lloh52:
	adrp	x0, l_.str.13@PAGE
Lloh53:
	add	x0, x0, l_.str.13@PAGEOFF
	bl	_ND_PRINT
	bl	_UBIK_VERSIONOUT
Lloh54:
	adrp	x0, l_.str.14@PAGE
Lloh55:
	add	x0, x0, l_.str.14@PAGEOFF
	b	LBB0_3
LBB0_15:
Lloh56:
	adrp	x0, l_.str.8@PAGE
Lloh57:
	add	x0, x0, l_.str.8@PAGEOFF
	bl	_ND_PRINT
	ldp	x29, x30, [sp, #16]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp], #32             ; 16-byte Folded Reload
	b	_UINTOUT
	.loh AdrpAdd	Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpAdd	Lloh5, Lloh6
	.loh AdrpAdd	Lloh7, Lloh8
	.loh AdrpAdd	Lloh15, Lloh16
	.loh AdrpAdd	Lloh13, Lloh14
	.loh AdrpAdd	Lloh11, Lloh12
	.loh AdrpAdd	Lloh9, Lloh10
	.loh AdrpAdd	Lloh28, Lloh29
	.loh AdrpLdrGotLdr	Lloh25, Lloh26, Lloh27
	.loh AdrpAdd	Lloh23, Lloh24
	.loh AdrpAdd	Lloh21, Lloh22
	.loh AdrpAdd	Lloh19, Lloh20
	.loh AdrpAdd	Lloh17, Lloh18
	.loh AdrpAdd	Lloh34, Lloh35
	.loh AdrpAdd	Lloh32, Lloh33
	.loh AdrpAdd	Lloh30, Lloh31
	.loh AdrpAdd	Lloh36, Lloh37
	.loh AdrpAdd	Lloh42, Lloh43
	.loh AdrpAdd	Lloh40, Lloh41
	.loh AdrpAdd	Lloh38, Lloh39
	.loh AdrpAdd	Lloh48, Lloh49
	.loh AdrpAdd	Lloh46, Lloh47
	.loh AdrpAdd	Lloh44, Lloh45
	.loh AdrpAdd	Lloh54, Lloh55
	.loh AdrpAdd	Lloh52, Lloh53
	.loh AdrpAdd	Lloh50, Lloh51
	.loh AdrpAdd	Lloh56, Lloh57
	.cfi_endproc
	.section	__TEXT,__const
lJTI0_0:
	.byte	(LBB0_2-LBB0_2)>>2
	.byte	(LBB0_2-LBB0_2)>>2
	.byte	(LBB0_8-LBB0_2)>>2
	.byte	(LBB0_9-LBB0_2)>>2
	.byte	(LBB0_7-LBB0_2)>>2
	.byte	(LBB0_10-LBB0_2)>>2
	.byte	(LBB0_11-LBB0_2)>>2
	.byte	(LBB0_2-LBB0_2)>>2
	.byte	(LBB0_2-LBB0_2)>>2
	.byte	(LBB0_12-LBB0_2)>>2
	.byte	(LBB0_2-LBB0_2)>>2
	.byte	(LBB0_7-LBB0_2)>>2
	.byte	(LBB0_14-LBB0_2)>>2
                                        ; -- End function
	.comm	_ubik_req,4,2                   ; @ubik_req
	.section	__TEXT,__cstring,cstring_literals
l_.str.1:                               ; @.str.1
	.asciz	"op#%d"

l_.str.3:                               ; @.str.3
	.asciz	"yes"

l_.str.4:                               ; @.str.4
	.asciz	"no"

l_.str.5:                               ; @.str.5
	.asciz	" votestart"

l_.str.6:                               ; @.str.6
	.asciz	" dbversion"

l_.str.7:                               ; @.str.7
	.asciz	" tid"

l_.str.8:                               ; @.str.8
	.asciz	" site"

l_.str.9:                               ; @.str.9
	.asciz	" file"

l_.str.10:                              ; @.str.10
	.asciz	" pos"

l_.str.11:                              ; @.str.11
	.asciz	" length"

	.comm	_ubik_lock_types,4,2            ; @ubik_lock_types
l_.str.12:                              ; @.str.12
	.asciz	"type %d"

l_.str.13:                              ; @.str.13
	.asciz	" oldversion"

l_.str.14:                              ; @.str.14
	.asciz	" newversion"

	.no_dead_strip	_ubik_print
.subsections_via_symbols
