var EF_SH3_DSP: Int32 { get }