More examples in tester3.cpp.