var UINT32_MAX: UInt32 { get }