A simple python decorator.