var EF_SH2: Int32 { get }