// This is a dead resource file.