added a non-trivial example