minimindslab_ordered_set_diff
