some miscellaneous tools