rv32e and rv64e have 16 registers rather than 32.

Maybe use these.