test coverage for invalid header declarations