Add make_array_naive1 extraction