var EF_SH3E: Int32 { get }