Which of the following is a PC video file extension?

None of these

MVE

Both a and b

AVI