	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_TstPtUf                        ## -- Begin function TstPtUf
	.p2align	4, 0x90
_TstPtUf:                               ## @TstPtUf
	.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	_N@GOTPCREL(%rip), %rbx
	movl	$0, (%rbx)
	movq	_Z@GOTPCREL(%rip), %r14
	movsd	(%r14), %xmm0                   ## xmm0 = mem[0],zero
	movq	_Zero@GOTPCREL(%rip), %rax
	ucomisd	(%rax), %xmm0
	jne	LBB0_1
	jnp	LBB0_21
LBB0_1:
	leaq	L_.str(%rip), %rdi
	xorl	%eax, %eax
                                        ## kill: def $al killed $al killed $eax
	callq	_printf
	leaq	L_str(%rip), %rdi
	callq	_puts
	movq	_sigfpe@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	_sigsave@GOTPCREL(%rip), %r15
	movq	%rax, (%r15)
	movq	_ovfl_buf@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_setjmp
	testq	%rax, %rax
	je	LBB0_2
LBB0_6:
	movl	$1, (%rbx)
	movq	_ErrCnt@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	_Serious@GOTPCREL(%rip), %rcx
	movq	(%rcx), %rcx
	incq	(%rax,%rcx,8)
	leaq	L_str.16(%rip), %rdi
	jmp	LBB0_8
LBB0_2:
	movsd	(%r14), %xmm1                   ## xmm1 = mem[0],zero
	movapd	%xmm1, %xmm0
	addsd	%xmm1, %xmm0
	divsd	%xmm1, %xmm0
	movq	_Q9@GOTPCREL(%rip), %r12
	movsd	%xmm0, (%r12)
	leaq	L_.str.2(%rip), %rdi
	movb	$1, %al
	callq	_printf
	movsd	(%r12), %xmm0                   ## xmm0 = mem[0],zero
	movq	_Two@GOTPCREL(%rip), %r13
	subsd	(%r13), %xmm0
	callq	_FABS
	movq	_Radix@GOTPCREL(%rip), %rcx
	movq	_U2@GOTPCREL(%rip), %rdx
	movl	(%rdx), %edx
	imull	(%rcx), %edx
	cmpl	%edx, %eax
	jge	LBB0_4
## %bb.3:
	leaq	L_.str.3(%rip), %rdi
	xorl	%eax, %eax
                                        ## kill: def $al killed $al killed $eax
	callq	_printf
	leaq	L_str.17(%rip), %rdi
	jmp	LBB0_8
LBB0_4:
	movsd	(%r12), %xmm0                   ## xmm0 = mem[0],zero
	movq	_One@GOTPCREL(%rip), %rax
	movsd	(%rax), %xmm1                   ## xmm1 = mem[0],zero
	ucomisd	%xmm0, %xmm1
	ja	LBB0_6
## %bb.5:
	ucomisd	(%r13), %xmm0
	ja	LBB0_6
## %bb.7:
	movl	$1, (%rbx)
	movq	_ErrCnt@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	_Defect@GOTPCREL(%rip), %rcx
	movq	(%rcx), %rcx
	incq	(%rax,%rcx,8)
	leaq	L_str.15(%rip), %rdi
LBB0_8:
	callq	_puts
	movq	$0, (%r15)
	movsd	(%r14), %xmm0                   ## xmm0 = mem[0],zero
	movq	_One@GOTPCREL(%rip), %rax
	movsd	(%rax), %xmm2                   ## xmm2 = mem[0],zero
	movapd	%xmm0, %xmm3
	mulsd	%xmm2, %xmm3
	movq	_Random1@GOTPCREL(%rip), %r15
	movsd	%xmm3, (%r15)
	movq	_Random2@GOTPCREL(%rip), %r12
	movsd	%xmm3, (%r12)
	movapd	%xmm0, %xmm1
	divsd	%xmm2, %xmm1
	movq	_V9@GOTPCREL(%rip), %r13
	movsd	%xmm1, (%r13)
	ucomisd	%xmm3, %xmm0
	jne	LBB0_11
	jp	LBB0_11
## %bb.9:
	ucomisd	%xmm1, %xmm0
	jne	LBB0_11
	jp	LBB0_11
## %bb.10:
	cmpl	$0, (%rbx)
	jg	LBB0_20
	jmp	LBB0_21
LBB0_11:
	movl	$1, (%rbx)
	movq	_Defect@GOTPCREL(%rip), %rbx
	movq	(%rbx), %rdi
	leaq	L_.str.7(%rip), %rsi
	callq	_BadCond
	movsd	(%r14), %xmm0                   ## xmm0 = mem[0],zero
	leaq	L_.str.8(%rip), %rdi
	movb	$1, %al
	callq	_printf
	movsd	(%r14), %xmm1                   ## xmm1 = mem[0],zero
	movsd	(%r15), %xmm0                   ## xmm0 = mem[0],zero
	ucomisd	%xmm0, %xmm1
	jne	LBB0_12
	jnp	LBB0_13
LBB0_12:
	leaq	L_.str.9(%rip), %rdi
	movb	$1, %al
	callq	_printf
	movsd	(%r14), %xmm1                   ## xmm1 = mem[0],zero
	movsd	(%r15), %xmm0                   ## xmm0 = mem[0],zero
LBB0_13:
	movapd	%xmm0, %xmm2
	movsd	(%r12), %xmm0                   ## xmm0 = mem[0],zero
	ucomisd	%xmm0, %xmm1
	jne	LBB0_14
	jnp	LBB0_16
LBB0_14:
	ucomisd	%xmm2, %xmm0
	jne	LBB0_15
	jnp	LBB0_16
LBB0_15:
	leaq	L_.str.10(%rip), %rdi
	movb	$1, %al
	callq	_printf
	movsd	(%r14), %xmm1                   ## xmm1 = mem[0],zero
LBB0_16:
	movsd	(%r13), %xmm0                   ## xmm0 = mem[0],zero
	ucomisd	%xmm0, %xmm1
	jne	LBB0_17
	jnp	LBB0_18
LBB0_17:
	leaq	L_.str.11(%rip), %rdi
	movb	$1, %al
	callq	_printf
LBB0_18:
	movsd	(%r12), %xmm0                   ## xmm0 = mem[0],zero
	ucomisd	(%r15), %xmm0
	jne	LBB0_19
	jnp	LBB0_20
LBB0_19:
	movq	_ErrCnt@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	(%rbx), %rcx
	incq	(%rax,%rcx,8)
	movq	(%rbx), %rdi
	leaq	L_.str.12(%rip), %rsi
	callq	_BadCond
	movsd	(%r12), %xmm0                   ## xmm0 = mem[0],zero
	leaq	L_.str.13(%rip), %rdi
	movb	$1, %bl
	movl	%ebx, %eax
	callq	_printf
	movsd	(%r15), %xmm0                   ## xmm0 = mem[0],zero
	leaq	L_.str.14(%rip), %rdi
	movl	%ebx, %eax
	callq	_printf
LBB0_20:
	xorl	%eax, %eax
                                        ## kill: def $al killed $al killed $eax
	callq	_Pause
LBB0_21:
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_N,4,2                          ## @N
	.comm	_Z,8,3                          ## @Z
	.comm	_Zero,8,3                       ## @Zero
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"Since comparison denies Z = 0, evaluating "

	.comm	_sigfpe,8,3                     ## @sigfpe
	.comm	_sigsave,8,3                    ## @sigsave
	.comm	_ovfl_buf,4,2                   ## @ovfl_buf
	.comm	_Q9,8,3                         ## @Q9
L_.str.2:                               ## @.str.2
	.asciz	"What the machine gets for (Z + Z) / Z is  %.17e .\n"

	.comm	_Two,8,3                        ## @Two
	.comm	_Radix,4,2                      ## @Radix
	.comm	_U2,4,2                         ## @U2
L_.str.3:                               ## @.str.3
	.asciz	"This is O.K., provided Over/Underflow"

	.comm	_One,8,3                        ## @One
	.comm	_ErrCnt,8,3                     ## @ErrCnt
	.comm	_Serious,8,3                    ## @Serious
	.comm	_Defect,8,3                     ## @Defect
	.comm	_V9,8,3                         ## @V9
	.comm	_Random1,8,3                    ## @Random1
	.comm	_Random2,8,3                    ## @Random2
L_.str.7:                               ## @.str.7
	.asciz	"What prints as Z = "

L_.str.8:                               ## @.str.8
	.asciz	"%.17e\n\tcompares different from  "

L_.str.9:                               ## @.str.9
	.asciz	"Z * 1 = %.17e "

L_.str.10:                              ## @.str.10
	.asciz	"1 * Z == %g\n"

L_.str.11:                              ## @.str.11
	.asciz	"Z / 1 = %.17e\n"

L_.str.12:                              ## @.str.12
	.asciz	"Multiplication does not commute!\n"

L_.str.13:                              ## @.str.13
	.asciz	"\tComparison alleges that 1 * Z = %.17e\n"

L_.str.14:                              ## @.str.14
	.asciz	"\tdiffers from Z * 1 = %.17e\n"

L_str:                                  ## @str
	.asciz	"(Z + Z) / Z should be safe."

L_str.15:                               ## @str.15
	.asciz	"This is a DEFECT!"

L_str.16:                               ## @str.16
	.asciz	"This is a VERY SERIOUS DEFECT!"

L_str.17:                               ## @str.17
	.asciz	" has NOT just been signaled."

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_TstPtUf                        ; -- Begin function TstPtUf
	.p2align	2
_TstPtUf:                               ; @TstPtUf
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #96
	.cfi_def_cfa_offset 96
	stp	x26, x25, [sp, #16]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #32]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #48]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #64]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #80]             ; 16-byte Folded Spill
	add	x29, sp, #80
	.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
	mov	w8, #0
Lloh0:
	adrp	x21, _N@GOTPAGE
Lloh1:
	ldr	x21, [x21, _N@GOTPAGEOFF]
Lloh2:
	adrp	x19, _Z@GOTPAGE
Lloh3:
	ldr	x19, [x19, _Z@GOTPAGEOFF]
	str	wzr, [x21]
	ldr	d0, [x19]
Lloh4:
	adrp	x8, _Zero@GOTPAGE
Lloh5:
	ldr	x8, [x8, _Zero@GOTPAGEOFF]
Lloh6:
	ldr	d1, [x8]
	fcmp	d0, d1
	b.eq	LBB0_20
; %bb.1:
Lloh7:
	adrp	x0, l_.str@PAGE
Lloh8:
	add	x0, x0, l_.str@PAGEOFF
	bl	_printf
Lloh9:
	adrp	x0, l_str@PAGE
Lloh10:
	add	x0, x0, l_str@PAGEOFF
	bl	_puts
Lloh11:
	adrp	x8, _sigfpe@GOTPAGE
Lloh12:
	ldr	x8, [x8, _sigfpe@GOTPAGEOFF]
Lloh13:
	ldr	x8, [x8]
Lloh14:
	adrp	x22, _sigsave@GOTPAGE
Lloh15:
	ldr	x22, [x22, _sigsave@GOTPAGEOFF]
	str	x8, [x22]
Lloh16:
	adrp	x8, _ovfl_buf@GOTPAGE
Lloh17:
	ldr	x8, [x8, _ovfl_buf@GOTPAGEOFF]
Lloh18:
	ldr	w0, [x8]
	bl	_setjmp
Lloh19:
	adrp	x20, _ErrCnt@GOTPAGE
Lloh20:
	ldr	x20, [x20, _ErrCnt@GOTPAGEOFF]
Lloh21:
	adrp	x23, _One@GOTPAGE
Lloh22:
	ldr	x23, [x23, _One@GOTPAGEOFF]
	cbz	x0, LBB0_3
LBB0_2:
	mov	w8, #1
	str	w8, [x21]
Lloh23:
	adrp	x8, _Serious@GOTPAGE
Lloh24:
	ldr	x8, [x8, _Serious@GOTPAGEOFF]
	ldr	x9, [x20]
Lloh25:
	ldr	x8, [x8]
	lsl	x8, x8, #3
	ldr	x10, [x9, x8]
	add	x10, x10, #1
	str	x10, [x9, x8]
Lloh26:
	adrp	x0, l_str.16@PAGE
Lloh27:
	add	x0, x0, l_str.16@PAGEOFF
	b	LBB0_8
LBB0_3:
	ldr	d0, [x19]
	fadd	d1, d0, d0
	fdiv	d0, d1, d0
Lloh28:
	adrp	x24, _Q9@GOTPAGE
Lloh29:
	ldr	x24, [x24, _Q9@GOTPAGEOFF]
	str	d0, [x24]
	mov	x8, sp
	str	d0, [x8]
Lloh30:
	adrp	x0, l_.str.2@PAGE
Lloh31:
	add	x0, x0, l_.str.2@PAGEOFF
	bl	_printf
	ldr	d0, [x24]
Lloh32:
	adrp	x25, _Two@GOTPAGE
Lloh33:
	ldr	x25, [x25, _Two@GOTPAGEOFF]
	ldr	d1, [x25]
	fsub	d0, d0, d1
	bl	_FABS
Lloh34:
	adrp	x8, _Radix@GOTPAGE
Lloh35:
	ldr	x8, [x8, _Radix@GOTPAGEOFF]
Lloh36:
	ldr	w8, [x8]
Lloh37:
	adrp	x9, _U2@GOTPAGE
Lloh38:
	ldr	x9, [x9, _U2@GOTPAGEOFF]
Lloh39:
	ldr	w9, [x9]
	mul	w8, w9, w8
	cmp	w0, w8
	b.ge	LBB0_5
; %bb.4:
Lloh40:
	adrp	x0, l_.str.3@PAGE
Lloh41:
	add	x0, x0, l_.str.3@PAGEOFF
	bl	_printf
Lloh42:
	adrp	x0, l_str.17@PAGE
Lloh43:
	add	x0, x0, l_str.17@PAGEOFF
	b	LBB0_8
LBB0_5:
	ldr	d0, [x24]
	ldr	d1, [x23]
	fcmp	d0, d1
	b.mi	LBB0_2
; %bb.6:
	ldr	d1, [x25]
	fcmp	d0, d1
	b.gt	LBB0_2
; %bb.7:
	mov	w8, #1
	str	w8, [x21]
Lloh44:
	adrp	x8, _Defect@GOTPAGE
Lloh45:
	ldr	x8, [x8, _Defect@GOTPAGEOFF]
	ldr	x9, [x20]
Lloh46:
	ldr	x8, [x8]
	lsl	x8, x8, #3
	ldr	x10, [x9, x8]
	add	x10, x10, #1
	str	x10, [x9, x8]
Lloh47:
	adrp	x0, l_str.15@PAGE
Lloh48:
	add	x0, x0, l_str.15@PAGEOFF
LBB0_8:
	bl	_puts
	mov	x8, #0
	str	xzr, [x22]
	ldr	d0, [x19]
	ldr	d1, [x23]
	fmul	d2, d0, d1
Lloh49:
	adrp	x22, _Random1@GOTPAGE
Lloh50:
	ldr	x22, [x22, _Random1@GOTPAGEOFF]
	str	d2, [x22]
Lloh51:
	adrp	x23, _Random2@GOTPAGE
Lloh52:
	ldr	x23, [x23, _Random2@GOTPAGEOFF]
	str	d2, [x23]
	fdiv	d1, d0, d1
Lloh53:
	adrp	x24, _V9@GOTPAGE
Lloh54:
	ldr	x24, [x24, _V9@GOTPAGEOFF]
	str	d1, [x24]
	fcmp	d0, d2
	fccmp	d0, d1, #0, eq
	b.eq	LBB0_18
; %bb.9:
	mov	w8, #1
	str	w8, [x21]
Lloh55:
	adrp	x21, _Defect@GOTPAGE
Lloh56:
	ldr	x21, [x21, _Defect@GOTPAGEOFF]
	ldr	x0, [x21]
Lloh57:
	adrp	x1, l_.str.7@PAGE
Lloh58:
	add	x1, x1, l_.str.7@PAGEOFF
	bl	_BadCond
	ldr	d0, [x19]
	mov	x8, sp
	str	d0, [x8]
Lloh59:
	adrp	x0, l_.str.8@PAGE
Lloh60:
	add	x0, x0, l_.str.8@PAGEOFF
	bl	_printf
	ldr	d1, [x19]
	ldr	d0, [x22]
	fcmp	d1, d0
	b.eq	LBB0_11
; %bb.10:
	mov	x8, sp
	str	d0, [x8]
Lloh61:
	adrp	x0, l_.str.9@PAGE
Lloh62:
	add	x0, x0, l_.str.9@PAGEOFF
	bl	_printf
	ldr	d1, [x19]
	ldr	d0, [x22]
LBB0_11:
	fmov	d2, d0
	ldr	d0, [x23]
	fcmp	d1, d0
	b.eq	LBB0_14
; %bb.12:
	fcmp	d0, d2
	b.eq	LBB0_14
; %bb.13:
	mov	x8, sp
	str	d0, [x8]
Lloh63:
	adrp	x0, l_.str.10@PAGE
Lloh64:
	add	x0, x0, l_.str.10@PAGEOFF
	bl	_printf
	ldr	d1, [x19]
LBB0_14:
	ldr	d0, [x24]
	fcmp	d1, d0
	b.eq	LBB0_16
; %bb.15:
	mov	x8, sp
	str	d0, [x8]
Lloh65:
	adrp	x0, l_.str.11@PAGE
Lloh66:
	add	x0, x0, l_.str.11@PAGEOFF
	bl	_printf
LBB0_16:
	ldr	d0, [x23]
	ldr	d1, [x22]
	fcmp	d0, d1
	b.eq	LBB0_19
; %bb.17:
	ldr	x8, [x20]
	ldr	x9, [x21]
	lsl	x9, x9, #3
	ldr	x10, [x8, x9]
	add	x10, x10, #1
	str	x10, [x8, x9]
	ldr	x0, [x21]
Lloh67:
	adrp	x1, l_.str.12@PAGE
Lloh68:
	add	x1, x1, l_.str.12@PAGEOFF
	bl	_BadCond
	ldr	d0, [x23]
	mov	x8, sp
	str	d0, [x8]
Lloh69:
	adrp	x0, l_.str.13@PAGE
Lloh70:
	add	x0, x0, l_.str.13@PAGEOFF
	bl	_printf
	ldr	d0, [x22]
	mov	x8, sp
	str	d0, [x8]
Lloh71:
	adrp	x0, l_.str.14@PAGE
Lloh72:
	add	x0, x0, l_.str.14@PAGEOFF
	bl	_printf
	b	LBB0_19
LBB0_18:
	ldr	w8, [x21]
	cmp	w8, #0
	b.le	LBB0_20
LBB0_19:
	bl	_Pause
LBB0_20:
	ldp	x29, x30, [sp, #80]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #64]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #48]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #32]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #96
	ret
	.loh AdrpLdrGotLdr	Lloh4, Lloh5, Lloh6
	.loh AdrpLdrGot	Lloh2, Lloh3
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpLdrGot	Lloh21, Lloh22
	.loh AdrpLdrGot	Lloh19, Lloh20
	.loh AdrpLdrGotLdr	Lloh16, Lloh17, Lloh18
	.loh AdrpLdrGot	Lloh14, Lloh15
	.loh AdrpLdrGotLdr	Lloh11, Lloh12, Lloh13
	.loh AdrpAdd	Lloh9, Lloh10
	.loh AdrpAdd	Lloh7, Lloh8
	.loh AdrpAdd	Lloh26, Lloh27
	.loh AdrpLdrGotLdr	Lloh23, Lloh24, Lloh25
	.loh AdrpLdrGotLdr	Lloh37, Lloh38, Lloh39
	.loh AdrpLdrGotLdr	Lloh34, Lloh35, Lloh36
	.loh AdrpLdrGot	Lloh32, Lloh33
	.loh AdrpAdd	Lloh30, Lloh31
	.loh AdrpLdrGot	Lloh28, Lloh29
	.loh AdrpAdd	Lloh42, Lloh43
	.loh AdrpAdd	Lloh40, Lloh41
	.loh AdrpAdd	Lloh47, Lloh48
	.loh AdrpLdrGotLdr	Lloh44, Lloh45, Lloh46
	.loh AdrpLdrGot	Lloh53, Lloh54
	.loh AdrpLdrGot	Lloh51, Lloh52
	.loh AdrpLdrGot	Lloh49, Lloh50
	.loh AdrpAdd	Lloh59, Lloh60
	.loh AdrpAdd	Lloh57, Lloh58
	.loh AdrpLdrGot	Lloh55, Lloh56
	.loh AdrpAdd	Lloh61, Lloh62
	.loh AdrpAdd	Lloh63, Lloh64
	.loh AdrpAdd	Lloh65, Lloh66
	.loh AdrpAdd	Lloh71, Lloh72
	.loh AdrpAdd	Lloh69, Lloh70
	.loh AdrpAdd	Lloh67, Lloh68
	.cfi_endproc
                                        ; -- End function
	.comm	_N,4,2                          ; @N
	.comm	_Z,8,3                          ; @Z
	.comm	_Zero,8,3                       ; @Zero
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"Since comparison denies Z = 0, evaluating "

	.comm	_sigfpe,8,3                     ; @sigfpe
	.comm	_sigsave,8,3                    ; @sigsave
	.comm	_ovfl_buf,4,2                   ; @ovfl_buf
	.comm	_Q9,8,3                         ; @Q9
l_.str.2:                               ; @.str.2
	.asciz	"What the machine gets for (Z + Z) / Z is  %.17e .\n"

	.comm	_Two,8,3                        ; @Two
	.comm	_Radix,4,2                      ; @Radix
	.comm	_U2,4,2                         ; @U2
l_.str.3:                               ; @.str.3
	.asciz	"This is O.K., provided Over/Underflow"

	.comm	_One,8,3                        ; @One
	.comm	_ErrCnt,8,3                     ; @ErrCnt
	.comm	_Serious,8,3                    ; @Serious
	.comm	_Defect,8,3                     ; @Defect
	.comm	_V9,8,3                         ; @V9
	.comm	_Random1,8,3                    ; @Random1
	.comm	_Random2,8,3                    ; @Random2
l_.str.7:                               ; @.str.7
	.asciz	"What prints as Z = "

l_.str.8:                               ; @.str.8
	.asciz	"%.17e\n\tcompares different from  "

l_.str.9:                               ; @.str.9
	.asciz	"Z * 1 = %.17e "

l_.str.10:                              ; @.str.10
	.asciz	"1 * Z == %g\n"

l_.str.11:                              ; @.str.11
	.asciz	"Z / 1 = %.17e\n"

l_.str.12:                              ; @.str.12
	.asciz	"Multiplication does not commute!\n"

l_.str.13:                              ; @.str.13
	.asciz	"\tComparison alleges that 1 * Z = %.17e\n"

l_.str.14:                              ; @.str.14
	.asciz	"\tdiffers from Z * 1 = %.17e\n"

l_str:                                  ; @str
	.asciz	"(Z + Z) / Z should be safe."

l_str.15:                               ; @str.15
	.asciz	"This is a DEFECT!"

l_str.16:                               ; @str.16
	.asciz	"This is a VERY SERIOUS DEFECT!"

l_str.17:                               ; @str.17
	.asciz	" has NOT just been signaled."

.subsections_via_symbols
