var INTPTR_MAX: Int { get }