Moved the example to its own source file.