av_register_output_format(&mpeg2dvd_mux);
int mpegps_init(void){#ifdef CONFIG_ENCODERS    av_register_output_format(&mpeg1system_mux);    av_register_output_format(&mpeg1vcd_mux);    av_register_output_format(&mpeg2vob_mux);    av_register_output_format(&mpeg2svcd_mux);#endif //CONFIG_ENCODERS    av_register_input_format(&mpegps_demux);    return 0;}