python decorator example and syntax