	.file	"72012647.c"
	.intel_syntax noprefix
	.text
	.globl	p
	.bss
	.align 4
	.type	p, @object
	.size	p, 4
p:
	.zero	4
	.globl	b
	.align 4
	.type	b, @object
	.size	b, 4
b:
	.zero	4
	.globl	w
	.data
	.align 4
	.type	w, @object
	.size	w, 4
w:
	.long	1
	.globl	c
	.bss
	.align 4
	.type	c, @object
	.size	c, 4
c:
	.zero	4
	.text
	.globl	is
	.type	is, @function
is:
.LFB0:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	eax, DWORD PTR w[rip]
	cmp	eax, 1
	jg	.L2
	mov	eax, 1
	jmp	.L3
.L2:
	mov	eax, 0
.L3:
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	is, .-is
	.globl	set
	.type	set, @function
set:
.LFB1:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	DWORD PTR p[rip], 1
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE1:
	.size	set, .-set
	.globl	get
	.type	get, @function
get:
.LFB2:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	eax, DWORD PTR p[rip]
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE2:
	.size	get, .-get
	.globl	not
	.type	not, @function
not:
.LFB3:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	call	is
	test	eax, eax
	sete	al
	movzx	eax, al
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE3:
	.size	not, .-not
	.globl	S2
	.type	S2, @function
S2:
.LFB4:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	call	get
	mov	DWORD PTR b[rip], eax
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE4:
	.size	S2, .-S2
	.globl	S4
	.type	S4, @function
S4:
.LFB5:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	eax, DWORD PTR p[rip]
	test	eax, eax
	jne	.L12
	call	not
	test	eax, eax
	je	.L12
	mov	eax, DWORD PTR c[rip]
	test	eax, eax
	jne	.L12
	call	set
.L12:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE5:
	.size	S4, .-S4
	.globl	S3
	.type	S3, @function
S3:
.LFB6:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	eax, DWORD PTR p[rip]
	test	eax, eax
	je	.L14
	mov	eax, DWORD PTR w[rip]
	test	eax, eax
	jne	.L14
	mov	DWORD PTR p[rip], 0
	jmp	.L15
.L14:
	call	S4
.L15:
	mov	eax, DWORD PTR w[rip]
	cmp	eax, 2
	je	.L18
	mov	eax, DWORD PTR p[rip]
	test	eax, eax
	je	.L18
	mov	eax, DWORD PTR b[rip]
	test	eax, eax
	jne	.L18
	nop
.L17:
	mov	eax, 0
	call	__VERIFIER_error@PLT
.L18:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE6:
	.size	S3, .-S3
	.globl	main
	.type	main, @function
main:
.LFB7:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 16
	mov	DWORD PTR -4[rbp], 0
	jmp	.L20
.L24:
	call	__VERIFIER_nondet_int@PLT
	test	eax, eax
	je	.L21
	mov	eax, DWORD PTR w[rip]
	cmp	eax, 1
	jg	.L21
	mov	eax, DWORD PTR w[rip]
	add	eax, 1
	mov	DWORD PTR w[rip], eax
.L21:
	call	__VERIFIER_nondet_int@PLT
	test	eax, eax
	je	.L22
	mov	eax, DWORD PTR c[rip]
	test	eax, eax
	sete	al
	movzx	eax, al
	mov	DWORD PTR c[rip], eax
.L22:
	call	S2
	mov	eax, DWORD PTR p[rip]
	test	eax, eax
	je	.L23
	mov	eax, DWORD PTR w[rip]
	test	eax, eax
	jle	.L23
	mov	eax, DWORD PTR w[rip]
	sub	eax, 1
	mov	DWORD PTR w[rip], eax
.L23:
	call	S3
.L20:
	cmp	DWORD PTR -4[rbp], 0
	je	.L24
	call	S3
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE7:
	.size	main, .-main
	.ident	"GCC: (Ubuntu 10.5.0-1ubuntu1~20.04) 10.5.0"
	.section	.note.GNU-stack,"",@progbits
	.section	.note.gnu.property,"a"
	.align 8
	.long	 1f - 0f
	.long	 4f - 1f
	.long	 5
0:
	.string	 "GNU"
1:
	.align 8
	.long	 0xc0000002
	.long	 3f - 2f
2:
	.long	 0x3
3:
	.align 8
4:

	.arch armv5t
	.eabi_attribute 20, 1
	.eabi_attribute 21, 1
	.eabi_attribute 23, 3
	.eabi_attribute 24, 1
	.eabi_attribute 25, 1
	.eabi_attribute 26, 2
	.eabi_attribute 30, 6
	.eabi_attribute 34, 0
	.eabi_attribute 18, 4
	.file	"72012647.c"
	.text
	.global	p
	.bss
	.align	2
	.type	p, %object
	.size	p, 4
p:
	.space	4
	.global	b
	.align	2
	.type	b, %object
	.size	b, 4
b:
	.space	4
	.global	w
	.data
	.align	2
	.type	w, %object
	.size	w, 4
w:
	.word	1
	.global	c
	.bss
	.align	2
	.type	c, %object
	.size	c, 4
c:
	.space	4
	.text
	.align	2
	.global	is
	.syntax unified
	.arm
	.fpu softvfp
	.type	is, %function
is:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	ldr	r3, .L4
	ldr	r3, [r3]
	cmp	r3, #1
	bgt	.L2
	mov	r3, #1
	b	.L3
.L2:
	mov	r3, #0
.L3:
	mov	r0, r3
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L5:
	.align	2
.L4:
	.word	w
	.size	is, .-is
	.align	2
	.global	set
	.syntax unified
	.arm
	.fpu softvfp
	.type	set, %function
set:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	ldr	r3, .L7
	mov	r2, #1
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L8:
	.align	2
.L7:
	.word	p
	.size	set, .-set
	.align	2
	.global	get
	.syntax unified
	.arm
	.fpu softvfp
	.type	get, %function
get:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	ldr	r3, .L11
	ldr	r3, [r3]
	mov	r0, r3
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L12:
	.align	2
.L11:
	.word	p
	.size	get, .-get
	.align	2
	.global	not
	.syntax unified
	.arm
	.fpu softvfp
	.type	not, %function
not:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	bl	is
	mov	r3, r0
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	pop	{fp, pc}
	.size	not, .-not
	.align	2
	.global	S2
	.syntax unified
	.arm
	.fpu softvfp
	.type	S2, %function
S2:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	bl	get
	mov	r3, r0
	ldr	r2, .L16
	str	r3, [r2]
	nop
	pop	{fp, pc}
.L17:
	.align	2
.L16:
	.word	b
	.size	S2, .-S2
	.align	2
	.global	S4
	.syntax unified
	.arm
	.fpu softvfp
	.type	S4, %function
S4:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r3, .L21
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L20
	bl	not
	mov	r3, r0
	cmp	r3, #0
	beq	.L20
	ldr	r3, .L21+4
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L20
	bl	set
.L20:
	nop
	pop	{fp, pc}
.L22:
	.align	2
.L21:
	.word	p
	.word	c
	.size	S4, .-S4
	.align	2
	.global	S3
	.syntax unified
	.arm
	.fpu softvfp
	.type	S3, %function
S3:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r3, .L29
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L24
	ldr	r3, .L29+4
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L24
	ldr	r3, .L29
	mov	r2, #0
	str	r2, [r3]
	b	.L25
.L24:
	bl	S4
.L25:
	ldr	r3, .L29+4
	ldr	r3, [r3]
	cmp	r3, #2
	beq	.L28
	ldr	r3, .L29
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L28
	ldr	r3, .L29+8
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L28
	nop
.L27:
	bl	__VERIFIER_error
.L28:
	nop
	pop	{fp, pc}
.L30:
	.align	2
.L29:
	.word	p
	.word	w
	.word	b
	.size	S3, .-S3
	.align	2
	.global	main
	.syntax unified
	.arm
	.fpu softvfp
	.type	main, %function
main:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	mov	r3, #0
	str	r3, [fp, #-8]
	b	.L32
.L36:
	bl	__VERIFIER_nondet_int
	mov	r3, r0
	cmp	r3, #0
	beq	.L33
	ldr	r3, .L37
	ldr	r3, [r3]
	cmp	r3, #1
	bgt	.L33
	ldr	r3, .L37
	ldr	r3, [r3]
	add	r3, r3, #1
	ldr	r2, .L37
	str	r3, [r2]
.L33:
	bl	__VERIFIER_nondet_int
	mov	r3, r0
	cmp	r3, #0
	beq	.L34
	ldr	r3, .L37+4
	ldr	r3, [r3]
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r2, r3
	ldr	r3, .L37+4
	str	r2, [r3]
.L34:
	bl	S2
	ldr	r3, .L37+8
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L35
	ldr	r3, .L37
	ldr	r3, [r3]
	cmp	r3, #0
	ble	.L35
	ldr	r3, .L37
	ldr	r3, [r3]
	sub	r3, r3, #1
	ldr	r2, .L37
	str	r3, [r2]
.L35:
	bl	S3
.L32:
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	beq	.L36
	bl	S3
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L38:
	.align	2
.L37:
	.word	w
	.word	c
	.word	p
	.size	main, .-main
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
