there are no unit tests for madd* (because the pseudocode was only added as an afterthought, and the HDL hasn't been written) this makes it challenging to check the XLEN pseudocode changes.