python standart library code