A codec for fast video playback