var AT_BASE: Int32 { get }