Miscellaneous tools and utilities
