pub const MIPS_REG_F23: Type = 80;