@salang/sa 0.1.2 → 0.1.4

package/sa_std/core/slice.sa

@@ -0,0 +1,4021 @@
+// 在栈上或预分配寄存器中初始化 Slice
+[MACRO] SLICE_NEW %slice_reg, %data_ptr, %length
+    store %slice_reg+Slice_ptr, %data_ptr as ptr
+    store %slice_reg+Slice_len, %length as u64
+[END_MACRO]
+
+[MACRO] SLICE_GET_PTR %out_ptr, %slice_reg
+    %out_ptr = load %slice_reg+Slice_ptr as ptr
+[END_MACRO]
+
+[MACRO] SLICE_AS_PTR %out_ptr, %slice_reg
+    EXPAND SLICE_GET_PTR %out_ptr, %slice_reg
+[END_MACRO]
+
+[MACRO] SLICE_AS_PTR_RANGE %out_start, %out_end, %slice_reg, %elem_size
+    __slice_range_ptr_%out_start = load %slice_reg+Slice_ptr as ptr
+    __slice_range_len_%out_start = load %slice_reg+Slice_len as u64
+    __slice_range_bytes_%out_start = mul __slice_range_len_%out_start, %elem_size
+    %out_start = ptr_add __slice_range_ptr_%out_start, 0
+    %out_end = ptr_add __slice_range_ptr_%out_start, __slice_range_bytes_%out_start
+    !__slice_range_bytes_%out_start
+    !__slice_range_len_%out_start
+    !__slice_range_ptr_%out_start
+[END_MACRO]
+
+[MACRO] SLICE_AS_MUT_PTR_RANGE %out_start, %out_end, %slice_reg, %elem_size
+    EXPAND SLICE_AS_PTR_RANGE %out_start, %out_end, %slice_reg, %elem_size
+[END_MACRO]
+
+[MACRO] SLICE_AS_PTR_RANGE_U64 %out_start, %out_end, %slice_reg
+    EXPAND SLICE_AS_PTR_RANGE %out_start, %out_end, %slice_reg, 8
+[END_MACRO]
+
+[MACRO] SLICE_AS_MUT_PTR_RANGE_U64 %out_start, %out_end, %slice_reg
+    EXPAND SLICE_AS_MUT_PTR_RANGE %out_start, %out_end, %slice_reg, 8
+[END_MACRO]
+
+[MACRO] SLICE_GET_LEN %out_len, %slice_reg
+    %out_len = load %slice_reg+Slice_len as u64
+[END_MACRO]
+
+[MACRO] SLICE_IS_EMPTY %out_bool, %slice_reg
+    __slice_len_%out_bool = load %slice_reg+Slice_len as u64
+    %out_bool = eq __slice_len_%out_bool, 0
+    !__slice_len_%out_bool
+[END_MACRO]
+
+[MACRO] SLICE_GET_U64 %out_value, %slice_reg, %index
+    __slice_ptr_%out_value = load %slice_reg+Slice_ptr as ptr
+    __slice_off_%out_value = mul %index, 8
+    __slice_item_%out_value = ptr_add __slice_ptr_%out_value, __slice_off_%out_value
+    %out_value = load __slice_item_%out_value+0 as u64
+    !__slice_item_%out_value
+    !__slice_off_%out_value
+    !__slice_ptr_%out_value
+[END_MACRO]
+
+// Rust method-name alias over SLICE_GET_U64.
+[MACRO] SLICE_GET %out_value, %slice_reg, %index
+    EXPAND SLICE_GET_U64 %out_value, %slice_reg, %index
+[END_MACRO]
+
+[MACRO] SLICE_GET_MUT_PTR_U64 %out_ptr, %slice_reg, %index
+    __slice_ptr_%out_ptr = load %slice_reg+Slice_ptr as ptr
+    __slice_off_%out_ptr = mul %index, 8
+    %out_ptr = ptr_add __slice_ptr_%out_ptr, __slice_off_%out_ptr
+    !__slice_off_%out_ptr
+    !__slice_ptr_%out_ptr
+[END_MACRO]
+
+// Rust method-name alias over SLICE_GET_MUT_PTR_U64.
+[MACRO] SLICE_GET_MUT_PTR %out_ptr, %slice_reg, %index
+    EXPAND SLICE_GET_MUT_PTR_U64 %out_ptr, %slice_reg, %index
+[END_MACRO]
+
+[MACRO] SLICE_GET_UNCHECKED_U64 %out_value, %slice_reg, %index
+    EXPAND SLICE_GET_U64 %out_value, %slice_reg, %index
+[END_MACRO]
+
+// Rust method-name alias over SLICE_GET_UNCHECKED_U64.
+[MACRO] SLICE_GET_UNCHECKED %out_value, %slice_reg, %index
+    EXPAND SLICE_GET_UNCHECKED_U64 %out_value, %slice_reg, %index
+[END_MACRO]
+
+[MACRO] SLICE_GET_UNCHECKED_MUT_PTR_U64 %out_ptr, %slice_reg, %index
+    EXPAND SLICE_GET_MUT_PTR_U64 %out_ptr, %slice_reg, %index
+[END_MACRO]
+
+// Rust method-name alias over SLICE_GET_UNCHECKED_MUT_PTR_U64.
+[MACRO] SLICE_GET_UNCHECKED_MUT_PTR %out_ptr, %slice_reg, %index
+    EXPAND SLICE_GET_UNCHECKED_MUT_PTR_U64 %out_ptr, %slice_reg, %index
+[END_MACRO]
+
+[MACRO] SLICE_FIRST_U64 %out_value, %slice_reg
+    EXPAND SLICE_GET_U64 %out_value, %slice_reg, 0
+[END_MACRO]
+
+// Rust method-name alias over SLICE_FIRST_U64.
+[MACRO] SLICE_FIRST %out_value, %slice_reg
+    EXPAND SLICE_FIRST_U64 %out_value, %slice_reg
+[END_MACRO]
+
+[MACRO] SLICE_FIRST_MUT_PTR_U64 %out_ptr, %slice_reg
+    EXPAND SLICE_GET_MUT_PTR_U64 %out_ptr, %slice_reg, 0
+[END_MACRO]
+
+// Rust method-name alias over SLICE_FIRST_MUT_PTR_U64.
+[MACRO] SLICE_FIRST_MUT_PTR %out_ptr, %slice_reg
+    EXPAND SLICE_FIRST_MUT_PTR_U64 %out_ptr, %slice_reg
+[END_MACRO]
+
+[MACRO] SLICE_TRY_FIRST_U64 %out_ok, %out_value, %slice_reg
+    EXPAND SLICE_TRY_GET_U64 %out_ok, %out_value, %slice_reg, 0
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_FIRST_U64.
+[MACRO] SLICE_TRY_FIRST %out_ok, %out_value, %slice_reg
+    EXPAND SLICE_TRY_FIRST_U64 %out_ok, %out_value, %slice_reg
+[END_MACRO]
+
+[MACRO] SLICE_LAST_U64 %out_value, %slice_reg
+    __slice_len_%out_value = load %slice_reg+Slice_len as u64
+    __slice_last_%out_value = sub __slice_len_%out_value, 1
+    EXPAND SLICE_GET_U64 %out_value, %slice_reg, __slice_last_%out_value
+    !__slice_last_%out_value
+    !__slice_len_%out_value
+[END_MACRO]
+
+// Rust method-name alias over SLICE_LAST_U64.
+[MACRO] SLICE_LAST %out_value, %slice_reg
+    EXPAND SLICE_LAST_U64 %out_value, %slice_reg
+[END_MACRO]
+
+[MACRO] SLICE_LAST_MUT_PTR_U64 %out_ptr, %slice_reg
+    __slice_len_%out_ptr = load %slice_reg+Slice_len as u64
+    __slice_last_%out_ptr = sub __slice_len_%out_ptr, 1
+    EXPAND SLICE_GET_MUT_PTR_U64 %out_ptr, %slice_reg, __slice_last_%out_ptr
+    !__slice_last_%out_ptr
+    !__slice_len_%out_ptr
+[END_MACRO]
+
+// Rust method-name alias over SLICE_LAST_MUT_PTR_U64.
+[MACRO] SLICE_LAST_MUT_PTR %out_ptr, %slice_reg
+    EXPAND SLICE_LAST_MUT_PTR_U64 %out_ptr, %slice_reg
+[END_MACRO]
+
+[MACRO] SLICE_TRY_LAST_U64 %out_ok, %out_value, %slice_reg
+    __slice_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_empty_%out_ok = eq __slice_len_%out_ok, 0
+    br __slice_empty_%out_ok -> L_SLICE_TRY_LAST_MISS_%out_ok, L_SLICE_TRY_LAST_HIT_%out_ok
+
+L_SLICE_TRY_LAST_HIT_%out_ok:
+    __slice_last_%out_ok = sub __slice_len_%out_ok, 1
+    EXPAND SLICE_GET_U64 %out_value, %slice_reg, __slice_last_%out_ok
+    %out_ok = add 0, 1
+    !__slice_last_%out_ok
+    !__slice_empty_%out_ok
+    !__slice_len_%out_ok
+    jmp L_SLICE_TRY_LAST_END_%out_ok
+
+L_SLICE_TRY_LAST_MISS_%out_ok:
+    %out_value = add 0, 0
+    %out_ok = add 0, 0
+    !__slice_empty_%out_ok
+    !__slice_len_%out_ok
+
+L_SLICE_TRY_LAST_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_LAST_U64.
+[MACRO] SLICE_TRY_LAST %out_ok, %out_value, %slice_reg
+    EXPAND SLICE_TRY_LAST_U64 %out_ok, %out_value, %slice_reg
+[END_MACRO]
+
+[MACRO] SLICE_TRY_GET_U64 %out_ok, %out_value, %slice_reg, %index
+    __slice_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_in_bounds_%out_ok = ult %index, __slice_len_%out_ok
+    br __slice_in_bounds_%out_ok -> L_SLICE_TRY_GET_HIT_%out_ok, L_SLICE_TRY_GET_MISS_%out_ok
+
+L_SLICE_TRY_GET_HIT_%out_ok:
+    EXPAND SLICE_GET_U64 %out_value, %slice_reg, %index
+    %out_ok = add 0, 1
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+    jmp L_SLICE_TRY_GET_END_%out_ok
+
+L_SLICE_TRY_GET_MISS_%out_ok:
+    %out_value = add 0, 0
+    %out_ok = add 0, 0
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+
+L_SLICE_TRY_GET_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_GET_U64.
+[MACRO] SLICE_TRY_GET %out_ok, %out_value, %slice_reg, %index
+    EXPAND SLICE_TRY_GET_U64 %out_ok, %out_value, %slice_reg, %index
+[END_MACRO]
+
+[MACRO] SLICE_TRY_GET_TYPED_I1 %out_ok, %out_value, %slice_reg, %index, %elem_size
+    __slice_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_in_bounds_%out_ok = ult %index, __slice_len_%out_ok
+    br __slice_in_bounds_%out_ok -> L_SLICE_TRY_GET_TYPED_I1_HIT_%out_ok, L_SLICE_TRY_GET_TYPED_I1_MISS_%out_ok
+L_SLICE_TRY_GET_TYPED_I1_HIT_%out_ok:
+    __slice_ptr_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_off_%out_ok = mul %index, %elem_size
+    __slice_item_%out_ok = ptr_add __slice_ptr_%out_ok, __slice_off_%out_ok
+    %out_value = load __slice_item_%out_ok+0 as i1
+    %out_ok = add 0, 1
+    !__slice_item_%out_ok
+    !__slice_off_%out_ok
+    !__slice_ptr_%out_ok
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+    jmp L_SLICE_TRY_GET_TYPED_I1_END_%out_ok
+L_SLICE_TRY_GET_TYPED_I1_MISS_%out_ok:
+    %out_value = add 0, 0
+    %out_ok = add 0, 0
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+L_SLICE_TRY_GET_TYPED_I1_END_%out_ok:
+[END_MACRO]
+
+[MACRO] SLICE_TRY_GET_TYPED_I8 %out_ok, %out_value, %slice_reg, %index, %elem_size
+    __slice_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_in_bounds_%out_ok = ult %index, __slice_len_%out_ok
+    br __slice_in_bounds_%out_ok -> L_SLICE_TRY_GET_TYPED_I8_HIT_%out_ok, L_SLICE_TRY_GET_TYPED_I8_MISS_%out_ok
+L_SLICE_TRY_GET_TYPED_I8_HIT_%out_ok:
+    __slice_ptr_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_off_%out_ok = mul %index, %elem_size
+    __slice_item_%out_ok = ptr_add __slice_ptr_%out_ok, __slice_off_%out_ok
+    %out_value = load __slice_item_%out_ok+0 as i8
+    %out_ok = add 0, 1
+    !__slice_item_%out_ok
+    !__slice_off_%out_ok
+    !__slice_ptr_%out_ok
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+    jmp L_SLICE_TRY_GET_TYPED_I8_END_%out_ok
+L_SLICE_TRY_GET_TYPED_I8_MISS_%out_ok:
+    %out_value = add 0, 0
+    %out_ok = add 0, 0
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+L_SLICE_TRY_GET_TYPED_I8_END_%out_ok:
+[END_MACRO]
+
+[MACRO] SLICE_TRY_GET_TYPED_I16 %out_ok, %out_value, %slice_reg, %index, %elem_size
+    __slice_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_in_bounds_%out_ok = ult %index, __slice_len_%out_ok
+    br __slice_in_bounds_%out_ok -> L_SLICE_TRY_GET_TYPED_I16_HIT_%out_ok, L_SLICE_TRY_GET_TYPED_I16_MISS_%out_ok
+L_SLICE_TRY_GET_TYPED_I16_HIT_%out_ok:
+    __slice_ptr_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_off_%out_ok = mul %index, %elem_size
+    __slice_item_%out_ok = ptr_add __slice_ptr_%out_ok, __slice_off_%out_ok
+    %out_value = load __slice_item_%out_ok+0 as i16
+    %out_ok = add 0, 1
+    !__slice_item_%out_ok
+    !__slice_off_%out_ok
+    !__slice_ptr_%out_ok
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+    jmp L_SLICE_TRY_GET_TYPED_I16_END_%out_ok
+L_SLICE_TRY_GET_TYPED_I16_MISS_%out_ok:
+    %out_value = add 0, 0
+    %out_ok = add 0, 0
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+L_SLICE_TRY_GET_TYPED_I16_END_%out_ok:
+[END_MACRO]
+
+[MACRO] SLICE_TRY_GET_TYPED_I32 %out_ok, %out_value, %slice_reg, %index, %elem_size
+    __slice_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_in_bounds_%out_ok = ult %index, __slice_len_%out_ok
+    br __slice_in_bounds_%out_ok -> L_SLICE_TRY_GET_TYPED_I32_HIT_%out_ok, L_SLICE_TRY_GET_TYPED_I32_MISS_%out_ok
+L_SLICE_TRY_GET_TYPED_I32_HIT_%out_ok:
+    __slice_ptr_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_off_%out_ok = mul %index, %elem_size
+    __slice_item_%out_ok = ptr_add __slice_ptr_%out_ok, __slice_off_%out_ok
+    %out_value = load __slice_item_%out_ok+0 as i32
+    %out_ok = add 0, 1
+    !__slice_item_%out_ok
+    !__slice_off_%out_ok
+    !__slice_ptr_%out_ok
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+    jmp L_SLICE_TRY_GET_TYPED_I32_END_%out_ok
+L_SLICE_TRY_GET_TYPED_I32_MISS_%out_ok:
+    %out_value = add 0, 0
+    %out_ok = add 0, 0
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+L_SLICE_TRY_GET_TYPED_I32_END_%out_ok:
+[END_MACRO]
+
+[MACRO] SLICE_TRY_GET_TYPED_I64 %out_ok, %out_value, %slice_reg, %index, %elem_size
+    __slice_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_in_bounds_%out_ok = ult %index, __slice_len_%out_ok
+    br __slice_in_bounds_%out_ok -> L_SLICE_TRY_GET_TYPED_I64_HIT_%out_ok, L_SLICE_TRY_GET_TYPED_I64_MISS_%out_ok
+L_SLICE_TRY_GET_TYPED_I64_HIT_%out_ok:
+    __slice_ptr_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_off_%out_ok = mul %index, %elem_size
+    __slice_item_%out_ok = ptr_add __slice_ptr_%out_ok, __slice_off_%out_ok
+    %out_value = load __slice_item_%out_ok+0 as i64
+    %out_ok = add 0, 1
+    !__slice_item_%out_ok
+    !__slice_off_%out_ok
+    !__slice_ptr_%out_ok
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+    jmp L_SLICE_TRY_GET_TYPED_I64_END_%out_ok
+L_SLICE_TRY_GET_TYPED_I64_MISS_%out_ok:
+    %out_value = add 0, 0
+    %out_ok = add 0, 0
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+L_SLICE_TRY_GET_TYPED_I64_END_%out_ok:
+[END_MACRO]
+
+[MACRO] SLICE_TRY_GET_TYPED_U8 %out_ok, %out_value, %slice_reg, %index, %elem_size
+    __slice_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_in_bounds_%out_ok = ult %index, __slice_len_%out_ok
+    br __slice_in_bounds_%out_ok -> L_SLICE_TRY_GET_TYPED_U8_HIT_%out_ok, L_SLICE_TRY_GET_TYPED_U8_MISS_%out_ok
+L_SLICE_TRY_GET_TYPED_U8_HIT_%out_ok:
+    __slice_ptr_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_off_%out_ok = mul %index, %elem_size
+    __slice_item_%out_ok = ptr_add __slice_ptr_%out_ok, __slice_off_%out_ok
+    %out_value = load __slice_item_%out_ok+0 as u8
+    %out_ok = add 0, 1
+    !__slice_item_%out_ok
+    !__slice_off_%out_ok
+    !__slice_ptr_%out_ok
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+    jmp L_SLICE_TRY_GET_TYPED_U8_END_%out_ok
+L_SLICE_TRY_GET_TYPED_U8_MISS_%out_ok:
+    %out_value = add 0, 0
+    %out_ok = add 0, 0
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+L_SLICE_TRY_GET_TYPED_U8_END_%out_ok:
+[END_MACRO]
+
+[MACRO] SLICE_TRY_GET_TYPED_U16 %out_ok, %out_value, %slice_reg, %index, %elem_size
+    __slice_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_in_bounds_%out_ok = ult %index, __slice_len_%out_ok
+    br __slice_in_bounds_%out_ok -> L_SLICE_TRY_GET_TYPED_U16_HIT_%out_ok, L_SLICE_TRY_GET_TYPED_U16_MISS_%out_ok
+L_SLICE_TRY_GET_TYPED_U16_HIT_%out_ok:
+    __slice_ptr_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_off_%out_ok = mul %index, %elem_size
+    __slice_item_%out_ok = ptr_add __slice_ptr_%out_ok, __slice_off_%out_ok
+    %out_value = load __slice_item_%out_ok+0 as u16
+    %out_ok = add 0, 1
+    !__slice_item_%out_ok
+    !__slice_off_%out_ok
+    !__slice_ptr_%out_ok
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+    jmp L_SLICE_TRY_GET_TYPED_U16_END_%out_ok
+L_SLICE_TRY_GET_TYPED_U16_MISS_%out_ok:
+    %out_value = add 0, 0
+    %out_ok = add 0, 0
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+L_SLICE_TRY_GET_TYPED_U16_END_%out_ok:
+[END_MACRO]
+
+[MACRO] SLICE_TRY_GET_TYPED_U32 %out_ok, %out_value, %slice_reg, %index, %elem_size
+    __slice_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_in_bounds_%out_ok = ult %index, __slice_len_%out_ok
+    br __slice_in_bounds_%out_ok -> L_SLICE_TRY_GET_TYPED_U32_HIT_%out_ok, L_SLICE_TRY_GET_TYPED_U32_MISS_%out_ok
+L_SLICE_TRY_GET_TYPED_U32_HIT_%out_ok:
+    __slice_ptr_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_off_%out_ok = mul %index, %elem_size
+    __slice_item_%out_ok = ptr_add __slice_ptr_%out_ok, __slice_off_%out_ok
+    %out_value = load __slice_item_%out_ok+0 as u32
+    %out_ok = add 0, 1
+    !__slice_item_%out_ok
+    !__slice_off_%out_ok
+    !__slice_ptr_%out_ok
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+    jmp L_SLICE_TRY_GET_TYPED_U32_END_%out_ok
+L_SLICE_TRY_GET_TYPED_U32_MISS_%out_ok:
+    %out_value = add 0, 0
+    %out_ok = add 0, 0
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+L_SLICE_TRY_GET_TYPED_U32_END_%out_ok:
+[END_MACRO]
+
+[MACRO] SLICE_TRY_GET_TYPED_U64 %out_ok, %out_value, %slice_reg, %index, %elem_size
+    EXPAND SLICE_TRY_GET_U64 %out_ok, %out_value, %slice_reg, %index
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_GET_TYPED_U64.
+[MACRO] SLICE_TRY_GET_TYPED %out_ok, %out_value, %slice_reg, %index, %elem_size
+    EXPAND SLICE_TRY_GET_TYPED_U64 %out_ok, %out_value, %slice_reg, %index, %elem_size
+[END_MACRO]
+
+[MACRO] SLICE_TRY_GET_TYPED_F32 %out_ok, %out_value, %slice_reg, %index, %elem_size
+    __slice_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_in_bounds_%out_ok = ult %index, __slice_len_%out_ok
+    br __slice_in_bounds_%out_ok -> L_SLICE_TRY_GET_TYPED_F32_HIT_%out_ok, L_SLICE_TRY_GET_TYPED_F32_MISS_%out_ok
+L_SLICE_TRY_GET_TYPED_F32_HIT_%out_ok:
+    __slice_ptr_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_off_%out_ok = mul %index, %elem_size
+    __slice_item_%out_ok = ptr_add __slice_ptr_%out_ok, __slice_off_%out_ok
+    %out_value = load __slice_item_%out_ok+0 as f32
+    %out_ok = add 0, 1
+    !__slice_item_%out_ok
+    !__slice_off_%out_ok
+    !__slice_ptr_%out_ok
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+    jmp L_SLICE_TRY_GET_TYPED_F32_END_%out_ok
+L_SLICE_TRY_GET_TYPED_F32_MISS_%out_ok:
+    %out_value = 0.0
+    %out_ok = add 0, 0
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+L_SLICE_TRY_GET_TYPED_F32_END_%out_ok:
+[END_MACRO]
+
+[MACRO] SLICE_TRY_GET_TYPED_F64 %out_ok, %out_value, %slice_reg, %index, %elem_size
+    __slice_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_in_bounds_%out_ok = ult %index, __slice_len_%out_ok
+    br __slice_in_bounds_%out_ok -> L_SLICE_TRY_GET_TYPED_F64_HIT_%out_ok, L_SLICE_TRY_GET_TYPED_F64_MISS_%out_ok
+L_SLICE_TRY_GET_TYPED_F64_HIT_%out_ok:
+    __slice_ptr_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_off_%out_ok = mul %index, %elem_size
+    __slice_item_%out_ok = ptr_add __slice_ptr_%out_ok, __slice_off_%out_ok
+    %out_value = load __slice_item_%out_ok+0 as f64
+    %out_ok = add 0, 1
+    !__slice_item_%out_ok
+    !__slice_off_%out_ok
+    !__slice_ptr_%out_ok
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+    jmp L_SLICE_TRY_GET_TYPED_F64_END_%out_ok
+L_SLICE_TRY_GET_TYPED_F64_MISS_%out_ok:
+    %out_value = 0.0
+    %out_ok = add 0, 0
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+L_SLICE_TRY_GET_TYPED_F64_END_%out_ok:
+[END_MACRO]
+
+[MACRO] SLICE_TRY_GET_TYPED_PTR %out_ok, %out_value, %slice_reg, %index, %elem_size
+    __slice_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_in_bounds_%out_ok = ult %index, __slice_len_%out_ok
+    br __slice_in_bounds_%out_ok -> L_SLICE_TRY_GET_TYPED_PTR_HIT_%out_ok, L_SLICE_TRY_GET_TYPED_PTR_MISS_%out_ok
+L_SLICE_TRY_GET_TYPED_PTR_HIT_%out_ok:
+    __slice_ptr_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_off_%out_ok = mul %index, %elem_size
+    __slice_item_%out_ok = ptr_add __slice_ptr_%out_ok, __slice_off_%out_ok
+    %out_value = load __slice_item_%out_ok+0 as ptr
+    %out_ok = add 0, 1
+    !__slice_item_%out_ok
+    !__slice_off_%out_ok
+    !__slice_ptr_%out_ok
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+    jmp L_SLICE_TRY_GET_TYPED_PTR_END_%out_ok
+L_SLICE_TRY_GET_TYPED_PTR_MISS_%out_ok:
+    %out_value = 0 as ptr
+    %out_ok = add 0, 0
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+L_SLICE_TRY_GET_TYPED_PTR_END_%out_ok:
+[END_MACRO]
+
+[MACRO] SLICE_GET_TYPED_I1 %out_value, %slice_reg, %index, %elem_size
+    EXPAND SLICE_TRY_GET_TYPED_I1 __slice_get_ok_%out_value, %out_value, %slice_reg, %index, %elem_size
+    !__slice_get_ok_%out_value
+[END_MACRO]
+
+[MACRO] SLICE_GET_TYPED_I8 %out_value, %slice_reg, %index, %elem_size
+    EXPAND SLICE_TRY_GET_TYPED_I8 __slice_get_ok_%out_value, %out_value, %slice_reg, %index, %elem_size
+    !__slice_get_ok_%out_value
+[END_MACRO]
+
+[MACRO] SLICE_GET_TYPED_I16 %out_value, %slice_reg, %index, %elem_size
+    EXPAND SLICE_TRY_GET_TYPED_I16 __slice_get_ok_%out_value, %out_value, %slice_reg, %index, %elem_size
+    !__slice_get_ok_%out_value
+[END_MACRO]
+
+[MACRO] SLICE_GET_TYPED_I32 %out_value, %slice_reg, %index, %elem_size
+    EXPAND SLICE_TRY_GET_TYPED_I32 __slice_get_ok_%out_value, %out_value, %slice_reg, %index, %elem_size
+    !__slice_get_ok_%out_value
+[END_MACRO]
+
+[MACRO] SLICE_GET_TYPED_I64 %out_value, %slice_reg, %index, %elem_size
+    EXPAND SLICE_TRY_GET_TYPED_I64 __slice_get_ok_%out_value, %out_value, %slice_reg, %index, %elem_size
+    !__slice_get_ok_%out_value
+[END_MACRO]
+
+[MACRO] SLICE_GET_TYPED_U8 %out_value, %slice_reg, %index, %elem_size
+    EXPAND SLICE_TRY_GET_TYPED_U8 __slice_get_ok_%out_value, %out_value, %slice_reg, %index, %elem_size
+    !__slice_get_ok_%out_value
+[END_MACRO]
+
+[MACRO] SLICE_GET_TYPED_U16 %out_value, %slice_reg, %index, %elem_size
+    EXPAND SLICE_TRY_GET_TYPED_U16 __slice_get_ok_%out_value, %out_value, %slice_reg, %index, %elem_size
+    !__slice_get_ok_%out_value
+[END_MACRO]
+
+[MACRO] SLICE_GET_TYPED_U32 %out_value, %slice_reg, %index, %elem_size
+    EXPAND SLICE_TRY_GET_TYPED_U32 __slice_get_ok_%out_value, %out_value, %slice_reg, %index, %elem_size
+    !__slice_get_ok_%out_value
+[END_MACRO]
+
+[MACRO] SLICE_GET_TYPED_U64 %out_value, %slice_reg, %index, %elem_size
+    EXPAND SLICE_TRY_GET_TYPED_U64 __slice_get_ok_%out_value, %out_value, %slice_reg, %index, %elem_size
+    !__slice_get_ok_%out_value
+[END_MACRO]
+
+// Rust method-name alias over SLICE_GET_TYPED_U64.
+[MACRO] SLICE_GET_TYPED %out_value, %slice_reg, %index, %elem_size
+    EXPAND SLICE_GET_TYPED_U64 %out_value, %slice_reg, %index, %elem_size
+[END_MACRO]
+
+[MACRO] SLICE_GET_TYPED_F32 %out_value, %slice_reg, %index, %elem_size
+    EXPAND SLICE_TRY_GET_TYPED_F32 __slice_get_ok_%out_value, %out_value, %slice_reg, %index, %elem_size
+    !__slice_get_ok_%out_value
+[END_MACRO]
+
+[MACRO] SLICE_GET_TYPED_F64 %out_value, %slice_reg, %index, %elem_size
+    EXPAND SLICE_TRY_GET_TYPED_F64 __slice_get_ok_%out_value, %out_value, %slice_reg, %index, %elem_size
+    !__slice_get_ok_%out_value
+[END_MACRO]
+
+[MACRO] SLICE_GET_TYPED_PTR %out_value, %slice_reg, %index, %elem_size
+    EXPAND SLICE_TRY_GET_TYPED_PTR __slice_get_ok_%out_value, %out_value, %slice_reg, %index, %elem_size
+    !__slice_get_ok_%out_value
+[END_MACRO]
+
+[MACRO] SLICE_TRY_GET_MUT_PTR_U64 %out_ok, %out_ptr, %slice_reg, %index
+    __slice_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_in_bounds_%out_ok = ult %index, __slice_len_%out_ok
+    br __slice_in_bounds_%out_ok -> L_SLICE_TRY_GET_MUT_HIT_%out_ok, L_SLICE_TRY_GET_MUT_MISS_%out_ok
+
+L_SLICE_TRY_GET_MUT_HIT_%out_ok:
+    EXPAND SLICE_GET_MUT_PTR_U64 %out_ptr, %slice_reg, %index
+    %out_ok = add 0, 1
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+    jmp L_SLICE_TRY_GET_MUT_END_%out_ok
+
+L_SLICE_TRY_GET_MUT_MISS_%out_ok:
+    %out_ptr = 0 as ptr
+    %out_ok = add 0, 0
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+
+L_SLICE_TRY_GET_MUT_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_GET_MUT_PTR_U64.
+[MACRO] SLICE_TRY_GET_MUT_PTR %out_ok, %out_ptr, %slice_reg, %index
+    EXPAND SLICE_TRY_GET_MUT_PTR_U64 %out_ok, %out_ptr, %slice_reg, %index
+[END_MACRO]
+
+[MACRO] SLICE_TRY_FIRST_MUT_PTR_U64 %out_ok, %out_ptr, %slice_reg
+    EXPAND SLICE_TRY_GET_MUT_PTR_U64 %out_ok, %out_ptr, %slice_reg, 0
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_FIRST_MUT_PTR_U64.
+[MACRO] SLICE_TRY_FIRST_MUT_PTR %out_ok, %out_ptr, %slice_reg
+    EXPAND SLICE_TRY_FIRST_MUT_PTR_U64 %out_ok, %out_ptr, %slice_reg
+[END_MACRO]
+
+[MACRO] SLICE_TRY_LAST_MUT_PTR_U64 %out_ok, %out_ptr, %slice_reg
+    __slice_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_empty_%out_ok = eq __slice_len_%out_ok, 0
+    br __slice_empty_%out_ok -> L_SLICE_TRY_LAST_MUT_MISS_%out_ok, L_SLICE_TRY_LAST_MUT_HIT_%out_ok
+
+L_SLICE_TRY_LAST_MUT_HIT_%out_ok:
+    __slice_last_%out_ok = sub __slice_len_%out_ok, 1
+    EXPAND SLICE_GET_MUT_PTR_U64 %out_ptr, %slice_reg, __slice_last_%out_ok
+    %out_ok = add 0, 1
+    !__slice_last_%out_ok
+    !__slice_empty_%out_ok
+    !__slice_len_%out_ok
+    jmp L_SLICE_TRY_LAST_MUT_END_%out_ok
+
+L_SLICE_TRY_LAST_MUT_MISS_%out_ok:
+    %out_ptr = 0 as ptr
+    %out_ok = add 0, 0
+    !__slice_empty_%out_ok
+    !__slice_len_%out_ok
+
+L_SLICE_TRY_LAST_MUT_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_LAST_MUT_PTR_U64.
+[MACRO] SLICE_TRY_LAST_MUT_PTR %out_ok, %out_ptr, %slice_reg
+    EXPAND SLICE_TRY_LAST_MUT_PTR_U64 %out_ok, %out_ptr, %slice_reg
+[END_MACRO]
+
+[MACRO] SLICE_TRY_SPLIT_FIRST_U64 %out_ok, %out_value, %out_rest, %slice_reg
+    %out_rest = alloc Slice_SIZE
+    __slice_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_empty_%out_ok = eq __slice_len_%out_ok, 0
+    br __slice_empty_%out_ok -> L_SLICE_SPLIT_FIRST_MISS_%out_ok, L_SLICE_SPLIT_FIRST_HIT_%out_ok
+
+L_SLICE_SPLIT_FIRST_HIT_%out_ok:
+    __slice_ptr_%out_ok = load %slice_reg+Slice_ptr as ptr
+    %out_value = load __slice_ptr_%out_ok+0 as u64
+    __slice_rest_ptr_%out_ok = ptr_add __slice_ptr_%out_ok, 8
+    __slice_rest_len_%out_ok = sub __slice_len_%out_ok, 1
+    EXPAND SLICE_NEW %out_rest, __slice_rest_ptr_%out_ok, __slice_rest_len_%out_ok
+    %out_ok = add 0, 1
+    !__slice_rest_len_%out_ok
+    !__slice_rest_ptr_%out_ok
+    !__slice_ptr_%out_ok
+    !__slice_empty_%out_ok
+    !__slice_len_%out_ok
+    jmp L_SLICE_SPLIT_FIRST_END_%out_ok
+
+L_SLICE_SPLIT_FIRST_MISS_%out_ok:
+    __slice_empty_ptr_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_rest, __slice_empty_ptr_%out_ok, 0
+    %out_value = add 0, 0
+    %out_ok = add 0, 0
+    !__slice_empty_ptr_%out_ok
+    !__slice_empty_%out_ok
+    !__slice_len_%out_ok
+
+L_SLICE_SPLIT_FIRST_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_SPLIT_FIRST_U64.
+[MACRO] SLICE_TRY_SPLIT_FIRST %out_ok, %out_value, %out_rest, %slice_reg
+    EXPAND SLICE_TRY_SPLIT_FIRST_U64 %out_ok, %out_value, %out_rest, %slice_reg
+[END_MACRO]
+
+[MACRO] SLICE_TRY_SPLIT_FIRST_MUT_U64 %out_ok, %out_ptr, %out_rest, %slice_reg
+    %out_rest = alloc Slice_SIZE
+    __slice_mut_first_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_mut_first_empty_%out_ok = eq __slice_mut_first_len_%out_ok, 0
+    br __slice_mut_first_empty_%out_ok -> L_SLICE_SPLIT_FIRST_MUT_MISS_%out_ok, L_SLICE_SPLIT_FIRST_MUT_HIT_%out_ok
+
+L_SLICE_SPLIT_FIRST_MUT_HIT_%out_ok:
+    __slice_mut_first_ptr_%out_ok = load %slice_reg+Slice_ptr as ptr
+    %out_ptr = ptr_add __slice_mut_first_ptr_%out_ok, 0
+    __slice_mut_first_rest_ptr_%out_ok = ptr_add __slice_mut_first_ptr_%out_ok, 8
+    __slice_mut_first_rest_len_%out_ok = sub __slice_mut_first_len_%out_ok, 1
+    EXPAND SLICE_NEW %out_rest, __slice_mut_first_rest_ptr_%out_ok, __slice_mut_first_rest_len_%out_ok
+    %out_ok = add 0, 1
+    !__slice_mut_first_rest_len_%out_ok
+    !__slice_mut_first_rest_ptr_%out_ok
+    !__slice_mut_first_ptr_%out_ok
+    !__slice_mut_first_empty_%out_ok
+    !__slice_mut_first_len_%out_ok
+    jmp L_SLICE_SPLIT_FIRST_MUT_END_%out_ok
+
+L_SLICE_SPLIT_FIRST_MUT_MISS_%out_ok:
+    __slice_mut_first_empty_ptr_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_rest, __slice_mut_first_empty_ptr_%out_ok, 0
+    %out_ptr = 0 as ptr
+    %out_ok = add 0, 0
+    !__slice_mut_first_empty_ptr_%out_ok
+    !__slice_mut_first_empty_%out_ok
+    !__slice_mut_first_len_%out_ok
+
+L_SLICE_SPLIT_FIRST_MUT_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_SPLIT_FIRST_MUT_U64.
+[MACRO] SLICE_TRY_SPLIT_FIRST_MUT %out_ok, %out_ptr, %out_rest, %slice_reg
+    EXPAND SLICE_TRY_SPLIT_FIRST_MUT_U64 %out_ok, %out_ptr, %out_rest, %slice_reg
+[END_MACRO]
+
+[MACRO] SLICE_TRY_SPLIT_LAST_U64 %out_ok, %out_value, %out_rest, %slice_reg
+    %out_rest = alloc Slice_SIZE
+    __slice_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_empty_%out_ok = eq __slice_len_%out_ok, 0
+    br __slice_empty_%out_ok -> L_SLICE_SPLIT_LAST_MISS_%out_ok, L_SLICE_SPLIT_LAST_HIT_%out_ok
+
+L_SLICE_SPLIT_LAST_HIT_%out_ok:
+    __slice_ptr_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_last_%out_ok = sub __slice_len_%out_ok, 1
+    __slice_last_off_%out_ok = mul __slice_last_%out_ok, 8
+    __slice_last_ptr_%out_ok = ptr_add __slice_ptr_%out_ok, __slice_last_off_%out_ok
+    %out_value = load __slice_last_ptr_%out_ok+0 as u64
+    EXPAND SLICE_NEW %out_rest, __slice_ptr_%out_ok, __slice_last_%out_ok
+    %out_ok = add 0, 1
+    !__slice_last_ptr_%out_ok
+    !__slice_last_off_%out_ok
+    !__slice_last_%out_ok
+    !__slice_ptr_%out_ok
+    !__slice_empty_%out_ok
+    !__slice_len_%out_ok
+    jmp L_SLICE_SPLIT_LAST_END_%out_ok
+
+L_SLICE_SPLIT_LAST_MISS_%out_ok:
+    __slice_empty_ptr_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_rest, __slice_empty_ptr_%out_ok, 0
+    %out_value = add 0, 0
+    %out_ok = add 0, 0
+    !__slice_empty_ptr_%out_ok
+    !__slice_empty_%out_ok
+    !__slice_len_%out_ok
+
+L_SLICE_SPLIT_LAST_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_SPLIT_LAST_U64.
+[MACRO] SLICE_TRY_SPLIT_LAST %out_ok, %out_value, %out_rest, %slice_reg
+    EXPAND SLICE_TRY_SPLIT_LAST_U64 %out_ok, %out_value, %out_rest, %slice_reg
+[END_MACRO]
+
+[MACRO] SLICE_TRY_SPLIT_LAST_MUT_U64 %out_ok, %out_ptr, %out_rest, %slice_reg
+    %out_rest = alloc Slice_SIZE
+    __slice_mut_last_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_mut_last_empty_%out_ok = eq __slice_mut_last_len_%out_ok, 0
+    br __slice_mut_last_empty_%out_ok -> L_SLICE_SPLIT_LAST_MUT_MISS_%out_ok, L_SLICE_SPLIT_LAST_MUT_HIT_%out_ok
+
+L_SLICE_SPLIT_LAST_MUT_HIT_%out_ok:
+    __slice_mut_last_base_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_mut_last_idx_%out_ok = sub __slice_mut_last_len_%out_ok, 1
+    __slice_mut_last_off_%out_ok = mul __slice_mut_last_idx_%out_ok, 8
+    %out_ptr = ptr_add __slice_mut_last_base_%out_ok, __slice_mut_last_off_%out_ok
+    EXPAND SLICE_NEW %out_rest, __slice_mut_last_base_%out_ok, __slice_mut_last_idx_%out_ok
+    %out_ok = add 0, 1
+    !__slice_mut_last_off_%out_ok
+    !__slice_mut_last_idx_%out_ok
+    !__slice_mut_last_base_%out_ok
+    !__slice_mut_last_empty_%out_ok
+    !__slice_mut_last_len_%out_ok
+    jmp L_SLICE_SPLIT_LAST_MUT_END_%out_ok
+
+L_SLICE_SPLIT_LAST_MUT_MISS_%out_ok:
+    __slice_mut_last_empty_ptr_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_rest, __slice_mut_last_empty_ptr_%out_ok, 0
+    %out_ptr = 0 as ptr
+    %out_ok = add 0, 0
+    !__slice_mut_last_empty_ptr_%out_ok
+    !__slice_mut_last_empty_%out_ok
+    !__slice_mut_last_len_%out_ok
+
+L_SLICE_SPLIT_LAST_MUT_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_SPLIT_LAST_MUT_U64.
+[MACRO] SLICE_TRY_SPLIT_LAST_MUT %out_ok, %out_ptr, %out_rest, %slice_reg
+    EXPAND SLICE_TRY_SPLIT_LAST_MUT_U64 %out_ok, %out_ptr, %out_rest, %slice_reg
+[END_MACRO]
+
+[MACRO] SLICE_CONTAINS_U64 %out_bool, %slice_reg, %needle
+    __slice_ptr_%out_bool = load %slice_reg+Slice_ptr as ptr
+    __slice_len_%out_bool = load %slice_reg+Slice_len as u64
+    __slice_idx_slot_%out_bool = stack_alloc 8
+    store __slice_idx_slot_%out_bool+0, 0 as u64
+    jmp L_SLICE_CONTAINS_HEAD_%out_bool
+
+L_SLICE_CONTAINS_HEAD_%out_bool:
+    __slice_idx_%out_bool = load __slice_idx_slot_%out_bool+0 as u64
+    __slice_done_%out_bool = eq __slice_idx_%out_bool, __slice_len_%out_bool
+    br __slice_done_%out_bool -> L_SLICE_CONTAINS_MISS_%out_bool, L_SLICE_CONTAINS_BODY_%out_bool
+
+L_SLICE_CONTAINS_BODY_%out_bool:
+    __slice_off_%out_bool = mul __slice_idx_%out_bool, 8
+    __slice_elem_ptr_%out_bool = ptr_add __slice_ptr_%out_bool, __slice_off_%out_bool
+    __slice_elem_%out_bool = load __slice_elem_ptr_%out_bool+0 as u64
+    __slice_match_%out_bool = eq __slice_elem_%out_bool, %needle
+    br __slice_match_%out_bool -> L_SLICE_CONTAINS_HIT_%out_bool, L_SLICE_CONTAINS_NEXT_%out_bool
+
+L_SLICE_CONTAINS_NEXT_%out_bool:
+    __slice_next_%out_bool = add __slice_idx_%out_bool, 1
+    store __slice_idx_slot_%out_bool+0, __slice_next_%out_bool as u64
+    !__slice_next_%out_bool
+    !__slice_match_%out_bool
+    !__slice_elem_%out_bool
+    !__slice_elem_ptr_%out_bool
+    !__slice_off_%out_bool
+    !__slice_done_%out_bool
+    !__slice_idx_%out_bool
+    jmp L_SLICE_CONTAINS_HEAD_%out_bool
+
+L_SLICE_CONTAINS_HIT_%out_bool:
+    %out_bool = add 0, 1
+    !__slice_match_%out_bool
+    !__slice_elem_%out_bool
+    !__slice_elem_ptr_%out_bool
+    !__slice_off_%out_bool
+    !__slice_done_%out_bool
+    !__slice_idx_%out_bool
+    !__slice_len_%out_bool
+    !__slice_ptr_%out_bool
+    jmp L_SLICE_CONTAINS_END_%out_bool
+
+L_SLICE_CONTAINS_MISS_%out_bool:
+    %out_bool = add 0, 0
+    !__slice_done_%out_bool
+    !__slice_idx_%out_bool
+    !__slice_len_%out_bool
+    !__slice_ptr_%out_bool
+
+L_SLICE_CONTAINS_END_%out_bool:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_CONTAINS_U64.
+[MACRO] SLICE_CONTAINS %out_bool, %slice_reg, %needle
+    EXPAND SLICE_CONTAINS_U64 %out_bool, %slice_reg, %needle
+[END_MACRO]
+
+[MACRO] SLICE_EQ_U64 %out_bool, %left_slice, %right_slice
+    __slice_eq_left_ptr_%out_bool = load %left_slice+Slice_ptr as ptr
+    __slice_eq_right_ptr_%out_bool = load %right_slice+Slice_ptr as ptr
+    __slice_eq_left_len_%out_bool = load %left_slice+Slice_len as u64
+    __slice_eq_right_len_%out_bool = load %right_slice+Slice_len as u64
+    __slice_eq_same_len_%out_bool = eq __slice_eq_left_len_%out_bool, __slice_eq_right_len_%out_bool
+    __slice_eq_idx_slot_%out_bool = stack_alloc 8
+    store __slice_eq_idx_slot_%out_bool+0, 0 as u64
+    br __slice_eq_same_len_%out_bool -> L_SLICE_EQ_HEAD_%out_bool, L_SLICE_EQ_FALSE_%out_bool
+
+L_SLICE_EQ_HEAD_%out_bool:
+    __slice_eq_idx_%out_bool = load __slice_eq_idx_slot_%out_bool+0 as u64
+    __slice_eq_done_%out_bool = eq __slice_eq_idx_%out_bool, __slice_eq_left_len_%out_bool
+    br __slice_eq_done_%out_bool -> L_SLICE_EQ_TRUE_%out_bool, L_SLICE_EQ_BODY_%out_bool
+
+L_SLICE_EQ_BODY_%out_bool:
+    __slice_eq_off_%out_bool = mul __slice_eq_idx_%out_bool, 8
+    __slice_eq_left_item_%out_bool = ptr_add __slice_eq_left_ptr_%out_bool, __slice_eq_off_%out_bool
+    __slice_eq_right_item_%out_bool = ptr_add __slice_eq_right_ptr_%out_bool, __slice_eq_off_%out_bool
+    __slice_eq_left_value_%out_bool = load __slice_eq_left_item_%out_bool+0 as u64
+    __slice_eq_right_value_%out_bool = load __slice_eq_right_item_%out_bool+0 as u64
+    __slice_eq_values_match_%out_bool = eq __slice_eq_left_value_%out_bool, __slice_eq_right_value_%out_bool
+    br __slice_eq_values_match_%out_bool -> L_SLICE_EQ_NEXT_%out_bool, L_SLICE_EQ_FALSE_LOOP_%out_bool
+
+L_SLICE_EQ_NEXT_%out_bool:
+    __slice_eq_next_%out_bool = add __slice_eq_idx_%out_bool, 1
+    store __slice_eq_idx_slot_%out_bool+0, __slice_eq_next_%out_bool as u64
+    !__slice_eq_next_%out_bool
+    !__slice_eq_values_match_%out_bool
+    !__slice_eq_right_value_%out_bool
+    !__slice_eq_left_value_%out_bool
+    !__slice_eq_right_item_%out_bool
+    !__slice_eq_left_item_%out_bool
+    !__slice_eq_off_%out_bool
+    !__slice_eq_done_%out_bool
+    !__slice_eq_idx_%out_bool
+    jmp L_SLICE_EQ_HEAD_%out_bool
+
+L_SLICE_EQ_TRUE_%out_bool:
+    %out_bool = add 0, 1
+    !__slice_eq_done_%out_bool
+    !__slice_eq_idx_%out_bool
+    !__slice_eq_same_len_%out_bool
+    !__slice_eq_right_len_%out_bool
+    !__slice_eq_left_len_%out_bool
+    !__slice_eq_right_ptr_%out_bool
+    !__slice_eq_left_ptr_%out_bool
+    jmp L_SLICE_EQ_END_%out_bool
+
+L_SLICE_EQ_FALSE_LOOP_%out_bool:
+    %out_bool = add 0, 0
+    !__slice_eq_values_match_%out_bool
+    !__slice_eq_right_value_%out_bool
+    !__slice_eq_left_value_%out_bool
+    !__slice_eq_right_item_%out_bool
+    !__slice_eq_left_item_%out_bool
+    !__slice_eq_off_%out_bool
+    !__slice_eq_done_%out_bool
+    !__slice_eq_idx_%out_bool
+    !__slice_eq_same_len_%out_bool
+    !__slice_eq_right_len_%out_bool
+    !__slice_eq_left_len_%out_bool
+    !__slice_eq_right_ptr_%out_bool
+    !__slice_eq_left_ptr_%out_bool
+    jmp L_SLICE_EQ_END_%out_bool
+
+L_SLICE_EQ_FALSE_%out_bool:
+    %out_bool = add 0, 0
+    !__slice_eq_same_len_%out_bool
+    !__slice_eq_right_len_%out_bool
+    !__slice_eq_left_len_%out_bool
+    !__slice_eq_right_ptr_%out_bool
+    !__slice_eq_left_ptr_%out_bool
+
+L_SLICE_EQ_END_%out_bool:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_EQ_U64.
+[MACRO] SLICE_EQ %out_bool, %left_slice, %right_slice
+    EXPAND SLICE_EQ_U64 %out_bool, %left_slice, %right_slice
+[END_MACRO]
+
+[MACRO] SLICE_NE_U64 %out_bool, %left_slice, %right_slice
+    EXPAND SLICE_EQ_U64 __slice_ne_eq_%out_bool, %left_slice, %right_slice
+    %out_bool = eq __slice_ne_eq_%out_bool, 0
+    !__slice_ne_eq_%out_bool
+[END_MACRO]
+
+// Rust method-name alias over SLICE_NE_U64.
+[MACRO] SLICE_NE %out_bool, %left_slice, %right_slice
+    EXPAND SLICE_NE_U64 %out_bool, %left_slice, %right_slice
+[END_MACRO]
+
+[MACRO] SLICE_CMP_U64 %out_ordering, %left_slice, %right_slice
+    __slice_cmp_left_ptr_%out_ordering = load %left_slice+Slice_ptr as ptr
+    __slice_cmp_right_ptr_%out_ordering = load %right_slice+Slice_ptr as ptr
+    __slice_cmp_left_len_%out_ordering = load %left_slice+Slice_len as u64
+    __slice_cmp_right_len_%out_ordering = load %right_slice+Slice_len as u64
+    __slice_cmp_idx_slot_%out_ordering = stack_alloc 8
+    store __slice_cmp_idx_slot_%out_ordering+0, 0 as u64
+    jmp L_SLICE_CMP_HEAD_%out_ordering
+
+L_SLICE_CMP_HEAD_%out_ordering:
+    __slice_cmp_idx_%out_ordering = load __slice_cmp_idx_slot_%out_ordering+0 as u64
+    __slice_cmp_left_done_%out_ordering = eq __slice_cmp_idx_%out_ordering, __slice_cmp_left_len_%out_ordering
+    __slice_cmp_right_done_%out_ordering = eq __slice_cmp_idx_%out_ordering, __slice_cmp_right_len_%out_ordering
+    br __slice_cmp_left_done_%out_ordering -> L_SLICE_CMP_LEFT_DONE_%out_ordering, L_SLICE_CMP_LEFT_SOME_%out_ordering
+
+L_SLICE_CMP_LEFT_SOME_%out_ordering:
+    br __slice_cmp_right_done_%out_ordering -> L_SLICE_CMP_GREATER_%out_ordering, L_SLICE_CMP_BODY_%out_ordering
+
+L_SLICE_CMP_BODY_%out_ordering:
+    __slice_cmp_off_%out_ordering = mul __slice_cmp_idx_%out_ordering, 8
+    __slice_cmp_left_item_%out_ordering = ptr_add __slice_cmp_left_ptr_%out_ordering, __slice_cmp_off_%out_ordering
+    __slice_cmp_right_item_%out_ordering = ptr_add __slice_cmp_right_ptr_%out_ordering, __slice_cmp_off_%out_ordering
+    __slice_cmp_left_value_%out_ordering = load __slice_cmp_left_item_%out_ordering+0 as u64
+    __slice_cmp_right_value_%out_ordering = load __slice_cmp_right_item_%out_ordering+0 as u64
+    __slice_cmp_less_%out_ordering = ult __slice_cmp_left_value_%out_ordering, __slice_cmp_right_value_%out_ordering
+    br __slice_cmp_less_%out_ordering -> L_SLICE_CMP_LESS_LOOP_%out_ordering, L_SLICE_CMP_CHECK_GREATER_%out_ordering
+
+L_SLICE_CMP_CHECK_GREATER_%out_ordering:
+    __slice_cmp_greater_%out_ordering = ugt __slice_cmp_left_value_%out_ordering, __slice_cmp_right_value_%out_ordering
+    br __slice_cmp_greater_%out_ordering -> L_SLICE_CMP_GREATER_LOOP_%out_ordering, L_SLICE_CMP_NEXT_%out_ordering
+
+L_SLICE_CMP_NEXT_%out_ordering:
+    __slice_cmp_next_%out_ordering = add __slice_cmp_idx_%out_ordering, 1
+    store __slice_cmp_idx_slot_%out_ordering+0, __slice_cmp_next_%out_ordering as u64
+    !__slice_cmp_next_%out_ordering
+    !__slice_cmp_greater_%out_ordering
+    !__slice_cmp_less_%out_ordering
+    !__slice_cmp_right_value_%out_ordering
+    !__slice_cmp_left_value_%out_ordering
+    !__slice_cmp_right_item_%out_ordering
+    !__slice_cmp_left_item_%out_ordering
+    !__slice_cmp_off_%out_ordering
+    !__slice_cmp_right_done_%out_ordering
+    !__slice_cmp_left_done_%out_ordering
+    !__slice_cmp_idx_%out_ordering
+    jmp L_SLICE_CMP_HEAD_%out_ordering
+
+L_SLICE_CMP_LEFT_DONE_%out_ordering:
+    br __slice_cmp_right_done_%out_ordering -> L_SLICE_CMP_EQUAL_%out_ordering, L_SLICE_CMP_LESS_%out_ordering
+
+L_SLICE_CMP_LESS_LOOP_%out_ordering:
+    %out_ordering = sub 0, 1
+    !__slice_cmp_less_%out_ordering
+    !__slice_cmp_right_value_%out_ordering
+    !__slice_cmp_left_value_%out_ordering
+    !__slice_cmp_right_item_%out_ordering
+    !__slice_cmp_left_item_%out_ordering
+    !__slice_cmp_off_%out_ordering
+    !__slice_cmp_right_done_%out_ordering
+    !__slice_cmp_left_done_%out_ordering
+    !__slice_cmp_idx_%out_ordering
+    !__slice_cmp_right_len_%out_ordering
+    !__slice_cmp_left_len_%out_ordering
+    !__slice_cmp_right_ptr_%out_ordering
+    !__slice_cmp_left_ptr_%out_ordering
+    jmp L_SLICE_CMP_END_%out_ordering
+
+L_SLICE_CMP_GREATER_LOOP_%out_ordering:
+    %out_ordering = add 0, 1
+    !__slice_cmp_greater_%out_ordering
+    !__slice_cmp_less_%out_ordering
+    !__slice_cmp_right_value_%out_ordering
+    !__slice_cmp_left_value_%out_ordering
+    !__slice_cmp_right_item_%out_ordering
+    !__slice_cmp_left_item_%out_ordering
+    !__slice_cmp_off_%out_ordering
+    !__slice_cmp_right_done_%out_ordering
+    !__slice_cmp_left_done_%out_ordering
+    !__slice_cmp_idx_%out_ordering
+    !__slice_cmp_right_len_%out_ordering
+    !__slice_cmp_left_len_%out_ordering
+    !__slice_cmp_right_ptr_%out_ordering
+    !__slice_cmp_left_ptr_%out_ordering
+    jmp L_SLICE_CMP_END_%out_ordering
+
+L_SLICE_CMP_LESS_%out_ordering:
+    %out_ordering = sub 0, 1
+    !__slice_cmp_right_done_%out_ordering
+    !__slice_cmp_left_done_%out_ordering
+    !__slice_cmp_idx_%out_ordering
+    !__slice_cmp_right_len_%out_ordering
+    !__slice_cmp_left_len_%out_ordering
+    !__slice_cmp_right_ptr_%out_ordering
+    !__slice_cmp_left_ptr_%out_ordering
+    jmp L_SLICE_CMP_END_%out_ordering
+
+L_SLICE_CMP_GREATER_%out_ordering:
+    %out_ordering = add 0, 1
+    !__slice_cmp_right_done_%out_ordering
+    !__slice_cmp_left_done_%out_ordering
+    !__slice_cmp_idx_%out_ordering
+    !__slice_cmp_right_len_%out_ordering
+    !__slice_cmp_left_len_%out_ordering
+    !__slice_cmp_right_ptr_%out_ordering
+    !__slice_cmp_left_ptr_%out_ordering
+    jmp L_SLICE_CMP_END_%out_ordering
+
+L_SLICE_CMP_EQUAL_%out_ordering:
+    %out_ordering = add 0, 0
+    !__slice_cmp_right_done_%out_ordering
+    !__slice_cmp_left_done_%out_ordering
+    !__slice_cmp_idx_%out_ordering
+    !__slice_cmp_right_len_%out_ordering
+    !__slice_cmp_left_len_%out_ordering
+    !__slice_cmp_right_ptr_%out_ordering
+    !__slice_cmp_left_ptr_%out_ordering
+
+L_SLICE_CMP_END_%out_ordering:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_CMP_U64.
+[MACRO] SLICE_CMP %out_ordering, %left_slice, %right_slice
+    EXPAND SLICE_CMP_U64 %out_ordering, %left_slice, %right_slice
+[END_MACRO]
+
+[MACRO] SLICE_LT_U64 %out_bool, %left_slice, %right_slice
+    EXPAND SLICE_CMP_U64 __slice_lt_order_%out_bool, %left_slice, %right_slice
+    %out_bool = slt __slice_lt_order_%out_bool, 0
+    !__slice_lt_order_%out_bool
+[END_MACRO]
+
+// Rust method-name alias over SLICE_LT_U64.
+[MACRO] SLICE_LT %out_bool, %left_slice, %right_slice
+    EXPAND SLICE_LT_U64 %out_bool, %left_slice, %right_slice
+[END_MACRO]
+
+[MACRO] SLICE_LE_U64 %out_bool, %left_slice, %right_slice
+    EXPAND SLICE_CMP_U64 __slice_le_order_%out_bool, %left_slice, %right_slice
+    %out_bool = sle __slice_le_order_%out_bool, 0
+    !__slice_le_order_%out_bool
+[END_MACRO]
+
+// Rust method-name alias over SLICE_LE_U64.
+[MACRO] SLICE_LE %out_bool, %left_slice, %right_slice
+    EXPAND SLICE_LE_U64 %out_bool, %left_slice, %right_slice
+[END_MACRO]
+
+[MACRO] SLICE_GT_U64 %out_bool, %left_slice, %right_slice
+    EXPAND SLICE_CMP_U64 __slice_gt_order_%out_bool, %left_slice, %right_slice
+    %out_bool = sgt __slice_gt_order_%out_bool, 0
+    !__slice_gt_order_%out_bool
+[END_MACRO]
+
+// Rust method-name alias over SLICE_GT_U64.
+[MACRO] SLICE_GT %out_bool, %left_slice, %right_slice
+    EXPAND SLICE_GT_U64 %out_bool, %left_slice, %right_slice
+[END_MACRO]
+
+[MACRO] SLICE_GE_U64 %out_bool, %left_slice, %right_slice
+    EXPAND SLICE_CMP_U64 __slice_ge_order_%out_bool, %left_slice, %right_slice
+    %out_bool = sge __slice_ge_order_%out_bool, 0
+    !__slice_ge_order_%out_bool
+[END_MACRO]
+
+// Rust method-name alias over SLICE_GE_U64.
+[MACRO] SLICE_GE %out_bool, %left_slice, %right_slice
+    EXPAND SLICE_GE_U64 %out_bool, %left_slice, %right_slice
+[END_MACRO]
+
+[MACRO] SLICE_STARTS_WITH_U64 %out_bool, %slice_reg, %prefix_slice
+    __slice_ptr_%out_bool = load %slice_reg+Slice_ptr as ptr
+    __slice_prefix_ptr_%out_bool = load %prefix_slice+Slice_ptr as ptr
+    __slice_len_%out_bool = load %slice_reg+Slice_len as u64
+    __slice_prefix_len_%out_bool = load %prefix_slice+Slice_len as u64
+    __slice_idx_slot_%out_bool = stack_alloc 8
+    store __slice_idx_slot_%out_bool+0, 0 as u64
+    __slice_can_match_%out_bool = ule __slice_prefix_len_%out_bool, __slice_len_%out_bool
+    br __slice_can_match_%out_bool -> L_SLICE_STARTS_HEAD_%out_bool, L_SLICE_STARTS_FALSE_%out_bool
+
+L_SLICE_STARTS_HEAD_%out_bool:
+    __slice_idx_%out_bool = load __slice_idx_slot_%out_bool+0 as u64
+    __slice_done_%out_bool = eq __slice_idx_%out_bool, __slice_prefix_len_%out_bool
+    br __slice_done_%out_bool -> L_SLICE_STARTS_TRUE_%out_bool, L_SLICE_STARTS_BODY_%out_bool
+
+L_SLICE_STARTS_BODY_%out_bool:
+    __slice_off_%out_bool = mul __slice_idx_%out_bool, 8
+    __slice_elem_ptr_%out_bool = ptr_add __slice_ptr_%out_bool, __slice_off_%out_bool
+    __slice_prefix_elem_ptr_%out_bool = ptr_add __slice_prefix_ptr_%out_bool, __slice_off_%out_bool
+    __slice_elem_%out_bool = load __slice_elem_ptr_%out_bool+0 as u64
+    __slice_prefix_elem_%out_bool = load __slice_prefix_elem_ptr_%out_bool+0 as u64
+    __slice_match_%out_bool = eq __slice_elem_%out_bool, __slice_prefix_elem_%out_bool
+    br __slice_match_%out_bool -> L_SLICE_STARTS_NEXT_%out_bool, L_SLICE_STARTS_FALSE_LOOP_%out_bool
+
+L_SLICE_STARTS_NEXT_%out_bool:
+    __slice_next_%out_bool = add __slice_idx_%out_bool, 1
+    store __slice_idx_slot_%out_bool+0, __slice_next_%out_bool as u64
+    !__slice_next_%out_bool
+    !__slice_match_%out_bool
+    !__slice_prefix_elem_%out_bool
+    !__slice_elem_%out_bool
+    !__slice_prefix_elem_ptr_%out_bool
+    !__slice_elem_ptr_%out_bool
+    !__slice_off_%out_bool
+    !__slice_done_%out_bool
+    !__slice_idx_%out_bool
+    jmp L_SLICE_STARTS_HEAD_%out_bool
+
+L_SLICE_STARTS_TRUE_%out_bool:
+    %out_bool = add 0, 1
+    !__slice_done_%out_bool
+    !__slice_idx_%out_bool
+    !__slice_can_match_%out_bool
+    !__slice_prefix_len_%out_bool
+    !__slice_len_%out_bool
+    !__slice_prefix_ptr_%out_bool
+    !__slice_ptr_%out_bool
+    jmp L_SLICE_STARTS_END_%out_bool
+
+L_SLICE_STARTS_FALSE_LOOP_%out_bool:
+    %out_bool = add 0, 0
+    !__slice_match_%out_bool
+    !__slice_prefix_elem_%out_bool
+    !__slice_elem_%out_bool
+    !__slice_prefix_elem_ptr_%out_bool
+    !__slice_elem_ptr_%out_bool
+    !__slice_off_%out_bool
+    !__slice_done_%out_bool
+    !__slice_idx_%out_bool
+    !__slice_can_match_%out_bool
+    !__slice_prefix_len_%out_bool
+    !__slice_len_%out_bool
+    !__slice_prefix_ptr_%out_bool
+    !__slice_ptr_%out_bool
+    jmp L_SLICE_STARTS_END_%out_bool
+
+L_SLICE_STARTS_FALSE_%out_bool:
+    %out_bool = add 0, 0
+    !__slice_can_match_%out_bool
+    !__slice_prefix_len_%out_bool
+    !__slice_len_%out_bool
+    !__slice_prefix_ptr_%out_bool
+    !__slice_ptr_%out_bool
+
+L_SLICE_STARTS_END_%out_bool:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_STARTS_WITH_U64.
+[MACRO] SLICE_STARTS_WITH %out_bool, %slice_reg, %prefix_slice
+    EXPAND SLICE_STARTS_WITH_U64 %out_bool, %slice_reg, %prefix_slice
+[END_MACRO]
+
+[MACRO] SLICE_ENDS_WITH_U64 %out_bool, %slice_reg, %suffix_slice
+    __slice_ptr_%out_bool = load %slice_reg+Slice_ptr as ptr
+    __slice_suffix_ptr_%out_bool = load %suffix_slice+Slice_ptr as ptr
+    __slice_len_%out_bool = load %slice_reg+Slice_len as u64
+    __slice_suffix_len_%out_bool = load %suffix_slice+Slice_len as u64
+    __slice_idx_slot_%out_bool = stack_alloc 8
+    store __slice_idx_slot_%out_bool+0, 0 as u64
+    __slice_can_match_%out_bool = ule __slice_suffix_len_%out_bool, __slice_len_%out_bool
+    br __slice_can_match_%out_bool -> L_SLICE_ENDS_INIT_%out_bool, L_SLICE_ENDS_FALSE_%out_bool
+
+L_SLICE_ENDS_INIT_%out_bool:
+    __slice_start_%out_bool = sub __slice_len_%out_bool, __slice_suffix_len_%out_bool
+    jmp L_SLICE_ENDS_HEAD_%out_bool
+
+L_SLICE_ENDS_HEAD_%out_bool:
+    __slice_idx_%out_bool = load __slice_idx_slot_%out_bool+0 as u64
+    __slice_done_%out_bool = eq __slice_idx_%out_bool, __slice_suffix_len_%out_bool
+    br __slice_done_%out_bool -> L_SLICE_ENDS_TRUE_%out_bool, L_SLICE_ENDS_BODY_%out_bool
+
+L_SLICE_ENDS_BODY_%out_bool:
+    __slice_hay_idx_%out_bool = add __slice_start_%out_bool, __slice_idx_%out_bool
+    __slice_hay_off_%out_bool = mul __slice_hay_idx_%out_bool, 8
+    __slice_suffix_off_%out_bool = mul __slice_idx_%out_bool, 8
+    __slice_elem_ptr_%out_bool = ptr_add __slice_ptr_%out_bool, __slice_hay_off_%out_bool
+    __slice_suffix_elem_ptr_%out_bool = ptr_add __slice_suffix_ptr_%out_bool, __slice_suffix_off_%out_bool
+    __slice_elem_%out_bool = load __slice_elem_ptr_%out_bool+0 as u64
+    __slice_suffix_elem_%out_bool = load __slice_suffix_elem_ptr_%out_bool+0 as u64
+    __slice_match_%out_bool = eq __slice_elem_%out_bool, __slice_suffix_elem_%out_bool
+    br __slice_match_%out_bool -> L_SLICE_ENDS_NEXT_%out_bool, L_SLICE_ENDS_FALSE_LOOP_%out_bool
+
+L_SLICE_ENDS_NEXT_%out_bool:
+    __slice_next_%out_bool = add __slice_idx_%out_bool, 1
+    store __slice_idx_slot_%out_bool+0, __slice_next_%out_bool as u64
+    !__slice_next_%out_bool
+    !__slice_match_%out_bool
+    !__slice_suffix_elem_%out_bool
+    !__slice_elem_%out_bool
+    !__slice_suffix_elem_ptr_%out_bool
+    !__slice_elem_ptr_%out_bool
+    !__slice_suffix_off_%out_bool
+    !__slice_hay_off_%out_bool
+    !__slice_hay_idx_%out_bool
+    !__slice_done_%out_bool
+    !__slice_idx_%out_bool
+    jmp L_SLICE_ENDS_HEAD_%out_bool
+
+L_SLICE_ENDS_TRUE_%out_bool:
+    %out_bool = add 0, 1
+    !__slice_done_%out_bool
+    !__slice_idx_%out_bool
+    !__slice_start_%out_bool
+    !__slice_can_match_%out_bool
+    !__slice_suffix_len_%out_bool
+    !__slice_len_%out_bool
+    !__slice_suffix_ptr_%out_bool
+    !__slice_ptr_%out_bool
+    jmp L_SLICE_ENDS_END_%out_bool
+
+L_SLICE_ENDS_FALSE_LOOP_%out_bool:
+    %out_bool = add 0, 0
+    !__slice_match_%out_bool
+    !__slice_suffix_elem_%out_bool
+    !__slice_elem_%out_bool
+    !__slice_suffix_elem_ptr_%out_bool
+    !__slice_elem_ptr_%out_bool
+    !__slice_suffix_off_%out_bool
+    !__slice_hay_off_%out_bool
+    !__slice_hay_idx_%out_bool
+    !__slice_done_%out_bool
+    !__slice_idx_%out_bool
+    !__slice_start_%out_bool
+    !__slice_can_match_%out_bool
+    !__slice_suffix_len_%out_bool
+    !__slice_len_%out_bool
+    !__slice_suffix_ptr_%out_bool
+    !__slice_ptr_%out_bool
+    jmp L_SLICE_ENDS_END_%out_bool
+
+L_SLICE_ENDS_FALSE_%out_bool:
+    %out_bool = add 0, 0
+    !__slice_can_match_%out_bool
+    !__slice_suffix_len_%out_bool
+    !__slice_len_%out_bool
+    !__slice_suffix_ptr_%out_bool
+    !__slice_ptr_%out_bool
+
+L_SLICE_ENDS_END_%out_bool:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_ENDS_WITH_U64.
+[MACRO] SLICE_ENDS_WITH %out_bool, %slice_reg, %suffix_slice
+    EXPAND SLICE_ENDS_WITH_U64 %out_bool, %slice_reg, %suffix_slice
+[END_MACRO]
+
+[MACRO] SLICE_TRY_STRIP_PREFIX_U64 %out_ok, %out_slice, %slice_reg, %prefix_slice
+    %out_slice = alloc Slice_SIZE
+    __slice_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_prefix_len_%out_ok = load %prefix_slice+Slice_len as u64
+    EXPAND SLICE_STARTS_WITH_U64 __slice_strip_match_%out_ok, %slice_reg, %prefix_slice
+    br __slice_strip_match_%out_ok -> L_SLICE_STRIP_PREFIX_HIT_%out_ok, L_SLICE_STRIP_PREFIX_MISS_%out_ok
+
+L_SLICE_STRIP_PREFIX_HIT_%out_ok:
+    __slice_rest_len_%out_ok = sub __slice_len_%out_ok, __slice_prefix_len_%out_ok
+    __slice_src_ptr_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_prefix_bytes_%out_ok = mul __slice_prefix_len_%out_ok, 8
+    __slice_rest_ptr_%out_ok = ptr_add __slice_src_ptr_%out_ok, __slice_prefix_bytes_%out_ok
+    EXPAND SLICE_NEW %out_slice, __slice_rest_ptr_%out_ok, __slice_rest_len_%out_ok
+    %out_ok = add 0, 1
+    !__slice_rest_ptr_%out_ok
+    !__slice_prefix_bytes_%out_ok
+    !__slice_src_ptr_%out_ok
+    !__slice_rest_len_%out_ok
+    !__slice_strip_match_%out_ok
+    !__slice_prefix_len_%out_ok
+    !__slice_len_%out_ok
+    jmp L_SLICE_STRIP_PREFIX_END_%out_ok
+
+L_SLICE_STRIP_PREFIX_MISS_%out_ok:
+    __slice_empty_ptr_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_slice, __slice_empty_ptr_%out_ok, 0
+    %out_ok = add 0, 0
+    !__slice_empty_ptr_%out_ok
+    !__slice_strip_match_%out_ok
+    !__slice_prefix_len_%out_ok
+    !__slice_len_%out_ok
+
+L_SLICE_STRIP_PREFIX_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_STRIP_PREFIX_U64.
+[MACRO] SLICE_TRY_STRIP_PREFIX %out_ok, %out_slice, %slice_reg, %prefix_slice
+    EXPAND SLICE_TRY_STRIP_PREFIX_U64 %out_ok, %out_slice, %slice_reg, %prefix_slice
+[END_MACRO]
+
+[MACRO] SLICE_TRY_STRIP_SUFFIX_U64 %out_ok, %out_slice, %slice_reg, %suffix_slice
+    %out_slice = alloc Slice_SIZE
+    __slice_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_suffix_len_%out_ok = load %suffix_slice+Slice_len as u64
+    EXPAND SLICE_ENDS_WITH_U64 __slice_strip_match_%out_ok, %slice_reg, %suffix_slice
+    br __slice_strip_match_%out_ok -> L_SLICE_STRIP_SUFFIX_HIT_%out_ok, L_SLICE_STRIP_SUFFIX_MISS_%out_ok
+
+L_SLICE_STRIP_SUFFIX_HIT_%out_ok:
+    __slice_rest_len_%out_ok = sub __slice_len_%out_ok, __slice_suffix_len_%out_ok
+    __slice_src_ptr_%out_ok = load %slice_reg+Slice_ptr as ptr
+    EXPAND SLICE_NEW %out_slice, __slice_src_ptr_%out_ok, __slice_rest_len_%out_ok
+    %out_ok = add 0, 1
+    !__slice_src_ptr_%out_ok
+    !__slice_rest_len_%out_ok
+    !__slice_strip_match_%out_ok
+    !__slice_suffix_len_%out_ok
+    !__slice_len_%out_ok
+    jmp L_SLICE_STRIP_SUFFIX_END_%out_ok
+
+L_SLICE_STRIP_SUFFIX_MISS_%out_ok:
+    __slice_empty_ptr_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_slice, __slice_empty_ptr_%out_ok, 0
+    %out_ok = add 0, 0
+    !__slice_empty_ptr_%out_ok
+    !__slice_strip_match_%out_ok
+    !__slice_suffix_len_%out_ok
+    !__slice_len_%out_ok
+
+L_SLICE_STRIP_SUFFIX_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_STRIP_SUFFIX_U64.
+[MACRO] SLICE_TRY_STRIP_SUFFIX %out_ok, %out_slice, %slice_reg, %suffix_slice
+    EXPAND SLICE_TRY_STRIP_SUFFIX_U64 %out_ok, %out_slice, %slice_reg, %suffix_slice
+[END_MACRO]
+
+[MACRO] SLICE_TRIM_PREFIX_U64 %out_slice, %slice_reg, %prefix_slice
+    %out_slice = alloc Slice_SIZE
+    __slice_len_%out_slice = load %slice_reg+Slice_len as u64
+    __slice_prefix_len_%out_slice = load %prefix_slice+Slice_len as u64
+    EXPAND SLICE_STARTS_WITH_U64 __slice_trim_match_%out_slice, %slice_reg, %prefix_slice
+    br __slice_trim_match_%out_slice -> L_SLICE_TRIM_PREFIX_HIT_%out_slice, L_SLICE_TRIM_PREFIX_MISS_%out_slice
+
+L_SLICE_TRIM_PREFIX_HIT_%out_slice:
+    __slice_rest_len_%out_slice = sub __slice_len_%out_slice, __slice_prefix_len_%out_slice
+    __slice_src_ptr_%out_slice = load %slice_reg+Slice_ptr as ptr
+    __slice_prefix_bytes_%out_slice = mul __slice_prefix_len_%out_slice, 8
+    __slice_rest_ptr_%out_slice = ptr_add __slice_src_ptr_%out_slice, __slice_prefix_bytes_%out_slice
+    EXPAND SLICE_NEW %out_slice, __slice_rest_ptr_%out_slice, __slice_rest_len_%out_slice
+    !__slice_rest_ptr_%out_slice
+    !__slice_prefix_bytes_%out_slice
+    !__slice_src_ptr_%out_slice
+    !__slice_rest_len_%out_slice
+    !__slice_trim_match_%out_slice
+    !__slice_prefix_len_%out_slice
+    !__slice_len_%out_slice
+    jmp L_SLICE_TRIM_PREFIX_END_%out_slice
+
+L_SLICE_TRIM_PREFIX_MISS_%out_slice:
+    __slice_src_ptr_miss_%out_slice = load %slice_reg+Slice_ptr as ptr
+    EXPAND SLICE_NEW %out_slice, __slice_src_ptr_miss_%out_slice, __slice_len_%out_slice
+    !__slice_src_ptr_miss_%out_slice
+    !__slice_trim_match_%out_slice
+    !__slice_prefix_len_%out_slice
+    !__slice_len_%out_slice
+
+L_SLICE_TRIM_PREFIX_END_%out_slice:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRIM_PREFIX_U64.
+[MACRO] SLICE_TRIM_PREFIX %out_slice, %slice_reg, %prefix_slice
+    EXPAND SLICE_TRIM_PREFIX_U64 %out_slice, %slice_reg, %prefix_slice
+[END_MACRO]
+
+[MACRO] SLICE_TRIM_SUFFIX_U64 %out_slice, %slice_reg, %suffix_slice
+    %out_slice = alloc Slice_SIZE
+    __slice_len_%out_slice = load %slice_reg+Slice_len as u64
+    __slice_suffix_len_%out_slice = load %suffix_slice+Slice_len as u64
+    EXPAND SLICE_ENDS_WITH_U64 __slice_trim_match_%out_slice, %slice_reg, %suffix_slice
+    br __slice_trim_match_%out_slice -> L_SLICE_TRIM_SUFFIX_HIT_%out_slice, L_SLICE_TRIM_SUFFIX_MISS_%out_slice
+
+L_SLICE_TRIM_SUFFIX_HIT_%out_slice:
+    __slice_rest_len_%out_slice = sub __slice_len_%out_slice, __slice_suffix_len_%out_slice
+    __slice_src_ptr_%out_slice = load %slice_reg+Slice_ptr as ptr
+    EXPAND SLICE_NEW %out_slice, __slice_src_ptr_%out_slice, __slice_rest_len_%out_slice
+    !__slice_src_ptr_%out_slice
+    !__slice_rest_len_%out_slice
+    !__slice_trim_match_%out_slice
+    !__slice_suffix_len_%out_slice
+    !__slice_len_%out_slice
+    jmp L_SLICE_TRIM_SUFFIX_END_%out_slice
+
+L_SLICE_TRIM_SUFFIX_MISS_%out_slice:
+    __slice_src_ptr_miss_%out_slice = load %slice_reg+Slice_ptr as ptr
+    EXPAND SLICE_NEW %out_slice, __slice_src_ptr_miss_%out_slice, __slice_len_%out_slice
+    !__slice_src_ptr_miss_%out_slice
+    !__slice_trim_match_%out_slice
+    !__slice_suffix_len_%out_slice
+    !__slice_len_%out_slice
+
+L_SLICE_TRIM_SUFFIX_END_%out_slice:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRIM_SUFFIX_U64.
+[MACRO] SLICE_TRIM_SUFFIX %out_slice, %slice_reg, %suffix_slice
+    EXPAND SLICE_TRIM_SUFFIX_U64 %out_slice, %slice_reg, %suffix_slice
+[END_MACRO]
+
+[MACRO] SLICE_TRY_SPLIT_AT_U64 %out_ok, %out_left, %out_right, %slice_reg, %mid
+    %out_left = alloc Slice_SIZE
+    %out_right = alloc Slice_SIZE
+    __slice_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_in_bounds_%out_ok = ule %mid, __slice_len_%out_ok
+    br __slice_in_bounds_%out_ok -> L_SLICE_SPLIT_AT_HIT_%out_ok, L_SLICE_SPLIT_AT_MISS_%out_ok
+
+L_SLICE_SPLIT_AT_HIT_%out_ok:
+    __slice_src_ptr_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_right_len_%out_ok = sub __slice_len_%out_ok, %mid
+    __slice_mid_bytes_%out_ok = mul %mid, 8
+    __slice_right_ptr_%out_ok = ptr_add __slice_src_ptr_%out_ok, __slice_mid_bytes_%out_ok
+    EXPAND SLICE_NEW %out_left, __slice_src_ptr_%out_ok, %mid
+    EXPAND SLICE_NEW %out_right, __slice_right_ptr_%out_ok, __slice_right_len_%out_ok
+    %out_ok = add 0, 1
+    !__slice_right_ptr_%out_ok
+    !__slice_mid_bytes_%out_ok
+    !__slice_right_len_%out_ok
+    !__slice_src_ptr_%out_ok
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+    jmp L_SLICE_SPLIT_AT_END_%out_ok
+
+L_SLICE_SPLIT_AT_MISS_%out_ok:
+    __slice_empty_ptr_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_left, __slice_empty_ptr_%out_ok, 0
+    EXPAND SLICE_NEW %out_right, __slice_empty_ptr_%out_ok, 0
+    %out_ok = add 0, 0
+    !__slice_empty_ptr_%out_ok
+    !__slice_in_bounds_%out_ok
+    !__slice_len_%out_ok
+
+L_SLICE_SPLIT_AT_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_SPLIT_AT_U64.
+[MACRO] SLICE_TRY_SPLIT_AT %out_ok, %out_left, %out_right, %slice_reg, %mid
+    EXPAND SLICE_TRY_SPLIT_AT_U64 %out_ok, %out_left, %out_right, %slice_reg, %mid
+[END_MACRO]
+
+[MACRO] SLICE_TRY_SPLIT_AT_MUT_U64 %out_ok, %out_left, %out_right, %slice_reg, %mid
+    EXPAND SLICE_TRY_SPLIT_AT_U64 %out_ok, %out_left, %out_right, %slice_reg, %mid
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_SPLIT_AT_MUT_U64.
+[MACRO] SLICE_TRY_SPLIT_AT_MUT %out_ok, %out_left, %out_right, %slice_reg, %mid
+    EXPAND SLICE_TRY_SPLIT_AT_MUT_U64 %out_ok, %out_left, %out_right, %slice_reg, %mid
+[END_MACRO]
+
+[MACRO] SLICE_TRY_SPLIT_AT_CHECKED_U64 %out_ok, %out_left, %out_right, %slice_reg, %mid
+    EXPAND SLICE_TRY_SPLIT_AT_U64 %out_ok, %out_left, %out_right, %slice_reg, %mid
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_SPLIT_AT_CHECKED_U64.
+[MACRO] SLICE_TRY_SPLIT_AT_CHECKED %out_ok, %out_left, %out_right, %slice_reg, %mid
+    EXPAND SLICE_TRY_SPLIT_AT_CHECKED_U64 %out_ok, %out_left, %out_right, %slice_reg, %mid
+[END_MACRO]
+
+[MACRO] SLICE_TRY_SPLIT_AT_MUT_CHECKED_U64 %out_ok, %out_left, %out_right, %slice_reg, %mid
+    EXPAND SLICE_TRY_SPLIT_AT_MUT_U64 %out_ok, %out_left, %out_right, %slice_reg, %mid
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_SPLIT_AT_MUT_CHECKED_U64.
+[MACRO] SLICE_TRY_SPLIT_AT_MUT_CHECKED %out_ok, %out_left, %out_right, %slice_reg, %mid
+    EXPAND SLICE_TRY_SPLIT_AT_MUT_CHECKED_U64 %out_ok, %out_left, %out_right, %slice_reg, %mid
+[END_MACRO]
+
+[MACRO] SLICE_SPLIT_AT_UNCHECKED_U64 %out_left, %out_right, %slice_reg, %mid
+    %out_left = alloc Slice_SIZE
+    %out_right = alloc Slice_SIZE
+    __slice_split_unchecked_len_%out_left = load %slice_reg+Slice_len as u64
+    __slice_split_unchecked_src_%out_left = load %slice_reg+Slice_ptr as ptr
+    __slice_split_unchecked_right_len_%out_left = sub __slice_split_unchecked_len_%out_left, %mid
+    __slice_split_unchecked_mid_bytes_%out_left = mul %mid, 8
+    __slice_split_unchecked_right_ptr_%out_left = ptr_add __slice_split_unchecked_src_%out_left, __slice_split_unchecked_mid_bytes_%out_left
+    EXPAND SLICE_NEW %out_left, __slice_split_unchecked_src_%out_left, %mid
+    EXPAND SLICE_NEW %out_right, __slice_split_unchecked_right_ptr_%out_left, __slice_split_unchecked_right_len_%out_left
+    !__slice_split_unchecked_right_ptr_%out_left
+    !__slice_split_unchecked_mid_bytes_%out_left
+    !__slice_split_unchecked_right_len_%out_left
+    !__slice_split_unchecked_src_%out_left
+    !__slice_split_unchecked_len_%out_left
+[END_MACRO]
+
+// Rust method-name alias over SLICE_SPLIT_AT_UNCHECKED_U64.
+[MACRO] SLICE_SPLIT_AT_UNCHECKED %out_left, %out_right, %slice_reg, %mid
+    EXPAND SLICE_SPLIT_AT_UNCHECKED_U64 %out_left, %out_right, %slice_reg, %mid
+[END_MACRO]
+
+[MACRO] SLICE_SPLIT_AT_MUT_UNCHECKED_U64 %out_left, %out_right, %slice_reg, %mid
+    EXPAND SLICE_SPLIT_AT_UNCHECKED_U64 %out_left, %out_right, %slice_reg, %mid
+[END_MACRO]
+
+// Rust method-name alias over SLICE_SPLIT_AT_MUT_UNCHECKED_U64.
+[MACRO] SLICE_SPLIT_AT_MUT_UNCHECKED %out_left, %out_right, %slice_reg, %mid
+    EXPAND SLICE_SPLIT_AT_MUT_UNCHECKED_U64 %out_left, %out_right, %slice_reg, %mid
+[END_MACRO]
+
+[MACRO] SLICE_TRY_SPLIT_FIRST_CHUNK_U64 %out_ok, %out_chunk, %out_rest, %slice_reg, %chunk_len
+    EXPAND SLICE_TRY_SPLIT_AT_U64 %out_ok, %out_chunk, %out_rest, %slice_reg, %chunk_len
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_SPLIT_FIRST_CHUNK_U64.
+[MACRO] SLICE_TRY_SPLIT_FIRST_CHUNK %out_ok, %out_chunk, %out_rest, %slice_reg, %chunk_len
+    EXPAND SLICE_TRY_SPLIT_FIRST_CHUNK_U64 %out_ok, %out_chunk, %out_rest, %slice_reg, %chunk_len
+[END_MACRO]
+
+[MACRO] SLICE_TRY_FIRST_CHUNK_U64 %out_ok, %out_chunk, %slice_reg, %chunk_len
+    EXPAND SLICE_TRY_SPLIT_FIRST_CHUNK_U64 %out_ok, %out_chunk, __slice_first_chunk_rest_%out_ok, %slice_reg, %chunk_len
+    !__slice_first_chunk_rest_%out_ok
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_FIRST_CHUNK_U64.
+[MACRO] SLICE_TRY_FIRST_CHUNK %out_ok, %out_chunk, %slice_reg, %chunk_len
+    EXPAND SLICE_TRY_FIRST_CHUNK_U64 %out_ok, %out_chunk, %slice_reg, %chunk_len
+[END_MACRO]
+
+[MACRO] SLICE_TRY_FIRST_CHUNK_MUT_U64 %out_ok, %out_chunk, %slice_reg, %chunk_len
+    EXPAND SLICE_TRY_FIRST_CHUNK_U64 %out_ok, %out_chunk, %slice_reg, %chunk_len
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_FIRST_CHUNK_MUT_U64.
+[MACRO] SLICE_TRY_FIRST_CHUNK_MUT %out_ok, %out_chunk, %slice_reg, %chunk_len
+    EXPAND SLICE_TRY_FIRST_CHUNK_MUT_U64 %out_ok, %out_chunk, %slice_reg, %chunk_len
+[END_MACRO]
+
+[MACRO] SLICE_TRY_SPLIT_FIRST_CHUNK_MUT_U64 %out_ok, %out_chunk, %out_rest, %slice_reg, %chunk_len
+    EXPAND SLICE_TRY_SPLIT_FIRST_CHUNK_U64 %out_ok, %out_chunk, %out_rest, %slice_reg, %chunk_len
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_SPLIT_FIRST_CHUNK_MUT_U64.
+[MACRO] SLICE_TRY_SPLIT_FIRST_CHUNK_MUT %out_ok, %out_chunk, %out_rest, %slice_reg, %chunk_len
+    EXPAND SLICE_TRY_SPLIT_FIRST_CHUNK_MUT_U64 %out_ok, %out_chunk, %out_rest, %slice_reg, %chunk_len
+[END_MACRO]
+
+[MACRO] SLICE_TRY_SPLIT_LAST_CHUNK_U64 %out_ok, %out_rest, %out_chunk, %slice_reg, %chunk_len
+    %out_rest = alloc Slice_SIZE
+    %out_chunk = alloc Slice_SIZE
+    __slice_last_chunk_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_last_chunk_fits_%out_ok = ule %chunk_len, __slice_last_chunk_len_%out_ok
+    br __slice_last_chunk_fits_%out_ok -> L_SLICE_SPLIT_LAST_CHUNK_HIT_%out_ok, L_SLICE_SPLIT_LAST_CHUNK_MISS_%out_ok
+
+L_SLICE_SPLIT_LAST_CHUNK_HIT_%out_ok:
+    __slice_last_chunk_mid_%out_ok = sub __slice_last_chunk_len_%out_ok, %chunk_len
+    __slice_last_chunk_base_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_last_chunk_off_%out_ok = mul __slice_last_chunk_mid_%out_ok, 8
+    __slice_last_chunk_ptr_%out_ok = ptr_add __slice_last_chunk_base_%out_ok, __slice_last_chunk_off_%out_ok
+    EXPAND SLICE_NEW %out_rest, __slice_last_chunk_base_%out_ok, __slice_last_chunk_mid_%out_ok
+    EXPAND SLICE_NEW %out_chunk, __slice_last_chunk_ptr_%out_ok, %chunk_len
+    %out_ok = add 0, 1
+    !__slice_last_chunk_ptr_%out_ok
+    !__slice_last_chunk_off_%out_ok
+    !__slice_last_chunk_base_%out_ok
+    !__slice_last_chunk_mid_%out_ok
+    !__slice_last_chunk_fits_%out_ok
+    !__slice_last_chunk_len_%out_ok
+    jmp L_SLICE_SPLIT_LAST_CHUNK_END_%out_ok
+
+L_SLICE_SPLIT_LAST_CHUNK_MISS_%out_ok:
+    __slice_last_chunk_empty_ptr_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_rest, __slice_last_chunk_empty_ptr_%out_ok, 0
+    EXPAND SLICE_NEW %out_chunk, __slice_last_chunk_empty_ptr_%out_ok, 0
+    %out_ok = add 0, 0
+    !__slice_last_chunk_empty_ptr_%out_ok
+    !__slice_last_chunk_fits_%out_ok
+    !__slice_last_chunk_len_%out_ok
+
+L_SLICE_SPLIT_LAST_CHUNK_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_SPLIT_LAST_CHUNK_U64.
+[MACRO] SLICE_TRY_SPLIT_LAST_CHUNK %out_ok, %out_rest, %out_chunk, %slice_reg, %chunk_len
+    EXPAND SLICE_TRY_SPLIT_LAST_CHUNK_U64 %out_ok, %out_rest, %out_chunk, %slice_reg, %chunk_len
+[END_MACRO]
+
+[MACRO] SLICE_TRY_SPLIT_LAST_CHUNK_MUT_U64 %out_ok, %out_rest, %out_chunk, %slice_reg, %chunk_len
+    EXPAND SLICE_TRY_SPLIT_LAST_CHUNK_U64 %out_ok, %out_rest, %out_chunk, %slice_reg, %chunk_len
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_SPLIT_LAST_CHUNK_MUT_U64.
+[MACRO] SLICE_TRY_SPLIT_LAST_CHUNK_MUT %out_ok, %out_rest, %out_chunk, %slice_reg, %chunk_len
+    EXPAND SLICE_TRY_SPLIT_LAST_CHUNK_MUT_U64 %out_ok, %out_rest, %out_chunk, %slice_reg, %chunk_len
+[END_MACRO]
+
+[MACRO] SLICE_TRY_LAST_CHUNK_U64 %out_ok, %out_chunk, %slice_reg, %chunk_len
+    EXPAND SLICE_TRY_SPLIT_LAST_CHUNK_U64 %out_ok, __slice_last_chunk_rest_%out_ok, %out_chunk, %slice_reg, %chunk_len
+    !__slice_last_chunk_rest_%out_ok
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_LAST_CHUNK_U64.
+[MACRO] SLICE_TRY_LAST_CHUNK %out_ok, %out_chunk, %slice_reg, %chunk_len
+    EXPAND SLICE_TRY_LAST_CHUNK_U64 %out_ok, %out_chunk, %slice_reg, %chunk_len
+[END_MACRO]
+
+[MACRO] SLICE_TRY_LAST_CHUNK_MUT_U64 %out_ok, %out_chunk, %slice_reg, %chunk_len
+    EXPAND SLICE_TRY_LAST_CHUNK_U64 %out_ok, %out_chunk, %slice_reg, %chunk_len
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_LAST_CHUNK_MUT_U64.
+[MACRO] SLICE_TRY_LAST_CHUNK_MUT %out_ok, %out_chunk, %slice_reg, %chunk_len
+    EXPAND SLICE_TRY_LAST_CHUNK_MUT_U64 %out_ok, %out_chunk, %slice_reg, %chunk_len
+[END_MACRO]
+
+[MACRO] SLICE_TRY_RANGE_U64 %out_ok, %out_slice, %slice_reg, %start, %length
+    %out_slice = alloc Slice_SIZE
+    __slice_range_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_range_start_ok_%out_ok = ule %start, __slice_range_len_%out_ok
+    br __slice_range_start_ok_%out_ok -> L_SLICE_RANGE_LEN_CHECK_%out_ok, L_SLICE_RANGE_MISS_START_%out_ok
+
+L_SLICE_RANGE_LEN_CHECK_%out_ok:
+    __slice_range_remaining_%out_ok = sub __slice_range_len_%out_ok, %start
+    __slice_range_len_ok_%out_ok = ule %length, __slice_range_remaining_%out_ok
+    br __slice_range_len_ok_%out_ok -> L_SLICE_RANGE_HIT_%out_ok, L_SLICE_RANGE_MISS_LEN_%out_ok
+
+L_SLICE_RANGE_HIT_%out_ok:
+    __slice_range_src_ptr_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_range_start_bytes_%out_ok = mul %start, 8
+    __slice_range_ptr_%out_ok = ptr_add __slice_range_src_ptr_%out_ok, __slice_range_start_bytes_%out_ok
+    EXPAND SLICE_NEW %out_slice, __slice_range_ptr_%out_ok, %length
+    %out_ok = add 0, 1
+    !__slice_range_ptr_%out_ok
+    !__slice_range_start_bytes_%out_ok
+    !__slice_range_src_ptr_%out_ok
+    !__slice_range_len_ok_%out_ok
+    !__slice_range_remaining_%out_ok
+    !__slice_range_start_ok_%out_ok
+    !__slice_range_len_%out_ok
+    jmp L_SLICE_RANGE_END_%out_ok
+
+L_SLICE_RANGE_MISS_LEN_%out_ok:
+    __slice_range_empty_ptr_len_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_slice, __slice_range_empty_ptr_len_%out_ok, 0
+    %out_ok = add 0, 0
+    !__slice_range_empty_ptr_len_%out_ok
+    !__slice_range_len_ok_%out_ok
+    !__slice_range_remaining_%out_ok
+    !__slice_range_start_ok_%out_ok
+    !__slice_range_len_%out_ok
+    jmp L_SLICE_RANGE_END_%out_ok
+
+L_SLICE_RANGE_MISS_START_%out_ok:
+    __slice_range_empty_ptr_start_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_slice, __slice_range_empty_ptr_start_%out_ok, 0
+    %out_ok = add 0, 0
+    !__slice_range_empty_ptr_start_%out_ok
+    !__slice_range_start_ok_%out_ok
+    !__slice_range_len_%out_ok
+
+L_SLICE_RANGE_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_RANGE_U64.
+[MACRO] SLICE_TRY_RANGE %out_ok, %out_slice, %slice_reg, %start, %length
+    EXPAND SLICE_TRY_RANGE_U64 %out_ok, %out_slice, %slice_reg, %start, %length
+[END_MACRO]
+
+[MACRO] SLICE_TRY_GET_RANGE_U64 %out_ok, %out_slice, %slice_reg, %start, %length
+    EXPAND SLICE_TRY_RANGE_U64 %out_ok, %out_slice, %slice_reg, %start, %length
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_GET_RANGE_U64.
+[MACRO] SLICE_TRY_GET_RANGE %out_ok, %out_slice, %slice_reg, %start, %length
+    EXPAND SLICE_TRY_GET_RANGE_U64 %out_ok, %out_slice, %slice_reg, %start, %length
+[END_MACRO]
+
+[MACRO] SLICE_TRY_GET_RANGE_MUT_U64 %out_ok, %out_slice, %slice_reg, %start, %length
+    EXPAND SLICE_TRY_RANGE_U64 %out_ok, %out_slice, %slice_reg, %start, %length
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_GET_RANGE_MUT_U64.
+[MACRO] SLICE_TRY_GET_RANGE_MUT %out_ok, %out_slice, %slice_reg, %start, %length
+    EXPAND SLICE_TRY_GET_RANGE_MUT_U64 %out_ok, %out_slice, %slice_reg, %start, %length
+[END_MACRO]
+
+[MACRO] SLICE_RANGE_UNCHECKED_U64 %out_slice, %slice_reg, %start, %length
+    %out_slice = alloc Slice_SIZE
+    __slice_range_unchecked_src_%out_slice = load %slice_reg+Slice_ptr as ptr
+    __slice_range_unchecked_bytes_%out_slice = mul %start, 8
+    __slice_range_unchecked_ptr_%out_slice = ptr_add __slice_range_unchecked_src_%out_slice, __slice_range_unchecked_bytes_%out_slice
+    EXPAND SLICE_NEW %out_slice, __slice_range_unchecked_ptr_%out_slice, %length
+    !__slice_range_unchecked_ptr_%out_slice
+    !__slice_range_unchecked_bytes_%out_slice
+    !__slice_range_unchecked_src_%out_slice
+[END_MACRO]
+
+// Rust method-name alias over SLICE_RANGE_UNCHECKED_U64.
+[MACRO] SLICE_RANGE_UNCHECKED %out_slice, %slice_reg, %start, %length
+    EXPAND SLICE_RANGE_UNCHECKED_U64 %out_slice, %slice_reg, %start, %length
+[END_MACRO]
+
+[MACRO] SLICE_GET_RANGE_UNCHECKED_U64 %out_slice, %slice_reg, %start, %length
+    EXPAND SLICE_RANGE_UNCHECKED_U64 %out_slice, %slice_reg, %start, %length
+[END_MACRO]
+
+// Rust method-name alias over SLICE_GET_RANGE_UNCHECKED_U64.
+[MACRO] SLICE_GET_RANGE_UNCHECKED %out_slice, %slice_reg, %start, %length
+    EXPAND SLICE_GET_RANGE_UNCHECKED_U64 %out_slice, %slice_reg, %start, %length
+[END_MACRO]
+
+[MACRO] SLICE_GET_RANGE_MUT_UNCHECKED_U64 %out_slice, %slice_reg, %start, %length
+    EXPAND SLICE_RANGE_UNCHECKED_U64 %out_slice, %slice_reg, %start, %length
+[END_MACRO]
+
+// Rust method-name alias over SLICE_GET_RANGE_MUT_UNCHECKED_U64.
+[MACRO] SLICE_GET_RANGE_MUT_UNCHECKED %out_slice, %slice_reg, %start, %length
+    EXPAND SLICE_GET_RANGE_MUT_UNCHECKED_U64 %out_slice, %slice_reg, %start, %length
+[END_MACRO]
+
+[MACRO] SLICE_CHUNK_COUNT_U64 %out_count, %slice_reg, %chunk_size
+    __slice_chunk_len_%out_count = load %slice_reg+Slice_len as u64
+    __slice_chunk_zero_%out_count = eq %chunk_size, 0
+    br __slice_chunk_zero_%out_count -> L_SLICE_CHUNK_COUNT_ZERO_%out_count, L_SLICE_CHUNK_COUNT_CALC_%out_count
+
+L_SLICE_CHUNK_COUNT_CALC_%out_count:
+    __slice_chunk_adjusted_%out_count = add __slice_chunk_len_%out_count, %chunk_size
+    __slice_chunk_adjusted2_%out_count = sub __slice_chunk_adjusted_%out_count, 1
+    %out_count = udiv __slice_chunk_adjusted2_%out_count, %chunk_size
+    !__slice_chunk_adjusted2_%out_count
+    !__slice_chunk_adjusted_%out_count
+    !__slice_chunk_zero_%out_count
+    !__slice_chunk_len_%out_count
+    jmp L_SLICE_CHUNK_COUNT_END_%out_count
+
+L_SLICE_CHUNK_COUNT_ZERO_%out_count:
+    %out_count = add 0, 0
+    !__slice_chunk_zero_%out_count
+    !__slice_chunk_len_%out_count
+
+L_SLICE_CHUNK_COUNT_END_%out_count:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_CHUNK_COUNT_U64.
+[MACRO] SLICE_CHUNK_COUNT %out_count, %slice_reg, %chunk_size
+    EXPAND SLICE_CHUNK_COUNT_U64 %out_count, %slice_reg, %chunk_size
+[END_MACRO]
+
+[MACRO] SLICE_TRY_CHUNK_AT_U64 %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+    %out_slice = alloc Slice_SIZE
+    __slice_chunk_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_chunk_zero_%out_ok = eq %chunk_size, 0
+    br __slice_chunk_zero_%out_ok -> L_SLICE_CHUNK_AT_MISS_ZERO_%out_ok, L_SLICE_CHUNK_AT_START_%out_ok
+
+L_SLICE_CHUNK_AT_START_%out_ok:
+    __slice_chunk_start_%out_ok = mul %chunk_index, %chunk_size
+    __slice_chunk_in_bounds_%out_ok = ult __slice_chunk_start_%out_ok, __slice_chunk_len_%out_ok
+    br __slice_chunk_in_bounds_%out_ok -> L_SLICE_CHUNK_AT_LEN_%out_ok, L_SLICE_CHUNK_AT_MISS_BOUNDS_%out_ok
+
+L_SLICE_CHUNK_AT_LEN_%out_ok:
+    __slice_chunk_remaining_%out_ok = sub __slice_chunk_len_%out_ok, __slice_chunk_start_%out_ok
+    __slice_chunk_full_%out_ok = ule %chunk_size, __slice_chunk_remaining_%out_ok
+    br __slice_chunk_full_%out_ok -> L_SLICE_CHUNK_AT_FULL_%out_ok, L_SLICE_CHUNK_AT_TAIL_%out_ok
+
+L_SLICE_CHUNK_AT_FULL_%out_ok:
+    __slice_chunk_src_ptr_full_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_chunk_start_bytes_full_%out_ok = mul __slice_chunk_start_%out_ok, 8
+    __slice_chunk_ptr_full_%out_ok = ptr_add __slice_chunk_src_ptr_full_%out_ok, __slice_chunk_start_bytes_full_%out_ok
+    EXPAND SLICE_NEW %out_slice, __slice_chunk_ptr_full_%out_ok, %chunk_size
+    %out_ok = add 0, 1
+    !__slice_chunk_ptr_full_%out_ok
+    !__slice_chunk_start_bytes_full_%out_ok
+    !__slice_chunk_src_ptr_full_%out_ok
+    !__slice_chunk_full_%out_ok
+    !__slice_chunk_remaining_%out_ok
+    !__slice_chunk_in_bounds_%out_ok
+    !__slice_chunk_start_%out_ok
+    !__slice_chunk_zero_%out_ok
+    !__slice_chunk_len_%out_ok
+    jmp L_SLICE_CHUNK_AT_END_%out_ok
+
+L_SLICE_CHUNK_AT_TAIL_%out_ok:
+    __slice_chunk_src_ptr_tail_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_chunk_start_bytes_tail_%out_ok = mul __slice_chunk_start_%out_ok, 8
+    __slice_chunk_ptr_tail_%out_ok = ptr_add __slice_chunk_src_ptr_tail_%out_ok, __slice_chunk_start_bytes_tail_%out_ok
+    EXPAND SLICE_NEW %out_slice, __slice_chunk_ptr_tail_%out_ok, __slice_chunk_remaining_%out_ok
+    %out_ok = add 0, 1
+    !__slice_chunk_ptr_tail_%out_ok
+    !__slice_chunk_start_bytes_tail_%out_ok
+    !__slice_chunk_src_ptr_tail_%out_ok
+    !__slice_chunk_full_%out_ok
+    !__slice_chunk_remaining_%out_ok
+    !__slice_chunk_in_bounds_%out_ok
+    !__slice_chunk_start_%out_ok
+    !__slice_chunk_zero_%out_ok
+    !__slice_chunk_len_%out_ok
+    jmp L_SLICE_CHUNK_AT_END_%out_ok
+
+L_SLICE_CHUNK_AT_MISS_BOUNDS_%out_ok:
+    __slice_chunk_empty_ptr_bounds_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_slice, __slice_chunk_empty_ptr_bounds_%out_ok, 0
+    %out_ok = add 0, 0
+    !__slice_chunk_empty_ptr_bounds_%out_ok
+    !__slice_chunk_in_bounds_%out_ok
+    !__slice_chunk_start_%out_ok
+    !__slice_chunk_zero_%out_ok
+    !__slice_chunk_len_%out_ok
+    jmp L_SLICE_CHUNK_AT_END_%out_ok
+
+L_SLICE_CHUNK_AT_MISS_ZERO_%out_ok:
+    __slice_chunk_empty_ptr_zero_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_slice, __slice_chunk_empty_ptr_zero_%out_ok, 0
+    %out_ok = add 0, 0
+    !__slice_chunk_empty_ptr_zero_%out_ok
+    !__slice_chunk_zero_%out_ok
+    !__slice_chunk_len_%out_ok
+
+L_SLICE_CHUNK_AT_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_CHUNK_AT_U64.
+[MACRO] SLICE_TRY_CHUNK_AT %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+    EXPAND SLICE_TRY_CHUNK_AT_U64 %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+[END_MACRO]
+
+[MACRO] SLICE_RCHUNK_COUNT_U64 %out_count, %slice_reg, %chunk_size
+    EXPAND SLICE_CHUNK_COUNT_U64 %out_count, %slice_reg, %chunk_size
+[END_MACRO]
+
+// Rust method-name alias over SLICE_RCHUNK_COUNT_U64.
+[MACRO] SLICE_RCHUNK_COUNT %out_count, %slice_reg, %chunk_size
+    EXPAND SLICE_RCHUNK_COUNT_U64 %out_count, %slice_reg, %chunk_size
+[END_MACRO]
+
+[MACRO] SLICE_TRY_RCHUNK_AT_U64 %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+    %out_slice = alloc Slice_SIZE
+    __slice_rchunk_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_rchunk_zero_%out_ok = eq %chunk_size, 0
+    br __slice_rchunk_zero_%out_ok -> L_SLICE_RCHUNK_AT_MISS_ZERO_%out_ok, L_SLICE_RCHUNK_AT_COUNT_%out_ok
+
+L_SLICE_RCHUNK_AT_COUNT_%out_ok:
+    __slice_rchunk_adjusted_%out_ok = add __slice_rchunk_len_%out_ok, %chunk_size
+    __slice_rchunk_adjusted2_%out_ok = sub __slice_rchunk_adjusted_%out_ok, 1
+    __slice_rchunk_count_%out_ok = udiv __slice_rchunk_adjusted2_%out_ok, %chunk_size
+    __slice_rchunk_in_bounds_%out_ok = ult %chunk_index, __slice_rchunk_count_%out_ok
+    br __slice_rchunk_in_bounds_%out_ok -> L_SLICE_RCHUNK_AT_LEN_%out_ok, L_SLICE_RCHUNK_AT_MISS_BOUNDS_%out_ok
+
+L_SLICE_RCHUNK_AT_LEN_%out_ok:
+    __slice_rchunk_from_end_%out_ok = add %chunk_index, 1
+    __slice_rchunk_tail_len_%out_ok = mul __slice_rchunk_from_end_%out_ok, %chunk_size
+    __slice_rchunk_full_%out_ok = ule __slice_rchunk_tail_len_%out_ok, __slice_rchunk_len_%out_ok
+    br __slice_rchunk_full_%out_ok -> L_SLICE_RCHUNK_AT_FULL_%out_ok, L_SLICE_RCHUNK_AT_PREFIX_%out_ok
+
+L_SLICE_RCHUNK_AT_FULL_%out_ok:
+    __slice_rchunk_start_full_%out_ok = sub __slice_rchunk_len_%out_ok, __slice_rchunk_tail_len_%out_ok
+    __slice_rchunk_start_bytes_full_%out_ok = mul __slice_rchunk_start_full_%out_ok, 8
+    __slice_rchunk_base_full_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_rchunk_ptr_full_%out_ok = ptr_add __slice_rchunk_base_full_%out_ok, __slice_rchunk_start_bytes_full_%out_ok
+    EXPAND SLICE_NEW %out_slice, __slice_rchunk_ptr_full_%out_ok, %chunk_size
+    %out_ok = add 0, 1
+    !__slice_rchunk_ptr_full_%out_ok
+    !__slice_rchunk_base_full_%out_ok
+    !__slice_rchunk_start_bytes_full_%out_ok
+    !__slice_rchunk_start_full_%out_ok
+    !__slice_rchunk_full_%out_ok
+    !__slice_rchunk_tail_len_%out_ok
+    !__slice_rchunk_from_end_%out_ok
+    !__slice_rchunk_in_bounds_%out_ok
+    !__slice_rchunk_count_%out_ok
+    !__slice_rchunk_adjusted2_%out_ok
+    !__slice_rchunk_adjusted_%out_ok
+    !__slice_rchunk_zero_%out_ok
+    !__slice_rchunk_len_%out_ok
+    jmp L_SLICE_RCHUNK_AT_END_%out_ok
+
+L_SLICE_RCHUNK_AT_PREFIX_%out_ok:
+    __slice_rchunk_prior_tail_%out_ok = mul %chunk_index, %chunk_size
+    __slice_rchunk_prefix_len_%out_ok = sub __slice_rchunk_len_%out_ok, __slice_rchunk_prior_tail_%out_ok
+    __slice_rchunk_base_prefix_%out_ok = load %slice_reg+Slice_ptr as ptr
+    EXPAND SLICE_NEW %out_slice, __slice_rchunk_base_prefix_%out_ok, __slice_rchunk_prefix_len_%out_ok
+    %out_ok = add 0, 1
+    !__slice_rchunk_base_prefix_%out_ok
+    !__slice_rchunk_prefix_len_%out_ok
+    !__slice_rchunk_prior_tail_%out_ok
+    !__slice_rchunk_full_%out_ok
+    !__slice_rchunk_tail_len_%out_ok
+    !__slice_rchunk_from_end_%out_ok
+    !__slice_rchunk_in_bounds_%out_ok
+    !__slice_rchunk_count_%out_ok
+    !__slice_rchunk_adjusted2_%out_ok
+    !__slice_rchunk_adjusted_%out_ok
+    !__slice_rchunk_zero_%out_ok
+    !__slice_rchunk_len_%out_ok
+    jmp L_SLICE_RCHUNK_AT_END_%out_ok
+
+L_SLICE_RCHUNK_AT_MISS_BOUNDS_%out_ok:
+    __slice_rchunk_empty_ptr_bounds_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_slice, __slice_rchunk_empty_ptr_bounds_%out_ok, 0
+    %out_ok = add 0, 0
+    !__slice_rchunk_empty_ptr_bounds_%out_ok
+    !__slice_rchunk_in_bounds_%out_ok
+    !__slice_rchunk_count_%out_ok
+    !__slice_rchunk_adjusted2_%out_ok
+    !__slice_rchunk_adjusted_%out_ok
+    !__slice_rchunk_zero_%out_ok
+    !__slice_rchunk_len_%out_ok
+    jmp L_SLICE_RCHUNK_AT_END_%out_ok
+
+L_SLICE_RCHUNK_AT_MISS_ZERO_%out_ok:
+    __slice_rchunk_empty_ptr_zero_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_slice, __slice_rchunk_empty_ptr_zero_%out_ok, 0
+    %out_ok = add 0, 0
+    !__slice_rchunk_empty_ptr_zero_%out_ok
+    !__slice_rchunk_zero_%out_ok
+    !__slice_rchunk_len_%out_ok
+
+L_SLICE_RCHUNK_AT_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_RCHUNK_AT_U64.
+[MACRO] SLICE_TRY_RCHUNK_AT %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+    EXPAND SLICE_TRY_RCHUNK_AT_U64 %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+[END_MACRO]
+
+[MACRO] SLICE_TRY_RCHUNK_MUT_AT_U64 %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+    EXPAND SLICE_TRY_RCHUNK_AT_U64 %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_RCHUNK_MUT_AT_U64.
+[MACRO] SLICE_TRY_RCHUNK_MUT_AT %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+    EXPAND SLICE_TRY_RCHUNK_MUT_AT_U64 %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+[END_MACRO]
+
+[MACRO] SLICE_CHUNKS_EXACT_COUNT_U64 %out_count, %slice_reg, %chunk_size
+    __slice_chunks_exact_len_%out_count = load %slice_reg+Slice_len as u64
+    __slice_chunks_exact_zero_%out_count = eq %chunk_size, 0
+    br __slice_chunks_exact_zero_%out_count -> L_SLICE_CHUNKS_EXACT_COUNT_ZERO_%out_count, L_SLICE_CHUNKS_EXACT_COUNT_CALC_%out_count
+
+L_SLICE_CHUNKS_EXACT_COUNT_CALC_%out_count:
+    %out_count = udiv __slice_chunks_exact_len_%out_count, %chunk_size
+    !__slice_chunks_exact_zero_%out_count
+    !__slice_chunks_exact_len_%out_count
+    jmp L_SLICE_CHUNKS_EXACT_COUNT_END_%out_count
+
+L_SLICE_CHUNKS_EXACT_COUNT_ZERO_%out_count:
+    %out_count = add 0, 0
+    !__slice_chunks_exact_zero_%out_count
+    !__slice_chunks_exact_len_%out_count
+
+L_SLICE_CHUNKS_EXACT_COUNT_END_%out_count:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_CHUNKS_EXACT_COUNT_U64.
+[MACRO] SLICE_CHUNKS_EXACT_COUNT %out_count, %slice_reg, %chunk_size
+    EXPAND SLICE_CHUNKS_EXACT_COUNT_U64 %out_count, %slice_reg, %chunk_size
+[END_MACRO]
+
+[MACRO] SLICE_CHUNKS_EXACT_REMAINDER_U64 %out_slice, %slice_reg, %chunk_size
+    %out_slice = alloc Slice_SIZE
+    __slice_chunks_exact_rem_len_%out_slice = load %slice_reg+Slice_len as u64
+    __slice_chunks_exact_rem_zero_%out_slice = eq %chunk_size, 0
+    br __slice_chunks_exact_rem_zero_%out_slice -> L_SLICE_CHUNKS_EXACT_REMAINDER_ZERO_%out_slice, L_SLICE_CHUNKS_EXACT_REMAINDER_CALC_%out_slice
+
+L_SLICE_CHUNKS_EXACT_REMAINDER_CALC_%out_slice:
+    __slice_chunks_exact_rem_count_%out_slice = udiv __slice_chunks_exact_rem_len_%out_slice, %chunk_size
+    __slice_chunks_exact_rem_prefix_len_%out_slice = mul __slice_chunks_exact_rem_count_%out_slice, %chunk_size
+    __slice_chunks_exact_rem_tail_len_%out_slice = sub __slice_chunks_exact_rem_len_%out_slice, __slice_chunks_exact_rem_prefix_len_%out_slice
+    __slice_chunks_exact_rem_base_%out_slice = load %slice_reg+Slice_ptr as ptr
+    __slice_chunks_exact_rem_prefix_bytes_%out_slice = mul __slice_chunks_exact_rem_prefix_len_%out_slice, 8
+    __slice_chunks_exact_rem_ptr_%out_slice = ptr_add __slice_chunks_exact_rem_base_%out_slice, __slice_chunks_exact_rem_prefix_bytes_%out_slice
+    EXPAND SLICE_NEW %out_slice, __slice_chunks_exact_rem_ptr_%out_slice, __slice_chunks_exact_rem_tail_len_%out_slice
+    !__slice_chunks_exact_rem_ptr_%out_slice
+    !__slice_chunks_exact_rem_prefix_bytes_%out_slice
+    !__slice_chunks_exact_rem_base_%out_slice
+    !__slice_chunks_exact_rem_tail_len_%out_slice
+    !__slice_chunks_exact_rem_prefix_len_%out_slice
+    !__slice_chunks_exact_rem_count_%out_slice
+    !__slice_chunks_exact_rem_zero_%out_slice
+    !__slice_chunks_exact_rem_len_%out_slice
+    jmp L_SLICE_CHUNKS_EXACT_REMAINDER_END_%out_slice
+
+L_SLICE_CHUNKS_EXACT_REMAINDER_ZERO_%out_slice:
+    __slice_chunks_exact_rem_empty_ptr_%out_slice = 0 as ptr
+    EXPAND SLICE_NEW %out_slice, __slice_chunks_exact_rem_empty_ptr_%out_slice, 0
+    !__slice_chunks_exact_rem_empty_ptr_%out_slice
+    !__slice_chunks_exact_rem_zero_%out_slice
+    !__slice_chunks_exact_rem_len_%out_slice
+
+L_SLICE_CHUNKS_EXACT_REMAINDER_END_%out_slice:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_CHUNKS_EXACT_REMAINDER_U64.
+[MACRO] SLICE_CHUNKS_EXACT_REMAINDER %out_slice, %slice_reg, %chunk_size
+    EXPAND SLICE_CHUNKS_EXACT_REMAINDER_U64 %out_slice, %slice_reg, %chunk_size
+[END_MACRO]
+
+[MACRO] SLICE_TRY_CHUNK_EXACT_AT_U64 %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+    %out_slice = alloc Slice_SIZE
+    __slice_chunk_exact_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_chunk_exact_zero_%out_ok = eq %chunk_size, 0
+    br __slice_chunk_exact_zero_%out_ok -> L_SLICE_CHUNK_EXACT_AT_MISS_ZERO_%out_ok, L_SLICE_CHUNK_EXACT_AT_COUNT_%out_ok
+
+L_SLICE_CHUNK_EXACT_AT_COUNT_%out_ok:
+    __slice_chunk_exact_count_%out_ok = udiv __slice_chunk_exact_len_%out_ok, %chunk_size
+    __slice_chunk_exact_in_bounds_%out_ok = ult %chunk_index, __slice_chunk_exact_count_%out_ok
+    br __slice_chunk_exact_in_bounds_%out_ok -> L_SLICE_CHUNK_EXACT_AT_HIT_%out_ok, L_SLICE_CHUNK_EXACT_AT_MISS_BOUNDS_%out_ok
+
+L_SLICE_CHUNK_EXACT_AT_HIT_%out_ok:
+    __slice_chunk_exact_start_%out_ok = mul %chunk_index, %chunk_size
+    __slice_chunk_exact_start_bytes_%out_ok = mul __slice_chunk_exact_start_%out_ok, 8
+    __slice_chunk_exact_base_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_chunk_exact_ptr_%out_ok = ptr_add __slice_chunk_exact_base_%out_ok, __slice_chunk_exact_start_bytes_%out_ok
+    EXPAND SLICE_NEW %out_slice, __slice_chunk_exact_ptr_%out_ok, %chunk_size
+    %out_ok = add 0, 1
+    !__slice_chunk_exact_ptr_%out_ok
+    !__slice_chunk_exact_base_%out_ok
+    !__slice_chunk_exact_start_bytes_%out_ok
+    !__slice_chunk_exact_start_%out_ok
+    !__slice_chunk_exact_in_bounds_%out_ok
+    !__slice_chunk_exact_count_%out_ok
+    !__slice_chunk_exact_zero_%out_ok
+    !__slice_chunk_exact_len_%out_ok
+    jmp L_SLICE_CHUNK_EXACT_AT_END_%out_ok
+
+L_SLICE_CHUNK_EXACT_AT_MISS_BOUNDS_%out_ok:
+    __slice_chunk_exact_empty_ptr_bounds_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_slice, __slice_chunk_exact_empty_ptr_bounds_%out_ok, 0
+    %out_ok = add 0, 0
+    !__slice_chunk_exact_empty_ptr_bounds_%out_ok
+    !__slice_chunk_exact_in_bounds_%out_ok
+    !__slice_chunk_exact_count_%out_ok
+    !__slice_chunk_exact_zero_%out_ok
+    !__slice_chunk_exact_len_%out_ok
+    jmp L_SLICE_CHUNK_EXACT_AT_END_%out_ok
+
+L_SLICE_CHUNK_EXACT_AT_MISS_ZERO_%out_ok:
+    __slice_chunk_exact_empty_ptr_zero_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_slice, __slice_chunk_exact_empty_ptr_zero_%out_ok, 0
+    %out_ok = add 0, 0
+    !__slice_chunk_exact_empty_ptr_zero_%out_ok
+    !__slice_chunk_exact_zero_%out_ok
+    !__slice_chunk_exact_len_%out_ok
+
+L_SLICE_CHUNK_EXACT_AT_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_CHUNK_EXACT_AT_U64.
+[MACRO] SLICE_TRY_CHUNK_EXACT_AT %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+    EXPAND SLICE_TRY_CHUNK_EXACT_AT_U64 %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+[END_MACRO]
+
+[MACRO] SLICE_TRY_CHUNK_EXACT_MUT_AT_U64 %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+    EXPAND SLICE_TRY_CHUNK_EXACT_AT_U64 %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_CHUNK_EXACT_MUT_AT_U64.
+[MACRO] SLICE_TRY_CHUNK_EXACT_MUT_AT %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+    EXPAND SLICE_TRY_CHUNK_EXACT_MUT_AT_U64 %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+[END_MACRO]
+
+[MACRO] SLICE_RCHUNKS_EXACT_COUNT_U64 %out_count, %slice_reg, %chunk_size
+    EXPAND SLICE_CHUNKS_EXACT_COUNT_U64 %out_count, %slice_reg, %chunk_size
+[END_MACRO]
+
+// Rust method-name alias over SLICE_RCHUNKS_EXACT_COUNT_U64.
+[MACRO] SLICE_RCHUNKS_EXACT_COUNT %out_count, %slice_reg, %chunk_size
+    EXPAND SLICE_RCHUNKS_EXACT_COUNT_U64 %out_count, %slice_reg, %chunk_size
+[END_MACRO]
+
+[MACRO] SLICE_RCHUNKS_EXACT_REMAINDER_U64 %out_slice, %slice_reg, %chunk_size
+    %out_slice = alloc Slice_SIZE
+    __slice_rchunks_exact_rem_len_%out_slice = load %slice_reg+Slice_len as u64
+    __slice_rchunks_exact_rem_zero_%out_slice = eq %chunk_size, 0
+    br __slice_rchunks_exact_rem_zero_%out_slice -> L_SLICE_RCHUNKS_EXACT_REMAINDER_ZERO_%out_slice, L_SLICE_RCHUNKS_EXACT_REMAINDER_CALC_%out_slice
+
+L_SLICE_RCHUNKS_EXACT_REMAINDER_CALC_%out_slice:
+    __slice_rchunks_exact_rem_count_%out_slice = udiv __slice_rchunks_exact_rem_len_%out_slice, %chunk_size
+    __slice_rchunks_exact_rem_chunked_len_%out_slice = mul __slice_rchunks_exact_rem_count_%out_slice, %chunk_size
+    __slice_rchunks_exact_rem_prefix_len_%out_slice = sub __slice_rchunks_exact_rem_len_%out_slice, __slice_rchunks_exact_rem_chunked_len_%out_slice
+    __slice_rchunks_exact_rem_base_%out_slice = load %slice_reg+Slice_ptr as ptr
+    EXPAND SLICE_NEW %out_slice, __slice_rchunks_exact_rem_base_%out_slice, __slice_rchunks_exact_rem_prefix_len_%out_slice
+    !__slice_rchunks_exact_rem_base_%out_slice
+    !__slice_rchunks_exact_rem_prefix_len_%out_slice
+    !__slice_rchunks_exact_rem_chunked_len_%out_slice
+    !__slice_rchunks_exact_rem_count_%out_slice
+    !__slice_rchunks_exact_rem_zero_%out_slice
+    !__slice_rchunks_exact_rem_len_%out_slice
+    jmp L_SLICE_RCHUNKS_EXACT_REMAINDER_END_%out_slice
+
+L_SLICE_RCHUNKS_EXACT_REMAINDER_ZERO_%out_slice:
+    __slice_rchunks_exact_rem_empty_ptr_%out_slice = 0 as ptr
+    EXPAND SLICE_NEW %out_slice, __slice_rchunks_exact_rem_empty_ptr_%out_slice, 0
+    !__slice_rchunks_exact_rem_empty_ptr_%out_slice
+    !__slice_rchunks_exact_rem_zero_%out_slice
+    !__slice_rchunks_exact_rem_len_%out_slice
+
+L_SLICE_RCHUNKS_EXACT_REMAINDER_END_%out_slice:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_RCHUNKS_EXACT_REMAINDER_U64.
+[MACRO] SLICE_RCHUNKS_EXACT_REMAINDER %out_slice, %slice_reg, %chunk_size
+    EXPAND SLICE_RCHUNKS_EXACT_REMAINDER_U64 %out_slice, %slice_reg, %chunk_size
+[END_MACRO]
+
+[MACRO] SLICE_TRY_RCHUNK_EXACT_AT_U64 %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+    %out_slice = alloc Slice_SIZE
+    __slice_rchunk_exact_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_rchunk_exact_zero_%out_ok = eq %chunk_size, 0
+    br __slice_rchunk_exact_zero_%out_ok -> L_SLICE_RCHUNK_EXACT_AT_MISS_ZERO_%out_ok, L_SLICE_RCHUNK_EXACT_AT_COUNT_%out_ok
+
+L_SLICE_RCHUNK_EXACT_AT_COUNT_%out_ok:
+    __slice_rchunk_exact_count_%out_ok = udiv __slice_rchunk_exact_len_%out_ok, %chunk_size
+    __slice_rchunk_exact_in_bounds_%out_ok = ult %chunk_index, __slice_rchunk_exact_count_%out_ok
+    br __slice_rchunk_exact_in_bounds_%out_ok -> L_SLICE_RCHUNK_EXACT_AT_HIT_%out_ok, L_SLICE_RCHUNK_EXACT_AT_MISS_BOUNDS_%out_ok
+
+L_SLICE_RCHUNK_EXACT_AT_HIT_%out_ok:
+    __slice_rchunk_exact_from_end_%out_ok = add %chunk_index, 1
+    __slice_rchunk_exact_tail_len_%out_ok = mul __slice_rchunk_exact_from_end_%out_ok, %chunk_size
+    __slice_rchunk_exact_start_%out_ok = sub __slice_rchunk_exact_len_%out_ok, __slice_rchunk_exact_tail_len_%out_ok
+    __slice_rchunk_exact_start_bytes_%out_ok = mul __slice_rchunk_exact_start_%out_ok, 8
+    __slice_rchunk_exact_base_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_rchunk_exact_ptr_%out_ok = ptr_add __slice_rchunk_exact_base_%out_ok, __slice_rchunk_exact_start_bytes_%out_ok
+    EXPAND SLICE_NEW %out_slice, __slice_rchunk_exact_ptr_%out_ok, %chunk_size
+    %out_ok = add 0, 1
+    !__slice_rchunk_exact_ptr_%out_ok
+    !__slice_rchunk_exact_base_%out_ok
+    !__slice_rchunk_exact_start_bytes_%out_ok
+    !__slice_rchunk_exact_start_%out_ok
+    !__slice_rchunk_exact_tail_len_%out_ok
+    !__slice_rchunk_exact_from_end_%out_ok
+    !__slice_rchunk_exact_in_bounds_%out_ok
+    !__slice_rchunk_exact_count_%out_ok
+    !__slice_rchunk_exact_zero_%out_ok
+    !__slice_rchunk_exact_len_%out_ok
+    jmp L_SLICE_RCHUNK_EXACT_AT_END_%out_ok
+
+L_SLICE_RCHUNK_EXACT_AT_MISS_BOUNDS_%out_ok:
+    __slice_rchunk_exact_empty_ptr_bounds_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_slice, __slice_rchunk_exact_empty_ptr_bounds_%out_ok, 0
+    %out_ok = add 0, 0
+    !__slice_rchunk_exact_empty_ptr_bounds_%out_ok
+    !__slice_rchunk_exact_in_bounds_%out_ok
+    !__slice_rchunk_exact_count_%out_ok
+    !__slice_rchunk_exact_zero_%out_ok
+    !__slice_rchunk_exact_len_%out_ok
+    jmp L_SLICE_RCHUNK_EXACT_AT_END_%out_ok
+
+L_SLICE_RCHUNK_EXACT_AT_MISS_ZERO_%out_ok:
+    __slice_rchunk_exact_empty_ptr_zero_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_slice, __slice_rchunk_exact_empty_ptr_zero_%out_ok, 0
+    %out_ok = add 0, 0
+    !__slice_rchunk_exact_empty_ptr_zero_%out_ok
+    !__slice_rchunk_exact_zero_%out_ok
+    !__slice_rchunk_exact_len_%out_ok
+
+L_SLICE_RCHUNK_EXACT_AT_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_RCHUNK_EXACT_AT_U64.
+[MACRO] SLICE_TRY_RCHUNK_EXACT_AT %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+    EXPAND SLICE_TRY_RCHUNK_EXACT_AT_U64 %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+[END_MACRO]
+
+[MACRO] SLICE_TRY_RCHUNK_EXACT_MUT_AT_U64 %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+    EXPAND SLICE_TRY_RCHUNK_EXACT_AT_U64 %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_RCHUNK_EXACT_MUT_AT_U64.
+[MACRO] SLICE_TRY_RCHUNK_EXACT_MUT_AT %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+    EXPAND SLICE_TRY_RCHUNK_EXACT_MUT_AT_U64 %out_ok, %out_slice, %slice_reg, %chunk_size, %chunk_index
+[END_MACRO]
+
+[MACRO] SLICE_WINDOW_COUNT_U64 %out_count, %slice_reg, %window_size
+    __slice_window_len_%out_count = load %slice_reg+Slice_len as u64
+    __slice_window_zero_%out_count = eq %window_size, 0
+    br __slice_window_zero_%out_count -> L_SLICE_WINDOW_COUNT_ZERO_%out_count, L_SLICE_WINDOW_COUNT_SIZE_%out_count
+
+L_SLICE_WINDOW_COUNT_SIZE_%out_count:
+    __slice_window_fits_%out_count = ule %window_size, __slice_window_len_%out_count
+    br __slice_window_fits_%out_count -> L_SLICE_WINDOW_COUNT_CALC_%out_count, L_SLICE_WINDOW_COUNT_MISS_%out_count
+
+L_SLICE_WINDOW_COUNT_CALC_%out_count:
+    __slice_window_remaining_%out_count = sub __slice_window_len_%out_count, %window_size
+    %out_count = add __slice_window_remaining_%out_count, 1
+    !__slice_window_remaining_%out_count
+    !__slice_window_fits_%out_count
+    !__slice_window_zero_%out_count
+    !__slice_window_len_%out_count
+    jmp L_SLICE_WINDOW_COUNT_END_%out_count
+
+L_SLICE_WINDOW_COUNT_MISS_%out_count:
+    %out_count = add 0, 0
+    !__slice_window_fits_%out_count
+    !__slice_window_zero_%out_count
+    !__slice_window_len_%out_count
+    jmp L_SLICE_WINDOW_COUNT_END_%out_count
+
+L_SLICE_WINDOW_COUNT_ZERO_%out_count:
+    %out_count = add 0, 0
+    !__slice_window_zero_%out_count
+    !__slice_window_len_%out_count
+
+L_SLICE_WINDOW_COUNT_END_%out_count:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_WINDOW_COUNT_U64.
+[MACRO] SLICE_WINDOW_COUNT %out_count, %slice_reg, %window_size
+    EXPAND SLICE_WINDOW_COUNT_U64 %out_count, %slice_reg, %window_size
+[END_MACRO]
+
+[MACRO] SLICE_TRY_WINDOW_AT_U64 %out_ok, %out_slice, %slice_reg, %window_size, %window_index
+    %out_slice = alloc Slice_SIZE
+    __slice_window_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_window_zero_%out_ok = eq %window_size, 0
+    br __slice_window_zero_%out_ok -> L_SLICE_WINDOW_AT_MISS_ZERO_%out_ok, L_SLICE_WINDOW_AT_SIZE_%out_ok
+
+L_SLICE_WINDOW_AT_SIZE_%out_ok:
+    __slice_window_start_ok_%out_ok = ule %window_index, __slice_window_len_%out_ok
+    br __slice_window_start_ok_%out_ok -> L_SLICE_WINDOW_AT_LEN_%out_ok, L_SLICE_WINDOW_AT_MISS_START_%out_ok
+
+L_SLICE_WINDOW_AT_LEN_%out_ok:
+    __slice_window_remaining_%out_ok = sub __slice_window_len_%out_ok, %window_index
+    __slice_window_fits_%out_ok = ule %window_size, __slice_window_remaining_%out_ok
+    br __slice_window_fits_%out_ok -> L_SLICE_WINDOW_AT_HIT_%out_ok, L_SLICE_WINDOW_AT_MISS_LEN_%out_ok
+
+L_SLICE_WINDOW_AT_HIT_%out_ok:
+    __slice_window_src_ptr_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_window_start_bytes_%out_ok = mul %window_index, 8
+    __slice_window_ptr_%out_ok = ptr_add __slice_window_src_ptr_%out_ok, __slice_window_start_bytes_%out_ok
+    EXPAND SLICE_NEW %out_slice, __slice_window_ptr_%out_ok, %window_size
+    %out_ok = add 0, 1
+    !__slice_window_ptr_%out_ok
+    !__slice_window_start_bytes_%out_ok
+    !__slice_window_src_ptr_%out_ok
+    !__slice_window_fits_%out_ok
+    !__slice_window_remaining_%out_ok
+    !__slice_window_start_ok_%out_ok
+    !__slice_window_zero_%out_ok
+    !__slice_window_len_%out_ok
+    jmp L_SLICE_WINDOW_AT_END_%out_ok
+
+L_SLICE_WINDOW_AT_MISS_LEN_%out_ok:
+    __slice_window_empty_ptr_len_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_slice, __slice_window_empty_ptr_len_%out_ok, 0
+    %out_ok = add 0, 0
+    !__slice_window_empty_ptr_len_%out_ok
+    !__slice_window_fits_%out_ok
+    !__slice_window_remaining_%out_ok
+    !__slice_window_start_ok_%out_ok
+    !__slice_window_zero_%out_ok
+    !__slice_window_len_%out_ok
+    jmp L_SLICE_WINDOW_AT_END_%out_ok
+
+L_SLICE_WINDOW_AT_MISS_START_%out_ok:
+    __slice_window_empty_ptr_start_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_slice, __slice_window_empty_ptr_start_%out_ok, 0
+    %out_ok = add 0, 0
+    !__slice_window_empty_ptr_start_%out_ok
+    !__slice_window_start_ok_%out_ok
+    !__slice_window_zero_%out_ok
+    !__slice_window_len_%out_ok
+    jmp L_SLICE_WINDOW_AT_END_%out_ok
+
+L_SLICE_WINDOW_AT_MISS_ZERO_%out_ok:
+    __slice_window_empty_ptr_zero_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_slice, __slice_window_empty_ptr_zero_%out_ok, 0
+    %out_ok = add 0, 0
+    !__slice_window_empty_ptr_zero_%out_ok
+    !__slice_window_zero_%out_ok
+    !__slice_window_len_%out_ok
+
+L_SLICE_WINDOW_AT_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_WINDOW_AT_U64.
+[MACRO] SLICE_TRY_WINDOW_AT %out_ok, %out_slice, %slice_reg, %window_size, %window_index
+    EXPAND SLICE_TRY_WINDOW_AT_U64 %out_ok, %out_slice, %slice_reg, %window_size, %window_index
+[END_MACRO]
+
+[MACRO] SLICE_SWAP_U64 %slice_reg, %left, %right
+    __slice_swap_ptr_%slice_reg = load %slice_reg+Slice_ptr as ptr
+    __slice_swap_left_off_%slice_reg = mul %left, 8
+    __slice_swap_right_off_%slice_reg = mul %right, 8
+    __slice_swap_left_ptr_%slice_reg = ptr_add __slice_swap_ptr_%slice_reg, __slice_swap_left_off_%slice_reg
+    __slice_swap_right_ptr_%slice_reg = ptr_add __slice_swap_ptr_%slice_reg, __slice_swap_right_off_%slice_reg
+    __slice_swap_left_value_%slice_reg = load __slice_swap_left_ptr_%slice_reg+0 as u64
+    __slice_swap_right_value_%slice_reg = load __slice_swap_right_ptr_%slice_reg+0 as u64
+    store __slice_swap_left_ptr_%slice_reg+0, __slice_swap_right_value_%slice_reg as u64
+    store __slice_swap_right_ptr_%slice_reg+0, __slice_swap_left_value_%slice_reg as u64
+    !__slice_swap_right_value_%slice_reg
+    !__slice_swap_left_value_%slice_reg
+    !__slice_swap_right_ptr_%slice_reg
+    !__slice_swap_left_ptr_%slice_reg
+    !__slice_swap_right_off_%slice_reg
+    !__slice_swap_left_off_%slice_reg
+    !__slice_swap_ptr_%slice_reg
+[END_MACRO]
+
+// Rust method-name alias over SLICE_SWAP_U64.
+[MACRO] SLICE_SWAP %slice_reg, %left, %right
+    EXPAND SLICE_SWAP_U64 %slice_reg, %left, %right
+[END_MACRO]
+
+[MACRO] SLICE_TRY_SWAP_U64 %out_ok, %slice_reg, %left, %right
+    __slice_swap_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_swap_left_ok_%out_ok = ult %left, __slice_swap_len_%out_ok
+    __slice_swap_right_ok_%out_ok = ult %right, __slice_swap_len_%out_ok
+    __slice_swap_in_bounds_%out_ok = and __slice_swap_left_ok_%out_ok, __slice_swap_right_ok_%out_ok
+    br __slice_swap_in_bounds_%out_ok -> L_SLICE_TRY_SWAP_HIT_%out_ok, L_SLICE_TRY_SWAP_MISS_%out_ok
+
+L_SLICE_TRY_SWAP_HIT_%out_ok:
+    EXPAND SLICE_SWAP_U64 %slice_reg, %left, %right
+    %out_ok = add 0, 1
+    !__slice_swap_in_bounds_%out_ok
+    !__slice_swap_right_ok_%out_ok
+    !__slice_swap_left_ok_%out_ok
+    !__slice_swap_len_%out_ok
+    jmp L_SLICE_TRY_SWAP_END_%out_ok
+
+L_SLICE_TRY_SWAP_MISS_%out_ok:
+    %out_ok = add 0, 0
+    !__slice_swap_in_bounds_%out_ok
+    !__slice_swap_right_ok_%out_ok
+    !__slice_swap_left_ok_%out_ok
+    !__slice_swap_len_%out_ok
+
+L_SLICE_TRY_SWAP_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_SWAP_U64.
+[MACRO] SLICE_TRY_SWAP %out_ok, %slice_reg, %left, %right
+    EXPAND SLICE_TRY_SWAP_U64 %out_ok, %slice_reg, %left, %right
+[END_MACRO]
+
+[MACRO] SLICE_FILL_U64 %slice_reg, %value
+    __slice_fill_ptr_%slice_reg = load %slice_reg+Slice_ptr as ptr
+    __slice_fill_len_%slice_reg = load %slice_reg+Slice_len as u64
+    __slice_fill_idx_slot_%slice_reg = stack_alloc 8
+    store __slice_fill_idx_slot_%slice_reg+0, 0 as u64
+    jmp L_SLICE_FILL_HEAD_%slice_reg
+
+L_SLICE_FILL_HEAD_%slice_reg:
+    __slice_fill_idx_%slice_reg = load __slice_fill_idx_slot_%slice_reg+0 as u64
+    __slice_fill_done_%slice_reg = eq __slice_fill_idx_%slice_reg, __slice_fill_len_%slice_reg
+    br __slice_fill_done_%slice_reg -> L_SLICE_FILL_END_%slice_reg, L_SLICE_FILL_BODY_%slice_reg
+
+L_SLICE_FILL_BODY_%slice_reg:
+    __slice_fill_off_%slice_reg = mul __slice_fill_idx_%slice_reg, 8
+    __slice_fill_item_%slice_reg = ptr_add __slice_fill_ptr_%slice_reg, __slice_fill_off_%slice_reg
+    store __slice_fill_item_%slice_reg+0, %value as u64
+    __slice_fill_next_%slice_reg = add __slice_fill_idx_%slice_reg, 1
+    store __slice_fill_idx_slot_%slice_reg+0, __slice_fill_next_%slice_reg as u64
+    !__slice_fill_next_%slice_reg
+    !__slice_fill_item_%slice_reg
+    !__slice_fill_off_%slice_reg
+    !__slice_fill_done_%slice_reg
+    !__slice_fill_idx_%slice_reg
+    jmp L_SLICE_FILL_HEAD_%slice_reg
+
+L_SLICE_FILL_END_%slice_reg:
+    !__slice_fill_done_%slice_reg
+    !__slice_fill_idx_%slice_reg
+    !__slice_fill_len_%slice_reg
+    !__slice_fill_ptr_%slice_reg
+[END_MACRO]
+
+// Rust method-name alias over SLICE_FILL_U64.
+[MACRO] SLICE_FILL %slice_reg, %value
+    EXPAND SLICE_FILL_U64 %slice_reg, %value
+[END_MACRO]
+
+[MACRO] SLICE_FILL_WITH_U64 %slice_reg, %gen_fn
+    __slice_fill_with_ptr_%slice_reg = load %slice_reg+Slice_ptr as ptr
+    __slice_fill_with_len_%slice_reg = load %slice_reg+Slice_len as u64
+    __slice_fill_with_idx_slot_%slice_reg = stack_alloc 8
+    store __slice_fill_with_idx_slot_%slice_reg+0, 0 as u64
+    jmp L_SLICE_FILL_WITH_HEAD_%slice_reg
+
+L_SLICE_FILL_WITH_HEAD_%slice_reg:
+    __slice_fill_with_idx_%slice_reg = load __slice_fill_with_idx_slot_%slice_reg+0 as u64
+    __slice_fill_with_done_%slice_reg = eq __slice_fill_with_idx_%slice_reg, __slice_fill_with_len_%slice_reg
+    br __slice_fill_with_done_%slice_reg -> L_SLICE_FILL_WITH_END_%slice_reg, L_SLICE_FILL_WITH_BODY_%slice_reg
+
+L_SLICE_FILL_WITH_BODY_%slice_reg:
+    __slice_fill_with_off_%slice_reg = mul __slice_fill_with_idx_%slice_reg, 8
+    __slice_fill_with_item_%slice_reg = ptr_add __slice_fill_with_ptr_%slice_reg, __slice_fill_with_off_%slice_reg
+    __slice_fill_with_value_%slice_reg = call %gen_fn()
+    store __slice_fill_with_item_%slice_reg+0, __slice_fill_with_value_%slice_reg as u64
+    __slice_fill_with_next_%slice_reg = add __slice_fill_with_idx_%slice_reg, 1
+    store __slice_fill_with_idx_slot_%slice_reg+0, __slice_fill_with_next_%slice_reg as u64
+    !__slice_fill_with_next_%slice_reg
+    !__slice_fill_with_value_%slice_reg
+    !__slice_fill_with_item_%slice_reg
+    !__slice_fill_with_off_%slice_reg
+    !__slice_fill_with_done_%slice_reg
+    !__slice_fill_with_idx_%slice_reg
+    jmp L_SLICE_FILL_WITH_HEAD_%slice_reg
+
+L_SLICE_FILL_WITH_END_%slice_reg:
+    !__slice_fill_with_done_%slice_reg
+    !__slice_fill_with_idx_%slice_reg
+    !__slice_fill_with_len_%slice_reg
+    !__slice_fill_with_ptr_%slice_reg
+[END_MACRO]
+
+// Rust method-name alias over SLICE_FILL_WITH_U64.
+[MACRO] SLICE_FILL_WITH %slice_reg, %gen_fn
+    EXPAND SLICE_FILL_WITH_U64 %slice_reg, %gen_fn
+[END_MACRO]
+
+[MACRO] SLICE_REVERSE_U64 %slice_reg
+    __slice_rev_len_%slice_reg = load %slice_reg+Slice_len as u64
+    __slice_rev_small_%slice_reg = ule __slice_rev_len_%slice_reg, 1
+    br __slice_rev_small_%slice_reg -> L_SLICE_REV_DONE_SMALL_%slice_reg, L_SLICE_REV_INIT_%slice_reg
+
+L_SLICE_REV_INIT_%slice_reg:
+    __slice_rev_ptr_%slice_reg = load %slice_reg+Slice_ptr as ptr
+    __slice_rev_left_slot_%slice_reg = stack_alloc 8
+    __slice_rev_right_slot_%slice_reg = stack_alloc 8
+    __slice_rev_last_%slice_reg = sub __slice_rev_len_%slice_reg, 1
+    store __slice_rev_left_slot_%slice_reg+0, 0 as u64
+    store __slice_rev_right_slot_%slice_reg+0, __slice_rev_last_%slice_reg as u64
+    !__slice_rev_last_%slice_reg
+    jmp L_SLICE_REV_HEAD_%slice_reg
+
+L_SLICE_REV_HEAD_%slice_reg:
+    __slice_rev_left_%slice_reg = load __slice_rev_left_slot_%slice_reg+0 as u64
+    __slice_rev_right_%slice_reg = load __slice_rev_right_slot_%slice_reg+0 as u64
+    __slice_rev_continue_%slice_reg = ult __slice_rev_left_%slice_reg, __slice_rev_right_%slice_reg
+    br __slice_rev_continue_%slice_reg -> L_SLICE_REV_BODY_%slice_reg, L_SLICE_REV_DONE_%slice_reg
+
+L_SLICE_REV_BODY_%slice_reg:
+    __slice_rev_left_off_%slice_reg = mul __slice_rev_left_%slice_reg, 8
+    __slice_rev_right_off_%slice_reg = mul __slice_rev_right_%slice_reg, 8
+    __slice_rev_left_ptr_%slice_reg = ptr_add __slice_rev_ptr_%slice_reg, __slice_rev_left_off_%slice_reg
+    __slice_rev_right_ptr_%slice_reg = ptr_add __slice_rev_ptr_%slice_reg, __slice_rev_right_off_%slice_reg
+    __slice_rev_left_value_%slice_reg = load __slice_rev_left_ptr_%slice_reg+0 as u64
+    __slice_rev_right_value_%slice_reg = load __slice_rev_right_ptr_%slice_reg+0 as u64
+    store __slice_rev_left_ptr_%slice_reg+0, __slice_rev_right_value_%slice_reg as u64
+    store __slice_rev_right_ptr_%slice_reg+0, __slice_rev_left_value_%slice_reg as u64
+    __slice_rev_next_left_%slice_reg = add __slice_rev_left_%slice_reg, 1
+    __slice_rev_next_right_%slice_reg = sub __slice_rev_right_%slice_reg, 1
+    store __slice_rev_left_slot_%slice_reg+0, __slice_rev_next_left_%slice_reg as u64
+    store __slice_rev_right_slot_%slice_reg+0, __slice_rev_next_right_%slice_reg as u64
+    !__slice_rev_next_right_%slice_reg
+    !__slice_rev_next_left_%slice_reg
+    !__slice_rev_right_value_%slice_reg
+    !__slice_rev_left_value_%slice_reg
+    !__slice_rev_right_ptr_%slice_reg
+    !__slice_rev_left_ptr_%slice_reg
+    !__slice_rev_right_off_%slice_reg
+    !__slice_rev_left_off_%slice_reg
+    !__slice_rev_continue_%slice_reg
+    !__slice_rev_right_%slice_reg
+    !__slice_rev_left_%slice_reg
+    jmp L_SLICE_REV_HEAD_%slice_reg
+
+L_SLICE_REV_DONE_%slice_reg:
+    !__slice_rev_continue_%slice_reg
+    !__slice_rev_right_%slice_reg
+    !__slice_rev_left_%slice_reg
+    !__slice_rev_ptr_%slice_reg
+    !__slice_rev_small_%slice_reg
+    !__slice_rev_len_%slice_reg
+    jmp L_SLICE_REV_END_%slice_reg
+
+L_SLICE_REV_DONE_SMALL_%slice_reg:
+    !__slice_rev_small_%slice_reg
+    !__slice_rev_len_%slice_reg
+
+L_SLICE_REV_END_%slice_reg:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_REVERSE_U64.
+[MACRO] SLICE_REVERSE %slice_reg
+    EXPAND SLICE_REVERSE_U64 %slice_reg
+[END_MACRO]
+
+[MACRO] SLICE_TRY_ROTATE_LEFT_U64 %out_ok, %slice_reg, %count
+    __slice_rot_left_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_rot_left_round_slot_%out_ok = stack_alloc 8
+    __slice_rot_left_idx_slot_%out_ok = stack_alloc 8
+    __slice_rot_left_in_bounds_%out_ok = ule %count, __slice_rot_left_len_%out_ok
+    br __slice_rot_left_in_bounds_%out_ok -> L_SLICE_ROT_LEFT_HIT_%out_ok, L_SLICE_ROT_LEFT_MISS_%out_ok
+
+L_SLICE_ROT_LEFT_HIT_%out_ok:
+    __slice_rot_left_noop_empty_%out_ok = eq __slice_rot_left_len_%out_ok, 0
+    __slice_rot_left_noop_count_%out_ok = eq %count, 0
+    __slice_rot_left_noop_%out_ok = or __slice_rot_left_noop_empty_%out_ok, __slice_rot_left_noop_count_%out_ok
+    br __slice_rot_left_noop_%out_ok -> L_SLICE_ROT_LEFT_DONE_NOOP_%out_ok, L_SLICE_ROT_LEFT_INIT_%out_ok
+
+L_SLICE_ROT_LEFT_INIT_%out_ok:
+    __slice_rot_left_ptr_%out_ok = load %slice_reg+Slice_ptr as ptr
+    store __slice_rot_left_round_slot_%out_ok+0, 0 as u64
+    jmp L_SLICE_ROT_LEFT_ROUND_HEAD_%out_ok
+
+L_SLICE_ROT_LEFT_ROUND_HEAD_%out_ok:
+    __slice_rot_left_round_%out_ok = load __slice_rot_left_round_slot_%out_ok+0 as u64
+    __slice_rot_left_round_done_%out_ok = eq __slice_rot_left_round_%out_ok, %count
+    br __slice_rot_left_round_done_%out_ok -> L_SLICE_ROT_LEFT_DONE_%out_ok, L_SLICE_ROT_LEFT_SHIFT_INIT_%out_ok
+
+L_SLICE_ROT_LEFT_SHIFT_INIT_%out_ok:
+    __slice_rot_left_first_%out_ok = load __slice_rot_left_ptr_%out_ok+0 as u64
+    store __slice_rot_left_idx_slot_%out_ok+0, 0 as u64
+    jmp L_SLICE_ROT_LEFT_SHIFT_HEAD_%out_ok
+
+L_SLICE_ROT_LEFT_SHIFT_HEAD_%out_ok:
+    __slice_rot_left_idx_%out_ok = load __slice_rot_left_idx_slot_%out_ok+0 as u64
+    __slice_rot_left_next_idx_%out_ok = add __slice_rot_left_idx_%out_ok, 1
+    __slice_rot_left_shift_done_%out_ok = eq __slice_rot_left_next_idx_%out_ok, __slice_rot_left_len_%out_ok
+    br __slice_rot_left_shift_done_%out_ok -> L_SLICE_ROT_LEFT_STORE_LAST_%out_ok, L_SLICE_ROT_LEFT_SHIFT_BODY_%out_ok
+
+L_SLICE_ROT_LEFT_SHIFT_BODY_%out_ok:
+    __slice_rot_left_dst_off_%out_ok = mul __slice_rot_left_idx_%out_ok, 8
+    __slice_rot_left_src_off_%out_ok = mul __slice_rot_left_next_idx_%out_ok, 8
+    __slice_rot_left_dst_ptr_%out_ok = ptr_add __slice_rot_left_ptr_%out_ok, __slice_rot_left_dst_off_%out_ok
+    __slice_rot_left_src_ptr_%out_ok = ptr_add __slice_rot_left_ptr_%out_ok, __slice_rot_left_src_off_%out_ok
+    __slice_rot_left_value_%out_ok = load __slice_rot_left_src_ptr_%out_ok+0 as u64
+    store __slice_rot_left_dst_ptr_%out_ok+0, __slice_rot_left_value_%out_ok as u64
+    store __slice_rot_left_idx_slot_%out_ok+0, __slice_rot_left_next_idx_%out_ok as u64
+    !__slice_rot_left_value_%out_ok
+    !__slice_rot_left_src_ptr_%out_ok
+    !__slice_rot_left_dst_ptr_%out_ok
+    !__slice_rot_left_src_off_%out_ok
+    !__slice_rot_left_dst_off_%out_ok
+    !__slice_rot_left_shift_done_%out_ok
+    !__slice_rot_left_next_idx_%out_ok
+    !__slice_rot_left_idx_%out_ok
+    jmp L_SLICE_ROT_LEFT_SHIFT_HEAD_%out_ok
+
+L_SLICE_ROT_LEFT_STORE_LAST_%out_ok:
+    __slice_rot_left_last_idx_%out_ok = sub __slice_rot_left_len_%out_ok, 1
+    __slice_rot_left_last_off_%out_ok = mul __slice_rot_left_last_idx_%out_ok, 8
+    __slice_rot_left_last_ptr_%out_ok = ptr_add __slice_rot_left_ptr_%out_ok, __slice_rot_left_last_off_%out_ok
+    store __slice_rot_left_last_ptr_%out_ok+0, __slice_rot_left_first_%out_ok as u64
+    __slice_rot_left_next_round_%out_ok = add __slice_rot_left_round_%out_ok, 1
+    store __slice_rot_left_round_slot_%out_ok+0, __slice_rot_left_next_round_%out_ok as u64
+    !__slice_rot_left_next_round_%out_ok
+    !__slice_rot_left_last_ptr_%out_ok
+    !__slice_rot_left_last_off_%out_ok
+    !__slice_rot_left_last_idx_%out_ok
+    !__slice_rot_left_shift_done_%out_ok
+    !__slice_rot_left_next_idx_%out_ok
+    !__slice_rot_left_idx_%out_ok
+    !__slice_rot_left_first_%out_ok
+    !__slice_rot_left_round_done_%out_ok
+    !__slice_rot_left_round_%out_ok
+    jmp L_SLICE_ROT_LEFT_ROUND_HEAD_%out_ok
+
+L_SLICE_ROT_LEFT_DONE_%out_ok:
+    %out_ok = add 0, 1
+    !__slice_rot_left_round_done_%out_ok
+    !__slice_rot_left_round_%out_ok
+    !__slice_rot_left_ptr_%out_ok
+    !__slice_rot_left_noop_%out_ok
+    !__slice_rot_left_noop_count_%out_ok
+    !__slice_rot_left_noop_empty_%out_ok
+    !__slice_rot_left_in_bounds_%out_ok
+    !__slice_rot_left_len_%out_ok
+    jmp L_SLICE_ROT_LEFT_END_%out_ok
+
+L_SLICE_ROT_LEFT_DONE_NOOP_%out_ok:
+    %out_ok = add 0, 1
+    !__slice_rot_left_noop_%out_ok
+    !__slice_rot_left_noop_count_%out_ok
+    !__slice_rot_left_noop_empty_%out_ok
+    !__slice_rot_left_in_bounds_%out_ok
+    !__slice_rot_left_len_%out_ok
+    jmp L_SLICE_ROT_LEFT_END_%out_ok
+
+L_SLICE_ROT_LEFT_MISS_%out_ok:
+    %out_ok = add 0, 0
+    !__slice_rot_left_in_bounds_%out_ok
+    !__slice_rot_left_len_%out_ok
+
+L_SLICE_ROT_LEFT_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_ROTATE_LEFT_U64.
+[MACRO] SLICE_TRY_ROTATE_LEFT %out_ok, %slice_reg, %count
+    EXPAND SLICE_TRY_ROTATE_LEFT_U64 %out_ok, %slice_reg, %count
+[END_MACRO]
+
+[MACRO] SLICE_TRY_ROTATE_RIGHT_U64 %out_ok, %slice_reg, %count
+    __slice_rot_right_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_rot_right_round_slot_%out_ok = stack_alloc 8
+    __slice_rot_right_idx_slot_%out_ok = stack_alloc 8
+    __slice_rot_right_in_bounds_%out_ok = ule %count, __slice_rot_right_len_%out_ok
+    br __slice_rot_right_in_bounds_%out_ok -> L_SLICE_ROT_RIGHT_HIT_%out_ok, L_SLICE_ROT_RIGHT_MISS_%out_ok
+
+L_SLICE_ROT_RIGHT_HIT_%out_ok:
+    __slice_rot_right_noop_empty_%out_ok = eq __slice_rot_right_len_%out_ok, 0
+    __slice_rot_right_noop_count_%out_ok = eq %count, 0
+    __slice_rot_right_noop_%out_ok = or __slice_rot_right_noop_empty_%out_ok, __slice_rot_right_noop_count_%out_ok
+    br __slice_rot_right_noop_%out_ok -> L_SLICE_ROT_RIGHT_DONE_NOOP_%out_ok, L_SLICE_ROT_RIGHT_INIT_%out_ok
+
+L_SLICE_ROT_RIGHT_INIT_%out_ok:
+    __slice_rot_right_ptr_%out_ok = load %slice_reg+Slice_ptr as ptr
+    store __slice_rot_right_round_slot_%out_ok+0, 0 as u64
+    jmp L_SLICE_ROT_RIGHT_ROUND_HEAD_%out_ok
+
+L_SLICE_ROT_RIGHT_ROUND_HEAD_%out_ok:
+    __slice_rot_right_round_%out_ok = load __slice_rot_right_round_slot_%out_ok+0 as u64
+    __slice_rot_right_round_done_%out_ok = eq __slice_rot_right_round_%out_ok, %count
+    br __slice_rot_right_round_done_%out_ok -> L_SLICE_ROT_RIGHT_DONE_%out_ok, L_SLICE_ROT_RIGHT_SHIFT_INIT_%out_ok
+
+L_SLICE_ROT_RIGHT_SHIFT_INIT_%out_ok:
+    __slice_rot_right_last_idx_%out_ok = sub __slice_rot_right_len_%out_ok, 1
+    __slice_rot_right_last_off_%out_ok = mul __slice_rot_right_last_idx_%out_ok, 8
+    __slice_rot_right_last_ptr_%out_ok = ptr_add __slice_rot_right_ptr_%out_ok, __slice_rot_right_last_off_%out_ok
+    __slice_rot_right_last_%out_ok = load __slice_rot_right_last_ptr_%out_ok+0 as u64
+    store __slice_rot_right_idx_slot_%out_ok+0, __slice_rot_right_last_idx_%out_ok as u64
+    !__slice_rot_right_last_ptr_%out_ok
+    !__slice_rot_right_last_off_%out_ok
+    jmp L_SLICE_ROT_RIGHT_SHIFT_HEAD_%out_ok
+
+L_SLICE_ROT_RIGHT_SHIFT_HEAD_%out_ok:
+    __slice_rot_right_idx_%out_ok = load __slice_rot_right_idx_slot_%out_ok+0 as u64
+    __slice_rot_right_shift_done_%out_ok = eq __slice_rot_right_idx_%out_ok, 0
+    br __slice_rot_right_shift_done_%out_ok -> L_SLICE_ROT_RIGHT_STORE_FIRST_%out_ok, L_SLICE_ROT_RIGHT_SHIFT_BODY_%out_ok
+
+L_SLICE_ROT_RIGHT_SHIFT_BODY_%out_ok:
+    __slice_rot_right_prev_idx_%out_ok = sub __slice_rot_right_idx_%out_ok, 1
+    __slice_rot_right_dst_off_%out_ok = mul __slice_rot_right_idx_%out_ok, 8
+    __slice_rot_right_src_off_%out_ok = mul __slice_rot_right_prev_idx_%out_ok, 8
+    __slice_rot_right_dst_ptr_%out_ok = ptr_add __slice_rot_right_ptr_%out_ok, __slice_rot_right_dst_off_%out_ok
+    __slice_rot_right_src_ptr_%out_ok = ptr_add __slice_rot_right_ptr_%out_ok, __slice_rot_right_src_off_%out_ok
+    __slice_rot_right_value_%out_ok = load __slice_rot_right_src_ptr_%out_ok+0 as u64
+    store __slice_rot_right_dst_ptr_%out_ok+0, __slice_rot_right_value_%out_ok as u64
+    store __slice_rot_right_idx_slot_%out_ok+0, __slice_rot_right_prev_idx_%out_ok as u64
+    !__slice_rot_right_value_%out_ok
+    !__slice_rot_right_src_ptr_%out_ok
+    !__slice_rot_right_dst_ptr_%out_ok
+    !__slice_rot_right_src_off_%out_ok
+    !__slice_rot_right_dst_off_%out_ok
+    !__slice_rot_right_prev_idx_%out_ok
+    !__slice_rot_right_shift_done_%out_ok
+    !__slice_rot_right_idx_%out_ok
+    jmp L_SLICE_ROT_RIGHT_SHIFT_HEAD_%out_ok
+
+L_SLICE_ROT_RIGHT_STORE_FIRST_%out_ok:
+    store __slice_rot_right_ptr_%out_ok+0, __slice_rot_right_last_%out_ok as u64
+    __slice_rot_right_next_round_%out_ok = add __slice_rot_right_round_%out_ok, 1
+    store __slice_rot_right_round_slot_%out_ok+0, __slice_rot_right_next_round_%out_ok as u64
+    !__slice_rot_right_next_round_%out_ok
+    !__slice_rot_right_shift_done_%out_ok
+    !__slice_rot_right_idx_%out_ok
+    !__slice_rot_right_last_%out_ok
+    !__slice_rot_right_last_idx_%out_ok
+    !__slice_rot_right_round_done_%out_ok
+    !__slice_rot_right_round_%out_ok
+    jmp L_SLICE_ROT_RIGHT_ROUND_HEAD_%out_ok
+
+L_SLICE_ROT_RIGHT_DONE_%out_ok:
+    %out_ok = add 0, 1
+    !__slice_rot_right_round_done_%out_ok
+    !__slice_rot_right_round_%out_ok
+    !__slice_rot_right_ptr_%out_ok
+    !__slice_rot_right_noop_%out_ok
+    !__slice_rot_right_noop_count_%out_ok
+    !__slice_rot_right_noop_empty_%out_ok
+    !__slice_rot_right_in_bounds_%out_ok
+    !__slice_rot_right_len_%out_ok
+    jmp L_SLICE_ROT_RIGHT_END_%out_ok
+
+L_SLICE_ROT_RIGHT_DONE_NOOP_%out_ok:
+    %out_ok = add 0, 1
+    !__slice_rot_right_noop_%out_ok
+    !__slice_rot_right_noop_count_%out_ok
+    !__slice_rot_right_noop_empty_%out_ok
+    !__slice_rot_right_in_bounds_%out_ok
+    !__slice_rot_right_len_%out_ok
+    jmp L_SLICE_ROT_RIGHT_END_%out_ok
+
+L_SLICE_ROT_RIGHT_MISS_%out_ok:
+    %out_ok = add 0, 0
+    !__slice_rot_right_in_bounds_%out_ok
+    !__slice_rot_right_len_%out_ok
+
+L_SLICE_ROT_RIGHT_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_ROTATE_RIGHT_U64.
+[MACRO] SLICE_TRY_ROTATE_RIGHT %out_ok, %slice_reg, %count
+    EXPAND SLICE_TRY_ROTATE_RIGHT_U64 %out_ok, %slice_reg, %count
+[END_MACRO]
+
+[MACRO] SLICE_TRY_SWAP_WITH_SLICE_U64 %out_ok, %left_slice, %right_slice
+    __slice_sws_left_len_%out_ok = load %left_slice+Slice_len as u64
+    __slice_sws_right_len_%out_ok = load %right_slice+Slice_len as u64
+    __slice_sws_same_len_%out_ok = eq __slice_sws_left_len_%out_ok, __slice_sws_right_len_%out_ok
+    br __slice_sws_same_len_%out_ok -> L_SLICE_SWS_INIT_%out_ok, L_SLICE_SWS_MISS_%out_ok
+
+L_SLICE_SWS_INIT_%out_ok:
+    __slice_sws_left_ptr_%out_ok = load %left_slice+Slice_ptr as ptr
+    __slice_sws_right_ptr_%out_ok = load %right_slice+Slice_ptr as ptr
+    __slice_sws_idx_slot_%out_ok = stack_alloc 8
+    store __slice_sws_idx_slot_%out_ok+0, 0 as u64
+    jmp L_SLICE_SWS_HEAD_%out_ok
+
+L_SLICE_SWS_HEAD_%out_ok:
+    __slice_sws_idx_%out_ok = load __slice_sws_idx_slot_%out_ok+0 as u64
+    __slice_sws_done_%out_ok = eq __slice_sws_idx_%out_ok, __slice_sws_left_len_%out_ok
+    br __slice_sws_done_%out_ok -> L_SLICE_SWS_HIT_%out_ok, L_SLICE_SWS_BODY_%out_ok
+
+L_SLICE_SWS_BODY_%out_ok:
+    __slice_sws_off_%out_ok = mul __slice_sws_idx_%out_ok, 8
+    __slice_sws_left_item_%out_ok = ptr_add __slice_sws_left_ptr_%out_ok, __slice_sws_off_%out_ok
+    __slice_sws_right_item_%out_ok = ptr_add __slice_sws_right_ptr_%out_ok, __slice_sws_off_%out_ok
+    __slice_sws_left_value_%out_ok = load __slice_sws_left_item_%out_ok+0 as u64
+    __slice_sws_right_value_%out_ok = load __slice_sws_right_item_%out_ok+0 as u64
+    store __slice_sws_left_item_%out_ok+0, __slice_sws_right_value_%out_ok as u64
+    store __slice_sws_right_item_%out_ok+0, __slice_sws_left_value_%out_ok as u64
+    __slice_sws_next_%out_ok = add __slice_sws_idx_%out_ok, 1
+    store __slice_sws_idx_slot_%out_ok+0, __slice_sws_next_%out_ok as u64
+    !__slice_sws_next_%out_ok
+    !__slice_sws_right_value_%out_ok
+    !__slice_sws_left_value_%out_ok
+    !__slice_sws_right_item_%out_ok
+    !__slice_sws_left_item_%out_ok
+    !__slice_sws_off_%out_ok
+    !__slice_sws_done_%out_ok
+    !__slice_sws_idx_%out_ok
+    jmp L_SLICE_SWS_HEAD_%out_ok
+
+L_SLICE_SWS_HIT_%out_ok:
+    %out_ok = add 0, 1
+    !__slice_sws_done_%out_ok
+    !__slice_sws_idx_%out_ok
+    !__slice_sws_right_ptr_%out_ok
+    !__slice_sws_left_ptr_%out_ok
+    !__slice_sws_same_len_%out_ok
+    !__slice_sws_right_len_%out_ok
+    !__slice_sws_left_len_%out_ok
+    jmp L_SLICE_SWS_END_%out_ok
+
+L_SLICE_SWS_MISS_%out_ok:
+    %out_ok = add 0, 0
+    !__slice_sws_same_len_%out_ok
+    !__slice_sws_right_len_%out_ok
+    !__slice_sws_left_len_%out_ok
+
+L_SLICE_SWS_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_SWAP_WITH_SLICE_U64.
+[MACRO] SLICE_TRY_SWAP_WITH_SLICE %out_ok, %left_slice, %right_slice
+    EXPAND SLICE_TRY_SWAP_WITH_SLICE_U64 %out_ok, %left_slice, %right_slice
+[END_MACRO]
+
+[MACRO] SLICE_IS_SORTED_U64 %out_bool, %slice_reg
+    __slice_sorted_len_%out_bool = load %slice_reg+Slice_len as u64
+    __slice_sorted_small_%out_bool = ule __slice_sorted_len_%out_bool, 1
+    br __slice_sorted_small_%out_bool -> L_SLICE_SORTED_TRUE_SMALL_%out_bool, L_SLICE_SORTED_INIT_%out_bool
+
+L_SLICE_SORTED_INIT_%out_bool:
+    __slice_sorted_ptr_%out_bool = load %slice_reg+Slice_ptr as ptr
+    __slice_sorted_last_idx_%out_bool = sub __slice_sorted_len_%out_bool, 1
+    __slice_sorted_idx_slot_%out_bool = stack_alloc 8
+    store __slice_sorted_idx_slot_%out_bool+0, 0 as u64
+    jmp L_SLICE_SORTED_HEAD_%out_bool
+
+L_SLICE_SORTED_HEAD_%out_bool:
+    __slice_sorted_idx_%out_bool = load __slice_sorted_idx_slot_%out_bool+0 as u64
+    __slice_sorted_done_%out_bool = eq __slice_sorted_idx_%out_bool, __slice_sorted_last_idx_%out_bool
+    br __slice_sorted_done_%out_bool -> L_SLICE_SORTED_TRUE_%out_bool, L_SLICE_SORTED_BODY_%out_bool
+
+L_SLICE_SORTED_BODY_%out_bool:
+    __slice_sorted_next_idx_%out_bool = add __slice_sorted_idx_%out_bool, 1
+    __slice_sorted_off_%out_bool = mul __slice_sorted_idx_%out_bool, 8
+    __slice_sorted_next_off_%out_bool = mul __slice_sorted_next_idx_%out_bool, 8
+    __slice_sorted_left_ptr_%out_bool = ptr_add __slice_sorted_ptr_%out_bool, __slice_sorted_off_%out_bool
+    __slice_sorted_right_ptr_%out_bool = ptr_add __slice_sorted_ptr_%out_bool, __slice_sorted_next_off_%out_bool
+    __slice_sorted_left_%out_bool = load __slice_sorted_left_ptr_%out_bool+0 as u64
+    __slice_sorted_right_%out_bool = load __slice_sorted_right_ptr_%out_bool+0 as u64
+    __slice_sorted_pair_ok_%out_bool = ule __slice_sorted_left_%out_bool, __slice_sorted_right_%out_bool
+    br __slice_sorted_pair_ok_%out_bool -> L_SLICE_SORTED_NEXT_%out_bool, L_SLICE_SORTED_FALSE_%out_bool
+
+L_SLICE_SORTED_NEXT_%out_bool:
+    store __slice_sorted_idx_slot_%out_bool+0, __slice_sorted_next_idx_%out_bool as u64
+    !__slice_sorted_pair_ok_%out_bool
+    !__slice_sorted_right_%out_bool
+    !__slice_sorted_left_%out_bool
+    !__slice_sorted_right_ptr_%out_bool
+    !__slice_sorted_left_ptr_%out_bool
+    !__slice_sorted_next_off_%out_bool
+    !__slice_sorted_off_%out_bool
+    !__slice_sorted_next_idx_%out_bool
+    !__slice_sorted_done_%out_bool
+    !__slice_sorted_idx_%out_bool
+    jmp L_SLICE_SORTED_HEAD_%out_bool
+
+L_SLICE_SORTED_TRUE_%out_bool:
+    %out_bool = add 0, 1
+    !__slice_sorted_done_%out_bool
+    !__slice_sorted_idx_%out_bool
+    !__slice_sorted_last_idx_%out_bool
+    !__slice_sorted_ptr_%out_bool
+    !__slice_sorted_small_%out_bool
+    !__slice_sorted_len_%out_bool
+    jmp L_SLICE_SORTED_END_%out_bool
+
+L_SLICE_SORTED_FALSE_%out_bool:
+    %out_bool = add 0, 0
+    !__slice_sorted_pair_ok_%out_bool
+    !__slice_sorted_right_%out_bool
+    !__slice_sorted_left_%out_bool
+    !__slice_sorted_right_ptr_%out_bool
+    !__slice_sorted_left_ptr_%out_bool
+    !__slice_sorted_next_off_%out_bool
+    !__slice_sorted_off_%out_bool
+    !__slice_sorted_next_idx_%out_bool
+    !__slice_sorted_done_%out_bool
+    !__slice_sorted_idx_%out_bool
+    !__slice_sorted_last_idx_%out_bool
+    !__slice_sorted_ptr_%out_bool
+    !__slice_sorted_small_%out_bool
+    !__slice_sorted_len_%out_bool
+    jmp L_SLICE_SORTED_END_%out_bool
+
+L_SLICE_SORTED_TRUE_SMALL_%out_bool:
+    %out_bool = add 0, 1
+    !__slice_sorted_small_%out_bool
+    !__slice_sorted_len_%out_bool
+
+L_SLICE_SORTED_END_%out_bool:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_IS_SORTED_U64.
+[MACRO] SLICE_IS_SORTED %out_bool, %slice_reg
+    EXPAND SLICE_IS_SORTED_U64 %out_bool, %slice_reg
+[END_MACRO]
+
+[MACRO] SLICE_IS_SORTED_BY_U64 %out_bool, %slice_reg, %compare_fn
+    __slice_sorted_by_len_%out_bool = load %slice_reg+Slice_len as u64
+    __slice_sorted_by_small_%out_bool = ule __slice_sorted_by_len_%out_bool, 1
+    br __slice_sorted_by_small_%out_bool -> L_SLICE_SORTED_BY_TRUE_SMALL_%out_bool, L_SLICE_SORTED_BY_INIT_%out_bool
+
+L_SLICE_SORTED_BY_INIT_%out_bool:
+    __slice_sorted_by_ptr_%out_bool = load %slice_reg+Slice_ptr as ptr
+    __slice_sorted_by_last_idx_%out_bool = sub __slice_sorted_by_len_%out_bool, 1
+    __slice_sorted_by_idx_slot_%out_bool = stack_alloc 8
+    store __slice_sorted_by_idx_slot_%out_bool+0, 0 as u64
+    jmp L_SLICE_SORTED_BY_HEAD_%out_bool
+
+L_SLICE_SORTED_BY_HEAD_%out_bool:
+    __slice_sorted_by_idx_%out_bool = load __slice_sorted_by_idx_slot_%out_bool+0 as u64
+    __slice_sorted_by_done_%out_bool = eq __slice_sorted_by_idx_%out_bool, __slice_sorted_by_last_idx_%out_bool
+    br __slice_sorted_by_done_%out_bool -> L_SLICE_SORTED_BY_TRUE_%out_bool, L_SLICE_SORTED_BY_BODY_%out_bool
+
+L_SLICE_SORTED_BY_BODY_%out_bool:
+    __slice_sorted_by_next_idx_%out_bool = add __slice_sorted_by_idx_%out_bool, 1
+    __slice_sorted_by_off_%out_bool = mul __slice_sorted_by_idx_%out_bool, 8
+    __slice_sorted_by_next_off_%out_bool = mul __slice_sorted_by_next_idx_%out_bool, 8
+    __slice_sorted_by_left_ptr_%out_bool = ptr_add __slice_sorted_by_ptr_%out_bool, __slice_sorted_by_off_%out_bool
+    __slice_sorted_by_right_ptr_%out_bool = ptr_add __slice_sorted_by_ptr_%out_bool, __slice_sorted_by_next_off_%out_bool
+    __slice_sorted_by_left_%out_bool = load __slice_sorted_by_left_ptr_%out_bool+0 as u64
+    __slice_sorted_by_right_%out_bool = load __slice_sorted_by_right_ptr_%out_bool+0 as u64
+    __slice_sorted_by_pair_ok_%out_bool = call %compare_fn(__slice_sorted_by_left_%out_bool, __slice_sorted_by_right_%out_bool)
+    __slice_sorted_by_pair_bool_%out_bool = ne __slice_sorted_by_pair_ok_%out_bool, 0
+    br __slice_sorted_by_pair_bool_%out_bool -> L_SLICE_SORTED_BY_NEXT_%out_bool, L_SLICE_SORTED_BY_FALSE_%out_bool
+
+L_SLICE_SORTED_BY_NEXT_%out_bool:
+    store __slice_sorted_by_idx_slot_%out_bool+0, __slice_sorted_by_next_idx_%out_bool as u64
+    !__slice_sorted_by_pair_bool_%out_bool
+    !__slice_sorted_by_pair_ok_%out_bool
+    !__slice_sorted_by_right_%out_bool
+    !__slice_sorted_by_left_%out_bool
+    !__slice_sorted_by_right_ptr_%out_bool
+    !__slice_sorted_by_left_ptr_%out_bool
+    !__slice_sorted_by_next_off_%out_bool
+    !__slice_sorted_by_off_%out_bool
+    !__slice_sorted_by_next_idx_%out_bool
+    !__slice_sorted_by_done_%out_bool
+    !__slice_sorted_by_idx_%out_bool
+    jmp L_SLICE_SORTED_BY_HEAD_%out_bool
+
+L_SLICE_SORTED_BY_TRUE_%out_bool:
+    %out_bool = add 0, 1
+    !__slice_sorted_by_done_%out_bool
+    !__slice_sorted_by_idx_%out_bool
+    !__slice_sorted_by_last_idx_%out_bool
+    !__slice_sorted_by_ptr_%out_bool
+    !__slice_sorted_by_small_%out_bool
+    !__slice_sorted_by_len_%out_bool
+    jmp L_SLICE_SORTED_BY_END_%out_bool
+
+L_SLICE_SORTED_BY_FALSE_%out_bool:
+    %out_bool = add 0, 0
+    !__slice_sorted_by_pair_bool_%out_bool
+    !__slice_sorted_by_pair_ok_%out_bool
+    !__slice_sorted_by_right_%out_bool
+    !__slice_sorted_by_left_%out_bool
+    !__slice_sorted_by_right_ptr_%out_bool
+    !__slice_sorted_by_left_ptr_%out_bool
+    !__slice_sorted_by_next_off_%out_bool
+    !__slice_sorted_by_off_%out_bool
+    !__slice_sorted_by_next_idx_%out_bool
+    !__slice_sorted_by_done_%out_bool
+    !__slice_sorted_by_idx_%out_bool
+    !__slice_sorted_by_last_idx_%out_bool
+    !__slice_sorted_by_ptr_%out_bool
+    !__slice_sorted_by_small_%out_bool
+    !__slice_sorted_by_len_%out_bool
+    jmp L_SLICE_SORTED_BY_END_%out_bool
+
+L_SLICE_SORTED_BY_TRUE_SMALL_%out_bool:
+    %out_bool = add 0, 1
+    !__slice_sorted_by_small_%out_bool
+    !__slice_sorted_by_len_%out_bool
+
+L_SLICE_SORTED_BY_END_%out_bool:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_IS_SORTED_BY_U64.
+[MACRO] SLICE_IS_SORTED_BY %out_bool, %slice_reg, %compare_fn
+    EXPAND SLICE_IS_SORTED_BY_U64 %out_bool, %slice_reg, %compare_fn
+[END_MACRO]
+
+[MACRO] SLICE_IS_SORTED_BY_KEY_U64 %out_bool, %slice_reg, %key_fn
+    __slice_sorted_key_len_%out_bool = load %slice_reg+Slice_len as u64
+    __slice_sorted_key_small_%out_bool = ule __slice_sorted_key_len_%out_bool, 1
+    br __slice_sorted_key_small_%out_bool -> L_SLICE_SORTED_KEY_TRUE_SMALL_%out_bool, L_SLICE_SORTED_KEY_INIT_%out_bool
+
+L_SLICE_SORTED_KEY_INIT_%out_bool:
+    __slice_sorted_key_ptr_%out_bool = load %slice_reg+Slice_ptr as ptr
+    __slice_sorted_key_last_idx_%out_bool = sub __slice_sorted_key_len_%out_bool, 1
+    __slice_sorted_key_idx_slot_%out_bool = stack_alloc 8
+    store __slice_sorted_key_idx_slot_%out_bool+0, 0 as u64
+    jmp L_SLICE_SORTED_KEY_HEAD_%out_bool
+
+L_SLICE_SORTED_KEY_HEAD_%out_bool:
+    __slice_sorted_key_idx_%out_bool = load __slice_sorted_key_idx_slot_%out_bool+0 as u64
+    __slice_sorted_key_done_%out_bool = eq __slice_sorted_key_idx_%out_bool, __slice_sorted_key_last_idx_%out_bool
+    br __slice_sorted_key_done_%out_bool -> L_SLICE_SORTED_KEY_TRUE_%out_bool, L_SLICE_SORTED_KEY_BODY_%out_bool
+
+L_SLICE_SORTED_KEY_BODY_%out_bool:
+    __slice_sorted_key_next_idx_%out_bool = add __slice_sorted_key_idx_%out_bool, 1
+    __slice_sorted_key_off_%out_bool = mul __slice_sorted_key_idx_%out_bool, 8
+    __slice_sorted_key_next_off_%out_bool = mul __slice_sorted_key_next_idx_%out_bool, 8
+    __slice_sorted_key_left_ptr_%out_bool = ptr_add __slice_sorted_key_ptr_%out_bool, __slice_sorted_key_off_%out_bool
+    __slice_sorted_key_right_ptr_%out_bool = ptr_add __slice_sorted_key_ptr_%out_bool, __slice_sorted_key_next_off_%out_bool
+    __slice_sorted_key_left_value_%out_bool = load __slice_sorted_key_left_ptr_%out_bool+0 as u64
+    __slice_sorted_key_right_value_%out_bool = load __slice_sorted_key_right_ptr_%out_bool+0 as u64
+    __slice_sorted_key_left_%out_bool = call %key_fn(__slice_sorted_key_left_value_%out_bool)
+    __slice_sorted_key_right_%out_bool = call %key_fn(__slice_sorted_key_right_value_%out_bool)
+    __slice_sorted_key_pair_ok_%out_bool = ule __slice_sorted_key_left_%out_bool, __slice_sorted_key_right_%out_bool
+    br __slice_sorted_key_pair_ok_%out_bool -> L_SLICE_SORTED_KEY_NEXT_%out_bool, L_SLICE_SORTED_KEY_FALSE_%out_bool
+
+L_SLICE_SORTED_KEY_NEXT_%out_bool:
+    store __slice_sorted_key_idx_slot_%out_bool+0, __slice_sorted_key_next_idx_%out_bool as u64
+    !__slice_sorted_key_pair_ok_%out_bool
+    !__slice_sorted_key_right_%out_bool
+    !__slice_sorted_key_left_%out_bool
+    !__slice_sorted_key_right_value_%out_bool
+    !__slice_sorted_key_left_value_%out_bool
+    !__slice_sorted_key_right_ptr_%out_bool
+    !__slice_sorted_key_left_ptr_%out_bool
+    !__slice_sorted_key_next_off_%out_bool
+    !__slice_sorted_key_off_%out_bool
+    !__slice_sorted_key_next_idx_%out_bool
+    !__slice_sorted_key_done_%out_bool
+    !__slice_sorted_key_idx_%out_bool
+    jmp L_SLICE_SORTED_KEY_HEAD_%out_bool
+
+L_SLICE_SORTED_KEY_TRUE_%out_bool:
+    %out_bool = add 0, 1
+    !__slice_sorted_key_done_%out_bool
+    !__slice_sorted_key_idx_%out_bool
+    !__slice_sorted_key_last_idx_%out_bool
+    !__slice_sorted_key_ptr_%out_bool
+    !__slice_sorted_key_small_%out_bool
+    !__slice_sorted_key_len_%out_bool
+    jmp L_SLICE_SORTED_KEY_END_%out_bool
+
+L_SLICE_SORTED_KEY_FALSE_%out_bool:
+    %out_bool = add 0, 0
+    !__slice_sorted_key_pair_ok_%out_bool
+    !__slice_sorted_key_right_%out_bool
+    !__slice_sorted_key_left_%out_bool
+    !__slice_sorted_key_right_value_%out_bool
+    !__slice_sorted_key_left_value_%out_bool
+    !__slice_sorted_key_right_ptr_%out_bool
+    !__slice_sorted_key_left_ptr_%out_bool
+    !__slice_sorted_key_next_off_%out_bool
+    !__slice_sorted_key_off_%out_bool
+    !__slice_sorted_key_next_idx_%out_bool
+    !__slice_sorted_key_done_%out_bool
+    !__slice_sorted_key_idx_%out_bool
+    !__slice_sorted_key_last_idx_%out_bool
+    !__slice_sorted_key_ptr_%out_bool
+    !__slice_sorted_key_small_%out_bool
+    !__slice_sorted_key_len_%out_bool
+    jmp L_SLICE_SORTED_KEY_END_%out_bool
+
+L_SLICE_SORTED_KEY_TRUE_SMALL_%out_bool:
+    %out_bool = add 0, 1
+    !__slice_sorted_key_small_%out_bool
+    !__slice_sorted_key_len_%out_bool
+
+L_SLICE_SORTED_KEY_END_%out_bool:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_IS_SORTED_BY_KEY_U64.
+[MACRO] SLICE_IS_SORTED_BY_KEY %out_bool, %slice_reg, %key_fn
+    EXPAND SLICE_IS_SORTED_BY_KEY_U64 %out_bool, %slice_reg, %key_fn
+[END_MACRO]
+
+[MACRO] SLICE_SORT_U64 %slice_reg
+    __slice_sort_len_%slice_reg = load %slice_reg+Slice_len as u64
+    __slice_sort_small_%slice_reg = ule __slice_sort_len_%slice_reg, 1
+    br __slice_sort_small_%slice_reg -> L_SLICE_SORT_DONE_SMALL_%slice_reg, L_SLICE_SORT_INIT_%slice_reg
+
+L_SLICE_SORT_INIT_%slice_reg:
+    __slice_sort_ptr_%slice_reg = load %slice_reg+Slice_ptr as ptr
+    __slice_sort_i_slot_%slice_reg = stack_alloc 8
+    __slice_sort_j_slot_%slice_reg = stack_alloc 8
+    store __slice_sort_i_slot_%slice_reg+0, 0 as u64
+    jmp L_SLICE_SORT_OUTER_HEAD_%slice_reg
+
+L_SLICE_SORT_OUTER_HEAD_%slice_reg:
+    __slice_sort_i_%slice_reg = load __slice_sort_i_slot_%slice_reg+0 as u64
+    __slice_sort_done_%slice_reg = eq __slice_sort_i_%slice_reg, __slice_sort_len_%slice_reg
+    br __slice_sort_done_%slice_reg -> L_SLICE_SORT_DONE_%slice_reg, L_SLICE_SORT_OUTER_BODY_%slice_reg
+
+L_SLICE_SORT_OUTER_BODY_%slice_reg:
+    store __slice_sort_j_slot_%slice_reg+0, 0 as u64
+    jmp L_SLICE_SORT_INNER_HEAD_%slice_reg
+
+L_SLICE_SORT_INNER_HEAD_%slice_reg:
+    __slice_sort_j_%slice_reg = load __slice_sort_j_slot_%slice_reg+0 as u64
+    __slice_sort_rem_%slice_reg = sub __slice_sort_len_%slice_reg, __slice_sort_i_%slice_reg
+    __slice_sort_last_%slice_reg = sub __slice_sort_rem_%slice_reg, 1
+    __slice_sort_inner_done_%slice_reg = uge __slice_sort_j_%slice_reg, __slice_sort_last_%slice_reg
+    br __slice_sort_inner_done_%slice_reg -> L_SLICE_SORT_OUTER_NEXT_%slice_reg, L_SLICE_SORT_COMPARE_%slice_reg
+
+L_SLICE_SORT_COMPARE_%slice_reg:
+    __slice_sort_next_j_%slice_reg = add __slice_sort_j_%slice_reg, 1
+    __slice_sort_left_off_%slice_reg = mul __slice_sort_j_%slice_reg, 8
+    __slice_sort_right_off_%slice_reg = mul __slice_sort_next_j_%slice_reg, 8
+    __slice_sort_left_ptr_%slice_reg = ptr_add __slice_sort_ptr_%slice_reg, __slice_sort_left_off_%slice_reg
+    __slice_sort_right_ptr_%slice_reg = ptr_add __slice_sort_ptr_%slice_reg, __slice_sort_right_off_%slice_reg
+    __slice_sort_left_%slice_reg = load __slice_sort_left_ptr_%slice_reg+0 as u64
+    __slice_sort_right_%slice_reg = load __slice_sort_right_ptr_%slice_reg+0 as u64
+    __slice_sort_swap_%slice_reg = ugt __slice_sort_left_%slice_reg, __slice_sort_right_%slice_reg
+    br __slice_sort_swap_%slice_reg -> L_SLICE_SORT_SWAP_%slice_reg, L_SLICE_SORT_INNER_NEXT_%slice_reg
+
+L_SLICE_SORT_SWAP_%slice_reg:
+    store __slice_sort_left_ptr_%slice_reg+0, __slice_sort_right_%slice_reg as u64
+    store __slice_sort_right_ptr_%slice_reg+0, __slice_sort_left_%slice_reg as u64
+    jmp L_SLICE_SORT_INNER_NEXT_%slice_reg
+
+L_SLICE_SORT_INNER_NEXT_%slice_reg:
+    store __slice_sort_j_slot_%slice_reg+0, __slice_sort_next_j_%slice_reg as u64
+    !__slice_sort_swap_%slice_reg
+    !__slice_sort_right_%slice_reg
+    !__slice_sort_left_%slice_reg
+    !__slice_sort_right_ptr_%slice_reg
+    !__slice_sort_left_ptr_%slice_reg
+    !__slice_sort_right_off_%slice_reg
+    !__slice_sort_left_off_%slice_reg
+    !__slice_sort_next_j_%slice_reg
+    !__slice_sort_inner_done_%slice_reg
+    !__slice_sort_last_%slice_reg
+    !__slice_sort_rem_%slice_reg
+    !__slice_sort_j_%slice_reg
+    jmp L_SLICE_SORT_INNER_HEAD_%slice_reg
+
+L_SLICE_SORT_OUTER_NEXT_%slice_reg:
+    __slice_sort_next_i_%slice_reg = add __slice_sort_i_%slice_reg, 1
+    store __slice_sort_i_slot_%slice_reg+0, __slice_sort_next_i_%slice_reg as u64
+    !__slice_sort_next_i_%slice_reg
+    !__slice_sort_inner_done_%slice_reg
+    !__slice_sort_last_%slice_reg
+    !__slice_sort_rem_%slice_reg
+    !__slice_sort_j_%slice_reg
+    !__slice_sort_done_%slice_reg
+    !__slice_sort_i_%slice_reg
+    jmp L_SLICE_SORT_OUTER_HEAD_%slice_reg
+
+L_SLICE_SORT_DONE_%slice_reg:
+    !__slice_sort_done_%slice_reg
+    !__slice_sort_i_%slice_reg
+    !__slice_sort_ptr_%slice_reg
+    !__slice_sort_small_%slice_reg
+    !__slice_sort_len_%slice_reg
+    jmp L_SLICE_SORT_END_%slice_reg
+
+L_SLICE_SORT_DONE_SMALL_%slice_reg:
+    !__slice_sort_small_%slice_reg
+    !__slice_sort_len_%slice_reg
+
+L_SLICE_SORT_END_%slice_reg:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_SORT_U64.
+[MACRO] SLICE_SORT %slice_reg
+    EXPAND SLICE_SORT_U64 %slice_reg
+[END_MACRO]
+
+[MACRO] SLICE_SORT_BY_U64 %slice_reg, %compare_fn
+    __slice_sort_by_len_%slice_reg = load %slice_reg+Slice_len as u64
+    __slice_sort_by_small_%slice_reg = ule __slice_sort_by_len_%slice_reg, 1
+    br __slice_sort_by_small_%slice_reg -> L_SLICE_SORT_BY_DONE_SMALL_%slice_reg, L_SLICE_SORT_BY_INIT_%slice_reg
+
+L_SLICE_SORT_BY_INIT_%slice_reg:
+    __slice_sort_by_ptr_%slice_reg = load %slice_reg+Slice_ptr as ptr
+    __slice_sort_by_i_slot_%slice_reg = stack_alloc 8
+    __slice_sort_by_j_slot_%slice_reg = stack_alloc 8
+    store __slice_sort_by_i_slot_%slice_reg+0, 0 as u64
+    jmp L_SLICE_SORT_BY_OUTER_HEAD_%slice_reg
+
+L_SLICE_SORT_BY_OUTER_HEAD_%slice_reg:
+    __slice_sort_by_i_%slice_reg = load __slice_sort_by_i_slot_%slice_reg+0 as u64
+    __slice_sort_by_done_%slice_reg = eq __slice_sort_by_i_%slice_reg, __slice_sort_by_len_%slice_reg
+    br __slice_sort_by_done_%slice_reg -> L_SLICE_SORT_BY_DONE_%slice_reg, L_SLICE_SORT_BY_OUTER_BODY_%slice_reg
+
+L_SLICE_SORT_BY_OUTER_BODY_%slice_reg:
+    store __slice_sort_by_j_slot_%slice_reg+0, 0 as u64
+    jmp L_SLICE_SORT_BY_INNER_HEAD_%slice_reg
+
+L_SLICE_SORT_BY_INNER_HEAD_%slice_reg:
+    __slice_sort_by_j_%slice_reg = load __slice_sort_by_j_slot_%slice_reg+0 as u64
+    __slice_sort_by_rem_%slice_reg = sub __slice_sort_by_len_%slice_reg, __slice_sort_by_i_%slice_reg
+    __slice_sort_by_last_%slice_reg = sub __slice_sort_by_rem_%slice_reg, 1
+    __slice_sort_by_inner_done_%slice_reg = uge __slice_sort_by_j_%slice_reg, __slice_sort_by_last_%slice_reg
+    br __slice_sort_by_inner_done_%slice_reg -> L_SLICE_SORT_BY_OUTER_NEXT_%slice_reg, L_SLICE_SORT_BY_COMPARE_%slice_reg
+
+L_SLICE_SORT_BY_COMPARE_%slice_reg:
+    __slice_sort_by_next_j_%slice_reg = add __slice_sort_by_j_%slice_reg, 1
+    __slice_sort_by_left_off_%slice_reg = mul __slice_sort_by_j_%slice_reg, 8
+    __slice_sort_by_right_off_%slice_reg = mul __slice_sort_by_next_j_%slice_reg, 8
+    __slice_sort_by_left_ptr_%slice_reg = ptr_add __slice_sort_by_ptr_%slice_reg, __slice_sort_by_left_off_%slice_reg
+    __slice_sort_by_right_ptr_%slice_reg = ptr_add __slice_sort_by_ptr_%slice_reg, __slice_sort_by_right_off_%slice_reg
+    __slice_sort_by_left_%slice_reg = load __slice_sort_by_left_ptr_%slice_reg+0 as u64
+    __slice_sort_by_right_%slice_reg = load __slice_sort_by_right_ptr_%slice_reg+0 as u64
+    __slice_sort_by_order_ok_%slice_reg = call %compare_fn(__slice_sort_by_left_%slice_reg, __slice_sort_by_right_%slice_reg)
+    __slice_sort_by_swap_%slice_reg = eq __slice_sort_by_order_ok_%slice_reg, 0
+    br __slice_sort_by_swap_%slice_reg -> L_SLICE_SORT_BY_SWAP_%slice_reg, L_SLICE_SORT_BY_INNER_NEXT_%slice_reg
+
+L_SLICE_SORT_BY_SWAP_%slice_reg:
+    store __slice_sort_by_left_ptr_%slice_reg+0, __slice_sort_by_right_%slice_reg as u64
+    store __slice_sort_by_right_ptr_%slice_reg+0, __slice_sort_by_left_%slice_reg as u64
+    jmp L_SLICE_SORT_BY_INNER_NEXT_%slice_reg
+
+L_SLICE_SORT_BY_INNER_NEXT_%slice_reg:
+    store __slice_sort_by_j_slot_%slice_reg+0, __slice_sort_by_next_j_%slice_reg as u64
+    !__slice_sort_by_swap_%slice_reg
+    !__slice_sort_by_order_ok_%slice_reg
+    !__slice_sort_by_right_%slice_reg
+    !__slice_sort_by_left_%slice_reg
+    !__slice_sort_by_right_ptr_%slice_reg
+    !__slice_sort_by_left_ptr_%slice_reg
+    !__slice_sort_by_right_off_%slice_reg
+    !__slice_sort_by_left_off_%slice_reg
+    !__slice_sort_by_next_j_%slice_reg
+    !__slice_sort_by_inner_done_%slice_reg
+    !__slice_sort_by_last_%slice_reg
+    !__slice_sort_by_rem_%slice_reg
+    !__slice_sort_by_j_%slice_reg
+    jmp L_SLICE_SORT_BY_INNER_HEAD_%slice_reg
+
+L_SLICE_SORT_BY_OUTER_NEXT_%slice_reg:
+    __slice_sort_by_next_i_%slice_reg = add __slice_sort_by_i_%slice_reg, 1
+    store __slice_sort_by_i_slot_%slice_reg+0, __slice_sort_by_next_i_%slice_reg as u64
+    !__slice_sort_by_next_i_%slice_reg
+    !__slice_sort_by_inner_done_%slice_reg
+    !__slice_sort_by_last_%slice_reg
+    !__slice_sort_by_rem_%slice_reg
+    !__slice_sort_by_j_%slice_reg
+    !__slice_sort_by_done_%slice_reg
+    !__slice_sort_by_i_%slice_reg
+    jmp L_SLICE_SORT_BY_OUTER_HEAD_%slice_reg
+
+L_SLICE_SORT_BY_DONE_%slice_reg:
+    !__slice_sort_by_done_%slice_reg
+    !__slice_sort_by_i_%slice_reg
+    !__slice_sort_by_ptr_%slice_reg
+    !__slice_sort_by_small_%slice_reg
+    !__slice_sort_by_len_%slice_reg
+    jmp L_SLICE_SORT_BY_END_%slice_reg
+
+L_SLICE_SORT_BY_DONE_SMALL_%slice_reg:
+    !__slice_sort_by_small_%slice_reg
+    !__slice_sort_by_len_%slice_reg
+
+L_SLICE_SORT_BY_END_%slice_reg:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_SORT_BY_U64.
+[MACRO] SLICE_SORT_BY %slice_reg, %compare_fn
+    EXPAND SLICE_SORT_BY_U64 %slice_reg, %compare_fn
+[END_MACRO]
+
+[MACRO] SLICE_SORT_BY_KEY_U64 %slice_reg, %key_fn
+    __slice_sort_key_len_%slice_reg = load %slice_reg+Slice_len as u64
+    __slice_sort_key_small_%slice_reg = ule __slice_sort_key_len_%slice_reg, 1
+    br __slice_sort_key_small_%slice_reg -> L_SLICE_SORT_KEY_DONE_SMALL_%slice_reg, L_SLICE_SORT_KEY_INIT_%slice_reg
+
+L_SLICE_SORT_KEY_INIT_%slice_reg:
+    __slice_sort_key_ptr_%slice_reg = load %slice_reg+Slice_ptr as ptr
+    __slice_sort_key_i_slot_%slice_reg = stack_alloc 8
+    __slice_sort_key_j_slot_%slice_reg = stack_alloc 8
+    store __slice_sort_key_i_slot_%slice_reg+0, 0 as u64
+    jmp L_SLICE_SORT_KEY_OUTER_HEAD_%slice_reg
+
+L_SLICE_SORT_KEY_OUTER_HEAD_%slice_reg:
+    __slice_sort_key_i_%slice_reg = load __slice_sort_key_i_slot_%slice_reg+0 as u64
+    __slice_sort_key_done_%slice_reg = eq __slice_sort_key_i_%slice_reg, __slice_sort_key_len_%slice_reg
+    br __slice_sort_key_done_%slice_reg -> L_SLICE_SORT_KEY_DONE_%slice_reg, L_SLICE_SORT_KEY_OUTER_BODY_%slice_reg
+
+L_SLICE_SORT_KEY_OUTER_BODY_%slice_reg:
+    store __slice_sort_key_j_slot_%slice_reg+0, 0 as u64
+    jmp L_SLICE_SORT_KEY_INNER_HEAD_%slice_reg
+
+L_SLICE_SORT_KEY_INNER_HEAD_%slice_reg:
+    __slice_sort_key_j_%slice_reg = load __slice_sort_key_j_slot_%slice_reg+0 as u64
+    __slice_sort_key_rem_%slice_reg = sub __slice_sort_key_len_%slice_reg, __slice_sort_key_i_%slice_reg
+    __slice_sort_key_last_%slice_reg = sub __slice_sort_key_rem_%slice_reg, 1
+    __slice_sort_key_inner_done_%slice_reg = uge __slice_sort_key_j_%slice_reg, __slice_sort_key_last_%slice_reg
+    br __slice_sort_key_inner_done_%slice_reg -> L_SLICE_SORT_KEY_OUTER_NEXT_%slice_reg, L_SLICE_SORT_KEY_COMPARE_%slice_reg
+
+L_SLICE_SORT_KEY_COMPARE_%slice_reg:
+    __slice_sort_key_next_j_%slice_reg = add __slice_sort_key_j_%slice_reg, 1
+    __slice_sort_key_left_off_%slice_reg = mul __slice_sort_key_j_%slice_reg, 8
+    __slice_sort_key_right_off_%slice_reg = mul __slice_sort_key_next_j_%slice_reg, 8
+    __slice_sort_key_left_ptr_%slice_reg = ptr_add __slice_sort_key_ptr_%slice_reg, __slice_sort_key_left_off_%slice_reg
+    __slice_sort_key_right_ptr_%slice_reg = ptr_add __slice_sort_key_ptr_%slice_reg, __slice_sort_key_right_off_%slice_reg
+    __slice_sort_key_left_value_%slice_reg = load __slice_sort_key_left_ptr_%slice_reg+0 as u64
+    __slice_sort_key_right_value_%slice_reg = load __slice_sort_key_right_ptr_%slice_reg+0 as u64
+    __slice_sort_key_left_%slice_reg = call %key_fn(__slice_sort_key_left_value_%slice_reg)
+    __slice_sort_key_right_%slice_reg = call %key_fn(__slice_sort_key_right_value_%slice_reg)
+    __slice_sort_key_swap_%slice_reg = ugt __slice_sort_key_left_%slice_reg, __slice_sort_key_right_%slice_reg
+    br __slice_sort_key_swap_%slice_reg -> L_SLICE_SORT_KEY_SWAP_%slice_reg, L_SLICE_SORT_KEY_INNER_NEXT_%slice_reg
+
+L_SLICE_SORT_KEY_SWAP_%slice_reg:
+    store __slice_sort_key_left_ptr_%slice_reg+0, __slice_sort_key_right_value_%slice_reg as u64
+    store __slice_sort_key_right_ptr_%slice_reg+0, __slice_sort_key_left_value_%slice_reg as u64
+    jmp L_SLICE_SORT_KEY_INNER_NEXT_%slice_reg
+
+L_SLICE_SORT_KEY_INNER_NEXT_%slice_reg:
+    store __slice_sort_key_j_slot_%slice_reg+0, __slice_sort_key_next_j_%slice_reg as u64
+    !__slice_sort_key_swap_%slice_reg
+    !__slice_sort_key_right_%slice_reg
+    !__slice_sort_key_left_%slice_reg
+    !__slice_sort_key_right_value_%slice_reg
+    !__slice_sort_key_left_value_%slice_reg
+    !__slice_sort_key_right_ptr_%slice_reg
+    !__slice_sort_key_left_ptr_%slice_reg
+    !__slice_sort_key_right_off_%slice_reg
+    !__slice_sort_key_left_off_%slice_reg
+    !__slice_sort_key_next_j_%slice_reg
+    !__slice_sort_key_inner_done_%slice_reg
+    !__slice_sort_key_last_%slice_reg
+    !__slice_sort_key_rem_%slice_reg
+    !__slice_sort_key_j_%slice_reg
+    jmp L_SLICE_SORT_KEY_INNER_HEAD_%slice_reg
+
+L_SLICE_SORT_KEY_OUTER_NEXT_%slice_reg:
+    __slice_sort_key_next_i_%slice_reg = add __slice_sort_key_i_%slice_reg, 1
+    store __slice_sort_key_i_slot_%slice_reg+0, __slice_sort_key_next_i_%slice_reg as u64
+    !__slice_sort_key_next_i_%slice_reg
+    !__slice_sort_key_inner_done_%slice_reg
+    !__slice_sort_key_last_%slice_reg
+    !__slice_sort_key_rem_%slice_reg
+    !__slice_sort_key_j_%slice_reg
+    !__slice_sort_key_done_%slice_reg
+    !__slice_sort_key_i_%slice_reg
+    jmp L_SLICE_SORT_KEY_OUTER_HEAD_%slice_reg
+
+L_SLICE_SORT_KEY_DONE_%slice_reg:
+    !__slice_sort_key_done_%slice_reg
+    !__slice_sort_key_i_%slice_reg
+    !__slice_sort_key_ptr_%slice_reg
+    !__slice_sort_key_small_%slice_reg
+    !__slice_sort_key_len_%slice_reg
+    jmp L_SLICE_SORT_KEY_END_%slice_reg
+
+L_SLICE_SORT_KEY_DONE_SMALL_%slice_reg:
+    !__slice_sort_key_small_%slice_reg
+    !__slice_sort_key_len_%slice_reg
+
+L_SLICE_SORT_KEY_END_%slice_reg:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_SORT_BY_KEY_U64.
+[MACRO] SLICE_SORT_BY_KEY %slice_reg, %key_fn
+    EXPAND SLICE_SORT_BY_KEY_U64 %slice_reg, %key_fn
+[END_MACRO]
+
+[MACRO] SLICE_SORT_BY_CACHED_KEY_U64 %slice_reg, %key_fn
+    EXPAND SLICE_SORT_BY_KEY_U64 %slice_reg, %key_fn
+[END_MACRO]
+
+// Rust method-name alias over SLICE_SORT_BY_CACHED_KEY_U64.
+[MACRO] SLICE_SORT_BY_CACHED_KEY %slice_reg, %key_fn
+    EXPAND SLICE_SORT_BY_CACHED_KEY_U64 %slice_reg, %key_fn
+[END_MACRO]
+
+[MACRO] SLICE_SORT_UNSTABLE_U64 %slice_reg
+    EXPAND SLICE_SORT_U64 %slice_reg
+[END_MACRO]
+
+// Rust method-name alias over SLICE_SORT_UNSTABLE_U64.
+[MACRO] SLICE_SORT_UNSTABLE %slice_reg
+    EXPAND SLICE_SORT_UNSTABLE_U64 %slice_reg
+[END_MACRO]
+
+[MACRO] SLICE_SORT_UNSTABLE_BY_U64 %slice_reg, %compare_fn
+    EXPAND SLICE_SORT_BY_U64 %slice_reg, %compare_fn
+[END_MACRO]
+
+// Rust method-name alias over SLICE_SORT_UNSTABLE_BY_U64.
+[MACRO] SLICE_SORT_UNSTABLE_BY %slice_reg, %compare_fn
+    EXPAND SLICE_SORT_UNSTABLE_BY_U64 %slice_reg, %compare_fn
+[END_MACRO]
+
+[MACRO] SLICE_SORT_UNSTABLE_BY_KEY_U64 %slice_reg, %key_fn
+    EXPAND SLICE_SORT_BY_KEY_U64 %slice_reg, %key_fn
+[END_MACRO]
+
+// Rust method-name alias over SLICE_SORT_UNSTABLE_BY_KEY_U64.
+[MACRO] SLICE_SORT_UNSTABLE_BY_KEY %slice_reg, %key_fn
+    EXPAND SLICE_SORT_UNSTABLE_BY_KEY_U64 %slice_reg, %key_fn
+[END_MACRO]
+
+[MACRO] SLICE_TRY_SELECT_NTH_UNSTABLE_U64 %out_ok, %out_left, %out_pivot_ptr, %out_right, %slice_reg, %nth
+    %out_left = alloc Slice_SIZE
+    %out_right = alloc Slice_SIZE
+    __slice_select_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_select_in_bounds_%out_ok = ult %nth, __slice_select_len_%out_ok
+    br __slice_select_in_bounds_%out_ok -> L_SLICE_SELECT_NTH_HIT_%out_ok, L_SLICE_SELECT_NTH_MISS_%out_ok
+
+L_SLICE_SELECT_NTH_HIT_%out_ok:
+    !__slice_select_in_bounds_%out_ok
+    !__slice_select_len_%out_ok
+    __slice_select_sort_view_%out_ok = ptr_add %slice_reg, 0
+    EXPAND SLICE_SORT_UNSTABLE_U64 __slice_select_sort_view_%out_ok
+    __slice_select_len2_%out_ok = load __slice_select_sort_view_%out_ok+Slice_len as u64
+    __slice_select_ptr_%out_ok = load __slice_select_sort_view_%out_ok+Slice_ptr as ptr
+    __slice_select_pivot_off_%out_ok = mul %nth, 8
+    %out_pivot_ptr = ptr_add __slice_select_ptr_%out_ok, __slice_select_pivot_off_%out_ok
+    __slice_select_right_off_%out_ok = add __slice_select_pivot_off_%out_ok, 8
+    __slice_select_right_ptr_%out_ok = ptr_add __slice_select_ptr_%out_ok, __slice_select_right_off_%out_ok
+    __slice_select_after_pivot_%out_ok = add %nth, 1
+    __slice_select_right_len_%out_ok = sub __slice_select_len2_%out_ok, __slice_select_after_pivot_%out_ok
+    EXPAND SLICE_NEW %out_left, __slice_select_ptr_%out_ok, %nth
+    EXPAND SLICE_NEW %out_right, __slice_select_right_ptr_%out_ok, __slice_select_right_len_%out_ok
+    %out_ok = add 0, 1
+    !__slice_select_right_len_%out_ok
+    !__slice_select_after_pivot_%out_ok
+    !__slice_select_right_ptr_%out_ok
+    !__slice_select_right_off_%out_ok
+    !__slice_select_pivot_off_%out_ok
+    !__slice_select_ptr_%out_ok
+    !__slice_select_len2_%out_ok
+    !__slice_select_sort_view_%out_ok
+    jmp L_SLICE_SELECT_NTH_END_%out_ok
+
+L_SLICE_SELECT_NTH_MISS_%out_ok:
+    __slice_select_empty_ptr_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_left, __slice_select_empty_ptr_%out_ok, 0
+    EXPAND SLICE_NEW %out_right, __slice_select_empty_ptr_%out_ok, 0
+    %out_pivot_ptr = 0 as ptr
+    %out_ok = add 0, 0
+    !__slice_select_empty_ptr_%out_ok
+    !__slice_select_in_bounds_%out_ok
+    !__slice_select_len_%out_ok
+
+L_SLICE_SELECT_NTH_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_SELECT_NTH_UNSTABLE_U64.
+[MACRO] SLICE_TRY_SELECT_NTH_UNSTABLE %out_ok, %out_left, %out_pivot_ptr, %out_right, %slice_reg, %nth
+    EXPAND SLICE_TRY_SELECT_NTH_UNSTABLE_U64 %out_ok, %out_left, %out_pivot_ptr, %out_right, %slice_reg, %nth
+[END_MACRO]
+
+[MACRO] SLICE_TRY_SELECT_NTH_UNSTABLE_BY_U64 %out_ok, %out_left, %out_pivot_ptr, %out_right, %slice_reg, %nth, %compare_fn
+    %out_left = alloc Slice_SIZE
+    %out_right = alloc Slice_SIZE
+    __slice_select_by_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_select_by_in_bounds_%out_ok = ult %nth, __slice_select_by_len_%out_ok
+    br __slice_select_by_in_bounds_%out_ok -> L_SLICE_SELECT_NTH_BY_HIT_%out_ok, L_SLICE_SELECT_NTH_BY_MISS_%out_ok
+
+L_SLICE_SELECT_NTH_BY_HIT_%out_ok:
+    !__slice_select_by_in_bounds_%out_ok
+    !__slice_select_by_len_%out_ok
+    __slice_select_by_sort_view_%out_ok = ptr_add %slice_reg, 0
+    EXPAND SLICE_SORT_UNSTABLE_BY_U64 __slice_select_by_sort_view_%out_ok, %compare_fn
+    __slice_select_by_len2_%out_ok = load __slice_select_by_sort_view_%out_ok+Slice_len as u64
+    __slice_select_by_ptr_%out_ok = load __slice_select_by_sort_view_%out_ok+Slice_ptr as ptr
+    __slice_select_by_pivot_off_%out_ok = mul %nth, 8
+    %out_pivot_ptr = ptr_add __slice_select_by_ptr_%out_ok, __slice_select_by_pivot_off_%out_ok
+    __slice_select_by_right_off_%out_ok = add __slice_select_by_pivot_off_%out_ok, 8
+    __slice_select_by_right_ptr_%out_ok = ptr_add __slice_select_by_ptr_%out_ok, __slice_select_by_right_off_%out_ok
+    __slice_select_by_after_pivot_%out_ok = add %nth, 1
+    __slice_select_by_right_len_%out_ok = sub __slice_select_by_len2_%out_ok, __slice_select_by_after_pivot_%out_ok
+    EXPAND SLICE_NEW %out_left, __slice_select_by_ptr_%out_ok, %nth
+    EXPAND SLICE_NEW %out_right, __slice_select_by_right_ptr_%out_ok, __slice_select_by_right_len_%out_ok
+    %out_ok = add 0, 1
+    !__slice_select_by_right_len_%out_ok
+    !__slice_select_by_after_pivot_%out_ok
+    !__slice_select_by_right_ptr_%out_ok
+    !__slice_select_by_right_off_%out_ok
+    !__slice_select_by_pivot_off_%out_ok
+    !__slice_select_by_ptr_%out_ok
+    !__slice_select_by_len2_%out_ok
+    !__slice_select_by_sort_view_%out_ok
+    jmp L_SLICE_SELECT_NTH_BY_END_%out_ok
+
+L_SLICE_SELECT_NTH_BY_MISS_%out_ok:
+    __slice_select_by_empty_ptr_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_left, __slice_select_by_empty_ptr_%out_ok, 0
+    EXPAND SLICE_NEW %out_right, __slice_select_by_empty_ptr_%out_ok, 0
+    %out_pivot_ptr = 0 as ptr
+    %out_ok = add 0, 0
+    !__slice_select_by_empty_ptr_%out_ok
+    !__slice_select_by_in_bounds_%out_ok
+    !__slice_select_by_len_%out_ok
+
+L_SLICE_SELECT_NTH_BY_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_SELECT_NTH_UNSTABLE_BY_U64.
+[MACRO] SLICE_TRY_SELECT_NTH_UNSTABLE_BY %out_ok, %out_left, %out_pivot_ptr, %out_right, %slice_reg, %nth, %compare_fn
+    EXPAND SLICE_TRY_SELECT_NTH_UNSTABLE_BY_U64 %out_ok, %out_left, %out_pivot_ptr, %out_right, %slice_reg, %nth, %compare_fn
+[END_MACRO]
+
+[MACRO] SLICE_TRY_SELECT_NTH_UNSTABLE_BY_KEY_U64 %out_ok, %out_left, %out_pivot_ptr, %out_right, %slice_reg, %nth, %key_fn
+    %out_left = alloc Slice_SIZE
+    %out_right = alloc Slice_SIZE
+    __slice_select_key_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_select_key_in_bounds_%out_ok = ult %nth, __slice_select_key_len_%out_ok
+    br __slice_select_key_in_bounds_%out_ok -> L_SLICE_SELECT_NTH_KEY_HIT_%out_ok, L_SLICE_SELECT_NTH_KEY_MISS_%out_ok
+
+L_SLICE_SELECT_NTH_KEY_HIT_%out_ok:
+    !__slice_select_key_in_bounds_%out_ok
+    !__slice_select_key_len_%out_ok
+    __slice_select_key_sort_view_%out_ok = ptr_add %slice_reg, 0
+    EXPAND SLICE_SORT_UNSTABLE_BY_KEY_U64 __slice_select_key_sort_view_%out_ok, %key_fn
+    __slice_select_key_len2_%out_ok = load __slice_select_key_sort_view_%out_ok+Slice_len as u64
+    __slice_select_key_ptr_%out_ok = load __slice_select_key_sort_view_%out_ok+Slice_ptr as ptr
+    __slice_select_key_pivot_off_%out_ok = mul %nth, 8
+    %out_pivot_ptr = ptr_add __slice_select_key_ptr_%out_ok, __slice_select_key_pivot_off_%out_ok
+    __slice_select_key_right_off_%out_ok = add __slice_select_key_pivot_off_%out_ok, 8
+    __slice_select_key_right_ptr_%out_ok = ptr_add __slice_select_key_ptr_%out_ok, __slice_select_key_right_off_%out_ok
+    __slice_select_key_after_pivot_%out_ok = add %nth, 1
+    __slice_select_key_right_len_%out_ok = sub __slice_select_key_len2_%out_ok, __slice_select_key_after_pivot_%out_ok
+    EXPAND SLICE_NEW %out_left, __slice_select_key_ptr_%out_ok, %nth
+    EXPAND SLICE_NEW %out_right, __slice_select_key_right_ptr_%out_ok, __slice_select_key_right_len_%out_ok
+    %out_ok = add 0, 1
+    !__slice_select_key_right_len_%out_ok
+    !__slice_select_key_after_pivot_%out_ok
+    !__slice_select_key_right_ptr_%out_ok
+    !__slice_select_key_right_off_%out_ok
+    !__slice_select_key_pivot_off_%out_ok
+    !__slice_select_key_ptr_%out_ok
+    !__slice_select_key_len2_%out_ok
+    !__slice_select_key_sort_view_%out_ok
+    jmp L_SLICE_SELECT_NTH_KEY_END_%out_ok
+
+L_SLICE_SELECT_NTH_KEY_MISS_%out_ok:
+    __slice_select_key_empty_ptr_%out_ok = 0 as ptr
+    EXPAND SLICE_NEW %out_left, __slice_select_key_empty_ptr_%out_ok, 0
+    EXPAND SLICE_NEW %out_right, __slice_select_key_empty_ptr_%out_ok, 0
+    %out_pivot_ptr = 0 as ptr
+    %out_ok = add 0, 0
+    !__slice_select_key_empty_ptr_%out_ok
+    !__slice_select_key_in_bounds_%out_ok
+    !__slice_select_key_len_%out_ok
+
+L_SLICE_SELECT_NTH_KEY_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_SELECT_NTH_UNSTABLE_BY_KEY_U64.
+[MACRO] SLICE_TRY_SELECT_NTH_UNSTABLE_BY_KEY %out_ok, %out_left, %out_pivot_ptr, %out_right, %slice_reg, %nth, %key_fn
+    EXPAND SLICE_TRY_SELECT_NTH_UNSTABLE_BY_KEY_U64 %out_ok, %out_left, %out_pivot_ptr, %out_right, %slice_reg, %nth, %key_fn
+[END_MACRO]
+
+[MACRO] SLICE_COPY_FROM_SLICE_U64 %out_ok, %dst_slice, %src_slice
+    __slice_copy_dst_len_%out_ok = load %dst_slice+Slice_len as u64
+    __slice_copy_src_len_%out_ok = load %src_slice+Slice_len as u64
+    __slice_copy_same_len_%out_ok = eq __slice_copy_dst_len_%out_ok, __slice_copy_src_len_%out_ok
+    br __slice_copy_same_len_%out_ok -> L_SLICE_COPY_INIT_%out_ok, L_SLICE_COPY_MISS_%out_ok
+
+L_SLICE_COPY_INIT_%out_ok:
+    __slice_copy_dst_ptr_%out_ok = load %dst_slice+Slice_ptr as ptr
+    __slice_copy_src_ptr_%out_ok = load %src_slice+Slice_ptr as ptr
+    __slice_copy_idx_slot_%out_ok = stack_alloc 8
+    store __slice_copy_idx_slot_%out_ok+0, 0 as u64
+    jmp L_SLICE_COPY_HEAD_%out_ok
+
+L_SLICE_COPY_HEAD_%out_ok:
+    __slice_copy_idx_%out_ok = load __slice_copy_idx_slot_%out_ok+0 as u64
+    __slice_copy_done_%out_ok = eq __slice_copy_idx_%out_ok, __slice_copy_dst_len_%out_ok
+    br __slice_copy_done_%out_ok -> L_SLICE_COPY_HIT_%out_ok, L_SLICE_COPY_BODY_%out_ok
+
+L_SLICE_COPY_BODY_%out_ok:
+    __slice_copy_off_%out_ok = mul __slice_copy_idx_%out_ok, 8
+    __slice_copy_dst_item_%out_ok = ptr_add __slice_copy_dst_ptr_%out_ok, __slice_copy_off_%out_ok
+    __slice_copy_src_item_%out_ok = ptr_add __slice_copy_src_ptr_%out_ok, __slice_copy_off_%out_ok
+    __slice_copy_value_%out_ok = load __slice_copy_src_item_%out_ok+0 as u64
+    store __slice_copy_dst_item_%out_ok+0, __slice_copy_value_%out_ok as u64
+    __slice_copy_next_%out_ok = add __slice_copy_idx_%out_ok, 1
+    store __slice_copy_idx_slot_%out_ok+0, __slice_copy_next_%out_ok as u64
+    !__slice_copy_next_%out_ok
+    !__slice_copy_value_%out_ok
+    !__slice_copy_src_item_%out_ok
+    !__slice_copy_dst_item_%out_ok
+    !__slice_copy_off_%out_ok
+    !__slice_copy_done_%out_ok
+    !__slice_copy_idx_%out_ok
+    jmp L_SLICE_COPY_HEAD_%out_ok
+
+L_SLICE_COPY_HIT_%out_ok:
+    %out_ok = add 0, 1
+    !__slice_copy_done_%out_ok
+    !__slice_copy_idx_%out_ok
+    !__slice_copy_src_ptr_%out_ok
+    !__slice_copy_dst_ptr_%out_ok
+    !__slice_copy_same_len_%out_ok
+    !__slice_copy_src_len_%out_ok
+    !__slice_copy_dst_len_%out_ok
+    jmp L_SLICE_COPY_END_%out_ok
+
+L_SLICE_COPY_MISS_%out_ok:
+    %out_ok = add 0, 0
+    !__slice_copy_same_len_%out_ok
+    !__slice_copy_src_len_%out_ok
+    !__slice_copy_dst_len_%out_ok
+
+L_SLICE_COPY_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_COPY_FROM_SLICE_U64.
+[MACRO] SLICE_COPY_FROM_SLICE %out_ok, %dst_slice, %src_slice
+    EXPAND SLICE_COPY_FROM_SLICE_U64 %out_ok, %dst_slice, %src_slice
+[END_MACRO]
+
+[MACRO] SLICE_CLONE_FROM_SLICE_U64 %out_ok, %dst_slice, %src_slice
+    EXPAND SLICE_COPY_FROM_SLICE_U64 %out_ok, %dst_slice, %src_slice
+[END_MACRO]
+
+// Rust method-name alias over SLICE_CLONE_FROM_SLICE_U64.
+[MACRO] SLICE_CLONE_FROM_SLICE %out_ok, %dst_slice, %src_slice
+    EXPAND SLICE_CLONE_FROM_SLICE_U64 %out_ok, %dst_slice, %src_slice
+[END_MACRO]
+
+[MACRO] SLICE_COPY_WITHIN_U64 %out_ok, %slice_reg, %src_start, %src_len, %dest
+    __slice_cw_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_cw_idx_slot_%out_ok = stack_alloc 8
+    __slice_cw_src_start_ok_%out_ok = ule %src_start, __slice_cw_len_%out_ok
+    br __slice_cw_src_start_ok_%out_ok -> L_SLICE_CW_SRC_LEN_CHECK_%out_ok, L_SLICE_CW_MISS_SRC_START_%out_ok
+
+L_SLICE_CW_SRC_LEN_CHECK_%out_ok:
+    __slice_cw_src_remaining_%out_ok = sub __slice_cw_len_%out_ok, %src_start
+    __slice_cw_src_len_ok_%out_ok = ule %src_len, __slice_cw_src_remaining_%out_ok
+    br __slice_cw_src_len_ok_%out_ok -> L_SLICE_CW_DEST_CHECK_%out_ok, L_SLICE_CW_MISS_SRC_LEN_%out_ok
+
+L_SLICE_CW_DEST_CHECK_%out_ok:
+    __slice_cw_dest_ok_%out_ok = ule %dest, __slice_cw_len_%out_ok
+    br __slice_cw_dest_ok_%out_ok -> L_SLICE_CW_DEST_LEN_CHECK_%out_ok, L_SLICE_CW_MISS_DEST_%out_ok
+
+L_SLICE_CW_DEST_LEN_CHECK_%out_ok:
+    __slice_cw_dest_remaining_%out_ok = sub __slice_cw_len_%out_ok, %dest
+    __slice_cw_dest_len_ok_%out_ok = ule %src_len, __slice_cw_dest_remaining_%out_ok
+    br __slice_cw_dest_len_ok_%out_ok -> L_SLICE_CW_INIT_%out_ok, L_SLICE_CW_MISS_DEST_LEN_%out_ok
+
+L_SLICE_CW_INIT_%out_ok:
+    __slice_cw_ptr_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_cw_dest_after_%out_ok = ugt %dest, %src_start
+    br __slice_cw_dest_after_%out_ok -> L_SLICE_CW_BACK_INIT_%out_ok, L_SLICE_CW_FORWARD_INIT_%out_ok
+
+L_SLICE_CW_FORWARD_INIT_%out_ok:
+    store __slice_cw_idx_slot_%out_ok+0, 0 as u64
+    jmp L_SLICE_CW_FORWARD_HEAD_%out_ok
+
+L_SLICE_CW_FORWARD_HEAD_%out_ok:
+    __slice_cw_fwd_idx_%out_ok = load __slice_cw_idx_slot_%out_ok+0 as u64
+    __slice_cw_fwd_done_%out_ok = eq __slice_cw_fwd_idx_%out_ok, %src_len
+    br __slice_cw_fwd_done_%out_ok -> L_SLICE_CW_FORWARD_HIT_%out_ok, L_SLICE_CW_FORWARD_BODY_%out_ok
+
+L_SLICE_CW_FORWARD_BODY_%out_ok:
+    __slice_cw_fwd_src_idx_%out_ok = add %src_start, __slice_cw_fwd_idx_%out_ok
+    __slice_cw_fwd_dst_idx_%out_ok = add %dest, __slice_cw_fwd_idx_%out_ok
+    __slice_cw_fwd_src_off_%out_ok = mul __slice_cw_fwd_src_idx_%out_ok, 8
+    __slice_cw_fwd_dst_off_%out_ok = mul __slice_cw_fwd_dst_idx_%out_ok, 8
+    __slice_cw_fwd_src_ptr_%out_ok = ptr_add __slice_cw_ptr_%out_ok, __slice_cw_fwd_src_off_%out_ok
+    __slice_cw_fwd_dst_ptr_%out_ok = ptr_add __slice_cw_ptr_%out_ok, __slice_cw_fwd_dst_off_%out_ok
+    __slice_cw_fwd_value_%out_ok = load __slice_cw_fwd_src_ptr_%out_ok+0 as u64
+    store __slice_cw_fwd_dst_ptr_%out_ok+0, __slice_cw_fwd_value_%out_ok as u64
+    __slice_cw_fwd_next_%out_ok = add __slice_cw_fwd_idx_%out_ok, 1
+    store __slice_cw_idx_slot_%out_ok+0, __slice_cw_fwd_next_%out_ok as u64
+    !__slice_cw_fwd_next_%out_ok
+    !__slice_cw_fwd_value_%out_ok
+    !__slice_cw_fwd_dst_ptr_%out_ok
+    !__slice_cw_fwd_src_ptr_%out_ok
+    !__slice_cw_fwd_dst_off_%out_ok
+    !__slice_cw_fwd_src_off_%out_ok
+    !__slice_cw_fwd_dst_idx_%out_ok
+    !__slice_cw_fwd_src_idx_%out_ok
+    !__slice_cw_fwd_done_%out_ok
+    !__slice_cw_fwd_idx_%out_ok
+    jmp L_SLICE_CW_FORWARD_HEAD_%out_ok
+
+L_SLICE_CW_FORWARD_HIT_%out_ok:
+    %out_ok = add 0, 1
+    !__slice_cw_fwd_done_%out_ok
+    !__slice_cw_fwd_idx_%out_ok
+    !__slice_cw_dest_after_%out_ok
+    !__slice_cw_ptr_%out_ok
+    !__slice_cw_dest_len_ok_%out_ok
+    !__slice_cw_dest_remaining_%out_ok
+    !__slice_cw_dest_ok_%out_ok
+    !__slice_cw_src_len_ok_%out_ok
+    !__slice_cw_src_remaining_%out_ok
+    !__slice_cw_src_start_ok_%out_ok
+    !__slice_cw_len_%out_ok
+    jmp L_SLICE_CW_END_%out_ok
+
+L_SLICE_CW_BACK_INIT_%out_ok:
+    store __slice_cw_idx_slot_%out_ok+0, %src_len as u64
+    jmp L_SLICE_CW_BACK_HEAD_%out_ok
+
+L_SLICE_CW_BACK_HEAD_%out_ok:
+    __slice_cw_back_remaining_%out_ok = load __slice_cw_idx_slot_%out_ok+0 as u64
+    __slice_cw_back_done_%out_ok = eq __slice_cw_back_remaining_%out_ok, 0
+    br __slice_cw_back_done_%out_ok -> L_SLICE_CW_BACK_HIT_%out_ok, L_SLICE_CW_BACK_BODY_%out_ok
+
+L_SLICE_CW_BACK_BODY_%out_ok:
+    __slice_cw_back_idx_%out_ok = sub __slice_cw_back_remaining_%out_ok, 1
+    __slice_cw_back_src_idx_%out_ok = add %src_start, __slice_cw_back_idx_%out_ok
+    __slice_cw_back_dst_idx_%out_ok = add %dest, __slice_cw_back_idx_%out_ok
+    __slice_cw_back_src_off_%out_ok = mul __slice_cw_back_src_idx_%out_ok, 8
+    __slice_cw_back_dst_off_%out_ok = mul __slice_cw_back_dst_idx_%out_ok, 8
+    __slice_cw_back_src_ptr_%out_ok = ptr_add __slice_cw_ptr_%out_ok, __slice_cw_back_src_off_%out_ok
+    __slice_cw_back_dst_ptr_%out_ok = ptr_add __slice_cw_ptr_%out_ok, __slice_cw_back_dst_off_%out_ok
+    __slice_cw_back_value_%out_ok = load __slice_cw_back_src_ptr_%out_ok+0 as u64
+    store __slice_cw_back_dst_ptr_%out_ok+0, __slice_cw_back_value_%out_ok as u64
+    store __slice_cw_idx_slot_%out_ok+0, __slice_cw_back_idx_%out_ok as u64
+    !__slice_cw_back_value_%out_ok
+    !__slice_cw_back_dst_ptr_%out_ok
+    !__slice_cw_back_src_ptr_%out_ok
+    !__slice_cw_back_dst_off_%out_ok
+    !__slice_cw_back_src_off_%out_ok
+    !__slice_cw_back_dst_idx_%out_ok
+    !__slice_cw_back_src_idx_%out_ok
+    !__slice_cw_back_idx_%out_ok
+    !__slice_cw_back_done_%out_ok
+    !__slice_cw_back_remaining_%out_ok
+    jmp L_SLICE_CW_BACK_HEAD_%out_ok
+
+L_SLICE_CW_BACK_HIT_%out_ok:
+    %out_ok = add 0, 1
+    !__slice_cw_back_done_%out_ok
+    !__slice_cw_back_remaining_%out_ok
+    !__slice_cw_dest_after_%out_ok
+    !__slice_cw_ptr_%out_ok
+    !__slice_cw_dest_len_ok_%out_ok
+    !__slice_cw_dest_remaining_%out_ok
+    !__slice_cw_dest_ok_%out_ok
+    !__slice_cw_src_len_ok_%out_ok
+    !__slice_cw_src_remaining_%out_ok
+    !__slice_cw_src_start_ok_%out_ok
+    !__slice_cw_len_%out_ok
+    jmp L_SLICE_CW_END_%out_ok
+
+L_SLICE_CW_MISS_DEST_LEN_%out_ok:
+    %out_ok = add 0, 0
+    !__slice_cw_dest_len_ok_%out_ok
+    !__slice_cw_dest_remaining_%out_ok
+    !__slice_cw_dest_ok_%out_ok
+    !__slice_cw_src_len_ok_%out_ok
+    !__slice_cw_src_remaining_%out_ok
+    !__slice_cw_src_start_ok_%out_ok
+    !__slice_cw_len_%out_ok
+    jmp L_SLICE_CW_END_%out_ok
+
+L_SLICE_CW_MISS_DEST_%out_ok:
+    %out_ok = add 0, 0
+    !__slice_cw_dest_ok_%out_ok
+    !__slice_cw_src_len_ok_%out_ok
+    !__slice_cw_src_remaining_%out_ok
+    !__slice_cw_src_start_ok_%out_ok
+    !__slice_cw_len_%out_ok
+    jmp L_SLICE_CW_END_%out_ok
+
+L_SLICE_CW_MISS_SRC_LEN_%out_ok:
+    %out_ok = add 0, 0
+    !__slice_cw_src_len_ok_%out_ok
+    !__slice_cw_src_remaining_%out_ok
+    !__slice_cw_src_start_ok_%out_ok
+    !__slice_cw_len_%out_ok
+    jmp L_SLICE_CW_END_%out_ok
+
+L_SLICE_CW_MISS_SRC_START_%out_ok:
+    %out_ok = add 0, 0
+    !__slice_cw_src_start_ok_%out_ok
+    !__slice_cw_len_%out_ok
+
+L_SLICE_CW_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_COPY_WITHIN_U64.
+[MACRO] SLICE_COPY_WITHIN %out_ok, %slice_reg, %src_start, %src_len, %dest
+    EXPAND SLICE_COPY_WITHIN_U64 %out_ok, %slice_reg, %src_start, %src_len, %dest
+[END_MACRO]
+
+[MACRO] SLICE_TRY_BINARY_SEARCH_U64 %out_ok, %out_index, %slice_reg, %needle
+    __slice_bs_ptr_%out_ok = load %slice_reg+Slice_ptr as ptr
+    __slice_bs_len_%out_ok = load %slice_reg+Slice_len as u64
+    __slice_bs_left_slot_%out_ok = stack_alloc 8
+    __slice_bs_right_slot_%out_ok = stack_alloc 8
+    store __slice_bs_left_slot_%out_ok+0, 0 as u64
+    store __slice_bs_right_slot_%out_ok+0, __slice_bs_len_%out_ok as u64
+    jmp L_SLICE_BS_HEAD_%out_ok
+
+L_SLICE_BS_HEAD_%out_ok:
+    __slice_bs_left_%out_ok = load __slice_bs_left_slot_%out_ok+0 as u64
+    __slice_bs_right_%out_ok = load __slice_bs_right_slot_%out_ok+0 as u64
+    __slice_bs_continue_%out_ok = ult __slice_bs_left_%out_ok, __slice_bs_right_%out_ok
+    br __slice_bs_continue_%out_ok -> L_SLICE_BS_BODY_%out_ok, L_SLICE_BS_MISS_%out_ok
+
+L_SLICE_BS_BODY_%out_ok:
+    __slice_bs_span_%out_ok = sub __slice_bs_right_%out_ok, __slice_bs_left_%out_ok
+    __slice_bs_half_%out_ok = udiv __slice_bs_span_%out_ok, 2
+    __slice_bs_mid_%out_ok = add __slice_bs_left_%out_ok, __slice_bs_half_%out_ok
+    __slice_bs_mid_off_%out_ok = mul __slice_bs_mid_%out_ok, 8
+    __slice_bs_mid_ptr_%out_ok = ptr_add __slice_bs_ptr_%out_ok, __slice_bs_mid_off_%out_ok
+    __slice_bs_value_%out_ok = load __slice_bs_mid_ptr_%out_ok+0 as u64
+    __slice_bs_equal_%out_ok = eq __slice_bs_value_%out_ok, %needle
+    br __slice_bs_equal_%out_ok -> L_SLICE_BS_HIT_%out_ok, L_SLICE_BS_ORDER_%out_ok
+
+L_SLICE_BS_ORDER_%out_ok:
+    __slice_bs_less_%out_ok = ult __slice_bs_value_%out_ok, %needle
+    br __slice_bs_less_%out_ok -> L_SLICE_BS_MOVE_RIGHT_%out_ok, L_SLICE_BS_MOVE_LEFT_%out_ok
+
+L_SLICE_BS_MOVE_RIGHT_%out_ok:
+    __slice_bs_next_left_%out_ok = add __slice_bs_mid_%out_ok, 1
+    store __slice_bs_left_slot_%out_ok+0, __slice_bs_next_left_%out_ok as u64
+    !__slice_bs_next_left_%out_ok
+    !__slice_bs_less_%out_ok
+    !__slice_bs_equal_%out_ok
+    !__slice_bs_value_%out_ok
+    !__slice_bs_mid_ptr_%out_ok
+    !__slice_bs_mid_off_%out_ok
+    !__slice_bs_mid_%out_ok
+    !__slice_bs_half_%out_ok
+    !__slice_bs_span_%out_ok
+    !__slice_bs_continue_%out_ok
+    !__slice_bs_right_%out_ok
+    !__slice_bs_left_%out_ok
+    jmp L_SLICE_BS_HEAD_%out_ok
+
+L_SLICE_BS_MOVE_LEFT_%out_ok:
+    store __slice_bs_right_slot_%out_ok+0, __slice_bs_mid_%out_ok as u64
+    !__slice_bs_less_%out_ok
+    !__slice_bs_equal_%out_ok
+    !__slice_bs_value_%out_ok
+    !__slice_bs_mid_ptr_%out_ok
+    !__slice_bs_mid_off_%out_ok
+    !__slice_bs_mid_%out_ok
+    !__slice_bs_half_%out_ok
+    !__slice_bs_span_%out_ok
+    !__slice_bs_continue_%out_ok
+    !__slice_bs_right_%out_ok
+    !__slice_bs_left_%out_ok
+    jmp L_SLICE_BS_HEAD_%out_ok
+
+L_SLICE_BS_HIT_%out_ok:
+    %out_ok = add 0, 1
+    %out_index = add __slice_bs_mid_%out_ok, 0
+    !__slice_bs_equal_%out_ok
+    !__slice_bs_value_%out_ok
+    !__slice_bs_mid_ptr_%out_ok
+    !__slice_bs_mid_off_%out_ok
+    !__slice_bs_mid_%out_ok
+    !__slice_bs_half_%out_ok
+    !__slice_bs_span_%out_ok
+    !__slice_bs_continue_%out_ok
+    !__slice_bs_right_%out_ok
+    !__slice_bs_left_%out_ok
+    !__slice_bs_len_%out_ok
+    !__slice_bs_ptr_%out_ok
+    jmp L_SLICE_BS_END_%out_ok
+
+L_SLICE_BS_MISS_%out_ok:
+    %out_ok = add 0, 0
+    %out_index = add __slice_bs_left_%out_ok, 0
+    !__slice_bs_continue_%out_ok
+    !__slice_bs_right_%out_ok
+    !__slice_bs_left_%out_ok
+    !__slice_bs_len_%out_ok
+    !__slice_bs_ptr_%out_ok
+
+L_SLICE_BS_END_%out_ok:
+[END_MACRO]
+
+// Rust method-name alias over SLICE_TRY_BINARY_SEARCH_U64.
+[MACRO] SLICE_TRY_BINARY_SEARCH %out_ok, %out_index, %slice_reg, %needle
+    EXPAND SLICE_TRY_BINARY_SEARCH_U64 %out_ok, %out_index, %slice_reg, %needle
+[END_MACRO]
+
+[MACRO] SLICE_PARTITION_POINT_U64 %out_index, %slice_reg, %pred_fn
+    __slice_pp_ptr_%out_index = load %slice_reg+Slice_ptr as ptr
+    __slice_pp_len_%out_index = load %slice_reg+Slice_len as u64
+    __slice_pp_left_slot_%out_index = stack_alloc 8
+    __slice_pp_right_slot_%out_index = stack_alloc 8
+    store __slice_pp_left_slot_%out_index+0, 0 as u64
+    store __slice_pp_right_slot_%out_index+0, __slice_pp_len_%out_index as u64
+    jmp L_SLICE_PP_HEAD_%out_index
+
+L_SLICE_PP_HEAD_%out_index:
+    __slice_pp_left_%out_index = load __slice_pp_left_slot_%out_index+0 as u64
+    __slice_pp_right_%out_index = load __slice_pp_right_slot_%out_index+0 as u64
+    __slice_pp_continue_%out_index = ult __slice_pp_left_%out_index, __slice_pp_right_%out_index
+    br __slice_pp_continue_%out_index -> L_SLICE_PP_BODY_%out_index, L_SLICE_PP_DONE_%out_index
+
+L_SLICE_PP_BODY_%out_index:
+    __slice_pp_span_%out_index = sub __slice_pp_right_%out_index, __slice_pp_left_%out_index
+    __slice_pp_half_%out_index = udiv __slice_pp_span_%out_index, 2
+    __slice_pp_mid_%out_index = add __slice_pp_left_%out_index, __slice_pp_half_%out_index
+    __slice_pp_mid_off_%out_index = mul __slice_pp_mid_%out_index, 8
+    __slice_pp_mid_ptr_%out_index = ptr_add __slice_pp_ptr_%out_index, __slice_pp_mid_off_%out_index
+    __slice_pp_value_%out_index = load __slice_pp_mid_ptr_%out_index+0 as u64
+    __slice_pp_pred_%out_index = call %pred_fn(__slice_pp_value_%out_index)
+    __slice_pp_keep_left_%out_index = ne __slice_pp_pred_%out_index, 0
+    br __slice_pp_keep_left_%out_index -> L_SLICE_PP_MOVE_RIGHT_%out_index, L_SLICE_PP_MOVE_LEFT_%out_index
+
+L_SLICE_PP_MOVE_RIGHT_%out_index:
+    __slice_pp_next_left_%out_index = add __slice_pp_mid_%out_index, 1
+    store __slice_pp_left_slot_%out_index+0, __slice_pp_next_left_%out_index as u64
+    !__slice_pp_next_left_%out_index
+    !__slice_pp_keep_left_%out_index
+    !__slice_pp_pred_%out_index
+    !__slice_pp_value_%out_index
+    !__slice_pp_mid_ptr_%out_index
+    !__slice_pp_mid_off_%out_index
+    !__slice_pp_mid_%out_index
+    !__slice_pp_half_%out_index
+    !__slice_pp_span_%out_index
+    !__slice_pp_continue_%out_index
+    !__slice_pp_right_%out_index
+    !__slice_pp_left_%out_index
+    jmp L_SLICE_PP_HEAD_%out_index
+
+L_SLICE_PP_MOVE_LEFT_%out_index:
+    store __slice_pp_right_slot_%out_index+0, __slice_pp_mid_%out_index as u64
+    !__slice_pp_keep_left_%out_index
+    !__slice_pp_pred_%out_index
+    !__slice_pp_value_%out_index
+    !__slice_pp_mid_ptr_%out_index
+    !__slice_pp_mid_off_%out_index
+    !__slice_pp_mid_%out_index
+    !__slice_pp_half_%out_index
+    !__slice_pp_span_%out_index
+    !__slice_pp_continue_%out_index
+    !__slice_pp_right_%out_index
+    !__slice_pp_left_%out_index
+    jmp L_SLICE_PP_HEAD_%out_index
+
+L_SLICE_PP_DONE_%out_index:
+    %out_index = add __slice_pp_left_%out_index, 0
+    !__slice_pp_continue_%out_index
+    !__slice_pp_right_%out_index
+    !__slice_pp_left_%out_index
+    !__slice_pp_len_%out_index
+    !__slice_pp_ptr_%out_index
+[END_MACRO]
+
+// Rust method-name alias over SLICE_PARTITION_POINT_U64.
+[MACRO] SLICE_PARTITION_POINT %out_index, %slice_reg, %pred_fn
+    EXPAND SLICE_PARTITION_POINT_U64 %out_index, %slice_reg, %pred_fn
+[END_MACRO]
+
+[MACRO] SLICE_LOWER_BOUND_U64 %out_index, %slice_reg, %needle
+    __slice_lb_ptr_%out_index = load %slice_reg+Slice_ptr as ptr
+    __slice_lb_len_%out_index = load %slice_reg+Slice_len as u64
+    __slice_lb_left_slot_%out_index = stack_alloc 8
+    __slice_lb_right_slot_%out_index = stack_alloc 8
+    store __slice_lb_left_slot_%out_index+0, 0 as u64
+    store __slice_lb_right_slot_%out_index+0, __slice_lb_len_%out_index as u64
+    jmp L_SLICE_LB_HEAD_%out_index
+
+L_SLICE_LB_HEAD_%out_index:
+    __slice_lb_left_%out_index = load __slice_lb_left_slot_%out_index+0 as u64
+    __slice_lb_right_%out_index = load __slice_lb_right_slot_%out_index+0 as u64
+    __slice_lb_continue_%out_index = ult __slice_lb_left_%out_index, __slice_lb_right_%out_index
+    br __slice_lb_continue_%out_index -> L_SLICE_LB_BODY_%out_index, L_SLICE_LB_DONE_%out_index
+
+L_SLICE_LB_BODY_%out_index:
+    __slice_lb_span_%out_index = sub __slice_lb_right_%out_index, __slice_lb_left_%out_index
+    __slice_lb_half_%out_index = udiv __slice_lb_span_%out_index, 2
+    __slice_lb_mid_%out_index = add __slice_lb_left_%out_index, __slice_lb_half_%out_index
+    __slice_lb_mid_off_%out_index = mul __slice_lb_mid_%out_index, 8
+    __slice_lb_mid_ptr_%out_index = ptr_add __slice_lb_ptr_%out_index, __slice_lb_mid_off_%out_index
+    __slice_lb_value_%out_index = load __slice_lb_mid_ptr_%out_index+0 as u64
+    __slice_lb_less_%out_index = ult __slice_lb_value_%out_index, %needle
+    br __slice_lb_less_%out_index -> L_SLICE_LB_MOVE_RIGHT_%out_index, L_SLICE_LB_MOVE_LEFT_%out_index
+
+L_SLICE_LB_MOVE_RIGHT_%out_index:
+    __slice_lb_next_left_%out_index = add __slice_lb_mid_%out_index, 1
+    store __slice_lb_left_slot_%out_index+0, __slice_lb_next_left_%out_index as u64
+    !__slice_lb_next_left_%out_index
+    !__slice_lb_less_%out_index
+    !__slice_lb_value_%out_index
+    !__slice_lb_mid_ptr_%out_index
+    !__slice_lb_mid_off_%out_index
+    !__slice_lb_mid_%out_index
+    !__slice_lb_half_%out_index
+    !__slice_lb_span_%out_index
+    !__slice_lb_continue_%out_index
+    !__slice_lb_right_%out_index
+    !__slice_lb_left_%out_index
+    jmp L_SLICE_LB_HEAD_%out_index
+
+L_SLICE_LB_MOVE_LEFT_%out_index:
+    store __slice_lb_right_slot_%out_index+0, __slice_lb_mid_%out_index as u64
+    !__slice_lb_less_%out_index
+    !__slice_lb_value_%out_index
+    !__slice_lb_mid_ptr_%out_index
+    !__slice_lb_mid_off_%out_index
+    !__slice_lb_mid_%out_index
+    !__slice_lb_half_%out_index
+    !__slice_lb_span_%out_index
+    !__slice_lb_continue_%out_index
+    !__slice_lb_right_%out_index
+    !__slice_lb_left_%out_index
+    jmp L_SLICE_LB_HEAD_%out_index
+
+L_SLICE_LB_DONE_%out_index:
+    %out_index = add __slice_lb_left_%out_index, 0
+    !__slice_lb_continue_%out_index
+    !__slice_lb_right_%out_index
+    !__slice_lb_left_%out_index
+    !__slice_lb_len_%out_index
+    !__slice_lb_ptr_%out_index
+[END_MACRO]
+
+// Rust method-name alias over SLICE_LOWER_BOUND_U64.
+[MACRO] SLICE_LOWER_BOUND %out_index, %slice_reg, %needle
+    EXPAND SLICE_LOWER_BOUND_U64 %out_index, %slice_reg, %needle
+[END_MACRO]
+
+[MACRO] SLICE_UPPER_BOUND_U64 %out_index, %slice_reg, %needle
+    __slice_ub_ptr_%out_index = load %slice_reg+Slice_ptr as ptr
+    __slice_ub_len_%out_index = load %slice_reg+Slice_len as u64
+    __slice_ub_left_slot_%out_index = stack_alloc 8
+    __slice_ub_right_slot_%out_index = stack_alloc 8
+    store __slice_ub_left_slot_%out_index+0, 0 as u64
+    store __slice_ub_right_slot_%out_index+0, __slice_ub_len_%out_index as u64
+    jmp L_SLICE_UB_HEAD_%out_index
+
+L_SLICE_UB_HEAD_%out_index:
+    __slice_ub_left_%out_index = load __slice_ub_left_slot_%out_index+0 as u64
+    __slice_ub_right_%out_index = load __slice_ub_right_slot_%out_index+0 as u64
+    __slice_ub_continue_%out_index = ult __slice_ub_left_%out_index, __slice_ub_right_%out_index
+    br __slice_ub_continue_%out_index -> L_SLICE_UB_BODY_%out_index, L_SLICE_UB_DONE_%out_index
+
+L_SLICE_UB_BODY_%out_index:
+    __slice_ub_span_%out_index = sub __slice_ub_right_%out_index, __slice_ub_left_%out_index
+    __slice_ub_half_%out_index = udiv __slice_ub_span_%out_index, 2
+    __slice_ub_mid_%out_index = add __slice_ub_left_%out_index, __slice_ub_half_%out_index
+    __slice_ub_mid_off_%out_index = mul __slice_ub_mid_%out_index, 8
+    __slice_ub_mid_ptr_%out_index = ptr_add __slice_ub_ptr_%out_index, __slice_ub_mid_off_%out_index
+    __slice_ub_value_%out_index = load __slice_ub_mid_ptr_%out_index+0 as u64
+    __slice_ub_le_%out_index = ule __slice_ub_value_%out_index, %needle
+    br __slice_ub_le_%out_index -> L_SLICE_UB_MOVE_RIGHT_%out_index, L_SLICE_UB_MOVE_LEFT_%out_index
+
+L_SLICE_UB_MOVE_RIGHT_%out_index:
+    __slice_ub_next_left_%out_index = add __slice_ub_mid_%out_index, 1
+    store __slice_ub_left_slot_%out_index+0, __slice_ub_next_left_%out_index as u64
+    !__slice_ub_next_left_%out_index
+    !__slice_ub_le_%out_index
+    !__slice_ub_value_%out_index
+    !__slice_ub_mid_ptr_%out_index
+    !__slice_ub_mid_off_%out_index
+    !__slice_ub_mid_%out_index
+    !__slice_ub_half_%out_index
+    !__slice_ub_span_%out_index
+    !__slice_ub_continue_%out_index
+    !__slice_ub_right_%out_index
+    !__slice_ub_left_%out_index
+    jmp L_SLICE_UB_HEAD_%out_index
+
+L_SLICE_UB_MOVE_LEFT_%out_index:
+    store __slice_ub_right_slot_%out_index+0, __slice_ub_mid_%out_index as u64
+    !__slice_ub_le_%out_index
+    !__slice_ub_value_%out_index
+    !__slice_ub_mid_ptr_%out_index
+    !__slice_ub_mid_off_%out_index
+    !__slice_ub_mid_%out_index
+    !__slice_ub_half_%out_index
+    !__slice_ub_span_%out_index
+    !__slice_ub_continue_%out_index
+    !__slice_ub_right_%out_index
+    !__slice_ub_left_%out_index
+    jmp L_SLICE_UB_HEAD_%out_index
+
+L_SLICE_UB_DONE_%out_index:
+    %out_index = add __slice_ub_left_%out_index, 0
+    !__slice_ub_continue_%out_index
+    !__slice_ub_right_%out_index
+    !__slice_ub_left_%out_index
+    !__slice_ub_len_%out_index
+    !__slice_ub_ptr_%out_index
+[END_MACRO]
+
+// Rust method-name alias over SLICE_UPPER_BOUND_U64.
+[MACRO] SLICE_UPPER_BOUND %out_index, %slice_reg, %needle
+    EXPAND SLICE_UPPER_BOUND_U64 %out_index, %slice_reg, %needle
+[END_MACRO]
+
+[MACRO] SLICE_EQUAL_RANGE_U64 %out_start, %out_end, %slice_reg, %needle
+    EXPAND SLICE_LOWER_BOUND_U64 %out_start, %slice_reg, %needle
+    EXPAND SLICE_UPPER_BOUND_U64 %out_end, %slice_reg, %needle
+[END_MACRO]
+
+// Rust method-name alias over SLICE_EQUAL_RANGE_U64.
+[MACRO] SLICE_EQUAL_RANGE %out_start, %out_end, %slice_reg, %needle
+    EXPAND SLICE_EQUAL_RANGE_U64 %out_start, %out_end, %slice_reg, %needle
+[END_MACRO]
+
+
+[MACRO] SLICE_DEFAULT %slice_reg
+    __slice_default_zero_%slice_reg = add 0, 0
+    store %slice_reg+Slice_ptr, __slice_default_zero_%slice_reg as ptr
+    store %slice_reg+Slice_len, __slice_default_zero_%slice_reg as u64
+    !__slice_default_zero_%slice_reg
+[END_MACRO]
+
+[MACRO] SLICE_ROTATE_LEFT %out_ok, %slice_reg, %count
+    EXPAND SLICE_TRY_ROTATE_LEFT %out_ok, %slice_reg, %count
+[END_MACRO]
+
+[MACRO] SLICE_ROTATE_RIGHT %out_ok, %slice_reg, %count
+    EXPAND SLICE_TRY_ROTATE_RIGHT %out_ok, %slice_reg, %count
+[END_MACRO]