Added another program example.
Add something about program correctness in the roadmap.