I have to develop a program that checks an mp4 file header, I want to know if I can assume that every mp42 format contains a video codec