	.file	"513689.c"
	.intel_syntax noprefix
	.text
	.globl	symbol
	.bss
	.align 4
	.type	symbol, @object
	.size	symbol, 4
symbol:
	.zero	4
	.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	hdr_tcp_ack_453638
	.align 4
	.type	hdr_tcp_ack_453638, @object
	.size	hdr_tcp_ack_453638, 4
hdr_tcp_ack_453638:
	.zero	4
	.globl	traverse_453638
	.align 4
	.type	traverse_453638, @object
	.size	traverse_453638, 4
traverse_453638:
	.zero	4
	.globl	meta_stats_metadata_dupack_le_3_454027
	.align 4
	.type	meta_stats_metadata_dupack_le_3_454027, @object
	.size	meta_stats_metadata_dupack_le_3_454027, 4
meta_stats_metadata_dupack_le_3_454027:
	.zero	4
	.globl	traverse_454027
	.align 4
	.type	traverse_454027, @object
	.size	traverse_454027, 4
traverse_454027:
	.zero	4
	.globl	hdr_ipv4_ttl_eq_0_455545
	.align 4
	.type	hdr_ipv4_ttl_eq_0_455545, @object
	.size	hdr_ipv4_ttl_eq_0_455545, 4
hdr_ipv4_ttl_eq_0_455545:
	.zero	4
	.globl	constant_hdr_tcp_dstPort_455552
	.align 8
	.type	constant_hdr_tcp_dstPort_455552, @object
	.size	constant_hdr_tcp_dstPort_455552, 8
constant_hdr_tcp_dstPort_455552:
	.zero	8
	.globl	constant_hdr_tcp_seqNo_455559
	.align 8
	.type	constant_hdr_tcp_seqNo_455559, @object
	.size	constant_hdr_tcp_seqNo_455559, 8
constant_hdr_tcp_seqNo_455559:
	.zero	8
	.globl	constant_hdr_tcp_ackNo_455566
	.align 8
	.type	constant_hdr_tcp_ackNo_455566, @object
	.size	constant_hdr_tcp_ackNo_455566, 8
constant_hdr_tcp_ackNo_455566:
	.zero	8
	.globl	constant_hdr_tcp_dataOffset_455573
	.align 8
	.type	constant_hdr_tcp_dataOffset_455573, @object
	.size	constant_hdr_tcp_dataOffset_455573, 8
constant_hdr_tcp_dataOffset_455573:
	.zero	8
	.globl	constant_hdr_tcp_res_455580
	.align 8
	.type	constant_hdr_tcp_res_455580, @object
	.size	constant_hdr_tcp_res_455580, 8
constant_hdr_tcp_res_455580:
	.zero	8
	.globl	constant_hdr_tcp_ecn_455587
	.align 8
	.type	constant_hdr_tcp_ecn_455587, @object
	.size	constant_hdr_tcp_ecn_455587, 8
constant_hdr_tcp_ecn_455587:
	.zero	8
	.globl	constant_hdr_tcp_urg_455594
	.align 8
	.type	constant_hdr_tcp_urg_455594, @object
	.size	constant_hdr_tcp_urg_455594, 8
constant_hdr_tcp_urg_455594:
	.zero	8
	.globl	constant_hdr_tcp_ack_455601
	.align 8
	.type	constant_hdr_tcp_ack_455601, @object
	.size	constant_hdr_tcp_ack_455601, 8
constant_hdr_tcp_ack_455601:
	.zero	8
	.globl	constant_hdr_tcp_push_455608
	.align 8
	.type	constant_hdr_tcp_push_455608, @object
	.size	constant_hdr_tcp_push_455608, 8
constant_hdr_tcp_push_455608:
	.zero	8
	.globl	constant_hdr_tcp_rst_455615
	.align 8
	.type	constant_hdr_tcp_rst_455615, @object
	.size	constant_hdr_tcp_rst_455615, 8
constant_hdr_tcp_rst_455615:
	.zero	8
	.globl	constant_hdr_tcp_syn_455622
	.align 8
	.type	constant_hdr_tcp_syn_455622, @object
	.size	constant_hdr_tcp_syn_455622, 8
constant_hdr_tcp_syn_455622:
	.zero	8
	.globl	constant_hdr_tcp_fin_455629
	.align 8
	.type	constant_hdr_tcp_fin_455629, @object
	.size	constant_hdr_tcp_fin_455629, 8
constant_hdr_tcp_fin_455629:
	.zero	8
	.globl	constant_hdr_tcp_window_455636
	.align 8
	.type	constant_hdr_tcp_window_455636, @object
	.size	constant_hdr_tcp_window_455636, 8
constant_hdr_tcp_window_455636:
	.zero	8
	.globl	constant_hdr_tcp_checksum_455643
	.align 8
	.type	constant_hdr_tcp_checksum_455643, @object
	.size	constant_hdr_tcp_checksum_455643, 8
constant_hdr_tcp_checksum_455643:
	.zero	8
	.globl	constant_hdr_tcp_urgentPtr_455650
	.align 8
	.type	constant_hdr_tcp_urgentPtr_455650, @object
	.size	constant_hdr_tcp_urgentPtr_455650, 8
constant_hdr_tcp_urgentPtr_455650:
	.zero	8
	.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, 120
hdr:
	.zero	120
	.globl	meta
	.align 32
	.type	meta, @object
	.size	meta, 64
meta:
	.zero	64
	.globl	standard_metadata
	.align 32
	.type	standard_metadata, @object
	.size	standard_metadata, 64
standard_metadata:
	.zero	64
	.globl	tmp_0
	.type	tmp_0, @object
	.size	tmp_0, 1
tmp_0:
	.zero	1
	.text
	.globl	parse_end
	.type	parse_end, @function
parse_end:
.LFB7:
	.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+40]
	or	eax, 1
	mov	BYTE PTR hdr[rip+40], al
	movzx	eax, BYTE PTR meta[rip+16]
	sub	eax, 1
	mov	BYTE PTR meta[rip+16], al
	mov	eax, 0
	call	parse_tcp_options
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE7:
	.size	parse_end, .-parse_end
	.globl	parse_ethernet
	.type	parse_ethernet, @function
parse_ethernet:
.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	parse_ethernet, .-parse_ethernet
	.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+16]
	or	eax, 1
	mov	BYTE PTR hdr[rip+16], al
	movzx	eax, BYTE PTR hdr[rip+27]
	cmp	al, 6
	sete	al
	movzx	eax, al
	mov	edi, eax
	mov	eax, 0
	call	klee_assume@PLT
	mov	eax, 0
	call	parse_tcp
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE9:
	.size	parse_ipv4, .-parse_ipv4
	.globl	parse_mss
	.type	parse_mss, @function
parse_mss:
.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+44]
	or	eax, 1
	mov	BYTE PTR hdr[rip+44], al
	movzx	eax, BYTE PTR meta[rip+16]
	sub	eax, 4
	mov	BYTE PTR meta[rip+16], al
	mov	eax, 0
	call	parse_tcp_options
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE10:
	.size	parse_mss, .-parse_mss
	.globl	parse_nop
	.type	parse_nop, @function
parse_nop:
.LFB11:
	.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+104]
	cdqe
	add	rax, 48
	lea	rdx, [rax+rax]
	lea	rax, hdr[rip]
	movzx	ecx, BYTE PTR 12[rdx+rax]
	or	ecx, 1
	mov	BYTE PTR 12[rdx+rax], cl
	mov	eax, DWORD PTR hdr[rip+104]
	add	eax, 1
	mov	DWORD PTR hdr[rip+104], eax
	movzx	eax, BYTE PTR meta[rip+16]
	sub	eax, 1
	mov	BYTE PTR meta[rip+16], al
	mov	eax, 0
	call	parse_tcp_options
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE11:
	.size	parse_nop, .-parse_nop
	.globl	parse_sack
	.type	parse_sack, @function
parse_sack:
.LFB12:
	.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 meta[rip+16]
	sub	eax, 2
	mov	BYTE PTR meta[rip+16], al
	mov	eax, 0
	call	parse_tcp_options
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE12:
	.size	parse_sack, .-parse_sack
	.globl	parse_tcp
	.type	parse_tcp, @function
parse_tcp:
.LFB13:
	.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+76]
	or	eax, 1
	mov	BYTE PTR hdr[rip+76], al
	mov	BYTE PTR meta[rip+16], 0
	movzx	eax, BYTE PTR hdr[rip+93]
	and	eax, -128
	test	al, al
	sete	al
	movzx	eax, al
	mov	edi, eax
	mov	eax, 0
	call	klee_assume@PLT
	mov	eax, 0
	call	accept
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE13:
	.size	parse_tcp, .-parse_tcp
	.section	.rodata
.LC0:
	.string	"tmp_0"
	.text
	.globl	parse_tcp_options
	.type	parse_tcp_options, @function
parse_tcp_options:
.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, .LC0[rip]
	mov	esi, 1
	lea	rdi, tmp_0[rip]
	mov	eax, 0
	call	klee_make_symbolic@PLT
	movzx	eax, BYTE PTR meta[rip+16]
	test	al, al
	jne	.L10
	mov	eax, 0
	call	accept
	jmp	.L17
.L10:
	movzx	eax, BYTE PTR tmp_0[rip]
	test	al, al
	jne	.L12
	mov	eax, 0
	call	parse_end
	jmp	.L17
.L12:
	movzx	eax, BYTE PTR tmp_0[rip]
	cmp	al, 1
	jne	.L13
	mov	eax, 0
	call	parse_nop
	jmp	.L17
.L13:
	movzx	eax, BYTE PTR tmp_0[rip]
	cmp	al, 2
	jne	.L14
	mov	eax, 0
	call	parse_mss
	jmp	.L17
.L14:
	movzx	eax, BYTE PTR tmp_0[rip]
	cmp	al, 3
	jne	.L15
	mov	eax, 0
	call	parse_wscale
	jmp	.L17
.L15:
	movzx	eax, BYTE PTR tmp_0[rip]
	cmp	al, 4
	jne	.L16
	mov	eax, 0
	call	parse_sack
	jmp	.L17
.L16:
	movzx	eax, BYTE PTR tmp_0[rip]
	cmp	al, 8
	jne	.L17
	mov	eax, 0
	call	parse_ts
.L17:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE14:
	.size	parse_tcp_options, .-parse_tcp_options
	.globl	parse_ts
	.type	parse_ts, @function
parse_ts:
.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]
	or	eax, 1
	mov	BYTE PTR hdr[rip+56], al
	movzx	eax, BYTE PTR meta[rip+16]
	sub	eax, 10
	mov	BYTE PTR meta[rip+16], al
	mov	eax, 0
	call	parse_tcp_options
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE15:
	.size	parse_ts, .-parse_ts
	.globl	parse_wscale
	.type	parse_wscale, @function
parse_wscale:
.LFB16:
	.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+72]
	or	eax, 1
	mov	BYTE PTR hdr[rip+72], al
	movzx	eax, BYTE PTR meta[rip+16]
	sub	eax, 3
	mov	BYTE PTR meta[rip+16], al
	mov	eax, 0
	call	parse_tcp_options
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE16:
	.size	parse_wscale, .-parse_wscale
	.globl	start
	.type	start, @function
start:
.LFB17:
	.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	parse_ethernet
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE17:
	.size	start, .-start
	.globl	accept
	.type	accept, @function
accept:
.LFB18:
	.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
.LFE18:
	.size	accept, .-accept
	.globl	reject
	.type	reject, @function
reject:
.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 assert_forward[rip], 0
	mov	eax, 0
	call	end_assertions
	mov	edi, 0
	call	exit@PLT
	.cfi_endproc
.LFE19:
	.size	reject, .-reject
	.section	.rodata
.LC1:
	.string	"hdr"
.LC2:
	.string	"meta"
.LC3:
	.string	"standard_metadata"
	.text
	.globl	ParserImpl
	.type	ParserImpl, @function
ParserImpl:
.LFB20:
	.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, 120
	lea	rdi, hdr[rip]
	mov	eax, 0
	call	klee_make_symbolic@PLT
	lea	rdx, .LC2[rip]
	mov	esi, 64
	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
.LFE20:
	.size	ParserImpl, .-ParserImpl
	.globl	egress
	.type	egress, @function
egress:
.LFB21:
	.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	send_frame_453170
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE21:
	.size	egress, .-egress
	.globl	NoAction_0_453126
	.type	NoAction_0_453126, @function
NoAction_0_453126:
.LFB22:
	.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], 453126
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE22:
	.size	NoAction_0_453126, .-NoAction_0_453126
	.section	.rodata
.LC4:
	.string	"smac"
	.text
	.globl	rewrite_mac_0_453136
	.type	rewrite_mac_0_453136, @function
rewrite_mac_0_453136:
.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], 453136
	lea	rax, -16[rbp]
	lea	rdx, .LC4[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -16[rbp]
	movabs	rdx, 281474976710655
	and	rdx, rax
	movabs	rax, 281474976710655
	and	rdx, rax
	mov	rax, QWORD PTR hdr[rip+8]
	movabs	rcx, -281474976710656
	and	rax, rcx
	or	rax, rdx
	mov	QWORD PTR hdr[rip+8], rax
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L27
	call	__stack_chk_fail@PLT
.L27:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE23:
	.size	rewrite_mac_0_453136, .-rewrite_mac_0_453136
	.globl	_drop_0_453154
	.type	_drop_0_453154, @function
_drop_0_453154:
.LFB24:
	.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], 453154
	mov	eax, 0
	call	mark_to_drop
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE24:
	.size	_drop_0_453154, .-_drop_0_453154
	.globl	send_frame_453170
	.type	send_frame_453170, @function
send_frame_453170:
.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, 0
	call	_drop_0_453154
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE25:
	.size	send_frame_453170, .-send_frame_453170
	.globl	ingress
	.type	ingress, @function
ingress:
.LFB26:
	.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+26]
	test	al, al
	sete	al
	movzx	eax, al
	mov	DWORD PTR hdr_ipv4_ttl_eq_0_455545[rip], eax
	movzx	eax, WORD PTR hdr[rip+80]
	movzx	eax, ax
	mov	QWORD PTR constant_hdr_tcp_dstPort_455552[rip], rax
	mov	eax, DWORD PTR hdr[rip+84]
	mov	eax, eax
	mov	QWORD PTR constant_hdr_tcp_seqNo_455559[rip], rax
	mov	eax, DWORD PTR hdr[rip+88]
	mov	eax, eax
	mov	QWORD PTR constant_hdr_tcp_ackNo_455566[rip], rax
	movzx	eax, BYTE PTR hdr[rip+92]
	and	eax, 15
	movzx	eax, al
	mov	QWORD PTR constant_hdr_tcp_dataOffset_455573[rip], rax
	movzx	eax, BYTE PTR hdr[rip+92]
	shr	al, 4
	and	eax, 7
	movzx	eax, al
	mov	QWORD PTR constant_hdr_tcp_res_455580[rip], rax
	movzx	eax, BYTE PTR hdr[rip+93]
	and	eax, 7
	movzx	eax, al
	mov	QWORD PTR constant_hdr_tcp_ecn_455587[rip], rax
	movzx	eax, BYTE PTR hdr[rip+93]
	shr	al, 3
	and	eax, 1
	movzx	eax, al
	mov	QWORD PTR constant_hdr_tcp_urg_455594[rip], rax
	movzx	eax, BYTE PTR hdr[rip+93]
	shr	al, 4
	and	eax, 1
	movzx	eax, al
	mov	QWORD PTR constant_hdr_tcp_ack_455601[rip], rax
	movzx	eax, BYTE PTR hdr[rip+93]
	shr	al, 5
	and	eax, 1
	movzx	eax, al
	mov	QWORD PTR constant_hdr_tcp_push_455608[rip], rax
	movzx	eax, BYTE PTR hdr[rip+93]
	shr	al, 6
	and	eax, 1
	movzx	eax, al
	mov	QWORD PTR constant_hdr_tcp_rst_455615[rip], rax
	movzx	eax, BYTE PTR hdr[rip+93]
	shr	al, 7
	movzx	eax, al
	mov	QWORD PTR constant_hdr_tcp_syn_455622[rip], rax
	movzx	eax, BYTE PTR hdr[rip+94]
	and	eax, 1
	movzx	eax, al
	mov	QWORD PTR constant_hdr_tcp_fin_455629[rip], rax
	movzx	eax, WORD PTR hdr[rip+96]
	movzx	eax, ax
	mov	QWORD PTR constant_hdr_tcp_window_455636[rip], rax
	movzx	eax, WORD PTR hdr[rip+98]
	movzx	eax, ax
	mov	QWORD PTR constant_hdr_tcp_checksum_455643[rip], rax
	movzx	eax, WORD PTR hdr[rip+100]
	movzx	eax, ax
	mov	QWORD PTR constant_hdr_tcp_urgentPtr_455650[rip], rax
	movzx	eax, BYTE PTR hdr[rip+27]
	cmp	al, 6
	jne	.L31
	mov	edx, DWORD PTR hdr[rip+32]
	mov	eax, DWORD PTR hdr[rip+36]
	cmp	edx, eax
	jbe	.L32
	mov	eax, 0
	call	lookup_455401
	jmp	.L33
.L32:
	mov	eax, 0
	call	lookup_reverse_455435
.L33:
	movzx	eax, BYTE PTR hdr[rip+93]
	and	eax, -128
	test	al, al
	je	.L34
	movzx	eax, BYTE PTR hdr[rip+93]
	and	eax, 16
	test	al, al
	jne	.L34
	mov	eax, 0
	call	init_455308
	jmp	.L35
.L34:
	mov	eax, 0
	call	direction_454977
.L35:
	mov	edx, DWORD PTR hdr[rip+32]
	mov	eax, DWORD PTR meta[rip+36]
	cmp	edx, eax
	jne	.L36
	mov	edx, DWORD PTR hdr[rip+84]
	mov	eax, DWORD PTR meta[rip+40]
	cmp	edx, eax
	jbe	.L37
	mov	eax, 0
	call	flow_sent_455181
	mov	eax, DWORD PTR meta[rip+48]
	test	eax, eax
	jne	.L38
	mov	eax, 0
	call	sample_rtt_sent_455503
.L38:
	mov	edx, DWORD PTR meta[rip+24]
	mov	eax, DWORD PTR meta[rip+56]
	cmp	edx, eax
	jbe	.L31
	mov	eax, 0
	call	increase_cwnd_455274
	jmp	.L31
.L37:
	mov	eax, DWORD PTR meta[rip+60]
	cmp	eax, 3
	jne	.L39
	mov	eax, 0
	call	flow_retx_3dupack_455113
	jmp	.L31
.L39:
	mov	eax, 0
	call	flow_retx_timeout_455147
	jmp	.L31
.L36:
	mov	edx, DWORD PTR hdr[rip+36]
	mov	eax, DWORD PTR meta[rip+36]
	cmp	edx, eax
	jne	.L40
	mov	edx, DWORD PTR hdr[rip+88]
	mov	eax, DWORD PTR meta[rip+44]
	cmp	edx, eax
	jbe	.L41
	mov	eax, 0
	call	flow_rcvd_455079
	mov	edx, DWORD PTR hdr[rip+88]
	mov	eax, DWORD PTR meta[rip+48]
	cmp	edx, eax
	jb	.L31
	mov	eax, DWORD PTR meta[rip+48]
	test	eax, eax
	je	.L31
	mov	eax, DWORD PTR meta[rip+52]
	test	eax, eax
	jne	.L42
	mov	eax, 0
	call	first_rtt_sample_455011
	jmp	.L31
.L42:
	mov	eax, 0
	call	sample_rtt_rcvd_455469
	jmp	.L31
.L41:
	mov	eax, 0
	call	flow_dupack_455045
	jmp	.L31
.L40:
	mov	eax, 0
	call	debug_454943
.L31:
	mov	eax, 0
	call	ipv4_lpm_455342
	mov	eax, 0
	call	forward_455215
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE26:
	.size	ingress, .-ingress
	.globl	NoAction_1_453262
	.type	NoAction_1_453262, @function
NoAction_1_453262:
.LFB27:
	.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], 453262
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE27:
	.size	NoAction_1_453262, .-NoAction_1_453262
	.globl	NoAction_19_453263
	.type	NoAction_19_453263, @function
NoAction_19_453263:
.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], 453263
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE28:
	.size	NoAction_19_453263, .-NoAction_19_453263
	.globl	NoAction_20_453264
	.type	NoAction_20_453264, @function
NoAction_20_453264:
.LFB29:
	.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], 453264
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE29:
	.size	NoAction_20_453264, .-NoAction_20_453264
	.globl	NoAction_21_453265
	.type	NoAction_21_453265, @function
NoAction_21_453265:
.LFB30:
	.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], 453265
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE30:
	.size	NoAction_21_453265, .-NoAction_21_453265
	.globl	NoAction_22_453266
	.type	NoAction_22_453266, @function
NoAction_22_453266:
.LFB31:
	.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], 453266
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE31:
	.size	NoAction_22_453266, .-NoAction_22_453266
	.globl	NoAction_23_453267
	.type	NoAction_23_453267, @function
NoAction_23_453267:
.LFB32:
	.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], 453267
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE32:
	.size	NoAction_23_453267, .-NoAction_23_453267
	.globl	NoAction_24_453268
	.type	NoAction_24_453268, @function
NoAction_24_453268:
.LFB33:
	.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], 453268
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE33:
	.size	NoAction_24_453268, .-NoAction_24_453268
	.globl	NoAction_25_453269
	.type	NoAction_25_453269, @function
NoAction_25_453269:
.LFB34:
	.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], 453269
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE34:
	.size	NoAction_25_453269, .-NoAction_25_453269
	.globl	NoAction_26_453270
	.type	NoAction_26_453270, @function
NoAction_26_453270:
.LFB35:
	.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], 453270
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE35:
	.size	NoAction_26_453270, .-NoAction_26_453270
	.globl	NoAction_27_453271
	.type	NoAction_27_453271, @function
NoAction_27_453271:
.LFB36:
	.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], 453271
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE36:
	.size	NoAction_27_453271, .-NoAction_27_453271
	.globl	NoAction_28_453272
	.type	NoAction_28_453272, @function
NoAction_28_453272:
.LFB37:
	.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], 453272
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE37:
	.size	NoAction_28_453272, .-NoAction_28_453272
	.globl	NoAction_29_453273
	.type	NoAction_29_453273, @function
NoAction_29_453273:
.LFB38:
	.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], 453273
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE38:
	.size	NoAction_29_453273, .-NoAction_29_453273
	.globl	NoAction_30_453274
	.type	NoAction_30_453274, @function
NoAction_30_453274:
.LFB39:
	.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], 453274
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE39:
	.size	NoAction_30_453274, .-NoAction_30_453274
	.globl	NoAction_31_453275
	.type	NoAction_31_453275, @function
NoAction_31_453275:
.LFB40:
	.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], 453275
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE40:
	.size	NoAction_31_453275, .-NoAction_31_453275
	.globl	NoAction_32_453276
	.type	NoAction_32_453276, @function
NoAction_32_453276:
.LFB41:
	.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], 453276
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE41:
	.size	NoAction_32_453276, .-NoAction_32_453276
	.globl	NoAction_33_453277
	.type	NoAction_33_453277, @function
NoAction_33_453277:
.LFB42:
	.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], 453277
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE42:
	.size	NoAction_33_453277, .-NoAction_33_453277
	.globl	save_source_IP_0_453564
	.type	save_source_IP_0_453564, @function
save_source_IP_0_453564:
.LFB43:
	.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], 453564
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE43:
	.size	save_source_IP_0_453564, .-save_source_IP_0_453564
	.section	.rodata
	.align 8
.LC5:
	.string	"t84710467_540e_4c78_b9f4_a4a8cde883cd"
	.align 8
.LC6:
	.string	"tc2657781_89c5_4494_8e21_499aa8caec4b"
	.align 8
.LC7:
	.string	"t397c4235_0d25_461d_a146_a5548f85870c"
	.align 8
.LC8:
	.string	"t33d4b0dc_4a79_4d9a_8866_01d06bbeaa6d"
	.align 8
.LC9:
	.string	"t0042b193_6254_498c_9290_8b199fb35363"
	.align 8
.LC10:
	.string	"tdd4becaa_adba_48c2_b312_88bc177dfe51"
	.align 8
.LC11:
	.string	"t543c8d31_64cb_4a09_aedb_760122b697d0"
	.text
	.globl	get_sender_IP_0_453622
	.type	get_sender_IP_0_453622, @function
get_sender_IP_0_453622:
.LFB44:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 64
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	DWORD PTR action_run[rip], 453622
	movzx	eax, BYTE PTR hdr[rip+93]
	and	eax, 16
	test	al, al
	setne	al
	movzx	eax, al
	mov	DWORD PTR hdr_tcp_ack_453638[rip], eax
	mov	DWORD PTR traverse_453638[rip], 1
	lea	rax, -64[rbp]
	lea	rdx, .LC5[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -64[rbp]
	mov	DWORD PTR meta[rip+36], eax
	lea	rax, -56[rbp]
	lea	rdx, .LC6[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -56[rbp]
	mov	DWORD PTR meta[rip+40], eax
	lea	rax, -48[rbp]
	lea	rdx, .LC7[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -48[rbp]
	mov	DWORD PTR meta[rip+44], eax
	lea	rax, -40[rbp]
	lea	rdx, .LC8[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -40[rbp]
	mov	DWORD PTR meta[rip+48], eax
	lea	rax, -32[rbp]
	lea	rdx, .LC9[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -32[rbp]
	mov	DWORD PTR meta[rip+52], eax
	lea	rax, -24[rbp]
	lea	rdx, .LC10[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -24[rbp]
	mov	DWORD PTR meta[rip+56], eax
	lea	rax, -16[rbp]
	lea	rdx, .LC11[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -16[rbp]
	mov	DWORD PTR meta[rip+60], eax
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L61
	call	__stack_chk_fail@PLT
.L61:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE44:
	.size	get_sender_IP_0_453622, .-get_sender_IP_0_453622
	.section	.rodata
	.align 8
.LC12:
	.string	"t8fd99da7_2390_4faa_b72e_1c8d2fe8ec76"
	.text
	.globl	use_sample_rtt_first_0_458416
	.type	use_sample_rtt_first_0_458416, @function
use_sample_rtt_first_0_458416:
.LFB45:
	.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], 458416
	lea	rax, -16[rbp]
	lea	rdx, .LC12[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -16[rbp]
	mov	DWORD PTR meta[rip+24], eax
	movabs	rax, 281474976710655
	and	rax, QWORD PTR meta[rip]
	mov	DWORD PTR meta[rip+28], eax
	movabs	rax, 281474976710655
	and	rax, QWORD PTR meta[rip]
	mov	edx, DWORD PTR meta[rip+24]
	sub	eax, edx
	mov	DWORD PTR meta[rip+28], eax
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L63
	call	__stack_chk_fail@PLT
.L63:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE45:
	.size	use_sample_rtt_first_0_458416, .-use_sample_rtt_first_0_458416
	.section	.rodata
	.align 8
.LC13:
	.string	"td57b7426_1259_40f2_b38e_53c8db694035"
	.text
	.globl	update_flow_dupack_0_453843
	.type	update_flow_dupack_0_453843, @function
update_flow_dupack_0_453843:
.LFB46:
	.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], 453843
	lea	rax, -16[rbp]
	lea	rdx, .LC13[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -16[rbp]
	mov	DWORD PTR meta[rip+24], eax
	mov	eax, DWORD PTR meta[rip+24]
	add	eax, 1
	mov	DWORD PTR meta[rip+24], eax
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L65
	call	__stack_chk_fail@PLT
.L65:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE46:
	.size	update_flow_dupack_0_453843, .-update_flow_dupack_0_453843
	.section	.rodata
	.align 8
.LC14:
	.string	"t027c3367_c295_4744_92d9_7f71fe8da4cf"
	.text
	.globl	update_flow_rcvd_0_453896
	.type	update_flow_rcvd_0_453896, @function
update_flow_rcvd_0_453896:
.LFB47:
	.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], 453896
	lea	rax, -16[rbp]
	lea	rdx, .LC14[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -16[rbp]
	mov	DWORD PTR meta[rip+24], eax
	mov	eax, DWORD PTR meta[rip+24]
	add	eax, 1
	mov	DWORD PTR meta[rip+24], eax
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L67
	call	__stack_chk_fail@PLT
.L67:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE47:
	.size	update_flow_rcvd_0_453896, .-update_flow_rcvd_0_453896
	.section	.rodata
	.align 8
.LC15:
	.string	"t6cdeb88d_183a_496b_bd1c_7545b4500045"
	.align 8
.LC16:
	.string	"t1eef1073_2268_4adb_9b9f_f0c4a478783b"
	.text
	.globl	update_flow_retx_3dupack_0_454011
	.type	update_flow_retx_3dupack_0_454011, @function
update_flow_retx_3dupack_0_454011:
.LFB48:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	DWORD PTR action_run[rip], 454011
	mov	eax, DWORD PTR meta[rip+60]
	cmp	eax, 2
	setbe	al
	movzx	eax, al
	mov	DWORD PTR meta_stats_metadata_dupack_le_3_454027[rip], eax
	mov	DWORD PTR traverse_454027[rip], 1
	lea	rax, -24[rbp]
	lea	rdx, .LC15[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -24[rbp]
	mov	DWORD PTR meta[rip+24], eax
	mov	eax, DWORD PTR meta[rip+24]
	add	eax, 1
	mov	DWORD PTR meta[rip+24], eax
	lea	rax, -16[rbp]
	lea	rdx, .LC16[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -16[rbp]
	mov	DWORD PTR meta[rip+24], eax
	mov	eax, DWORD PTR meta[rip+24]
	shr	eax
	mov	DWORD PTR meta[rip+24], eax
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L69
	call	__stack_chk_fail@PLT
.L69:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE48:
	.size	update_flow_retx_3dupack_0_454011, .-update_flow_retx_3dupack_0_454011
	.section	.rodata
	.align 8
.LC17:
	.string	"t7814ce3c_d0d1_42be_ac04_b1119828690e"
	.text
	.globl	update_flow_retx_timeout_0_454141
	.type	update_flow_retx_timeout_0_454141, @function
update_flow_retx_timeout_0_454141:
.LFB49:
	.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], 454141
	lea	rax, -16[rbp]
	lea	rdx, .LC17[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -16[rbp]
	mov	DWORD PTR meta[rip+24], eax
	mov	eax, DWORD PTR meta[rip+24]
	add	eax, 1
	mov	DWORD PTR meta[rip+24], eax
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L71
	call	__stack_chk_fail@PLT
.L71:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE49:
	.size	update_flow_retx_timeout_0_454141, .-update_flow_retx_timeout_0_454141
	.section	.rodata
	.align 8
.LC18:
	.string	"te1b91cfe_5d0f_4530_a884_0be722efb1a8"
	.align 8
.LC19:
	.string	"t3a4972fa_fbbd_4235_b9aa_fd47bb2f6e52"
	.align 8
.LC20:
	.string	"t5ed0309f_6b03_4d51_8a63_e7eb5084dca2"
	.align 8
.LC21:
	.string	"tc41b4e19_7e83_4d1c_b753_4eb7539bdea3"
	.text
	.globl	update_flow_sent_0_454233
	.type	update_flow_sent_0_454233, @function
update_flow_sent_0_454233:
.LFB50:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 48
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	DWORD PTR action_run[rip], 454233
	lea	rax, -40[rbp]
	lea	rdx, .LC18[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -40[rbp]
	mov	DWORD PTR meta[rip+24], eax
	mov	eax, DWORD PTR meta[rip+24]
	add	eax, 1
	mov	DWORD PTR meta[rip+24], eax
	movabs	rax, 281474976710655
	and	rax, QWORD PTR meta[rip]
	mov	DWORD PTR meta[rip+24], eax
	lea	rax, -32[rbp]
	lea	rdx, .LC19[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -32[rbp]
	mov	DWORD PTR meta[rip+28], eax
	mov	eax, DWORD PTR meta[rip+24]
	mov	edx, DWORD PTR meta[rip+28]
	sub	eax, edx
	mov	DWORD PTR meta[rip+24], eax
	lea	rax, -24[rbp]
	lea	rdx, .LC20[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -24[rbp]
	mov	DWORD PTR meta[rip+24], eax
	lea	rax, -16[rbp]
	lea	rdx, .LC21[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -16[rbp]
	mov	DWORD PTR meta[rip+28], eax
	mov	eax, DWORD PTR meta[rip+24]
	mov	edx, DWORD PTR meta[rip+28]
	sub	eax, edx
	mov	DWORD PTR meta[rip+24], eax
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L73
	call	__stack_chk_fail@PLT
.L73:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE50:
	.size	update_flow_sent_0_454233, .-update_flow_sent_0_454233
	.section	.rodata
.LC22:
	.string	"dmac"
	.text
	.globl	set_dmac_0_454420
	.type	set_dmac_0_454420, @function
set_dmac_0_454420:
.LFB51:
	.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], 454420
	lea	rax, -16[rbp]
	lea	rdx, .LC22[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -16[rbp]
	movabs	rdx, 281474976710655
	and	rdx, rax
	movabs	rax, 281474976710655
	and	rax, rdx
	lea	rdx, [rax+rax]
	mov	rax, QWORD PTR hdr[rip]
	movabs	rcx, -562949953421311
	and	rax, rcx
	or	rax, rdx
	mov	QWORD PTR hdr[rip], rax
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L75
	call	__stack_chk_fail@PLT
.L75:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE51:
	.size	set_dmac_0_454420, .-set_dmac_0_454420
	.globl	_drop_1_454438
	.type	_drop_1_454438, @function
_drop_1_454438:
.LFB52:
	.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], 454438
	mov	eax, 0
	call	mark_to_drop
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE52:
	.size	_drop_1_454438, .-_drop_1_454438
	.globl	_drop_4_454454
	.type	_drop_4_454454, @function
_drop_4_454454:
.LFB53:
	.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], 454454
	mov	eax, 0
	call	mark_to_drop
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE53:
	.size	_drop_4_454454, .-_drop_4_454454
	.globl	increase_mincwnd_0_454461
	.type	increase_mincwnd_0_454461, @function
increase_mincwnd_0_454461:
.LFB54:
	.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], 454461
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE54:
	.size	increase_mincwnd_0_454461, .-increase_mincwnd_0_454461
	.section	.rodata
	.align 8
.LC23:
	.string	"tc9585c7b_790e_494a_9f60_75e1b3890aab"
	.text
	.globl	record_IP_0_454487
	.type	record_IP_0_454487, @function
record_IP_0_454487:
.LFB55:
	.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], 454487
	lea	rax, -16[rbp]
	lea	rdx, .LC23[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -16[rbp]
	mov	DWORD PTR meta[rip+36], eax
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L80
	call	__stack_chk_fail@PLT
.L80:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE55:
	.size	record_IP_0_454487, .-record_IP_0_454487
	.section	.rodata
.LC24:
	.string	"nhop_ipv4"
.LC25:
	.string	"port"
	.text
	.globl	set_nhop_0_454574
	.type	set_nhop_0_454574, @function
set_nhop_0_454574:
.LFB56:
	.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], 454574
	lea	rax, -16[rbp]
	lea	rdx, .LC24[rip]
	mov	esi, 4
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	lea	rax, -12[rbp]
	lea	rdx, .LC25[rip]
	mov	esi, 4
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	eax, DWORD PTR -16[rbp]
	mov	DWORD PTR meta[rip+20], eax
	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+26]
	sub	eax, 1
	mov	BYTE PTR hdr[rip+26], al
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L82
	call	__stack_chk_fail@PLT
.L82:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE56:
	.size	set_nhop_0_454574, .-set_nhop_0_454574
	.section	.rodata
	.align 8
.LC26:
	.string	"t12faf59b_7eed_401f_8b88_85a14fdc44c3"
	.text
	.globl	lookup_flow_map_0_454610
	.type	lookup_flow_map_0_454610, @function
lookup_flow_map_0_454610:
.LFB57:
	.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], 454610
	lea	rax, -16[rbp]
	lea	rdx, .LC26[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -16[rbp]
	and	eax, 3
	and	eax, 3
	mov	edx, eax
	movzx	eax, BYTE PTR meta[rip+32]
	and	eax, -4
	or	eax, edx
	mov	BYTE PTR meta[rip+32], al
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L84
	call	__stack_chk_fail@PLT
.L84:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE57:
	.size	lookup_flow_map_0_454610, .-lookup_flow_map_0_454610
	.section	.rodata
	.align 8
.LC27:
	.string	"t4e5dad2d_c703_4505_91bd_095317cef223"
	.text
	.globl	lookup_flow_map_reverse_0_454672
	.type	lookup_flow_map_reverse_0_454672, @function
lookup_flow_map_reverse_0_454672:
.LFB58:
	.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], 454672
	lea	rax, -16[rbp]
	lea	rdx, .LC27[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -16[rbp]
	and	eax, 3
	and	eax, 3
	mov	edx, eax
	movzx	eax, BYTE PTR meta[rip+32]
	and	eax, -4
	or	eax, edx
	mov	BYTE PTR meta[rip+32], al
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L86
	call	__stack_chk_fail@PLT
.L86:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE58:
	.size	lookup_flow_map_reverse_0_454672, .-lookup_flow_map_reverse_0_454672
	.section	.rodata
	.align 8
.LC28:
	.string	"t1bc1f8cd_431f_40a1_a56a_30b3fb7aee68"
	.align 8
.LC29:
	.string	"t5cf0c290_3447_4bec_982f_ad887f31367e"
	.align 8
.LC30:
	.string	"t41623da2_e52b_4cf5_9c2d_ef3958befb03"
	.text
	.globl	use_sample_rtt_0_459912
	.type	use_sample_rtt_0_459912, @function
use_sample_rtt_0_459912:
.LFB59:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	DWORD PTR action_run[rip], 459912
	lea	rax, -32[rbp]
	lea	rdx, .LC28[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -32[rbp]
	mov	DWORD PTR meta[rip+24], eax
	movabs	rax, 281474976710655
	and	rax, QWORD PTR meta[rip]
	mov	DWORD PTR meta[rip+28], eax
	movabs	rax, 281474976710655
	and	rax, QWORD PTR meta[rip]
	mov	edx, DWORD PTR meta[rip+24]
	sub	eax, edx
	mov	DWORD PTR meta[rip+28], eax
	lea	rax, -24[rbp]
	lea	rdx, .LC29[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -24[rbp]
	mov	DWORD PTR meta[rip+24], eax
	mov	edx, DWORD PTR meta[rip+24]
	mov	eax, edx
	sal	eax, 3
	sub	eax, edx
	mov	ecx, eax
	mov	eax, DWORD PTR meta[rip+28]
	add	eax, ecx
	mov	DWORD PTR meta[rip+24], eax
	mov	eax, DWORD PTR meta[rip+24]
	shr	eax, 3
	mov	DWORD PTR meta[rip+24], eax
	lea	rax, -16[rbp]
	lea	rdx, .LC30[rip]
	mov	esi, 8
	mov	rdi, rax
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	rax, QWORD PTR -16[rbp]
	mov	DWORD PTR meta[rip+24], eax
	mov	eax, DWORD PTR meta[rip+24]
	add	eax, 1
	mov	DWORD PTR meta[rip+24], eax
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L88
	call	__stack_chk_fail@PLT
.L88:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE59:
	.size	use_sample_rtt_0_459912, .-use_sample_rtt_0_459912
	.globl	sample_new_rtt_0_454900
	.type	sample_new_rtt_0_454900, @function
sample_new_rtt_0_454900:
.LFB60:
	.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], 454900
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE60:
	.size	sample_new_rtt_0_454900, .-sample_new_rtt_0_454900
	.section	.rodata
.LC31:
	.string	"symbol"
	.text
	.globl	debug_454943
	.type	debug_454943, @function
debug_454943:
.LFB61:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	lea	rdx, .LC31[rip]
	mov	esi, 4
	lea	rdi, symbol[rip]
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	eax, DWORD PTR symbol[rip]
	test	eax, eax
	jne	.L91
	mov	eax, 0
	call	save_source_IP_0_453564
	jmp	.L92
.L91:
	mov	eax, 0
	call	NoAction_1_453262
	nop
.L92:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE61:
	.size	debug_454943, .-debug_454943
	.globl	direction_454977
	.type	direction_454977, @function
direction_454977:
.LFB62:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	lea	rdx, .LC31[rip]
	mov	esi, 4
	lea	rdi, symbol[rip]
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	eax, DWORD PTR symbol[rip]
	test	eax, eax
	jne	.L94
	mov	eax, 0
	call	get_sender_IP_0_453622
	jmp	.L95
.L94:
	mov	eax, 0
	call	NoAction_19_453263
	nop
.L95:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE62:
	.size	direction_454977, .-direction_454977
	.globl	first_rtt_sample_455011
	.type	first_rtt_sample_455011, @function
first_rtt_sample_455011:
.LFB63:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	lea	rdx, .LC31[rip]
	mov	esi, 4
	lea	rdi, symbol[rip]
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	eax, DWORD PTR symbol[rip]
	test	eax, eax
	jne	.L97
	mov	eax, 0
	call	use_sample_rtt_first_0_458416
	jmp	.L98
.L97:
	mov	eax, 0
	call	NoAction_20_453264
	nop
.L98:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE63:
	.size	first_rtt_sample_455011, .-first_rtt_sample_455011
	.globl	flow_dupack_455045
	.type	flow_dupack_455045, @function
flow_dupack_455045:
.LFB64:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	lea	rdx, .LC31[rip]
	mov	esi, 4
	lea	rdi, symbol[rip]
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	eax, DWORD PTR symbol[rip]
	test	eax, eax
	jne	.L100
	mov	eax, 0
	call	update_flow_dupack_0_453843
	jmp	.L101
.L100:
	mov	eax, 0
	call	NoAction_21_453265
	nop
.L101:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE64:
	.size	flow_dupack_455045, .-flow_dupack_455045
	.globl	flow_rcvd_455079
	.type	flow_rcvd_455079, @function
flow_rcvd_455079:
.LFB65:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	lea	rdx, .LC31[rip]
	mov	esi, 4
	lea	rdi, symbol[rip]
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	eax, DWORD PTR symbol[rip]
	test	eax, eax
	jne	.L103
	mov	eax, 0
	call	update_flow_rcvd_0_453896
	jmp	.L104
.L103:
	mov	eax, 0
	call	NoAction_22_453266
	nop
.L104:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE65:
	.size	flow_rcvd_455079, .-flow_rcvd_455079
	.globl	flow_retx_3dupack_455113
	.type	flow_retx_3dupack_455113, @function
flow_retx_3dupack_455113:
.LFB66:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	lea	rdx, .LC31[rip]
	mov	esi, 4
	lea	rdi, symbol[rip]
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	eax, DWORD PTR symbol[rip]
	test	eax, eax
	jne	.L106
	mov	eax, 0
	call	update_flow_retx_3dupack_0_454011
	jmp	.L107
.L106:
	mov	eax, 0
	call	NoAction_23_453267
	nop
.L107:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE66:
	.size	flow_retx_3dupack_455113, .-flow_retx_3dupack_455113
	.globl	flow_retx_timeout_455147
	.type	flow_retx_timeout_455147, @function
flow_retx_timeout_455147:
.LFB67:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	lea	rdx, .LC31[rip]
	mov	esi, 4
	lea	rdi, symbol[rip]
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	eax, DWORD PTR symbol[rip]
	test	eax, eax
	jne	.L109
	mov	eax, 0
	call	update_flow_retx_timeout_0_454141
	jmp	.L110
.L109:
	mov	eax, 0
	call	NoAction_24_453268
	nop
.L110:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE67:
	.size	flow_retx_timeout_455147, .-flow_retx_timeout_455147
	.globl	flow_sent_455181
	.type	flow_sent_455181, @function
flow_sent_455181:
.LFB68:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	lea	rdx, .LC31[rip]
	mov	esi, 4
	lea	rdi, symbol[rip]
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	eax, DWORD PTR symbol[rip]
	test	eax, eax
	jne	.L112
	mov	eax, 0
	call	update_flow_sent_0_454233
	jmp	.L113
.L112:
	mov	eax, 0
	call	NoAction_25_453269
	nop
.L113:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE68:
	.size	flow_sent_455181, .-flow_sent_455181
	.globl	forward_455215
	.type	forward_455215, @function
forward_455215:
.LFB69:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	lea	rdx, .LC31[rip]
	mov	esi, 4
	lea	rdi, symbol[rip]
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	eax, DWORD PTR symbol[rip]
	test	eax, eax
	je	.L115
	cmp	eax, 1
	je	.L116
	jmp	.L119
.L115:
	mov	eax, 0
	call	set_dmac_0_454420
	jmp	.L118
.L116:
	mov	eax, 0
	call	_drop_1_454438
	jmp	.L118
.L119:
	mov	eax, 0
	call	NoAction_26_453270
	nop
.L118:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE69:
	.size	forward_455215, .-forward_455215
	.globl	increase_cwnd_455274
	.type	increase_cwnd_455274, @function
increase_cwnd_455274:
.LFB70:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	lea	rdx, .LC31[rip]
	mov	esi, 4
	lea	rdi, symbol[rip]
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	eax, DWORD PTR symbol[rip]
	test	eax, eax
	jne	.L121
	mov	eax, 0
	call	increase_mincwnd_0_454461
	jmp	.L122
.L121:
	mov	eax, 0
	call	NoAction_27_453271
	nop
.L122:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE70:
	.size	increase_cwnd_455274, .-increase_cwnd_455274
	.globl	init_455308
	.type	init_455308, @function
init_455308:
.LFB71:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	lea	rdx, .LC31[rip]
	mov	esi, 4
	lea	rdi, symbol[rip]
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	eax, DWORD PTR symbol[rip]
	test	eax, eax
	jne	.L124
	mov	eax, 0
	call	record_IP_0_454487
	jmp	.L125
.L124:
	mov	eax, 0
	call	NoAction_28_453272
	nop
.L125:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE71:
	.size	init_455308, .-init_455308
	.globl	ipv4_lpm_455342
	.type	ipv4_lpm_455342, @function
ipv4_lpm_455342:
.LFB72:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	lea	rdx, .LC31[rip]
	mov	esi, 4
	lea	rdi, symbol[rip]
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	eax, DWORD PTR symbol[rip]
	test	eax, eax
	je	.L127
	cmp	eax, 1
	je	.L128
	jmp	.L131
.L127:
	mov	eax, 0
	call	set_nhop_0_454574
	jmp	.L130
.L128:
	mov	eax, 0
	call	_drop_4_454454
	jmp	.L130
.L131:
	mov	eax, 0
	call	NoAction_29_453273
	nop
.L130:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE72:
	.size	ipv4_lpm_455342, .-ipv4_lpm_455342
	.globl	lookup_455401
	.type	lookup_455401, @function
lookup_455401:
.LFB73:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	lea	rdx, .LC31[rip]
	mov	esi, 4
	lea	rdi, symbol[rip]
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	eax, DWORD PTR symbol[rip]
	test	eax, eax
	jne	.L133
	mov	eax, 0
	call	lookup_flow_map_0_454610
	jmp	.L134
.L133:
	mov	eax, 0
	call	NoAction_30_453274
	nop
.L134:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE73:
	.size	lookup_455401, .-lookup_455401
	.globl	lookup_reverse_455435
	.type	lookup_reverse_455435, @function
lookup_reverse_455435:
.LFB74:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	lea	rdx, .LC31[rip]
	mov	esi, 4
	lea	rdi, symbol[rip]
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	eax, DWORD PTR symbol[rip]
	test	eax, eax
	jne	.L136
	mov	eax, 0
	call	lookup_flow_map_reverse_0_454672
	jmp	.L137
.L136:
	mov	eax, 0
	call	NoAction_31_453275
	nop
.L137:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE74:
	.size	lookup_reverse_455435, .-lookup_reverse_455435
	.globl	sample_rtt_rcvd_455469
	.type	sample_rtt_rcvd_455469, @function
sample_rtt_rcvd_455469:
.LFB75:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	lea	rdx, .LC31[rip]
	mov	esi, 4
	lea	rdi, symbol[rip]
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	eax, DWORD PTR symbol[rip]
	test	eax, eax
	jne	.L139
	mov	eax, 0
	call	use_sample_rtt_0_459912
	jmp	.L140
.L139:
	mov	eax, 0
	call	NoAction_32_453276
	nop
.L140:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE75:
	.size	sample_rtt_rcvd_455469, .-sample_rtt_rcvd_455469
	.globl	sample_rtt_sent_455503
	.type	sample_rtt_sent_455503, @function
sample_rtt_sent_455503:
.LFB76:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	lea	rdx, .LC31[rip]
	mov	esi, 4
	lea	rdi, symbol[rip]
	mov	eax, 0
	call	klee_make_symbolic@PLT
	mov	eax, DWORD PTR symbol[rip]
	test	eax, eax
	jne	.L142
	mov	eax, 0
	call	sample_new_rtt_0_454900
	jmp	.L143
.L142:
	mov	eax, 0
	call	NoAction_33_453277
	nop
.L143:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE76:
	.size	sample_rtt_sent_455503, .-sample_rtt_sent_455503
	.globl	verifyChecksum
	.type	verifyChecksum, @function
verifyChecksum:
.LFB77:
	.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	verify_checksum@PLT
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE77:
	.size	verifyChecksum, .-verifyChecksum
	.globl	computeChecksum
	.type	computeChecksum, @function
computeChecksum:
.LFB78:
	.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	update_checksum@PLT
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE78:
	.size	computeChecksum, .-computeChecksum
	.globl	main
	.type	main, @function
main:
.LFB79:
	.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	end_assertions
	mov	eax, 0
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE79:
	.size	main, .-main
	.section	.rodata
	.align 8
.LC32:
	.string	"!(hdr_tcp_ack_453638) || (traverse_453638)"
	.align 8
.LC33:
	.string	"!(meta_stats_metadata_dupack_le_3_454027) || (!traverse_454027)"
	.align 8
.LC34:
	.string	"!(hdr_ipv4_ttl_eq_0_455545) || (!assert_forward)"
	.text
	.globl	end_assertions
	.type	end_assertions, @function
end_assertions:
.LFB80:
	.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_tcp_ack_453638[rip]
	test	eax, eax
	je	.L149
	mov	eax, DWORD PTR traverse_453638[rip]
	test	eax, eax
	jne	.L149
	lea	rsi, .LC32[rip]
	mov	edi, 0
	mov	eax, 0
	call	klee_print_once@PLT
.L149:
	mov	eax, DWORD PTR meta_stats_metadata_dupack_le_3_454027[rip]
	test	eax, eax
	je	.L150
	mov	eax, DWORD PTR traverse_454027[rip]
	test	eax, eax
	je	.L150
	lea	rsi, .LC33[rip]
	mov	edi, 1
	mov	eax, 0
	call	klee_print_once@PLT
.L150:
	mov	eax, DWORD PTR hdr_ipv4_ttl_eq_0_455545[rip]
	test	eax, eax
	je	.L152
	mov	eax, DWORD PTR assert_forward[rip]
	test	eax, eax
	je	.L152
	lea	rsi, .LC34[rip]
	mov	edi, 2
	mov	eax, 0
	call	klee_print_once@PLT
.L152:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE80:
	.size	end_assertions, .-end_assertions
	.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	"513689.c"
	.text
	.comm	symbol,4,4
	.global	assert_forward
	.data
	.align	2
	.type	assert_forward, %object
	.size	assert_forward, 4
assert_forward:
	.word	1
	.comm	action_run,4,4
	.comm	hdr_tcp_ack_453638,4,4
	.global	traverse_453638
	.bss
	.align	2
	.type	traverse_453638, %object
	.size	traverse_453638, 4
traverse_453638:
	.space	4
	.comm	meta_stats_metadata_dupack_le_3_454027,4,4
	.global	traverse_454027
	.align	2
	.type	traverse_454027, %object
	.size	traverse_454027, 4
traverse_454027:
	.space	4
	.comm	hdr_ipv4_ttl_eq_0_455545,4,4
	.comm	constant_hdr_tcp_dstPort_455552,8,8
	.comm	constant_hdr_tcp_seqNo_455559,8,8
	.comm	constant_hdr_tcp_ackNo_455566,8,8
	.comm	constant_hdr_tcp_dataOffset_455573,8,8
	.comm	constant_hdr_tcp_res_455580,8,8
	.comm	constant_hdr_tcp_ecn_455587,8,8
	.comm	constant_hdr_tcp_urg_455594,8,8
	.comm	constant_hdr_tcp_ack_455601,8,8
	.comm	constant_hdr_tcp_push_455608,8,8
	.comm	constant_hdr_tcp_rst_455615,8,8
	.comm	constant_hdr_tcp_syn_455622,8,8
	.comm	constant_hdr_tcp_fin_455629,8,8
	.comm	constant_hdr_tcp_window_455636,8,8
	.comm	constant_hdr_tcp_checksum_455643,8,8
	.comm	constant_hdr_tcp_urgentPtr_455650,8,8
	.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,120,8
	.comm	meta,64,8
	.comm	standard_metadata,64,8
	.comm	tmp_0,1,1
	.align	2
	.global	parse_end
	.syntax unified
	.arm
	.fpu softvfp
	.type	parse_end, %function
parse_end:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L5
	ldrb	r3, [r2, #40]
	orr	r3, r3, #1
	strb	r3, [r2, #40]
	ldr	r3, .L5+4
	ldrb	r3, [r3, #16]	@ zero_extendqisi2
	sub	r3, r3, #1
	and	r2, r3, #255
	ldr	r3, .L5+4
	strb	r2, [r3, #16]
	bl	parse_tcp_options
	nop
	pop	{fp, pc}
.L6:
	.align	2
.L5:
	.word	hdr
	.word	meta
	.size	parse_end, .-parse_end
	.align	2
	.global	parse_ethernet
	.syntax unified
	.arm
	.fpu softvfp
	.type	parse_ethernet, %function
parse_ethernet:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L8
	ldrb	r3, [r2]
	orr	r3, r3, #1
	strb	r3, [r2]
	ldr	r3, .L8
	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}
.L9:
	.align	2
.L8:
	.word	hdr
	.size	parse_ethernet, .-parse_ethernet
	.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, .L11
	ldrb	r3, [r2, #16]
	orr	r3, r3, #1
	strb	r3, [r2, #16]
	ldr	r3, .L11
	ldrb	r3, [r3, #27]	@ zero_extendqisi2
	cmp	r3, #6
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	klee_assume
	bl	parse_tcp
	nop
	pop	{fp, pc}
.L12:
	.align	2
.L11:
	.word	hdr
	.size	parse_ipv4, .-parse_ipv4
	.align	2
	.global	parse_mss
	.syntax unified
	.arm
	.fpu softvfp
	.type	parse_mss, %function
parse_mss:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L14
	ldrb	r3, [r2, #44]
	orr	r3, r3, #1
	strb	r3, [r2, #44]
	ldr	r3, .L14+4
	ldrb	r3, [r3, #16]	@ zero_extendqisi2
	sub	r3, r3, #4
	and	r2, r3, #255
	ldr	r3, .L14+4
	strb	r2, [r3, #16]
	bl	parse_tcp_options
	nop
	pop	{fp, pc}
.L15:
	.align	2
.L14:
	.word	hdr
	.word	meta
	.size	parse_mss, .-parse_mss
	.align	2
	.global	parse_nop
	.syntax unified
	.arm
	.fpu softvfp
	.type	parse_nop, %function
parse_nop:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r3, .L17
	ldr	r3, [r3, #104]
	ldr	r2, .L17
	add	r3, r3, #52
	lsl	r3, r3, #1
	add	r3, r2, r3
	ldrb	r2, [r3, #4]
	orr	r2, r2, #1
	strb	r2, [r3, #4]
	ldr	r3, .L17
	ldr	r3, [r3, #104]
	add	r3, r3, #1
	ldr	r2, .L17
	str	r3, [r2, #104]
	ldr	r3, .L17+4
	ldrb	r3, [r3, #16]	@ zero_extendqisi2
	sub	r3, r3, #1
	and	r2, r3, #255
	ldr	r3, .L17+4
	strb	r2, [r3, #16]
	bl	parse_tcp_options
	nop
	pop	{fp, pc}
.L18:
	.align	2
.L17:
	.word	hdr
	.word	meta
	.size	parse_nop, .-parse_nop
	.align	2
	.global	parse_sack
	.syntax unified
	.arm
	.fpu softvfp
	.type	parse_sack, %function
parse_sack:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L20
	ldrb	r3, [r2, #52]
	orr	r3, r3, #1
	strb	r3, [r2, #52]
	ldr	r3, .L20+4
	ldrb	r3, [r3, #16]	@ zero_extendqisi2
	sub	r3, r3, #2
	and	r2, r3, #255
	ldr	r3, .L20+4
	strb	r2, [r3, #16]
	bl	parse_tcp_options
	nop
	pop	{fp, pc}
.L21:
	.align	2
.L20:
	.word	hdr
	.word	meta
	.size	parse_sack, .-parse_sack
	.align	2
	.global	parse_tcp
	.syntax unified
	.arm
	.fpu softvfp
	.type	parse_tcp, %function
parse_tcp:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L23
	ldrb	r3, [r2, #76]
	orr	r3, r3, #1
	strb	r3, [r2, #76]
	ldr	r3, .L23+4
	mov	r2, #0
	strb	r2, [r3, #16]
	ldr	r3, .L23
	ldrb	r3, [r3, #93]	@ zero_extendqisi2
	bic	r3, r3, #127
	and	r3, r3, #255
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	klee_assume
	bl	accept
	nop
	pop	{fp, pc}
.L24:
	.align	2
.L23:
	.word	hdr
	.word	meta
	.size	parse_tcp, .-parse_tcp
	.section	.rodata
	.align	2
.LC0:
	.ascii	"tmp_0\000"
	.text
	.align	2
	.global	parse_tcp_options
	.syntax unified
	.arm
	.fpu softvfp
	.type	parse_tcp_options, %function
parse_tcp_options:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L34
	mov	r1, #1
	ldr	r0, .L34+4
	bl	klee_make_symbolic
	ldr	r3, .L34+8
	ldrb	r3, [r3, #16]	@ zero_extendqisi2
	cmp	r3, #0
	bne	.L26
	bl	accept
	b	.L33
.L26:
	ldr	r3, .L34+4
	ldrb	r3, [r3]	@ zero_extendqisi2
	cmp	r3, #0
	bne	.L28
	bl	parse_end
	b	.L33
.L28:
	ldr	r3, .L34+4
	ldrb	r3, [r3]	@ zero_extendqisi2
	cmp	r3, #1
	bne	.L29
	bl	parse_nop
	b	.L33
.L29:
	ldr	r3, .L34+4
	ldrb	r3, [r3]	@ zero_extendqisi2
	cmp	r3, #2
	bne	.L30
	bl	parse_mss
	b	.L33
.L30:
	ldr	r3, .L34+4
	ldrb	r3, [r3]	@ zero_extendqisi2
	cmp	r3, #3
	bne	.L31
	bl	parse_wscale
	b	.L33
.L31:
	ldr	r3, .L34+4
	ldrb	r3, [r3]	@ zero_extendqisi2
	cmp	r3, #4
	bne	.L32
	bl	parse_sack
	b	.L33
.L32:
	ldr	r3, .L34+4
	ldrb	r3, [r3]	@ zero_extendqisi2
	cmp	r3, #8
	bne	.L33
	bl	parse_ts
.L33:
	nop
	pop	{fp, pc}
.L35:
	.align	2
.L34:
	.word	.LC0
	.word	tmp_0
	.word	meta
	.size	parse_tcp_options, .-parse_tcp_options
	.align	2
	.global	parse_ts
	.syntax unified
	.arm
	.fpu softvfp
	.type	parse_ts, %function
parse_ts:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L37
	ldrb	r3, [r2, #56]
	orr	r3, r3, #1
	strb	r3, [r2, #56]
	ldr	r3, .L37+4
	ldrb	r3, [r3, #16]	@ zero_extendqisi2
	sub	r3, r3, #10
	and	r2, r3, #255
	ldr	r3, .L37+4
	strb	r2, [r3, #16]
	bl	parse_tcp_options
	nop
	pop	{fp, pc}
.L38:
	.align	2
.L37:
	.word	hdr
	.word	meta
	.size	parse_ts, .-parse_ts
	.align	2
	.global	parse_wscale
	.syntax unified
	.arm
	.fpu softvfp
	.type	parse_wscale, %function
parse_wscale:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L40
	ldrb	r3, [r2, #72]
	orr	r3, r3, #1
	strb	r3, [r2, #72]
	ldr	r3, .L40+4
	ldrb	r3, [r3, #16]	@ zero_extendqisi2
	sub	r3, r3, #3
	and	r2, r3, #255
	ldr	r3, .L40+4
	strb	r2, [r3, #16]
	bl	parse_tcp_options
	nop
	pop	{fp, pc}
.L41:
	.align	2
.L40:
	.word	hdr
	.word	meta
	.size	parse_wscale, .-parse_wscale
	.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
	bl	parse_ethernet
	nop
	pop	{fp, pc}
	.size	start, .-start
	.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, .L45
	mov	r2, #0
	str	r2, [r3]
	bl	end_assertions
	mov	r0, #0
	bl	exit
.L46:
	.align	2
.L45:
	.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, .L48
	mov	r1, #120
	ldr	r0, .L48+4
	bl	klee_make_symbolic
	ldr	r2, .L48+8
	mov	r1, #64
	ldr	r0, .L48+12
	bl	klee_make_symbolic
	ldr	r2, .L48+16
	mov	r1, #64
	ldr	r0, .L48+20
	bl	klee_make_symbolic
	bl	start
	nop
	pop	{fp, pc}
.L49:
	.align	2
.L48:
	.word	.LC1
	.word	hdr
	.word	.LC2
	.word	meta
	.word	.LC3
	.word	standard_metadata
	.size	ParserImpl, .-ParserImpl
	.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	send_frame_453170
	nop
	pop	{fp, pc}
	.size	egress, .-egress
	.align	2
	.global	NoAction_0_453126
	.syntax unified
	.arm
	.fpu softvfp
	.type	NoAction_0_453126, %function
NoAction_0_453126:
	@ 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, .L52
	ldr	r2, .L52+4
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L53:
	.align	2
.L52:
	.word	action_run
	.word	453126
	.size	NoAction_0_453126, .-NoAction_0_453126
	.section	.rodata
	.align	2
.LC4:
	.ascii	"smac\000"
	.align	2
.LC5:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	rewrite_mac_0_453136
	.syntax unified
	.arm
	.fpu softvfp
	.type	rewrite_mac_0_453136, %function
rewrite_mac_0_453136:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, fp, lr}
	add	fp, sp, #12
	sub	sp, sp, #16
	ldr	r3, .L56
	ldr	r3, [r3]
	str	r3, [fp, #-16]
	mov	r3,#0
	ldr	r3, .L56+4
	ldr	r2, .L56+8
	str	r2, [r3]
	sub	r3, fp, #28
	ldr	r2, .L56+12
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #28
	ldmia	r3, {r2-r3}
	mvn	r0, #0
	ldr	r1, .L56+16
	and	r4, r2, r0
	and	r5, r3, r1
	ldr	r2, .L56+20
	mov	r3, r4
	str	r3, [r2, #8]
	ldrh	r3, [r2, #12]	@ movhi
	lsl	r1, r5, #16
	lsr	r3, r3, #16
	orr	r3, r3, r1
	ror	r3, r3, #16
	strh	r3, [r2, #12]	@ movhi
	nop
	ldr	r3, .L56
	ldr	r2, [r3]
	ldr	r3, [fp, #-16]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L55
	bl	__stack_chk_fail
.L55:
	sub	sp, fp, #12
	@ sp needed
	pop	{r4, r5, fp, pc}
.L57:
	.align	2
.L56:
	.word	.LC5
	.word	action_run
	.word	453136
	.word	.LC4
	.word	65535
	.word	hdr
	.size	rewrite_mac_0_453136, .-rewrite_mac_0_453136
	.align	2
	.global	_drop_0_453154
	.syntax unified
	.arm
	.fpu softvfp
	.type	_drop_0_453154, %function
_drop_0_453154:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r3, .L59
	ldr	r2, .L59+4
	str	r2, [r3]
	bl	mark_to_drop
	nop
	pop	{fp, pc}
.L60:
	.align	2
.L59:
	.word	action_run
	.word	453154
	.size	_drop_0_453154, .-_drop_0_453154
	.align	2
	.global	send_frame_453170
	.syntax unified
	.arm
	.fpu softvfp
	.type	send_frame_453170, %function
send_frame_453170:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	bl	_drop_0_453154
	nop
	pop	{fp, pc}
	.size	send_frame_453170, .-send_frame_453170
	.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, .L75
	ldrb	r3, [r3, #26]	@ zero_extendqisi2
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r2, r3
	ldr	r3, .L75+4
	str	r2, [r3]
	ldr	r3, .L75
	ldrh	r1, [r3, #80]
	mov	r3, r1
	mov	r2, r3
	mov	r3, #0
	ldr	r1, .L75+8
	stm	r1, {r2-r3}
	ldr	r3, .L75
	ldr	r3, [r3, #84]
	mov	r2, r3
	mov	r3, #0
	ldr	r1, .L75+12
	stm	r1, {r2-r3}
	ldr	r3, .L75
	ldr	r3, [r3, #88]
	mov	r2, r3
	mov	r3, #0
	ldr	r1, .L75+16
	stm	r1, {r2-r3}
	ldr	r3, .L75
	ldrb	r3, [r3, #92]
	and	r3, r3, #15
	and	r3, r3, #255
	and	r2, r3, #255
	mov	r3, #0
	ldr	r1, .L75+20
	stm	r1, {r2-r3}
	ldr	r3, .L75
	ldrb	r3, [r3, #92]	@ zero_extendqisi2
	lsr	r3, r3, #4
	and	r3, r3, #7
	and	r3, r3, #255
	and	r2, r3, #255
	mov	r3, #0
	ldr	r1, .L75+24
	stm	r1, {r2-r3}
	ldr	r3, .L75
	ldrb	r3, [r3, #93]
	and	r3, r3, #7
	and	r3, r3, #255
	and	r2, r3, #255
	mov	r3, #0
	ldr	r1, .L75+28
	stm	r1, {r2-r3}
	ldr	r3, .L75
	ldrb	r3, [r3, #93]	@ zero_extendqisi2
	lsr	r3, r3, #3
	and	r3, r3, #1
	and	r3, r3, #255
	and	r2, r3, #255
	mov	r3, #0
	ldr	r1, .L75+32
	stm	r1, {r2-r3}
	ldr	r3, .L75
	ldrb	r3, [r3, #93]	@ zero_extendqisi2
	lsr	r3, r3, #4
	and	r3, r3, #1
	and	r3, r3, #255
	and	r2, r3, #255
	mov	r3, #0
	ldr	r1, .L75+36
	stm	r1, {r2-r3}
	ldr	r3, .L75
	ldrb	r3, [r3, #93]	@ zero_extendqisi2
	lsr	r3, r3, #5
	and	r3, r3, #1
	and	r3, r3, #255
	and	r2, r3, #255
	mov	r3, #0
	ldr	r1, .L75+40
	stm	r1, {r2-r3}
	ldr	r3, .L75
	ldrb	r3, [r3, #93]	@ zero_extendqisi2
	lsr	r3, r3, #6
	and	r3, r3, #1
	and	r3, r3, #255
	and	r2, r3, #255
	mov	r3, #0
	ldr	r1, .L75+44
	stm	r1, {r2-r3}
	ldr	r3, .L75
	ldrb	r3, [r3, #93]	@ zero_extendqisi2
	lsr	r3, r3, #7
	and	r3, r3, #255
	and	r2, r3, #255
	mov	r3, #0
	ldr	r1, .L75+48
	stm	r1, {r2-r3}
	ldr	r3, .L75
	ldrb	r3, [r3, #94]
	and	r3, r3, #1
	and	r3, r3, #255
	and	r2, r3, #255
	mov	r3, #0
	ldr	r1, .L75+52
	stm	r1, {r2-r3}
	ldr	r3, .L75
	ldrh	r1, [r3, #96]
	mov	r3, r1
	mov	r2, r3
	mov	r3, #0
	ldr	r1, .L75+56
	stm	r1, {r2-r3}
	ldr	r3, .L75
	ldrh	r1, [r3, #98]
	mov	r3, r1
	mov	r2, r3
	mov	r3, #0
	ldr	r1, .L75+60
	stm	r1, {r2-r3}
	ldr	r3, .L75
	ldrh	r1, [r3, #100]
	mov	r3, r1
	mov	r2, r3
	mov	r3, #0
	ldr	r1, .L75+64
	stm	r1, {r2-r3}
	ldr	r3, .L75
	ldrb	r3, [r3, #27]	@ zero_extendqisi2
	cmp	r3, #6
	bne	.L63
	ldr	r3, .L75
	ldr	r2, [r3, #32]
	ldr	r3, .L75
	ldr	r3, [r3, #36]
	cmp	r2, r3
	bls	.L64
	bl	lookup_455401
	b	.L65
.L64:
	bl	lookup_reverse_455435
.L65:
	ldr	r3, .L75
	ldrb	r3, [r3, #93]	@ zero_extendqisi2
	bic	r3, r3, #127
	and	r3, r3, #255
	cmp	r3, #0
	beq	.L66
	ldr	r3, .L75
	ldrb	r3, [r3, #93]	@ zero_extendqisi2
	and	r3, r3, #16
	and	r3, r3, #255
	cmp	r3, #0
	bne	.L66
	bl	init_455308
	b	.L67
.L66:
	bl	direction_454977
.L67:
	ldr	r3, .L75
	ldr	r2, [r3, #32]
	ldr	r3, .L75+68
	ldr	r3, [r3, #36]
	cmp	r2, r3
	bne	.L68
	ldr	r3, .L75
	ldr	r2, [r3, #84]
	ldr	r3, .L75+68
	ldr	r3, [r3, #40]
	cmp	r2, r3
	bls	.L69
	bl	flow_sent_455181
	ldr	r3, .L75+68
	ldr	r3, [r3, #48]
	cmp	r3, #0
	bne	.L70
	bl	sample_rtt_sent_455503
.L70:
	ldr	r3, .L75+68
	ldr	r2, [r3, #24]
	ldr	r3, .L75+68
	ldr	r3, [r3, #56]
	cmp	r2, r3
	bls	.L63
	bl	increase_cwnd_455274
	b	.L63
.L69:
	ldr	r3, .L75+68
	ldr	r3, [r3, #60]
	cmp	r3, #3
	bne	.L71
	bl	flow_retx_3dupack_455113
	b	.L63
.L71:
	bl	flow_retx_timeout_455147
	b	.L63
.L68:
	ldr	r3, .L75
	ldr	r2, [r3, #36]
	ldr	r3, .L75+68
	ldr	r3, [r3, #36]
	cmp	r2, r3
	bne	.L72
	ldr	r3, .L75
	ldr	r2, [r3, #88]
	ldr	r3, .L75+68
	ldr	r3, [r3, #44]
	cmp	r2, r3
	bls	.L73
	bl	flow_rcvd_455079
	ldr	r3, .L75
	ldr	r2, [r3, #88]
	ldr	r3, .L75+68
	ldr	r3, [r3, #48]
	cmp	r2, r3
	bcc	.L63
	ldr	r3, .L75+68
	ldr	r3, [r3, #48]
	cmp	r3, #0
	beq	.L63
	ldr	r3, .L75+68
	ldr	r3, [r3, #52]
	cmp	r3, #0
	bne	.L74
	bl	first_rtt_sample_455011
	b	.L63
.L74:
	bl	sample_rtt_rcvd_455469
	b	.L63
.L73:
	bl	flow_dupack_455045
	b	.L63
.L72:
	bl	debug_454943
.L63:
	bl	ipv4_lpm_455342
	bl	forward_455215
	nop
	pop	{fp, pc}
.L76:
	.align	2
.L75:
	.word	hdr
	.word	hdr_ipv4_ttl_eq_0_455545
	.word	constant_hdr_tcp_dstPort_455552
	.word	constant_hdr_tcp_seqNo_455559
	.word	constant_hdr_tcp_ackNo_455566
	.word	constant_hdr_tcp_dataOffset_455573
	.word	constant_hdr_tcp_res_455580
	.word	constant_hdr_tcp_ecn_455587
	.word	constant_hdr_tcp_urg_455594
	.word	constant_hdr_tcp_ack_455601
	.word	constant_hdr_tcp_push_455608
	.word	constant_hdr_tcp_rst_455615
	.word	constant_hdr_tcp_syn_455622
	.word	constant_hdr_tcp_fin_455629
	.word	constant_hdr_tcp_window_455636
	.word	constant_hdr_tcp_checksum_455643
	.word	constant_hdr_tcp_urgentPtr_455650
	.word	meta
	.size	ingress, .-ingress
	.align	2
	.global	NoAction_1_453262
	.syntax unified
	.arm
	.fpu softvfp
	.type	NoAction_1_453262, %function
NoAction_1_453262:
	@ 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	453262
	.size	NoAction_1_453262, .-NoAction_1_453262
	.align	2
	.global	NoAction_19_453263
	.syntax unified
	.arm
	.fpu softvfp
	.type	NoAction_19_453263, %function
NoAction_19_453263:
	@ 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, .L81
	ldr	r2, .L81+4
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L82:
	.align	2
.L81:
	.word	action_run
	.word	453263
	.size	NoAction_19_453263, .-NoAction_19_453263
	.align	2
	.global	NoAction_20_453264
	.syntax unified
	.arm
	.fpu softvfp
	.type	NoAction_20_453264, %function
NoAction_20_453264:
	@ 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, .L84
	ldr	r2, .L84+4
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L85:
	.align	2
.L84:
	.word	action_run
	.word	453264
	.size	NoAction_20_453264, .-NoAction_20_453264
	.align	2
	.global	NoAction_21_453265
	.syntax unified
	.arm
	.fpu softvfp
	.type	NoAction_21_453265, %function
NoAction_21_453265:
	@ 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, .L87
	ldr	r2, .L87+4
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L88:
	.align	2
.L87:
	.word	action_run
	.word	453265
	.size	NoAction_21_453265, .-NoAction_21_453265
	.align	2
	.global	NoAction_22_453266
	.syntax unified
	.arm
	.fpu softvfp
	.type	NoAction_22_453266, %function
NoAction_22_453266:
	@ 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, .L90
	ldr	r2, .L90+4
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L91:
	.align	2
.L90:
	.word	action_run
	.word	453266
	.size	NoAction_22_453266, .-NoAction_22_453266
	.align	2
	.global	NoAction_23_453267
	.syntax unified
	.arm
	.fpu softvfp
	.type	NoAction_23_453267, %function
NoAction_23_453267:
	@ 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, .L93
	ldr	r2, .L93+4
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L94:
	.align	2
.L93:
	.word	action_run
	.word	453267
	.size	NoAction_23_453267, .-NoAction_23_453267
	.align	2
	.global	NoAction_24_453268
	.syntax unified
	.arm
	.fpu softvfp
	.type	NoAction_24_453268, %function
NoAction_24_453268:
	@ 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, .L96
	ldr	r2, .L96+4
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L97:
	.align	2
.L96:
	.word	action_run
	.word	453268
	.size	NoAction_24_453268, .-NoAction_24_453268
	.align	2
	.global	NoAction_25_453269
	.syntax unified
	.arm
	.fpu softvfp
	.type	NoAction_25_453269, %function
NoAction_25_453269:
	@ 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, .L99
	ldr	r2, .L99+4
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L100:
	.align	2
.L99:
	.word	action_run
	.word	453269
	.size	NoAction_25_453269, .-NoAction_25_453269
	.align	2
	.global	NoAction_26_453270
	.syntax unified
	.arm
	.fpu softvfp
	.type	NoAction_26_453270, %function
NoAction_26_453270:
	@ 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, .L102
	ldr	r2, .L102+4
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L103:
	.align	2
.L102:
	.word	action_run
	.word	453270
	.size	NoAction_26_453270, .-NoAction_26_453270
	.align	2
	.global	NoAction_27_453271
	.syntax unified
	.arm
	.fpu softvfp
	.type	NoAction_27_453271, %function
NoAction_27_453271:
	@ 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, .L105
	ldr	r2, .L105+4
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L106:
	.align	2
.L105:
	.word	action_run
	.word	453271
	.size	NoAction_27_453271, .-NoAction_27_453271
	.align	2
	.global	NoAction_28_453272
	.syntax unified
	.arm
	.fpu softvfp
	.type	NoAction_28_453272, %function
NoAction_28_453272:
	@ 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, .L108
	ldr	r2, .L108+4
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L109:
	.align	2
.L108:
	.word	action_run
	.word	453272
	.size	NoAction_28_453272, .-NoAction_28_453272
	.align	2
	.global	NoAction_29_453273
	.syntax unified
	.arm
	.fpu softvfp
	.type	NoAction_29_453273, %function
NoAction_29_453273:
	@ 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, .L111
	ldr	r2, .L111+4
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L112:
	.align	2
.L111:
	.word	action_run
	.word	453273
	.size	NoAction_29_453273, .-NoAction_29_453273
	.align	2
	.global	NoAction_30_453274
	.syntax unified
	.arm
	.fpu softvfp
	.type	NoAction_30_453274, %function
NoAction_30_453274:
	@ 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, .L114
	ldr	r2, .L114+4
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L115:
	.align	2
.L114:
	.word	action_run
	.word	453274
	.size	NoAction_30_453274, .-NoAction_30_453274
	.align	2
	.global	NoAction_31_453275
	.syntax unified
	.arm
	.fpu softvfp
	.type	NoAction_31_453275, %function
NoAction_31_453275:
	@ 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, .L117
	ldr	r2, .L117+4
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L118:
	.align	2
.L117:
	.word	action_run
	.word	453275
	.size	NoAction_31_453275, .-NoAction_31_453275
	.align	2
	.global	NoAction_32_453276
	.syntax unified
	.arm
	.fpu softvfp
	.type	NoAction_32_453276, %function
NoAction_32_453276:
	@ 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, .L120
	ldr	r2, .L120+4
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L121:
	.align	2
.L120:
	.word	action_run
	.word	453276
	.size	NoAction_32_453276, .-NoAction_32_453276
	.align	2
	.global	NoAction_33_453277
	.syntax unified
	.arm
	.fpu softvfp
	.type	NoAction_33_453277, %function
NoAction_33_453277:
	@ 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, .L123
	ldr	r2, .L123+4
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L124:
	.align	2
.L123:
	.word	action_run
	.word	453277
	.size	NoAction_33_453277, .-NoAction_33_453277
	.align	2
	.global	save_source_IP_0_453564
	.syntax unified
	.arm
	.fpu softvfp
	.type	save_source_IP_0_453564, %function
save_source_IP_0_453564:
	@ 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, .L126
	ldr	r2, .L126+4
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L127:
	.align	2
.L126:
	.word	action_run
	.word	453564
	.size	save_source_IP_0_453564, .-save_source_IP_0_453564
	.section	.rodata
	.align	2
.LC6:
	.ascii	"t84710467_540e_4c78_b9f4_a4a8cde883cd\000"
	.align	2
.LC7:
	.ascii	"tc2657781_89c5_4494_8e21_499aa8caec4b\000"
	.align	2
.LC8:
	.ascii	"t397c4235_0d25_461d_a146_a5548f85870c\000"
	.align	2
.LC9:
	.ascii	"t33d4b0dc_4a79_4d9a_8866_01d06bbeaa6d\000"
	.align	2
.LC10:
	.ascii	"t0042b193_6254_498c_9290_8b199fb35363\000"
	.align	2
.LC11:
	.ascii	"tdd4becaa_adba_48c2_b312_88bc177dfe51\000"
	.align	2
.LC12:
	.ascii	"t543c8d31_64cb_4a09_aedb_760122b697d0\000"
	.align	2
.LC13:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	get_sender_IP_0_453622
	.syntax unified
	.arm
	.fpu softvfp
	.type	get_sender_IP_0_453622, %function
get_sender_IP_0_453622:
	@ args = 0, pretend = 0, frame = 64
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #64
	ldr	r3, .L130
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	ldr	r3, .L130+4
	ldr	r2, .L130+8
	str	r2, [r3]
	ldr	r3, .L130+12
	ldrb	r3, [r3, #93]	@ zero_extendqisi2
	and	r3, r3, #16
	and	r3, r3, #255
	cmp	r3, #0
	movne	r3, #1
	moveq	r3, #0
	and	r3, r3, #255
	mov	r2, r3
	ldr	r3, .L130+16
	str	r2, [r3]
	ldr	r3, .L130+20
	mov	r2, #1
	str	r2, [r3]
	sub	r3, fp, #68
	ldr	r2, .L130+24
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #68
	ldmia	r3, {r2-r3}
	ldr	r3, .L130+28
	str	r2, [r3, #36]
	sub	r3, fp, #60
	ldr	r2, .L130+32
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #60
	ldmia	r3, {r2-r3}
	ldr	r3, .L130+28
	str	r2, [r3, #40]
	sub	r3, fp, #52
	ldr	r2, .L130+36
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #52
	ldmia	r3, {r2-r3}
	ldr	r3, .L130+28
	str	r2, [r3, #44]
	sub	r3, fp, #44
	ldr	r2, .L130+40
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #44
	ldmia	r3, {r2-r3}
	ldr	r3, .L130+28
	str	r2, [r3, #48]
	sub	r3, fp, #36
	ldr	r2, .L130+44
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	ldr	r3, .L130+28
	str	r2, [r3, #52]
	sub	r3, fp, #28
	ldr	r2, .L130+48
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #28
	ldmia	r3, {r2-r3}
	ldr	r3, .L130+28
	str	r2, [r3, #56]
	sub	r3, fp, #20
	ldr	r2, .L130+52
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #20
	ldmia	r3, {r2-r3}
	ldr	r3, .L130+28
	str	r2, [r3, #60]
	nop
	ldr	r3, .L130
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L129
	bl	__stack_chk_fail
.L129:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L131:
	.align	2
.L130:
	.word	.LC13
	.word	action_run
	.word	453622
	.word	hdr
	.word	hdr_tcp_ack_453638
	.word	traverse_453638
	.word	.LC6
	.word	meta
	.word	.LC7
	.word	.LC8
	.word	.LC9
	.word	.LC10
	.word	.LC11
	.word	.LC12
	.size	get_sender_IP_0_453622, .-get_sender_IP_0_453622
	.section	.rodata
	.align	2
.LC14:
	.ascii	"t8fd99da7_2390_4faa_b72e_1c8d2fe8ec76\000"
	.align	2
.LC15:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	use_sample_rtt_first_0_458416
	.syntax unified
	.arm
	.fpu softvfp
	.type	use_sample_rtt_first_0_458416, %function
use_sample_rtt_first_0_458416:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #16
	ldr	r3, .L134
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	ldr	r3, .L134+4
	ldr	r2, .L134+8
	str	r2, [r3]
	sub	r3, fp, #20
	ldr	r2, .L134+12
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #20
	ldmia	r3, {r2-r3}
	ldr	r3, .L134+16
	str	r2, [r3, #24]
	ldr	r1, .L134+16
	ldr	r2, [r1]
	ldrh	r1, [r1, #4]
	mov	r3, r1
	ldr	r3, .L134+16
	str	r2, [r3, #28]
	ldr	r1, .L134+16
	ldr	r2, [r1]
	ldrh	r1, [r1, #4]
	mov	r3, r1
	ldr	r3, .L134+16
	ldr	r3, [r3, #24]
	sub	r3, r2, r3
	ldr	r2, .L134+16
	str	r3, [r2, #28]
	nop
	ldr	r3, .L134
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L133
	bl	__stack_chk_fail
.L133:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L135:
	.align	2
.L134:
	.word	.LC15
	.word	action_run
	.word	458416
	.word	.LC14
	.word	meta
	.size	use_sample_rtt_first_0_458416, .-use_sample_rtt_first_0_458416
	.section	.rodata
	.align	2
.LC16:
	.ascii	"td57b7426_1259_40f2_b38e_53c8db694035\000"
	.align	2
.LC17:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	update_flow_dupack_0_453843
	.syntax unified
	.arm
	.fpu softvfp
	.type	update_flow_dupack_0_453843, %function
update_flow_dupack_0_453843:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #16
	ldr	r3, .L138
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	ldr	r3, .L138+4
	ldr	r2, .L138+8
	str	r2, [r3]
	sub	r3, fp, #20
	ldr	r2, .L138+12
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #20
	ldmia	r3, {r2-r3}
	ldr	r3, .L138+16
	str	r2, [r3, #24]
	ldr	r3, .L138+16
	ldr	r3, [r3, #24]
	add	r3, r3, #1
	ldr	r2, .L138+16
	str	r3, [r2, #24]
	nop
	ldr	r3, .L138
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L137
	bl	__stack_chk_fail
.L137:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L139:
	.align	2
.L138:
	.word	.LC17
	.word	action_run
	.word	453843
	.word	.LC16
	.word	meta
	.size	update_flow_dupack_0_453843, .-update_flow_dupack_0_453843
	.section	.rodata
	.align	2
.LC18:
	.ascii	"t027c3367_c295_4744_92d9_7f71fe8da4cf\000"
	.align	2
.LC19:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	update_flow_rcvd_0_453896
	.syntax unified
	.arm
	.fpu softvfp
	.type	update_flow_rcvd_0_453896, %function
update_flow_rcvd_0_453896:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #16
	ldr	r3, .L142
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	ldr	r3, .L142+4
	ldr	r2, .L142+8
	str	r2, [r3]
	sub	r3, fp, #20
	ldr	r2, .L142+12
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #20
	ldmia	r3, {r2-r3}
	ldr	r3, .L142+16
	str	r2, [r3, #24]
	ldr	r3, .L142+16
	ldr	r3, [r3, #24]
	add	r3, r3, #1
	ldr	r2, .L142+16
	str	r3, [r2, #24]
	nop
	ldr	r3, .L142
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L141
	bl	__stack_chk_fail
.L141:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L143:
	.align	2
.L142:
	.word	.LC19
	.word	action_run
	.word	453896
	.word	.LC18
	.word	meta
	.size	update_flow_rcvd_0_453896, .-update_flow_rcvd_0_453896
	.section	.rodata
	.align	2
.LC20:
	.ascii	"t6cdeb88d_183a_496b_bd1c_7545b4500045\000"
	.align	2
.LC21:
	.ascii	"t1eef1073_2268_4adb_9b9f_f0c4a478783b\000"
	.align	2
.LC22:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	update_flow_retx_3dupack_0_454011
	.syntax unified
	.arm
	.fpu softvfp
	.type	update_flow_retx_3dupack_0_454011, %function
update_flow_retx_3dupack_0_454011:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #24
	ldr	r3, .L146
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	ldr	r3, .L146+4
	ldr	r2, .L146+8
	str	r2, [r3]
	ldr	r3, .L146+12
	ldr	r3, [r3, #60]
	cmp	r3, #2
	movls	r3, #1
	movhi	r3, #0
	and	r3, r3, #255
	mov	r2, r3
	ldr	r3, .L146+16
	str	r2, [r3]
	ldr	r3, .L146+20
	mov	r2, #1
	str	r2, [r3]
	sub	r3, fp, #28
	ldr	r2, .L146+24
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #28
	ldmia	r3, {r2-r3}
	ldr	r3, .L146+12
	str	r2, [r3, #24]
	ldr	r3, .L146+12
	ldr	r3, [r3, #24]
	add	r3, r3, #1
	ldr	r2, .L146+12
	str	r3, [r2, #24]
	sub	r3, fp, #20
	ldr	r2, .L146+28
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #20
	ldmia	r3, {r2-r3}
	ldr	r3, .L146+12
	str	r2, [r3, #24]
	ldr	r3, .L146+12
	ldr	r3, [r3, #24]
	lsr	r3, r3, #1
	ldr	r2, .L146+12
	str	r3, [r2, #24]
	nop
	ldr	r3, .L146
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L145
	bl	__stack_chk_fail
.L145:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L147:
	.align	2
.L146:
	.word	.LC22
	.word	action_run
	.word	454011
	.word	meta
	.word	meta_stats_metadata_dupack_le_3_454027
	.word	traverse_454027
	.word	.LC20
	.word	.LC21
	.size	update_flow_retx_3dupack_0_454011, .-update_flow_retx_3dupack_0_454011
	.section	.rodata
	.align	2
.LC23:
	.ascii	"t7814ce3c_d0d1_42be_ac04_b1119828690e\000"
	.align	2
.LC24:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	update_flow_retx_timeout_0_454141
	.syntax unified
	.arm
	.fpu softvfp
	.type	update_flow_retx_timeout_0_454141, %function
update_flow_retx_timeout_0_454141:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #16
	ldr	r3, .L150
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	ldr	r3, .L150+4
	ldr	r2, .L150+8
	str	r2, [r3]
	sub	r3, fp, #20
	ldr	r2, .L150+12
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #20
	ldmia	r3, {r2-r3}
	ldr	r3, .L150+16
	str	r2, [r3, #24]
	ldr	r3, .L150+16
	ldr	r3, [r3, #24]
	add	r3, r3, #1
	ldr	r2, .L150+16
	str	r3, [r2, #24]
	nop
	ldr	r3, .L150
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L149
	bl	__stack_chk_fail
.L149:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L151:
	.align	2
.L150:
	.word	.LC24
	.word	action_run
	.word	454141
	.word	.LC23
	.word	meta
	.size	update_flow_retx_timeout_0_454141, .-update_flow_retx_timeout_0_454141
	.section	.rodata
	.align	2
.LC25:
	.ascii	"te1b91cfe_5d0f_4530_a884_0be722efb1a8\000"
	.align	2
.LC26:
	.ascii	"t3a4972fa_fbbd_4235_b9aa_fd47bb2f6e52\000"
	.align	2
.LC27:
	.ascii	"t5ed0309f_6b03_4d51_8a63_e7eb5084dca2\000"
	.align	2
.LC28:
	.ascii	"tc41b4e19_7e83_4d1c_b753_4eb7539bdea3\000"
	.align	2
.LC29:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	update_flow_sent_0_454233
	.syntax unified
	.arm
	.fpu softvfp
	.type	update_flow_sent_0_454233, %function
update_flow_sent_0_454233:
	@ args = 0, pretend = 0, frame = 40
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #40
	ldr	r3, .L154
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	ldr	r3, .L154+4
	ldr	r2, .L154+8
	str	r2, [r3]
	sub	r3, fp, #44
	ldr	r2, .L154+12
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #44
	ldmia	r3, {r2-r3}
	ldr	r3, .L154+16
	str	r2, [r3, #24]
	ldr	r3, .L154+16
	ldr	r3, [r3, #24]
	add	r3, r3, #1
	ldr	r2, .L154+16
	str	r3, [r2, #24]
	ldr	r1, .L154+16
	ldr	r2, [r1]
	ldrh	r1, [r1, #4]
	mov	r3, r1
	ldr	r3, .L154+16
	str	r2, [r3, #24]
	sub	r3, fp, #36
	ldr	r2, .L154+20
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	ldr	r3, .L154+16
	str	r2, [r3, #28]
	ldr	r3, .L154+16
	ldr	r2, [r3, #24]
	ldr	r3, .L154+16
	ldr	r3, [r3, #28]
	sub	r3, r2, r3
	ldr	r2, .L154+16
	str	r3, [r2, #24]
	sub	r3, fp, #28
	ldr	r2, .L154+24
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #28
	ldmia	r3, {r2-r3}
	ldr	r3, .L154+16
	str	r2, [r3, #24]
	sub	r3, fp, #20
	ldr	r2, .L154+28
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #20
	ldmia	r3, {r2-r3}
	ldr	r3, .L154+16
	str	r2, [r3, #28]
	ldr	r3, .L154+16
	ldr	r2, [r3, #24]
	ldr	r3, .L154+16
	ldr	r3, [r3, #28]
	sub	r3, r2, r3
	ldr	r2, .L154+16
	str	r3, [r2, #24]
	nop
	ldr	r3, .L154
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L153
	bl	__stack_chk_fail
.L153:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L155:
	.align	2
.L154:
	.word	.LC29
	.word	action_run
	.word	454233
	.word	.LC25
	.word	meta
	.word	.LC26
	.word	.LC27
	.word	.LC28
	.size	update_flow_sent_0_454233, .-update_flow_sent_0_454233
	.section	.rodata
	.align	2
.LC30:
	.ascii	"dmac\000"
	.align	2
.LC31:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	set_dmac_0_454420
	.syntax unified
	.arm
	.fpu softvfp
	.type	set_dmac_0_454420, %function
set_dmac_0_454420:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, fp, lr}
	add	fp, sp, #12
	sub	sp, sp, #16
	ldr	r3, .L158
	ldr	r3, [r3]
	str	r3, [fp, #-16]
	mov	r3,#0
	ldr	r3, .L158+4
	ldr	r2, .L158+8
	str	r2, [r3]
	sub	r3, fp, #28
	ldr	r2, .L158+12
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #28
	ldmia	r3, {r2-r3}
	mvn	r0, #0
	ldr	r1, .L158+16
	and	r4, r2, r0
	and	r5, r3, r1
	ldr	r3, .L158+20
	bic	r2, r4, #-2147483648
	lsl	r2, r2, #1
	ldr	r1, [r3]
	and	r1, r1, #1
	orr	r2, r1, r2
	str	r2, [r3]
	lsr	r2, r4, #31
	and	r0, r2, #1
	ldrb	r2, [r3, #4]
	bic	r2, r2, #1
	mov	r1, r2
	mov	r2, r0
	orr	r2, r1, r2
	strb	r2, [r3, #4]
	ldr	r1, [r3, #4]
	ldr	r2, .L158+16
	and	r0, r5, r2
	lsl	r2, r2, #1
	bic	r2, r1, r2
	lsl	r0, r0, #1
	orr	r1, r0, r2
	str	r1, [r3, #4]
	nop
	ldr	r3, .L158
	ldr	r2, [r3]
	ldr	r3, [fp, #-16]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L157
	bl	__stack_chk_fail
.L157:
	sub	sp, fp, #12
	@ sp needed
	pop	{r4, r5, fp, pc}
.L159:
	.align	2
.L158:
	.word	.LC31
	.word	action_run
	.word	454420
	.word	.LC30
	.word	65535
	.word	hdr
	.size	set_dmac_0_454420, .-set_dmac_0_454420
	.align	2
	.global	_drop_1_454438
	.syntax unified
	.arm
	.fpu softvfp
	.type	_drop_1_454438, %function
_drop_1_454438:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r3, .L161
	ldr	r2, .L161+4
	str	r2, [r3]
	bl	mark_to_drop
	nop
	pop	{fp, pc}
.L162:
	.align	2
.L161:
	.word	action_run
	.word	454438
	.size	_drop_1_454438, .-_drop_1_454438
	.align	2
	.global	_drop_4_454454
	.syntax unified
	.arm
	.fpu softvfp
	.type	_drop_4_454454, %function
_drop_4_454454:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r3, .L164
	ldr	r2, .L164+4
	str	r2, [r3]
	bl	mark_to_drop
	nop
	pop	{fp, pc}
.L165:
	.align	2
.L164:
	.word	action_run
	.word	454454
	.size	_drop_4_454454, .-_drop_4_454454
	.align	2
	.global	increase_mincwnd_0_454461
	.syntax unified
	.arm
	.fpu softvfp
	.type	increase_mincwnd_0_454461, %function
increase_mincwnd_0_454461:
	@ 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, .L167
	ldr	r2, .L167+4
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L168:
	.align	2
.L167:
	.word	action_run
	.word	454461
	.size	increase_mincwnd_0_454461, .-increase_mincwnd_0_454461
	.section	.rodata
	.align	2
.LC32:
	.ascii	"tc9585c7b_790e_494a_9f60_75e1b3890aab\000"
	.align	2
.LC33:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	record_IP_0_454487
	.syntax unified
	.arm
	.fpu softvfp
	.type	record_IP_0_454487, %function
record_IP_0_454487:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #16
	ldr	r3, .L171
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	ldr	r3, .L171+4
	ldr	r2, .L171+8
	str	r2, [r3]
	sub	r3, fp, #20
	ldr	r2, .L171+12
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #20
	ldmia	r3, {r2-r3}
	ldr	r3, .L171+16
	str	r2, [r3, #36]
	nop
	ldr	r3, .L171
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L170
	bl	__stack_chk_fail
.L170:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L172:
	.align	2
.L171:
	.word	.LC33
	.word	action_run
	.word	454487
	.word	.LC32
	.word	meta
	.size	record_IP_0_454487, .-record_IP_0_454487
	.section	.rodata
	.align	2
.LC34:
	.ascii	"nhop_ipv4\000"
	.align	2
.LC35:
	.ascii	"port\000"
	.align	2
.LC36:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	set_nhop_0_454574
	.syntax unified
	.arm
	.fpu softvfp
	.type	set_nhop_0_454574, %function
set_nhop_0_454574:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #16
	ldr	r3, .L175
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	ldr	r3, .L175+4
	ldr	r2, .L175+8
	str	r2, [r3]
	sub	r3, fp, #16
	ldr	r2, .L175+12
	mov	r1, #4
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #12
	ldr	r2, .L175+16
	mov	r1, #4
	mov	r0, r3
	bl	klee_make_symbolic
	ldr	r3, [fp, #-16]
	ldr	r2, .L175+20
	str	r3, [r2, #20]
	ldr	r3, [fp, #-12]
	lsl	r3, r3, #23
	lsr	r3, r3, #23
	lsl	r3, r3, #16
	lsr	r1, r3, #16
	ldr	r0, .L175+24
	ldr	r2, [r0]
	ldr	r3, .L175+28
	and	r1, r1, r3
	lsl	r3, r3, #9
	bic	r3, r2, r3
	lsl	r1, r1, #9
	orr	r2, r1, r3
	str	r2, [r0]
	ldr	r3, .L175+32
	ldrb	r3, [r3, #26]	@ zero_extendqisi2
	sub	r3, r3, #1
	and	r2, r3, #255
	ldr	r3, .L175+32
	strb	r2, [r3, #26]
	nop
	ldr	r3, .L175
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L174
	bl	__stack_chk_fail
.L174:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L176:
	.align	2
.L175:
	.word	.LC36
	.word	action_run
	.word	454574
	.word	.LC34
	.word	.LC35
	.word	meta
	.word	standard_metadata
	.word	511
	.word	hdr
	.size	set_nhop_0_454574, .-set_nhop_0_454574
	.section	.rodata
	.align	2
.LC37:
	.ascii	"t12faf59b_7eed_401f_8b88_85a14fdc44c3\000"
	.align	2
.LC38:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	lookup_flow_map_0_454610
	.syntax unified
	.arm
	.fpu softvfp
	.type	lookup_flow_map_0_454610, %function
lookup_flow_map_0_454610:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #16
	ldr	r3, .L179
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	ldr	r3, .L179+4
	ldr	r2, .L179+8
	str	r2, [r3]
	sub	r3, fp, #20
	ldr	r2, .L179+12
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #20
	ldmia	r3, {r2-r3}
	mov	r3, r2
	and	r3, r3, #3
	and	r1, r3, #255
	ldr	r2, .L179+16
	ldrb	r3, [r2, #32]
	and	r1, r1, #3
	bic	r3, r3, #3
	orr	r3, r1, r3
	strb	r3, [r2, #32]
	nop
	ldr	r3, .L179
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L178
	bl	__stack_chk_fail
.L178:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L180:
	.align	2
.L179:
	.word	.LC38
	.word	action_run
	.word	454610
	.word	.LC37
	.word	meta
	.size	lookup_flow_map_0_454610, .-lookup_flow_map_0_454610
	.section	.rodata
	.align	2
.LC39:
	.ascii	"t4e5dad2d_c703_4505_91bd_095317cef223\000"
	.align	2
.LC40:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	lookup_flow_map_reverse_0_454672
	.syntax unified
	.arm
	.fpu softvfp
	.type	lookup_flow_map_reverse_0_454672, %function
lookup_flow_map_reverse_0_454672:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #16
	ldr	r3, .L183
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	ldr	r3, .L183+4
	ldr	r2, .L183+8
	str	r2, [r3]
	sub	r3, fp, #20
	ldr	r2, .L183+12
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #20
	ldmia	r3, {r2-r3}
	mov	r3, r2
	and	r3, r3, #3
	and	r1, r3, #255
	ldr	r2, .L183+16
	ldrb	r3, [r2, #32]
	and	r1, r1, #3
	bic	r3, r3, #3
	orr	r3, r1, r3
	strb	r3, [r2, #32]
	nop
	ldr	r3, .L183
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L182
	bl	__stack_chk_fail
.L182:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L184:
	.align	2
.L183:
	.word	.LC40
	.word	action_run
	.word	454672
	.word	.LC39
	.word	meta
	.size	lookup_flow_map_reverse_0_454672, .-lookup_flow_map_reverse_0_454672
	.section	.rodata
	.align	2
.LC41:
	.ascii	"t1bc1f8cd_431f_40a1_a56a_30b3fb7aee68\000"
	.align	2
.LC42:
	.ascii	"t5cf0c290_3447_4bec_982f_ad887f31367e\000"
	.align	2
.LC43:
	.ascii	"t41623da2_e52b_4cf5_9c2d_ef3958befb03\000"
	.align	2
.LC44:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	use_sample_rtt_0_459912
	.syntax unified
	.arm
	.fpu softvfp
	.type	use_sample_rtt_0_459912, %function
use_sample_rtt_0_459912:
	@ args = 0, pretend = 0, frame = 32
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #32
	ldr	r3, .L187
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	ldr	r3, .L187+4
	ldr	r2, .L187+8
	str	r2, [r3]
	sub	r3, fp, #36
	ldr	r2, .L187+12
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	ldr	r3, .L187+16
	str	r2, [r3, #24]
	ldr	r1, .L187+16
	ldr	r2, [r1]
	ldrh	r1, [r1, #4]
	mov	r3, r1
	ldr	r3, .L187+16
	str	r2, [r3, #28]
	ldr	r1, .L187+16
	ldr	r2, [r1]
	ldrh	r1, [r1, #4]
	mov	r3, r1
	ldr	r3, .L187+16
	ldr	r3, [r3, #24]
	sub	r3, r2, r3
	ldr	r2, .L187+16
	str	r3, [r2, #28]
	sub	r3, fp, #28
	ldr	r2, .L187+20
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #28
	ldmia	r3, {r2-r3}
	ldr	r3, .L187+16
	str	r2, [r3, #24]
	ldr	r3, .L187+16
	ldr	r2, [r3, #24]
	mov	r3, r2
	lsl	r3, r3, #3
	sub	r2, r3, r2
	ldr	r3, .L187+16
	ldr	r3, [r3, #28]
	add	r3, r2, r3
	ldr	r2, .L187+16
	str	r3, [r2, #24]
	ldr	r3, .L187+16
	ldr	r3, [r3, #24]
	lsr	r3, r3, #3
	ldr	r2, .L187+16
	str	r3, [r2, #24]
	sub	r3, fp, #20
	ldr	r2, .L187+24
	mov	r1, #8
	mov	r0, r3
	bl	klee_make_symbolic
	sub	r3, fp, #20
	ldmia	r3, {r2-r3}
	ldr	r3, .L187+16
	str	r2, [r3, #24]
	ldr	r3, .L187+16
	ldr	r3, [r3, #24]
	add	r3, r3, #1
	ldr	r2, .L187+16
	str	r3, [r2, #24]
	nop
	ldr	r3, .L187
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L186
	bl	__stack_chk_fail
.L186:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L188:
	.align	2
.L187:
	.word	.LC44
	.word	action_run
	.word	459912
	.word	.LC41
	.word	meta
	.word	.LC42
	.word	.LC43
	.size	use_sample_rtt_0_459912, .-use_sample_rtt_0_459912
	.align	2
	.global	sample_new_rtt_0_454900
	.syntax unified
	.arm
	.fpu softvfp
	.type	sample_new_rtt_0_454900, %function
sample_new_rtt_0_454900:
	@ 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, .L190
	ldr	r2, .L190+4
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
.L191:
	.align	2
.L190:
	.word	action_run
	.word	454900
	.size	sample_new_rtt_0_454900, .-sample_new_rtt_0_454900
	.section	.rodata
	.align	2
.LC45:
	.ascii	"symbol\000"
	.text
	.align	2
	.global	debug_454943
	.syntax unified
	.arm
	.fpu softvfp
	.type	debug_454943, %function
debug_454943:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L195
	mov	r1, #4
	ldr	r0, .L195+4
	bl	klee_make_symbolic
	ldr	r3, .L195+4
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L193
	bl	save_source_IP_0_453564
	b	.L194
.L193:
	bl	NoAction_1_453262
	nop
.L194:
	nop
	pop	{fp, pc}
.L196:
	.align	2
.L195:
	.word	.LC45
	.word	symbol
	.size	debug_454943, .-debug_454943
	.align	2
	.global	direction_454977
	.syntax unified
	.arm
	.fpu softvfp
	.type	direction_454977, %function
direction_454977:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L200
	mov	r1, #4
	ldr	r0, .L200+4
	bl	klee_make_symbolic
	ldr	r3, .L200+4
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L198
	bl	get_sender_IP_0_453622
	b	.L199
.L198:
	bl	NoAction_19_453263
	nop
.L199:
	nop
	pop	{fp, pc}
.L201:
	.align	2
.L200:
	.word	.LC45
	.word	symbol
	.size	direction_454977, .-direction_454977
	.align	2
	.global	first_rtt_sample_455011
	.syntax unified
	.arm
	.fpu softvfp
	.type	first_rtt_sample_455011, %function
first_rtt_sample_455011:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L205
	mov	r1, #4
	ldr	r0, .L205+4
	bl	klee_make_symbolic
	ldr	r3, .L205+4
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L203
	bl	use_sample_rtt_first_0_458416
	b	.L204
.L203:
	bl	NoAction_20_453264
	nop
.L204:
	nop
	pop	{fp, pc}
.L206:
	.align	2
.L205:
	.word	.LC45
	.word	symbol
	.size	first_rtt_sample_455011, .-first_rtt_sample_455011
	.align	2
	.global	flow_dupack_455045
	.syntax unified
	.arm
	.fpu softvfp
	.type	flow_dupack_455045, %function
flow_dupack_455045:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L210
	mov	r1, #4
	ldr	r0, .L210+4
	bl	klee_make_symbolic
	ldr	r3, .L210+4
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L208
	bl	update_flow_dupack_0_453843
	b	.L209
.L208:
	bl	NoAction_21_453265
	nop
.L209:
	nop
	pop	{fp, pc}
.L211:
	.align	2
.L210:
	.word	.LC45
	.word	symbol
	.size	flow_dupack_455045, .-flow_dupack_455045
	.align	2
	.global	flow_rcvd_455079
	.syntax unified
	.arm
	.fpu softvfp
	.type	flow_rcvd_455079, %function
flow_rcvd_455079:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L215
	mov	r1, #4
	ldr	r0, .L215+4
	bl	klee_make_symbolic
	ldr	r3, .L215+4
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L213
	bl	update_flow_rcvd_0_453896
	b	.L214
.L213:
	bl	NoAction_22_453266
	nop
.L214:
	nop
	pop	{fp, pc}
.L216:
	.align	2
.L215:
	.word	.LC45
	.word	symbol
	.size	flow_rcvd_455079, .-flow_rcvd_455079
	.align	2
	.global	flow_retx_3dupack_455113
	.syntax unified
	.arm
	.fpu softvfp
	.type	flow_retx_3dupack_455113, %function
flow_retx_3dupack_455113:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L220
	mov	r1, #4
	ldr	r0, .L220+4
	bl	klee_make_symbolic
	ldr	r3, .L220+4
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L218
	bl	update_flow_retx_3dupack_0_454011
	b	.L219
.L218:
	bl	NoAction_23_453267
	nop
.L219:
	nop
	pop	{fp, pc}
.L221:
	.align	2
.L220:
	.word	.LC45
	.word	symbol
	.size	flow_retx_3dupack_455113, .-flow_retx_3dupack_455113
	.align	2
	.global	flow_retx_timeout_455147
	.syntax unified
	.arm
	.fpu softvfp
	.type	flow_retx_timeout_455147, %function
flow_retx_timeout_455147:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L225
	mov	r1, #4
	ldr	r0, .L225+4
	bl	klee_make_symbolic
	ldr	r3, .L225+4
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L223
	bl	update_flow_retx_timeout_0_454141
	b	.L224
.L223:
	bl	NoAction_24_453268
	nop
.L224:
	nop
	pop	{fp, pc}
.L226:
	.align	2
.L225:
	.word	.LC45
	.word	symbol
	.size	flow_retx_timeout_455147, .-flow_retx_timeout_455147
	.align	2
	.global	flow_sent_455181
	.syntax unified
	.arm
	.fpu softvfp
	.type	flow_sent_455181, %function
flow_sent_455181:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L230
	mov	r1, #4
	ldr	r0, .L230+4
	bl	klee_make_symbolic
	ldr	r3, .L230+4
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L228
	bl	update_flow_sent_0_454233
	b	.L229
.L228:
	bl	NoAction_25_453269
	nop
.L229:
	nop
	pop	{fp, pc}
.L231:
	.align	2
.L230:
	.word	.LC45
	.word	symbol
	.size	flow_sent_455181, .-flow_sent_455181
	.align	2
	.global	forward_455215
	.syntax unified
	.arm
	.fpu softvfp
	.type	forward_455215, %function
forward_455215:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L238
	mov	r1, #4
	ldr	r0, .L238+4
	bl	klee_make_symbolic
	ldr	r3, .L238+4
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L233
	cmp	r3, #1
	beq	.L234
	b	.L237
.L233:
	bl	set_dmac_0_454420
	b	.L236
.L234:
	bl	_drop_1_454438
	b	.L236
.L237:
	bl	NoAction_26_453270
	nop
.L236:
	nop
	pop	{fp, pc}
.L239:
	.align	2
.L238:
	.word	.LC45
	.word	symbol
	.size	forward_455215, .-forward_455215
	.align	2
	.global	increase_cwnd_455274
	.syntax unified
	.arm
	.fpu softvfp
	.type	increase_cwnd_455274, %function
increase_cwnd_455274:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L243
	mov	r1, #4
	ldr	r0, .L243+4
	bl	klee_make_symbolic
	ldr	r3, .L243+4
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L241
	bl	increase_mincwnd_0_454461
	b	.L242
.L241:
	bl	NoAction_27_453271
	nop
.L242:
	nop
	pop	{fp, pc}
.L244:
	.align	2
.L243:
	.word	.LC45
	.word	symbol
	.size	increase_cwnd_455274, .-increase_cwnd_455274
	.align	2
	.global	init_455308
	.syntax unified
	.arm
	.fpu softvfp
	.type	init_455308, %function
init_455308:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L248
	mov	r1, #4
	ldr	r0, .L248+4
	bl	klee_make_symbolic
	ldr	r3, .L248+4
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L246
	bl	record_IP_0_454487
	b	.L247
.L246:
	bl	NoAction_28_453272
	nop
.L247:
	nop
	pop	{fp, pc}
.L249:
	.align	2
.L248:
	.word	.LC45
	.word	symbol
	.size	init_455308, .-init_455308
	.align	2
	.global	ipv4_lpm_455342
	.syntax unified
	.arm
	.fpu softvfp
	.type	ipv4_lpm_455342, %function
ipv4_lpm_455342:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L256
	mov	r1, #4
	ldr	r0, .L256+4
	bl	klee_make_symbolic
	ldr	r3, .L256+4
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L251
	cmp	r3, #1
	beq	.L252
	b	.L255
.L251:
	bl	set_nhop_0_454574
	b	.L254
.L252:
	bl	_drop_4_454454
	b	.L254
.L255:
	bl	NoAction_29_453273
	nop
.L254:
	nop
	pop	{fp, pc}
.L257:
	.align	2
.L256:
	.word	.LC45
	.word	symbol
	.size	ipv4_lpm_455342, .-ipv4_lpm_455342
	.align	2
	.global	lookup_455401
	.syntax unified
	.arm
	.fpu softvfp
	.type	lookup_455401, %function
lookup_455401:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L261
	mov	r1, #4
	ldr	r0, .L261+4
	bl	klee_make_symbolic
	ldr	r3, .L261+4
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L259
	bl	lookup_flow_map_0_454610
	b	.L260
.L259:
	bl	NoAction_30_453274
	nop
.L260:
	nop
	pop	{fp, pc}
.L262:
	.align	2
.L261:
	.word	.LC45
	.word	symbol
	.size	lookup_455401, .-lookup_455401
	.align	2
	.global	lookup_reverse_455435
	.syntax unified
	.arm
	.fpu softvfp
	.type	lookup_reverse_455435, %function
lookup_reverse_455435:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L266
	mov	r1, #4
	ldr	r0, .L266+4
	bl	klee_make_symbolic
	ldr	r3, .L266+4
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L264
	bl	lookup_flow_map_reverse_0_454672
	b	.L265
.L264:
	bl	NoAction_31_453275
	nop
.L265:
	nop
	pop	{fp, pc}
.L267:
	.align	2
.L266:
	.word	.LC45
	.word	symbol
	.size	lookup_reverse_455435, .-lookup_reverse_455435
	.align	2
	.global	sample_rtt_rcvd_455469
	.syntax unified
	.arm
	.fpu softvfp
	.type	sample_rtt_rcvd_455469, %function
sample_rtt_rcvd_455469:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L271
	mov	r1, #4
	ldr	r0, .L271+4
	bl	klee_make_symbolic
	ldr	r3, .L271+4
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L269
	bl	use_sample_rtt_0_459912
	b	.L270
.L269:
	bl	NoAction_32_453276
	nop
.L270:
	nop
	pop	{fp, pc}
.L272:
	.align	2
.L271:
	.word	.LC45
	.word	symbol
	.size	sample_rtt_rcvd_455469, .-sample_rtt_rcvd_455469
	.align	2
	.global	sample_rtt_sent_455503
	.syntax unified
	.arm
	.fpu softvfp
	.type	sample_rtt_sent_455503, %function
sample_rtt_sent_455503:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	ldr	r2, .L276
	mov	r1, #4
	ldr	r0, .L276+4
	bl	klee_make_symbolic
	ldr	r3, .L276+4
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L274
	bl	sample_new_rtt_0_454900
	b	.L275
.L274:
	bl	NoAction_33_453277
	nop
.L275:
	nop
	pop	{fp, pc}
.L277:
	.align	2
.L276:
	.word	.LC45
	.word	symbol
	.size	sample_rtt_sent_455503, .-sample_rtt_sent_455503
	.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
	push	{fp, lr}
	add	fp, sp, #4
	bl	verify_checksum
	nop
	pop	{fp, pc}
	.size	verifyChecksum, .-verifyChecksum
	.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
	push	{fp, lr}
	add	fp, sp, #4
	bl	update_checksum
	nop
	pop	{fp, pc}
	.size	computeChecksum, .-computeChecksum
	.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	end_assertions
	mov	r3, #0
	mov	r0, r3
	pop	{fp, pc}
	.size	main, .-main
	.section	.rodata
	.align	2
.LC46:
	.ascii	"!(hdr_tcp_ack_453638) || (traverse_453638)\000"
	.align	2
.LC47:
	.ascii	"!(meta_stats_metadata_dupack_le_3_454027) || (!trav"
	.ascii	"erse_454027)\000"
	.align	2
.LC48:
	.ascii	"!(hdr_ipv4_ttl_eq_0_455545) || (!assert_forward)\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, .L287
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L283
	ldr	r3, .L287+4
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L283
	ldr	r1, .L287+8
	mov	r0, #0
	bl	klee_print_once
.L283:
	ldr	r3, .L287+12
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L284
	ldr	r3, .L287+16
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L284
	ldr	r1, .L287+20
	mov	r0, #1
	bl	klee_print_once
.L284:
	ldr	r3, .L287+24
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L286
	ldr	r3, .L287+28
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L286
	ldr	r1, .L287+32
	mov	r0, #2
	bl	klee_print_once
.L286:
	nop
	pop	{fp, pc}
.L288:
	.align	2
.L287:
	.word	hdr_tcp_ack_453638
	.word	traverse_453638
	.word	.LC46
	.word	meta_stats_metadata_dupack_le_3_454027
	.word	traverse_454027
	.word	.LC47
	.word	hdr_ipv4_ttl_eq_0_455545
	.word	assert_forward
	.word	.LC48
	.size	end_assertions, .-end_assertions
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
