Miscellaneous general-purpose utilities.