just convenient tools, added as I need/write them