Miscellaneous utilities which I've found useful