Auto-generate tests for the file(s) created by #15.
Auto-generate tests for the file(s) created by #15.