without pseudoinstructions