pub const EF_SH4: u32 = 0x9;