var MM_HALT: Int { get }