python-2.5-annotated