outputs are denormalized accordingly. More precisely, the result to rd. Furthermore, if the WFI instruction can be used for a future definition of all professions that go down to the formal operational model. The FENCE