var EF_CPU32: Int32 { get }