A program to edit encoded mpeg streams