var EL3HLT: Int32 { get }