41 __naked void dummy_prog_42_socket(void)  in dummy_prog_42_socket()  argument
48 __naked void dummy_prog_24_socket(void)  in dummy_prog_24_socket()  argument
55 __naked void dummy_prog_loop1_socket(void)  in dummy_prog_loop1_socket()  argument
71 __naked void dummy_prog_loop2_socket(void)  in dummy_prog_loop2_socket()  argument
88 __naked void call_within_bounds_prog_once(void)  in call_within_bounds_prog_once()  argument
105 __naked void call_within_bounds_prog_loop(void)  in call_within_bounds_prog_loop()  argument
122 __naked void call_within_bounds_no_prog(void)  in call_within_bounds_no_prog()  argument
139 __naked void call_within_bounds_key_2(void)  in call_within_bounds_key_2()  argument
156 __naked void _2_key_2_first_branch(void)  in _2_key_2_first_branch()  argument
181 __naked void _2_key_2_second_branch(void)  in _2_key_2_second_branch()  argument
206 __naked void _0_key_2_first_branch(void)  in _0_key_2_first_branch()  argument
231 __naked void _0_key_2_second_branch(void)  in _0_key_2_second_branch()  argument
257 __naked void bounds_different_maps_first_branch(void)  in bounds_different_maps_first_branch()  argument
284 __naked void bounds_different_maps_second_branch(void)  in bounds_different_maps_second_branch()  argument
310 __naked void tail_call_out_of_bounds(void)  in tail_call_out_of_bounds()  argument
327 __naked void negative_index_to_tail_call(void)  in negative_index_to_tail_call()  argument
346 __naked void _32bit_index_to_tail_call(void)  in _32bit_index_to_tail_call()  argument