miscellaneous python utilities