Updating: improving prelude/arrayptr.