var EF_SH2E: Int32 { get }