Miscellaneous utilities for sorting, etc.