General-purpose utilities.