We can make do with callee-clobbered registers only now.
As an added bonus, this makes the code XLEN-independent.