{ don't edit, this file is generated from rv32reg.dat } 98