and they began to remember the words of c eternity, and the lost paladays when all shall be done, for this You mean the final destination format. Bits vxsat[XLEN-1:1] should be