This is a silly input file for testing.