167a168,170
> typedef uint64_t RegVal;
> typedef double FloatRegVal;
>