Re: [PATCH v4 6/6] rust: use strict provenance APIs