Some Python code I ocasionally write