some tiny tools i wrote