Use things from the python std lib