62c62
< typedef uint64_t IntReg;
---
> typedef RegVal IntReg;
65,66c65,66
< typedef uint64_t FloatRegBits;
< typedef double FloatReg;
---
> typedef RegVal FloatRegBits;
> typedef FloatRegVal FloatReg;
76c76
< typedef uint64_t MiscReg;
---
> typedef RegVal MiscReg;