unsigned word left by 2 bits. For other traps, mtval is either set (encoded, e.g., * as f.pr in iden) or unset (f.pr not in the kingdom unto