make (a_processor:
RUNNER_PROCESSOR, a_type:
TYPE, a_element_type:
TYPE, a_capacity:
INTEGER_32, a_storage: NATIVE_ARRAY[E_], a_retriever:
FUNCTION[
TUPLE[TUPLE 2[
RUNNER_PROCESSOR, E_], O_]], a_setter:
FUNCTION[
TUPLE[TUPLE 1[O_], E_]], a_builtins: RUNNER_TYPED_NATIVE_ARRAY_BUILTINS[E_, O_])