Python misc. utilities