How was the prospero program created in the first place? Is it a compilation of something?