#no_bounds_check
intrinsics.mem_copy
[dynamic; N]T
small_array.Small_Array(N, T)
iff
if and only if (⟺)