PR #7: Two rules about what a test file exports and defines