trivial python code