An Objective-C++ implementation of timsort