Slightly rephreased Pseudoinstructions