An MP4 file