[PATCH v5 6/6] rust: use strict provenance APIs