Add two examples source files

and rename the existing one so the corresponding executable has '.t'
suffix