	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_var_nat_const_to_int           ## -- Begin function var_nat_const_to_int
	.p2align	4, 0x90
_var_nat_const_to_int:                  ## @var_nat_const_to_int
	.cfi_startproc
## %bb.0:
	testb	$1, %dil
	jne	LBB0_1
## %bb.2:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	movq	(%rdi), %rax
	popq	%rbp
	retq
LBB0_1:
	movl	$2147483649, %eax               ## imm = 0x80000001
	addq	%rax, %rdi
	movq	%rdi, %rax
	shrq	$63, %rax
	addq	%rdi, %rax
	sarq	%rax
	retq
	.cfi_endproc
                                        ## -- End function
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_var_nat_const_to_int           ; -- Begin function var_nat_const_to_int
	.p2align	2
_var_nat_const_to_int:                  ; @var_nat_const_to_int
	.cfi_startproc
; %bb.0:
	tbnz	w0, #0, LBB0_2
; %bb.1:
	ldr	x0, [x0]
	ret
LBB0_2:
	mov	w8, #-2147483647
	add	x8, x0, x8
	mov	w9, #2
	movk	w9, #32768, lsl #16
	add	x9, x0, x9
	cmp	x8, #0
	csel	x8, x9, x8, lt
	asr	x0, x8, #1
	ret
	.cfi_endproc
                                        ; -- End function
.subsections_via_symbols
