Some simplistic python utilities