How to improve the RISC-V specification