var PTRDIFF_MAX: Int { get }