// A deliberately empty file for testing.