pub const EF_SH2A_NOFPU: u32 = 0x13;