The AVI files in this directory come from the game WORMS published by Team 17 software. The video is encoded with the fourcc KMVC which apparently stands for "Karl Morton's video codec". PLAY.EXE is the standalone player for the files, which requires the DOS4GW.EXE DOS extender.