Added another demo program re the State monad