var EF_ARM_PIC: Int32 { get }