var EF_SH4A: Int32 { get }