Useful miscellaneous utilities.