ADD_EXAMPLE(ord_sort)
ADD_EXAMPLE(sort)
