Various generally useful utilities