176         DVDFileInfo file[1];  in main()  local
177         if ( !DVDOpen(program_path, file) )  in main()
183             const u32 file_len = ( (DVDGetLength(file) + 31) & ~31 );  in main()
188             else if ( DVDRead(file, program_buffer, (int)file_len, 0) <= 0 )  in main()
192             (void)DVDClose(file);  in main()
204         DVDFileInfo file[1];  in main()  local
205         if ( DVDOpen(banner_character_path, file) )  in main()
207 …if ( DVDRead(file, banner_character_buffer, (int)sizeof(banner_character_buffer), 0) == sizeof(ban…  in main()
211             (void)DVDClose(file);  in main()
213         if ( DVDOpen(banner_palette_path, file) )  in main()
215 …if ( DVDRead(file, banner_palette_buffer, (int)sizeof(banner_palette_buffer), 0) == sizeof(banner_…  in main()
219             (void)DVDClose(file);  in main()