Well, the revamp I’m suggesting would essentially be implemented as a RISC-V new profile, just with a different instruction encoding.