var EL2HLT: Int32 { get }