var SHRT_MAX: Int32 { get }