Model of execution.
We put together decoding and semantics to obtain a step function that decodes and executes a single instruction, and we also define a multi-step function.
