Playing around with the Python standard library