93c93
< typedef uint64_t IntReg;
---
> typedef RegVal IntReg;
95c95
< typedef uint64_t MiscReg;
---
> typedef RegVal MiscReg;
108,109c108,109
< typedef double FloatReg;
< typedef uint64_t FloatRegBits;
---
> typedef FloatRegVal FloatReg;
> typedef RegVal FloatRegBits;