A simple Stream program