var PRIiLEAST8: String { get }