Miscellaneous utilities I use