Which of the following is a PC video file extension?

AVI

Both a and b

MVE

None of these