Ported split_ordered.h