## Strict Program Order
+Strict Program Order is defined as giving the appearance, as far
+as programs are concerned, that instructions were executed
+strictly in the sequence that they occurred. A "Precise"
+out-of-order
+Micro-architecture goes to considerable lengths to ensure that
+this is the case.
+
Many Vector ISAs allow interrupts to occur in the middle of
processing of large Vector operations, only under the condition
that continuation on return will restart the entire operation.
Vector ISAs: as a Sub-Program Counter where "Elements" are synonymous
with Scalar instructions. With this in mind it is critical for
implementations to observe Strict Element-Level Program Order
-at all times. *Any* element is Interruptible and Simple-V has
+at all times
+(often simply referred to as just "Strict Program Order"
+throughout
+this Chapter).
+*Any* element is Interruptible and Simple-V has
been carefully designed to ensure that Architectural State may
be fully preserved regardless of that same State.
will force implementations to perform divide and modulo
calculations.
-With that context in mind it is important to bear in mind throughout
-this document that when referring to "Strict Program Order", this
-includes Elements, because in Simple-V all Elements
-are conceptually synonymous with Scalar execution.
-
## SVP64 encoding features
A number of features need to be compacted into a very small space of