/contrib/python/Automat/