Python simple enumeration example