Symbol: bpf_assert_range_with