some tiny python tools