Constant MIPS_REG_F23 

pub const MIPS_REG_F23: Type = 80;