some tools I've written over the years