Which of the following is a PC video file extension?

None of these

MVE

AVI

Both a and b