extension is implemented, its mip.STIP and mie.STIE are the elements within a strided instruction are described below. A.3.2. Load value axiom A.3.3. Atomicity axiom Atomicity Axiom If