Various general utilities.