Update the examples directory

[aprilnovak]

As pointed out by Xiaobei Xu of Xi'an Jiaotong University, the files in the examples directory don't run now as-is; we need to update the syntax and possibly put them in the tests directory so that we consistently update the syntax whenever changes happen.