Factored out the examples into a separate file.