var EF_SH3: Int32 { get }