	.file	"339238.c"
	.intel_syntax noprefix
	.text
	.globl	assert_forward
	.data
	.align 4
	.type	assert_forward, @object
	.size	assert_forward, 4
assert_forward:
	.long	1
	.globl	action_run
	.bss
	.align 4
	.type	action_run, @object
	.size	action_run, 4
action_run:
	.zero	4
	.globl	traverse_color_check
	.align 4
	.type	traverse_color_check, @object
	.size	traverse_color_check, 4
traverse_color_check:
	.zero	4
	.globl	standard_metadata_ingress_port_eq_1_137028
	.align 4
	.type	standard_metadata_ingress_port_eq_1_137028, @object
	.size	standard_metadata_ingress_port_eq_1_137028, 4
standard_metadata_ingress_port_eq_1_137028:
	.zero	4
	.globl	hdr_ipv4_dstAddr_eq_167772162_137028
	.align 4
	.type	hdr_ipv4_dstAddr_eq_167772162_137028, @object
	.size	hdr_ipv4_dstAddr_eq_167772162_137028, 4
hdr_ipv4_dstAddr_eq_167772162_137028:
	.zero	4
	.text
	.globl	mark_to_drop
	.type	mark_to_drop, @function
mark_to_drop:
.LFB6:
	.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 assert_forward[rip], 0
	mov	eax, 0
	call	end_assertions
	mov	edi, 0
	call	exit@PLT
	.cfi_endproc
.LFE6:
	.size	mark_to_drop, .-mark_to_drop
	.globl	hdr
	.bss
	.align 32
	.type	hdr, @object
	.size	hdr, 64
hdr:
	.zero	64
	.globl	meta
	.type	meta, @object
	.size	meta, 4
meta:
	.zero	4
	.globl	standard_metadata
	.align 32
	.type	standard_metadata, @object
	.size	standard_metadata, 64
standard_metadata:
	.zero	64
	.section	.rodata
	.align 8
.LC0:
	.string	"Assert error: if expression standard_metadata.ingress_port == 1 && hdr.ipv4.dstAddr == 167772162, !forward evaluated to false"
	.text
	.globl	end_assertions
	.type	end_assertions, @function
end_assertions:
.LFB7:
	.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 traverse_color_check[rip]
	test	eax, eax
	je	.L4
	mov	eax, DWORD PTR standard_metadata_ingress_port_eq_1_137028[rip]
	test	eax, eax
	je	.L4
	mov	eax, DWORD PTR hdr_ipv4_dstAddr_eq_167772162_137028[rip]
	test	eax, eax
	je	.L4
	mov	eax, DWORD PTR assert_forward[rip]
	test	eax, eax
	je	.L4
	lea	rsi, .LC0[rip]
	mov	edi, 0
	mov	eax, 0
	call	klee_print_once@PLT
.L4:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE7:
	.size	end_assertions, .-end_assertions
	.globl	start
	.type	start, @function
start:
.LFB8:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	movzx	eax, BYTE PTR hdr[rip]
	or	eax, 1
	mov	BYTE PTR hdr[rip], al
	movzx	eax, WORD PTR hdr[rip+14]
	cmp	ax, 2048
	sete	al
	movzx	eax, al
	mov	edi, eax
	mov	eax, 0
	call	klee_assume@PLT
	mov	eax, 0
	call	parse_ipv4
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE8:
	.size	start, .-start
	.globl	parse_ipv4
	.type	parse_ipv4, @function
parse_ipv4:
.LFB9:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	movzx	eax, BYTE PTR hdr[rip+24]
	or	eax, 1
	mov	BYTE PTR hdr[rip+24], al
	movzx	eax, BYTE PTR hdr[rip+25]
	and	eax, 15
	cmp	al, 4
	seta	al
	movzx	eax, al
	mov	edi, eax
	mov	eax, 0
	call	klee_assume@PLT
	mov	edi, 1
	call	exit@PLT
	.cfi_endproc
.LFE9:
	.size	parse_ipv4, .-parse_ipv4
	.globl	parse_ipv4_option
	.type	parse_ipv4_option, @function
parse_ipv4_option:
.LFB10:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	movzx	eax, BYTE PTR hdr[rip+52]
	or	eax, 1
	mov	BYTE PTR hdr[rip+52], al
	movzx	eax, BYTE PTR hdr[rip+53]
	and	eax, 31
	cmp	al, 31
	jne	.L8
	mov	eax, 0
	call	parse_stag
	jmp	.L10
.L8:
	mov	eax, 0
	call	accept
.L10:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE10:
	.size	parse_ipv4_option, .-parse_ipv4_option
	.globl	parse_stag
	.type	parse_stag, @function
parse_stag:
.LFB11:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	movzx	eax, BYTE PTR hdr[rip+56]
	or	eax, 1
	mov	BYTE PTR hdr[rip+56], al
	movzx	eax, BYTE PTR hdr[rip+57]
	mov	BYTE PTR meta[rip+1], al
	mov	eax, 0
	call	accept
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE11:
	.size	parse_stag, .-parse_stag
	.globl	accept
	.type	accept, @function
accept:
.LFB12:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE12:
	.size	accept, .-accept
	.globl	reject
	.type	reject, @function
reject:
.LFB13:
	.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 assert_forward[rip], 0
	mov	eax, 0
	call	end_assertions
	mov	edi, 0
	call	exit@PLT
	.cfi_endproc
.LFE13:
	.size	reject, .-reject
	.section	.rodata
.LC1:
	.string	"hdr"
.LC2:
	.string	"meta"
.LC3:
	.string	"standard_metadata"
	.text
	.globl	ParserImpl
	.type	ParserImpl, @function
ParserImpl:
.LFB14:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	lea	rdx, .LC1[rip]
	mov	esi, 64
	lea	rdi, hdr[rip]
	mov	eax, 0
	call	klee_make_symbolic@PLT
	lea	rdx, .LC2[rip]
	mov	esi, 4
	lea	rdi, meta[rip]
	mov	eax, 0
	call	klee_make_symbolic@PLT
	lea	rdx, .LC3[rip]
	mov	esi, 64
	lea	rdi, standard_metadata[rip]
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	eax, 0
	call	start
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE14:
	.size	ParserImpl, .-ParserImpl
	.globl	ingress
	.type	ingress, @function
ingress:
.LFB15:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	movzx	eax, BYTE PTR hdr[rip+56]
	and	eax, 1
	test	al, al
	jne	.L16
	mov	eax, 0
	call	get_source_color_136787
.L16:
	mov	eax, 0
	call	forward_136962
	mov	eax, DWORD PTR action_run[rip]
	cmp	eax, 136835
	jne	.L18
	mov	eax, 0
	call	color_check_137023
.L18:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE15:
	.size	ingress, .-ingress
	.globl	NoAction_0_136741
	.type	NoAction_0_136741, @function
NoAction_0_136741:
.LFB16:
	.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 action_run[rip], 136741
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE16:
	.size	NoAction_0_136741, .-NoAction_0_136741
	.globl	NoAction_1_136751
	.type	NoAction_1_136751, @function
NoAction_1_136751:
.LFB17:
	.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 action_run[rip], 136751
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE17:
	.size	NoAction_1_136751, .-NoAction_1_136751
	.globl	NoAction_6_136752
	.type	NoAction_6_136752, @function
NoAction_6_136752:
.LFB18:
	.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 action_run[rip], 136752
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE18:
	.size	NoAction_6_136752, .-NoAction_6_136752
	.globl	drop_0_136753
	.type	drop_0_136753, @function
drop_0_136753:
.LFB19:
	.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 action_run[rip], 136753
	mov	eax, 0
	call	mark_to_drop
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE19:
	.size	drop_0_136753, .-drop_0_136753
	.globl	set_source_color_0_136769
	.type	set_source_color_0_136769, @function
set_source_color_0_136769:
.LFB20:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	eax, edi
	mov	BYTE PTR -4[rbp], al
	mov	DWORD PTR action_run[rip], 136769
	movzx	eax, BYTE PTR -4[rbp]
	mov	BYTE PTR meta[rip+1], al
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE20:
	.size	set_source_color_0_136769, .-set_source_color_0_136769
	.globl	set_local_dest_0_136835
	.type	set_local_dest_0_136835, @function
set_local_dest_0_136835:
.LFB21:
	.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 -4[rbp], edi
	mov	eax, esi
	mov	BYTE PTR -8[rbp], al
	mov	DWORD PTR action_run[rip], 136835
	mov	eax, DWORD PTR -4[rbp]
	and	ax, 511
	movzx	eax, ax
	and	eax, 511
	sal	eax, 9
	mov	edx, eax
	mov	eax, DWORD PTR standard_metadata[rip]
	and	eax, -261633
	or	eax, edx
	mov	DWORD PTR standard_metadata[rip], eax
	movzx	eax, BYTE PTR -8[rbp]
	mov	BYTE PTR meta[rip+2], al
	movzx	eax, BYTE PTR hdr[rip+56]
	and	eax, -2
	mov	BYTE PTR hdr[rip+56], al
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE21:
	.size	set_local_dest_0_136835, .-set_local_dest_0_136835
	.section	.rodata
.LC4:
	.string	"egr_port"
	.text
	.globl	set_remote_dest_0_136868
	.type	set_remote_dest_0_136868, @function
set_remote_dest_0_136868:
.LFB22:
	.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	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	DWORD PTR action_run[rip], 136868
	lea	rax, -12[rbp]
	lea	rdx, .LC4[rip]
	mov	esi, 4
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	eax, DWORD PTR -12[rbp]
	and	ax, 511
	movzx	eax, ax
	and	eax, 511
	sal	eax, 9
	mov	edx, eax
	mov	eax, DWORD PTR standard_metadata[rip]
	and	eax, -261633
	or	eax, edx
	mov	DWORD PTR standard_metadata[rip], eax
	movzx	eax, BYTE PTR hdr[rip+52]
	or	eax, 1
	mov	BYTE PTR hdr[rip+52], al
	movzx	eax, BYTE PTR hdr[rip+52]
	or	eax, 2
	mov	BYTE PTR hdr[rip+52], al
	movzx	eax, BYTE PTR hdr[rip+52]
	and	eax, -13
	or	eax, 8
	mov	BYTE PTR hdr[rip+52], al
	movzx	eax, BYTE PTR hdr[rip+53]
	or	eax, 31
	mov	BYTE PTR hdr[rip+53], al
	mov	BYTE PTR hdr[rip+54], 4
	movzx	eax, BYTE PTR hdr[rip+25]
	and	eax, 15
	add	eax, 1
	and	eax, 15
	and	eax, 15
	mov	edx, eax
	movzx	eax, BYTE PTR hdr[rip+25]
	and	eax, -16
	or	eax, edx
	mov	BYTE PTR hdr[rip+25], al
	movzx	eax, BYTE PTR hdr[rip+56]
	or	eax, 1
	mov	BYTE PTR hdr[rip+56], al
	movzx	eax, BYTE PTR meta[rip+1]
	mov	BYTE PTR hdr[rip+57], al
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L26
	call	__stack_chk_fail@PLT
.L26:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE22:
	.size	set_remote_dest_0_136868, .-set_remote_dest_0_136868
	.globl	core_pass_through_0_136945
	.type	core_pass_through_0_136945, @function
core_pass_through_0_136945:
.LFB23:
	.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	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	DWORD PTR action_run[rip], 136945
	lea	rax, -12[rbp]
	lea	rdx, .LC4[rip]
	mov	esi, 4
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	eax, DWORD PTR -12[rbp]
	and	ax, 511
	movzx	eax, ax
	and	eax, 511
	sal	eax, 9
	mov	edx, eax
	mov	eax, DWORD PTR standard_metadata[rip]
	and	eax, -261633
	or	eax, edx
	mov	DWORD PTR standard_metadata[rip], eax
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L28
	call	__stack_chk_fail@PLT
.L28:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE23:
	.size	core_pass_through_0_136945, .-core_pass_through_0_136945
	.globl	get_source_color_136787
	.type	get_source_color_136787, @function
get_source_color_136787:
.LFB24:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	movzx	eax, WORD PTR standard_metadata[rip]
	and	ax, 511
	cmp	ax, 1
	setne	al
	movzx	eax, al
	mov	edi, eax
	mov	eax, 0
	call	klee_assume@PLT
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE24:
	.size	get_source_color_136787, .-get_source_color_136787
	.globl	forward_136962
	.type	forward_136962, @function
forward_136962:
.LFB25:
	.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 hdr[rip+44]
	cmp	eax, 167772162
	jne	.L32
	mov	esi, 1
	mov	edi, 2
	call	set_local_dest_0_136835
.L32:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE25:
	.size	forward_136962, .-forward_136962
	.globl	color_check_137023
	.type	color_check_137023, @function
color_check_137023:
.LFB26:
	.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 traverse_color_check[rip], 1
	movzx	eax, WORD PTR standard_metadata[rip]
	and	ax, 511
	cmp	ax, 1
	sete	al
	movzx	eax, al
	mov	DWORD PTR standard_metadata_ingress_port_eq_1_137028[rip], eax
	mov	eax, DWORD PTR hdr[rip+44]
	cmp	eax, 167772162
	sete	al
	movzx	eax, al
	mov	DWORD PTR hdr_ipv4_dstAddr_eq_167772162_137028[rip], eax
	movzx	eax, BYTE PTR meta[rip+2]
	cmp	al, 1
	jne	.L35
	movzx	eax, BYTE PTR meta[rip+1]
	test	al, al
	jne	.L35
	mov	eax, 0
	call	drop_0_136753
.L35:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE26:
	.size	color_check_137023, .-color_check_137023
	.globl	egress
	.type	egress, @function
egress:
.LFB27:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	eax, 0
	call	place_holder_table_137143
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE27:
	.size	egress, .-egress
	.globl	NoAction_7_137142
	.type	NoAction_7_137142, @function
NoAction_7_137142:
.LFB28:
	.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 action_run[rip], 137142
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE28:
	.size	NoAction_7_137142, .-NoAction_7_137142
	.section	.rodata
.LC5:
	.string	"symbol"
	.text
	.globl	place_holder_table_137143
	.type	place_holder_table_137143, @function
place_holder_table_137143:
.LFB29:
	.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	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	lea	rax, -12[rbp]
	lea	rdx, .LC5[rip]
	mov	esi, 4
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	eax, 0
	call	NoAction_7_137142
	nop
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L39
	call	__stack_chk_fail@PLT
.L39:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE29:
	.size	place_holder_table_137143, .-place_holder_table_137143
	.globl	computeChecksum
	.type	computeChecksum, @function
computeChecksum:
.LFB30:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE30:
	.size	computeChecksum, .-computeChecksum
	.globl	verifyChecksum
	.type	verifyChecksum, @function
verifyChecksum:
.LFB31:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE31:
	.size	verifyChecksum, .-verifyChecksum
	.globl	DeparserImpl
	.type	DeparserImpl, @function
DeparserImpl:
.LFB32:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE32:
	.size	DeparserImpl, .-DeparserImpl
	.globl	main
	.type	main, @function
main:
.LFB33:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	eax, 0
	call	ParserImpl
	mov	eax, 0
	call	ingress
	mov	eax, 0
	call	egress
	mov	eax, 0
	call	DeparserImpl
	mov	eax, 0
	call	end_assertions
	mov	eax, 0
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE33:
	.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	"339238.c"
	.text
	.global	assert_forward
	.data
	.align	2
	.type	assert_forward, %object
	.size	assert_forward, 4
assert_forward:
	.word	1
	.comm	action_run,4,4
	.global	traverse_color_check
	.bss
	.align	2
	.type	traverse_color_check, %object
	.size	traverse_color_check, 4
traverse_color_check:
	.space	4
	.comm	standard_metadata_ingress_port_eq_1_137028,4,4
	.comm	hdr_ipv4_dstAddr_eq_167772162_137028,4,4
	.text
	.align	2
	.global	mark_to_drop
	.syntax unified
	.arm
	.fpu softvfp
	.type	mark_to_drop, %function
mark_to_drop:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r3, .L2
	mov	r2, #0
	str	r2, [r3]
	bl	end_assertions
	mov	r0, #0
	bl	exit
.L3:
	.align	2
.L2:
	.word	assert_forward
	.size	mark_to_drop, .-mark_to_drop
	.comm	hdr,64,8
	.comm	meta,4,4
	.comm	standard_metadata,64,8
	.section	.rodata
	.align	2
.LC0:
	.ascii	"Assert error: if expression standard_metadata.ingre"
	.ascii	"ss_port == 1 && hdr.ipv4.dstAddr == 167772162, !for"
	.ascii	"ward evaluated to false\000"
	.text
	.align	2
	.global	end_assertions
	.syntax unified
	.arm
	.fpu softvfp
	.type	end_assertions, %function
end_assertions:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r3, .L7
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L6
	ldr	r3, .L7+4
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L6
	ldr	r3, .L7+8
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L6
	ldr	r3, .L7+12
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L6
	ldr	r1, .L7+16
	mov	r0, #0
	bl	klee_print_once
.L6:
	nop
	pop	{fp, pc}
.L8:
	.align	2
.L7:
	.word	traverse_color_check
	.word	standard_metadata_ingress_port_eq_1_137028
	.word	hdr_ipv4_dstAddr_eq_167772162_137028
	.word	assert_forward
	.word	.LC0
	.size	end_assertions, .-end_assertions
	.align	2
	.global	start
	.syntax unified
	.arm
	.fpu softvfp
	.type	start, %function
start:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L10
	ldrb	r3, [r2]
	orr	r3, r3, #1
	strb	r3, [r2]
	ldr	r3, .L10
	ldrh	r3, [r3, #14]
	cmp	r3, #2048
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	klee_assume
	bl	parse_ipv4
	nop
	pop	{fp, pc}
.L11:
	.align	2
.L10:
	.word	hdr
	.size	start, .-start
	.align	2
	.global	parse_ipv4
	.syntax unified
	.arm
	.fpu softvfp
	.type	parse_ipv4, %function
parse_ipv4:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L13
	ldrb	r3, [r2, #24]
	orr	r3, r3, #1
	strb	r3, [r2, #24]
	ldr	r3, .L13
	ldrb	r3, [r3, #25]
	and	r3, r3, #15
	and	r3, r3, #255
	cmp	r3, #4
	movhi	r3, #1
	movls	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	klee_assume
	mov	r0, #1
	bl	exit
.L14:
	.align	2
.L13:
	.word	hdr
	.size	parse_ipv4, .-parse_ipv4
	.align	2
	.global	parse_ipv4_option
	.syntax unified
	.arm
	.fpu softvfp
	.type	parse_ipv4_option, %function
parse_ipv4_option:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L19
	ldrb	r3, [r2, #52]
	orr	r3, r3, #1
	strb	r3, [r2, #52]
	ldr	r3, .L19
	ldrb	r3, [r3, #53]	@ zero_extendqisi2
	and	r3, r3, #31
	and	r3, r3, #255
	cmp	r3, #31
	bne	.L16
	bl	parse_stag
	b	.L18
.L16:
	bl	accept
.L18:
	nop
	pop	{fp, pc}
.L20:
	.align	2
.L19:
	.word	hdr
	.size	parse_ipv4_option, .-parse_ipv4_option
	.align	2
	.global	parse_stag
	.syntax unified
	.arm
	.fpu softvfp
	.type	parse_stag, %function
parse_stag:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L22
	ldrb	r3, [r2, #56]
	orr	r3, r3, #1
	strb	r3, [r2, #56]
	ldr	r3, .L22
	ldrb	r2, [r3, #57]	@ zero_extendqisi2
	ldr	r3, .L22+4
	strb	r2, [r3, #1]
	bl	accept
	nop
	pop	{fp, pc}
.L23:
	.align	2
.L22:
	.word	hdr
	.word	meta
	.size	parse_stag, .-parse_stag
	.align	2
	.global	accept
	.syntax unified
	.arm
	.fpu softvfp
	.type	accept, %function
accept:
	@ 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
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	accept, .-accept
	.align	2
	.global	reject
	.syntax unified
	.arm
	.fpu softvfp
	.type	reject, %function
reject:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r3, .L26
	mov	r2, #0
	str	r2, [r3]
	bl	end_assertions
	mov	r0, #0
	bl	exit
.L27:
	.align	2
.L26:
	.word	assert_forward
	.size	reject, .-reject
	.section	.rodata
	.align	2
.LC1:
	.ascii	"hdr\000"
	.align	2
.LC2:
	.ascii	"meta\000"
	.align	2
.LC3:
	.ascii	"standard_metadata\000"
	.text
	.align	2
	.global	ParserImpl
	.syntax unified
	.arm
	.fpu softvfp
	.type	ParserImpl, %function
ParserImpl:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L29
	mov	r1, #64
	ldr	r0, .L29+4
	bl	klee_make_symbolic
	ldr	r2, .L29+8
	mov	r1, #4
	ldr	r0, .L29+12
	bl	klee_make_symbolic
	ldr	r2, .L29+16
	mov	r1, #64
	ldr	r0, .L29+20
	bl	klee_make_symbolic
	bl	start
	nop
	pop	{fp, pc}
.L30:
	.align	2
.L29:
	.word	.LC1
	.word	hdr
	.word	.LC2
	.word	meta
	.word	.LC3
	.word	standard_metadata
	.size	ParserImpl, .-ParserImpl
	.align	2
	.global	ingress
	.syntax unified
	.arm
	.fpu softvfp
	.type	ingress, %function
ingress:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r3, .L35
	ldrb	r3, [r3, #56]	@ zero_extendqisi2
	and	r3, r3, #1
	and	r3, r3, #255
	cmp	r3, #0
	bne	.L32
	bl	get_source_color_136787
.L32:
	bl	forward_136962
	ldr	r3, .L35+4
	ldr	r3, [r3]
	ldr	r2, .L35+8
	cmp	r3, r2
	bne	.L34
	bl	color_check_137023
.L34:
	nop
	pop	{fp, pc}
.L36:
	.align	2
.L35:
	.word	hdr
	.word	action_run
	.word	136835
	.size	ingress, .-ingress
	.align	2
	.global	NoAction_0_136741
	.syntax unified
	.arm
	.fpu softvfp
	.type	NoAction_0_136741, %function
NoAction_0_136741:
	@ 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, .L38
	ldr	r2, .L38+4
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L39:
	.align	2
.L38:
	.word	action_run
	.word	136741
	.size	NoAction_0_136741, .-NoAction_0_136741
	.align	2
	.global	NoAction_1_136751
	.syntax unified
	.arm
	.fpu softvfp
	.type	NoAction_1_136751, %function
NoAction_1_136751:
	@ 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, .L41
	ldr	r2, .L41+4
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L42:
	.align	2
.L41:
	.word	action_run
	.word	136751
	.size	NoAction_1_136751, .-NoAction_1_136751
	.align	2
	.global	NoAction_6_136752
	.syntax unified
	.arm
	.fpu softvfp
	.type	NoAction_6_136752, %function
NoAction_6_136752:
	@ 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, .L44
	ldr	r2, .L44+4
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L45:
	.align	2
.L44:
	.word	action_run
	.word	136752
	.size	NoAction_6_136752, .-NoAction_6_136752
	.align	2
	.global	drop_0_136753
	.syntax unified
	.arm
	.fpu softvfp
	.type	drop_0_136753, %function
drop_0_136753:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r3, .L47
	ldr	r2, .L47+4
	str	r2, [r3]
	bl	mark_to_drop
	nop
	pop	{fp, pc}
.L48:
	.align	2
.L47:
	.word	action_run
	.word	136753
	.size	drop_0_136753, .-drop_0_136753
	.align	2
	.global	set_source_color_0_136769
	.syntax unified
	.arm
	.fpu softvfp
	.type	set_source_color_0_136769, %function
set_source_color_0_136769:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	sub	sp, sp, #12
	mov	r3, r0
	strb	r3, [fp, #-5]
	ldr	r3, .L50
	ldr	r2, .L50+4
	str	r2, [r3]
	ldr	r2, .L50+8
	ldrb	r3, [fp, #-5]
	strb	r3, [r2, #1]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L51:
	.align	2
.L50:
	.word	action_run
	.word	136769
	.word	meta
	.size	set_source_color_0_136769, .-set_source_color_0_136769
	.align	2
	.global	set_local_dest_0_136835
	.syntax unified
	.arm
	.fpu softvfp
	.type	set_local_dest_0_136835, %function
set_local_dest_0_136835:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	sub	sp, sp, #12
	str	r0, [fp, #-8]
	mov	r3, r1
	strb	r3, [fp, #-9]
	ldr	r3, .L53
	ldr	r2, .L53+4
	str	r2, [r3]
	ldr	r3, [fp, #-8]
	lsl	r3, r3, #23
	lsr	r3, r3, #23
	lsl	r3, r3, #16
	lsr	r1, r3, #16
	ldr	r0, .L53+8
	ldr	r2, [r0]
	ldr	r3, .L53+12
	and	r1, r1, r3
	lsl	r3, r3, #9
	bic	r3, r2, r3
	lsl	r1, r1, #9
	orr	r2, r1, r3
	str	r2, [r0]
	ldr	r2, .L53+16
	ldrb	r3, [fp, #-9]
	strb	r3, [r2, #2]
	ldr	r2, .L53+20
	ldrb	r3, [r2, #56]
	bic	r3, r3, #1
	strb	r3, [r2, #56]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L54:
	.align	2
.L53:
	.word	action_run
	.word	136835
	.word	standard_metadata
	.word	511
	.word	meta
	.word	hdr
	.size	set_local_dest_0_136835, .-set_local_dest_0_136835
	.section	.rodata
	.align	2
.LC4:
	.ascii	"egr_port\000"
	.align	2
.LC5:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	set_remote_dest_0_136868
	.syntax unified
	.arm
	.fpu softvfp
	.type	set_remote_dest_0_136868, %function
set_remote_dest_0_136868:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	ldr	r3, .L57
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	ldr	r3, .L57+4
	ldr	r2, .L57+8
	str	r2, [r3]
	sub	r3, fp, #12
	ldr	r2, .L57+12
	mov	r1, #4
	mov	r0, r3
	bl	klee_make_symbolic
	ldr	r3, [fp, #-12]
	lsl	r3, r3, #23
	lsr	r3, r3, #23
	lsl	r3, r3, #16
	lsr	r1, r3, #16
	ldr	r0, .L57+16
	ldr	r2, [r0]
	ldr	r3, .L57+20
	and	r1, r1, r3
	lsl	r3, r3, #9
	bic	r3, r2, r3
	lsl	r1, r1, #9
	orr	r2, r1, r3
	str	r2, [r0]
	ldr	r2, .L57+24
	ldrb	r3, [r2, #52]
	orr	r3, r3, #1
	strb	r3, [r2, #52]
	ldr	r2, .L57+24
	ldrb	r3, [r2, #52]
	orr	r3, r3, #2
	strb	r3, [r2, #52]
	ldr	r2, .L57+24
	ldrb	r3, [r2, #52]
	bic	r3, r3, #4
	orr	r3, r3, #8
	strb	r3, [r2, #52]
	ldr	r2, .L57+24
	ldrb	r3, [r2, #53]
	orr	r3, r3, #31
	strb	r3, [r2, #53]
	ldr	r3, .L57+24
	mov	r2, #4
	strb	r2, [r3, #54]
	ldr	r3, .L57+24
	ldrb	r3, [r3, #25]
	and	r3, r3, #15
	and	r3, r3, #255
	add	r3, r3, #1
	and	r3, r3, #255
	and	r3, r3, #15
	and	r1, r3, #255
	ldr	r2, .L57+24
	ldrb	r3, [r2, #25]
	and	r1, r1, #15
	bic	r3, r3, #15
	orr	r3, r1, r3
	strb	r3, [r2, #25]
	ldr	r2, .L57+24
	ldrb	r3, [r2, #56]
	orr	r3, r3, #1
	strb	r3, [r2, #56]
	ldr	r3, .L57+28
	ldrb	r2, [r3, #1]	@ zero_extendqisi2
	ldr	r3, .L57+24
	strb	r2, [r3, #57]
	nop
	ldr	r3, .L57
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L56
	bl	__stack_chk_fail
.L56:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L58:
	.align	2
.L57:
	.word	.LC5
	.word	action_run
	.word	136868
	.word	.LC4
	.word	standard_metadata
	.word	511
	.word	hdr
	.word	meta
	.size	set_remote_dest_0_136868, .-set_remote_dest_0_136868
	.section	.rodata
	.align	2
.LC6:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	core_pass_through_0_136945
	.syntax unified
	.arm
	.fpu softvfp
	.type	core_pass_through_0_136945, %function
core_pass_through_0_136945:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	ldr	r3, .L61
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	ldr	r3, .L61+4
	ldr	r2, .L61+8
	str	r2, [r3]
	sub	r3, fp, #12
	ldr	r2, .L61+12
	mov	r1, #4
	mov	r0, r3
	bl	klee_make_symbolic
	ldr	r3, [fp, #-12]
	lsl	r3, r3, #23
	lsr	r3, r3, #23
	lsl	r3, r3, #16
	lsr	r1, r3, #16
	ldr	r0, .L61+16
	ldr	r2, [r0]
	ldr	r3, .L61+20
	and	r1, r1, r3
	lsl	r3, r3, #9
	bic	r3, r2, r3
	lsl	r1, r1, #9
	orr	r2, r1, r3
	str	r2, [r0]
	nop
	ldr	r3, .L61
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L60
	bl	__stack_chk_fail
.L60:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L62:
	.align	2
.L61:
	.word	.LC6
	.word	action_run
	.word	136945
	.word	.LC4
	.word	standard_metadata
	.word	511
	.size	core_pass_through_0_136945, .-core_pass_through_0_136945
	.align	2
	.global	get_source_color_136787
	.syntax unified
	.arm
	.fpu softvfp
	.type	get_source_color_136787, %function
get_source_color_136787:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r3, .L64
	ldrh	r3, [r3]
	lsl	r3, r3, #23
	lsr	r3, r3, #23
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	cmp	r3, #1
	movne	r3, #1
	moveq	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	klee_assume
	nop
	pop	{fp, pc}
.L65:
	.align	2
.L64:
	.word	standard_metadata
	.size	get_source_color_136787, .-get_source_color_136787
	.align	2
	.global	forward_136962
	.syntax unified
	.arm
	.fpu softvfp
	.type	forward_136962, %function
forward_136962:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r3, .L69
	ldr	r3, [r3, #44]
	ldr	r2, .L69+4
	cmp	r3, r2
	bne	.L68
	mov	r1, #1
	mov	r0, #2
	bl	set_local_dest_0_136835
.L68:
	nop
	pop	{fp, pc}
.L70:
	.align	2
.L69:
	.word	hdr
	.word	167772162
	.size	forward_136962, .-forward_136962
	.align	2
	.global	color_check_137023
	.syntax unified
	.arm
	.fpu softvfp
	.type	color_check_137023, %function
color_check_137023:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r3, .L74
	mov	r2, #1
	str	r2, [r3]
	ldr	r3, .L74+4
	ldrh	r3, [r3]
	lsl	r3, r3, #23
	lsr	r3, r3, #23
	lsl	r3, r3, #16
	lsr	r3, r3, #16
	cmp	r3, #1
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r2, r3
	ldr	r3, .L74+8
	str	r2, [r3]
	ldr	r3, .L74+12
	ldr	r3, [r3, #44]
	ldr	r2, .L74+16
	cmp	r3, r2
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r2, r3
	ldr	r3, .L74+20
	str	r2, [r3]
	ldr	r3, .L74+24
	ldrb	r3, [r3, #2]	@ zero_extendqisi2
	cmp	r3, #1
	bne	.L73
	ldr	r3, .L74+24
	ldrb	r3, [r3, #1]	@ zero_extendqisi2
	cmp	r3, #0
	bne	.L73
	bl	drop_0_136753
.L73:
	nop
	pop	{fp, pc}
.L75:
	.align	2
.L74:
	.word	traverse_color_check
	.word	standard_metadata
	.word	standard_metadata_ingress_port_eq_1_137028
	.word	hdr
	.word	167772162
	.word	hdr_ipv4_dstAddr_eq_167772162_137028
	.word	meta
	.size	color_check_137023, .-color_check_137023
	.align	2
	.global	egress
	.syntax unified
	.arm
	.fpu softvfp
	.type	egress, %function
egress:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	bl	place_holder_table_137143
	nop
	pop	{fp, pc}
	.size	egress, .-egress
	.align	2
	.global	NoAction_7_137142
	.syntax unified
	.arm
	.fpu softvfp
	.type	NoAction_7_137142, %function
NoAction_7_137142:
	@ 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, .L78
	ldr	r2, .L78+4
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L79:
	.align	2
.L78:
	.word	action_run
	.word	137142
	.size	NoAction_7_137142, .-NoAction_7_137142
	.section	.rodata
	.align	2
.LC7:
	.ascii	"symbol\000"
	.align	2
.LC8:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	place_holder_table_137143
	.syntax unified
	.arm
	.fpu softvfp
	.type	place_holder_table_137143, %function
place_holder_table_137143:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	ldr	r3, .L82
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	sub	r3, fp, #12
	ldr	r2, .L82+4
	mov	r1, #4
	mov	r0, r3
	bl	klee_make_symbolic
	bl	NoAction_7_137142
	nop
	nop
	ldr	r3, .L82
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L81
	bl	__stack_chk_fail
.L81:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L83:
	.align	2
.L82:
	.word	.LC8
	.word	.LC7
	.size	place_holder_table_137143, .-place_holder_table_137143
	.align	2
	.global	computeChecksum
	.syntax unified
	.arm
	.fpu softvfp
	.type	computeChecksum, %function
computeChecksum:
	@ 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
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	computeChecksum, .-computeChecksum
	.align	2
	.global	verifyChecksum
	.syntax unified
	.arm
	.fpu softvfp
	.type	verifyChecksum, %function
verifyChecksum:
	@ 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
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	verifyChecksum, .-verifyChecksum
	.align	2
	.global	DeparserImpl
	.syntax unified
	.arm
	.fpu softvfp
	.type	DeparserImpl, %function
DeparserImpl:
	@ 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
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	DeparserImpl, .-DeparserImpl
	.align	2
	.global	main
	.syntax unified
	.arm
	.fpu softvfp
	.type	main, %function
main:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	bl	ParserImpl
	bl	ingress
	bl	egress
	bl	DeparserImpl
	bl	end_assertions
	mov	r3, #0
	mov	r0, r3
	pop	{fp, pc}
	.size	main, .-main
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
