tiny tools for various uses.