	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_validation_checkfp             ## -- Begin function validation_checkfp
	.p2align	4, 0x90
_validation_checkfp:                    ## @validation_checkfp
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	ud2
	.cfi_endproc
                                        ## -- End function
	.comm	_verbose,4,2                    ## @verbose
	.comm	_stderr,4,2                     ## @stderr
	.comm	_start,4,2                      ## @start
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_validation_checkfp             ; -- Begin function validation_checkfp
	.p2align	2
_validation_checkfp:                    ; @validation_checkfp
	.cfi_startproc
; %bb.0:
	brk	#0x1
	.cfi_endproc
                                        ; -- End function
	.comm	_verbose,4,2                    ; @verbose
	.comm	_stderr,4,2                     ; @stderr
	.comm	_start,4,2                      ; @start
.subsections_via_symbols
