some python code fragment