Finished tests, including integration test of main()