int mpeg_open_stream( char * );

void mpeg_start_saving_tokens( int, char * );

void mpeg_set_trace_file( FILE * );

int mpeg_process_next_picture( int );

void mpeg_close_stream( int );