	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function execute_todo
_execute_todo:                          ## @execute_todo
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	pushq	%r15
	pushq	%r14
	pushq	%r13
	pushq	%r12
	pushq	%rbx
	pushq	%rax
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	_curr_properties@GOTPCREL(%rip), %r12
	movq	_PROP_ssa@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movq	_TODO_verify_ssa@GOTPCREL(%rip), %r14
	andl	(%r12), %eax
	je	LBB0_2
## %bb.1:
	movl	(%r14), %eax
LBB0_2:
	orl	%edi, %eax
	movq	_last_verified@GOTPCREL(%rip), %r15
	movl	(%r15), %ebx
	notl	%ebx
	andl	%eax, %ebx
	je	LBB0_39
## %bb.3:
	movq	_TODO_update_smt_usage@GOTPCREL(%rip), %rax
	testl	%ebx, (%rax)
	je	LBB0_5
## %bb.4:
	xorl	%eax, %eax
	callq	_recalculate_used_alone
LBB0_5:
	movq	_TODO_cleanup_cfg@GOTPCREL(%rip), %rax
	testl	%ebx, (%rax)
	je	LBB0_12
## %bb.6:
	movq	_updating_used_alone@GOTPCREL(%rip), %rax
	movl	$1, (%rax)
	movq	_current_loops@GOTPCREL(%rip), %rax
	cmpq	$0, (%rax)
	je	LBB0_8
## %bb.7:
	xorl	%eax, %eax
	callq	_cleanup_tree_cfg_loop
	jmp	LBB0_9
LBB0_8:
	xorl	%eax, %eax
	callq	_cleanup_tree_cfg
LBB0_9:
	xorl	%eax, %eax
	callq	_recalculate_used_alone
	movq	_TODO_update_ssa_any@GOTPCREL(%rip), %rax
	testl	%ebx, (%rax)
	jne	LBB0_12
## %bb.10:
	xorl	%eax, %eax
	callq	_need_ssa_update_p
	testq	%rax, %rax
	je	LBB0_12
## %bb.11:
	movq	_TODO_update_ssa@GOTPCREL(%rip), %rax
	orl	(%rax), %ebx
LBB0_12:
	movq	_TODO_update_ssa_any@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	andl	%ebx, %edi
	je	LBB0_14
## %bb.13:
	callq	_update_ssa
	movl	(%r14), %eax
	notl	%eax
	andl	%eax, (%r15)
LBB0_14:
	movq	_TODO_remove_unused_locals@GOTPCREL(%rip), %rax
	testl	%ebx, (%rax)
	je	LBB0_16
## %bb.15:
	xorl	%eax, %eax
	callq	_remove_unused_locals
LBB0_16:
	movq	_TODO_dump_func@GOTPCREL(%rip), %rax
	movq	_dump_file@GOTPCREL(%rip), %r13
	movq	(%r13), %r15
	movq	_current_function_decl@GOTPCREL(%rip), %r14
	movq	(%r14), %rdi
	testl	%ebx, (%rax)
	je	LBB0_32
## %bb.17:
	testq	%r15, %r15
	je	LBB0_32
## %bb.18:
	testq	%rdi, %rdi
	je	LBB0_32
## %bb.19:
	movl	(%r12), %eax
	movq	_PROP_trees@GOTPCREL(%rip), %rcx
	movq	_dump_flags@GOTPCREL(%rip), %rdx
	movl	(%rdx), %edx
	testl	%eax, (%rcx)
	je	LBB0_21
## %bb.20:
	movq	%r15, %rsi
	callq	_dump_function_to_file
LBB0_31:
	movq	(%r13), %rdi
	callq	_fflush
	movq	(%r13), %r15
	movq	(%r14), %rdi
LBB0_32:
	movq	_TODO_dump_cgraph@GOTPCREL(%rip), %rax
	testl	%ebx, (%rax)
	je	LBB0_36
## %bb.33:
	testq	%r15, %r15
	je	LBB0_36
## %bb.34:
	testq	%rdi, %rdi
	jne	LBB0_36
## %bb.35:
	movq	%r15, %rdi
	callq	_dump_cgraph
	movq	(%r13), %rdi
	callq	_fflush
LBB0_36:
	movq	_TODO_ggc_collect@GOTPCREL(%rip), %rax
	testl	%ebx, (%rax)
	je	LBB0_38
## %bb.37:
	xorl	%eax, %eax
	callq	_ggc_collect
LBB0_38:
	movq	_TODO_verify_all@GOTPCREL(%rip), %rax
	andl	(%rax), %ebx
	movq	_last_verified@GOTPCREL(%rip), %rax
	movl	%ebx, (%rax)
LBB0_39:
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_21:
	movq	_TDF_SLIM@GOTPCREL(%rip), %rcx
	testl	%edx, (%rcx)
	je	LBB0_23
## %bb.22:
	xorl	%eax, %eax
	callq	_get_insns
	movq	_dump_flags@GOTPCREL(%rip), %rcx
	movl	(%rcx), %edx
	movq	%r15, %rdi
	movl	%eax, %esi
	callq	_print_rtl_slim_with_bb
	jmp	LBB0_27
LBB0_23:
	movq	_PROP_cfg@GOTPCREL(%rip), %rcx
	testl	%eax, (%rcx)
	je	LBB0_26
## %bb.24:
	movq	_TDF_BLOCKS@GOTPCREL(%rip), %rax
	testl	%edx, (%rax)
	je	LBB0_26
## %bb.25:
	xorl	%eax, %eax
	callq	_get_insns
	movq	%r15, %rdi
	movl	%eax, %esi
	callq	_print_rtl_with_bb
	jmp	LBB0_27
LBB0_26:
	xorl	%eax, %eax
	callq	_get_insns
	movq	%r15, %rdi
	movl	%eax, %esi
	callq	_print_rtl
LBB0_27:
	movq	_PROP_cfg@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	testl	%eax, (%r12)
	je	LBB0_31
## %bb.28:
	movq	_graph_dump_format@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	_no_graph@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	je	LBB0_31
## %bb.29:
	movq	_TDF_GRAPH@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movq	_dump_flags@GOTPCREL(%rip), %rcx
	testl	%eax, (%rcx)
	je	LBB0_31
## %bb.30:
	movq	_dump_file_name@GOTPCREL(%rip), %rax
	movl	(%rax), %r15d
	xorl	%eax, %eax
	callq	_get_insns
	movl	%r15d, %edi
	movl	%eax, %esi
	callq	_print_rtl_graph_with_bb
	jmp	LBB0_31
	.cfi_endproc
                                        ## -- End function
	.comm	_curr_properties,4,2            ## @curr_properties
	.comm	_PROP_ssa,4,2                   ## @PROP_ssa
	.comm	_TODO_verify_ssa,4,2            ## @TODO_verify_ssa
	.comm	_last_verified,4,2              ## @last_verified
	.comm	_TODO_update_smt_usage,4,2      ## @TODO_update_smt_usage
	.comm	_TODO_cleanup_cfg,4,2           ## @TODO_cleanup_cfg
	.comm	_updating_used_alone,4,2        ## @updating_used_alone
	.comm	_current_loops,8,3              ## @current_loops
	.comm	_TODO_update_ssa_any,4,2        ## @TODO_update_ssa_any
	.comm	_TODO_update_ssa,4,2            ## @TODO_update_ssa
	.comm	_TODO_remove_unused_locals,4,2  ## @TODO_remove_unused_locals
	.comm	_TODO_dump_func,4,2             ## @TODO_dump_func
	.comm	_dump_file,8,3                  ## @dump_file
	.comm	_current_function_decl,8,3      ## @current_function_decl
	.comm	_PROP_trees,4,2                 ## @PROP_trees
	.comm	_dump_flags,4,2                 ## @dump_flags
	.comm	_TDF_SLIM,4,2                   ## @TDF_SLIM
	.comm	_PROP_cfg,4,2                   ## @PROP_cfg
	.comm	_TDF_BLOCKS,4,2                 ## @TDF_BLOCKS
	.comm	_graph_dump_format,8,3          ## @graph_dump_format
	.comm	_no_graph,8,3                   ## @no_graph
	.comm	_TDF_GRAPH,4,2                  ## @TDF_GRAPH
	.comm	_dump_file_name,4,2             ## @dump_file_name
	.comm	_TODO_dump_cgraph,4,2           ## @TODO_dump_cgraph
	.comm	_TODO_ggc_collect,4,2           ## @TODO_ggc_collect
	.comm	_TODO_verify_all,4,2            ## @TODO_verify_all
	.comm	_TODO_verify_flow,4,2           ## @TODO_verify_flow
	.comm	_TODO_verify_loops,4,2          ## @TODO_verify_loops
	.comm	_TODO_verify_stmts,4,2          ## @TODO_verify_stmts
	.no_dead_strip	_execute_todo
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function execute_todo
_execute_todo:                          ; @execute_todo
	.cfi_startproc
; %bb.0:
	stp	x26, x25, [sp, #-80]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 80
	stp	x24, x23, [sp, #16]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #32]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #48]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #64]             ; 16-byte Folded Spill
	add	x29, sp, #64
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	.cfi_offset w21, -40
	.cfi_offset w22, -48
	.cfi_offset w23, -56
	.cfi_offset w24, -64
	.cfi_offset w25, -72
	.cfi_offset w26, -80
Lloh0:
	adrp	x22, _curr_properties@GOTPAGE
Lloh1:
	ldr	x22, [x22, _curr_properties@GOTPAGEOFF]
Lloh2:
	adrp	x8, _PROP_ssa@GOTPAGE
Lloh3:
	ldr	x8, [x8, _PROP_ssa@GOTPAGEOFF]
	ldr	w9, [x22]
Lloh4:
	ldr	w8, [x8]
Lloh5:
	adrp	x19, _TODO_verify_ssa@GOTPAGE
Lloh6:
	ldr	x19, [x19, _TODO_verify_ssa@GOTPAGEOFF]
	ldr	w10, [x19]
	tst	w8, w9
	csel	w8, wzr, w10, eq
	orr	w8, w8, w0
Lloh7:
	adrp	x20, _last_verified@GOTPAGE
Lloh8:
	ldr	x20, [x20, _last_verified@GOTPAGEOFF]
	ldr	w9, [x20]
	bics	w21, w8, w9
	b.eq	LBB0_23
; %bb.1:
Lloh9:
	adrp	x8, _TODO_update_smt_usage@GOTPAGE
Lloh10:
	ldr	x8, [x8, _TODO_update_smt_usage@GOTPAGEOFF]
Lloh11:
	ldr	w8, [x8]
	tst	w8, w21
	b.eq	LBB0_3
; %bb.2:
	bl	_recalculate_used_alone
LBB0_3:
Lloh12:
	adrp	x8, _TODO_cleanup_cfg@GOTPAGE
Lloh13:
	ldr	x8, [x8, _TODO_cleanup_cfg@GOTPAGEOFF]
Lloh14:
	ldr	w8, [x8]
Lloh15:
	adrp	x23, _TODO_update_ssa_any@GOTPAGE
Lloh16:
	ldr	x23, [x23, _TODO_update_ssa_any@GOTPAGEOFF]
	tst	w8, w21
	b.eq	LBB0_10
; %bb.4:
Lloh17:
	adrp	x8, _updating_used_alone@GOTPAGE
Lloh18:
	ldr	x8, [x8, _updating_used_alone@GOTPAGEOFF]
	mov	w9, #1
Lloh19:
	str	w9, [x8]
Lloh20:
	adrp	x8, _current_loops@GOTPAGE
Lloh21:
	ldr	x8, [x8, _current_loops@GOTPAGEOFF]
Lloh22:
	ldr	x8, [x8]
	cbz	x8, LBB0_6
; %bb.5:
	bl	_cleanup_tree_cfg_loop
	b	LBB0_7
LBB0_6:
	bl	_cleanup_tree_cfg
LBB0_7:
	bl	_recalculate_used_alone
	ldr	w8, [x23]
	tst	w8, w21
	b.ne	LBB0_10
; %bb.8:
	bl	_need_ssa_update_p
	cbz	x0, LBB0_10
; %bb.9:
Lloh23:
	adrp	x8, _TODO_update_ssa@GOTPAGE
Lloh24:
	ldr	x8, [x8, _TODO_update_ssa@GOTPAGEOFF]
Lloh25:
	ldr	w8, [x8]
	orr	w21, w8, w21
LBB0_10:
	ldr	w8, [x23]
	ands	w0, w8, w21
	b.eq	LBB0_12
; %bb.11:
	bl	_update_ssa
	ldr	w8, [x19]
	ldr	w9, [x20]
	bic	w8, w9, w8
	str	w8, [x20]
LBB0_12:
Lloh26:
	adrp	x8, _TODO_remove_unused_locals@GOTPAGE
Lloh27:
	ldr	x8, [x8, _TODO_remove_unused_locals@GOTPAGEOFF]
Lloh28:
	ldr	w8, [x8]
	tst	w8, w21
	b.eq	LBB0_14
; %bb.13:
	bl	_remove_unused_locals
LBB0_14:
Lloh29:
	adrp	x8, _TODO_dump_func@GOTPAGE
Lloh30:
	ldr	x8, [x8, _TODO_dump_func@GOTPAGEOFF]
Lloh31:
	ldr	w8, [x8]
	and	w8, w8, w21
Lloh32:
	adrp	x23, _dump_file@GOTPAGE
Lloh33:
	ldr	x23, [x23, _dump_file@GOTPAGEOFF]
	ldr	x19, [x23]
Lloh34:
	adrp	x24, _current_function_decl@GOTPAGE
Lloh35:
	ldr	x24, [x24, _current_function_decl@GOTPAGEOFF]
	ldr	x0, [x24]
	cmp	w8, #0
	ccmp	x19, #0, #4, ne
	ccmp	x0, #0, #4, ne
	b.eq	LBB0_18
; %bb.15:
Lloh36:
	adrp	x9, _PROP_trees@GOTPAGE
Lloh37:
	ldr	x9, [x9, _PROP_trees@GOTPAGEOFF]
	ldr	w8, [x22]
Lloh38:
	ldr	w9, [x9]
Lloh39:
	adrp	x25, _dump_flags@GOTPAGE
Lloh40:
	ldr	x25, [x25, _dump_flags@GOTPAGEOFF]
	ldr	w2, [x25]
	tst	w9, w8
	b.eq	LBB0_24
; %bb.16:
	mov	x1, x19
	bl	_dump_function_to_file
LBB0_17:
	ldr	x0, [x23]
	bl	_fflush
	ldr	x19, [x23]
	ldr	x0, [x24]
LBB0_18:
Lloh41:
	adrp	x8, _TODO_dump_cgraph@GOTPAGE
Lloh42:
	ldr	x8, [x8, _TODO_dump_cgraph@GOTPAGEOFF]
Lloh43:
	ldr	w8, [x8]
	and	w8, w8, w21
	cmp	w8, #0
	ccmp	x19, #0, #4, ne
	ccmp	x0, #0, #0, ne
	b.ne	LBB0_20
; %bb.19:
	mov	x0, x19
	bl	_dump_cgraph
	ldr	x0, [x23]
	bl	_fflush
LBB0_20:
Lloh44:
	adrp	x8, _TODO_ggc_collect@GOTPAGE
Lloh45:
	ldr	x8, [x8, _TODO_ggc_collect@GOTPAGEOFF]
Lloh46:
	ldr	w8, [x8]
	tst	w8, w21
	b.eq	LBB0_22
; %bb.21:
	bl	_ggc_collect
LBB0_22:
Lloh47:
	adrp	x8, _TODO_verify_all@GOTPAGE
Lloh48:
	ldr	x8, [x8, _TODO_verify_all@GOTPAGEOFF]
Lloh49:
	ldr	w8, [x8]
	and	w8, w8, w21
	str	w8, [x20]
LBB0_23:
	ldp	x29, x30, [sp, #64]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #48]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #32]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #16]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp], #80             ; 16-byte Folded Reload
	ret
LBB0_24:
Lloh50:
	adrp	x9, _TDF_SLIM@GOTPAGE
Lloh51:
	ldr	x9, [x9, _TDF_SLIM@GOTPAGEOFF]
Lloh52:
	ldr	w9, [x9]
Lloh53:
	adrp	x26, _PROP_cfg@GOTPAGE
Lloh54:
	ldr	x26, [x26, _PROP_cfg@GOTPAGEOFF]
	tst	w9, w2
	b.eq	LBB0_26
; %bb.25:
	bl	_get_insns
	mov	x1, x0
	ldr	w2, [x25]
	mov	x0, x19
	bl	_print_rtl_slim_with_bb
	b	LBB0_30
LBB0_26:
	ldr	w9, [x26]
	tst	w9, w8
	b.eq	LBB0_29
; %bb.27:
Lloh55:
	adrp	x8, _TDF_BLOCKS@GOTPAGE
Lloh56:
	ldr	x8, [x8, _TDF_BLOCKS@GOTPAGEOFF]
Lloh57:
	ldr	w8, [x8]
	tst	w8, w2
	b.eq	LBB0_29
; %bb.28:
	bl	_get_insns
	mov	x1, x0
	mov	x0, x19
	bl	_print_rtl_with_bb
	b	LBB0_30
LBB0_29:
	bl	_get_insns
	mov	x1, x0
	mov	x0, x19
	bl	_print_rtl
LBB0_30:
	ldr	w8, [x22]
	ldr	w9, [x26]
	tst	w9, w8
	b.eq	LBB0_17
; %bb.31:
Lloh58:
	adrp	x8, _graph_dump_format@GOTPAGE
Lloh59:
	ldr	x8, [x8, _graph_dump_format@GOTPAGEOFF]
Lloh60:
	ldr	x8, [x8]
Lloh61:
	adrp	x9, _no_graph@GOTPAGE
Lloh62:
	ldr	x9, [x9, _no_graph@GOTPAGEOFF]
Lloh63:
	ldr	x9, [x9]
	cmp	x8, x9
	b.eq	LBB0_17
; %bb.32:
	ldr	w8, [x25]
Lloh64:
	adrp	x9, _TDF_GRAPH@GOTPAGE
Lloh65:
	ldr	x9, [x9, _TDF_GRAPH@GOTPAGEOFF]
Lloh66:
	ldr	w9, [x9]
	tst	w9, w8
	b.eq	LBB0_17
; %bb.33:
Lloh67:
	adrp	x8, _dump_file_name@GOTPAGE
Lloh68:
	ldr	x8, [x8, _dump_file_name@GOTPAGEOFF]
Lloh69:
	ldr	w19, [x8]
	bl	_get_insns
	mov	x1, x0
	mov	x0, x19
	bl	_print_rtl_graph_with_bb
	b	LBB0_17
	.loh AdrpLdrGot	Lloh7, Lloh8
	.loh AdrpLdrGot	Lloh5, Lloh6
	.loh AdrpLdrGotLdr	Lloh2, Lloh3, Lloh4
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpLdrGotLdr	Lloh9, Lloh10, Lloh11
	.loh AdrpLdrGot	Lloh15, Lloh16
	.loh AdrpLdrGotLdr	Lloh12, Lloh13, Lloh14
	.loh AdrpLdrGotLdr	Lloh20, Lloh21, Lloh22
	.loh AdrpLdrGotStr	Lloh17, Lloh18, Lloh19
	.loh AdrpLdrGotLdr	Lloh23, Lloh24, Lloh25
	.loh AdrpLdrGotLdr	Lloh26, Lloh27, Lloh28
	.loh AdrpLdrGot	Lloh34, Lloh35
	.loh AdrpLdrGot	Lloh32, Lloh33
	.loh AdrpLdrGotLdr	Lloh29, Lloh30, Lloh31
	.loh AdrpLdrGot	Lloh39, Lloh40
	.loh AdrpLdrGotLdr	Lloh36, Lloh37, Lloh38
	.loh AdrpLdrGotLdr	Lloh41, Lloh42, Lloh43
	.loh AdrpLdrGotLdr	Lloh44, Lloh45, Lloh46
	.loh AdrpLdrGotLdr	Lloh47, Lloh48, Lloh49
	.loh AdrpLdrGot	Lloh53, Lloh54
	.loh AdrpLdrGotLdr	Lloh50, Lloh51, Lloh52
	.loh AdrpLdrGotLdr	Lloh55, Lloh56, Lloh57
	.loh AdrpLdrGotLdr	Lloh61, Lloh62, Lloh63
	.loh AdrpLdrGotLdr	Lloh58, Lloh59, Lloh60
	.loh AdrpLdrGotLdr	Lloh64, Lloh65, Lloh66
	.loh AdrpLdrGotLdr	Lloh67, Lloh68, Lloh69
	.cfi_endproc
                                        ; -- End function
	.comm	_curr_properties,4,2            ; @curr_properties
	.comm	_PROP_ssa,4,2                   ; @PROP_ssa
	.comm	_TODO_verify_ssa,4,2            ; @TODO_verify_ssa
	.comm	_last_verified,4,2              ; @last_verified
	.comm	_TODO_update_smt_usage,4,2      ; @TODO_update_smt_usage
	.comm	_TODO_cleanup_cfg,4,2           ; @TODO_cleanup_cfg
	.comm	_updating_used_alone,4,2        ; @updating_used_alone
	.comm	_current_loops,8,3              ; @current_loops
	.comm	_TODO_update_ssa_any,4,2        ; @TODO_update_ssa_any
	.comm	_TODO_update_ssa,4,2            ; @TODO_update_ssa
	.comm	_TODO_remove_unused_locals,4,2  ; @TODO_remove_unused_locals
	.comm	_TODO_dump_func,4,2             ; @TODO_dump_func
	.comm	_dump_file,8,3                  ; @dump_file
	.comm	_current_function_decl,8,3      ; @current_function_decl
	.comm	_PROP_trees,4,2                 ; @PROP_trees
	.comm	_dump_flags,4,2                 ; @dump_flags
	.comm	_TDF_SLIM,4,2                   ; @TDF_SLIM
	.comm	_PROP_cfg,4,2                   ; @PROP_cfg
	.comm	_TDF_BLOCKS,4,2                 ; @TDF_BLOCKS
	.comm	_graph_dump_format,8,3          ; @graph_dump_format
	.comm	_no_graph,8,3                   ; @no_graph
	.comm	_TDF_GRAPH,4,2                  ; @TDF_GRAPH
	.comm	_dump_file_name,4,2             ; @dump_file_name
	.comm	_TODO_dump_cgraph,4,2           ; @TODO_dump_cgraph
	.comm	_TODO_ggc_collect,4,2           ; @TODO_ggc_collect
	.comm	_TODO_verify_all,4,2            ; @TODO_verify_all
	.comm	_TODO_verify_flow,4,2           ; @TODO_verify_flow
	.comm	_TODO_verify_loops,4,2          ; @TODO_verify_loops
	.comm	_TODO_verify_stmts,4,2          ; @TODO_verify_stmts
	.no_dead_strip	_execute_todo
.subsections_via_symbols
