Miscellaneous utilities.
