src/distrib/pegasos
