WriteMPEGIntermediateFormat  538 coders/mpeg.c              basename,(double) p->scene,WriteMPEGIntermediateFormat);
WriteMPEGIntermediateFormat  540 coders/mpeg.c              basename,(double) p->scene,WriteMPEGIntermediateFormat);
WriteMPEGIntermediateFormat  543 coders/mpeg.c              WriteMPEGIntermediateFormat);
WriteMPEGIntermediateFormat  559 coders/mpeg.c              basename,(double) p->scene,WriteMPEGIntermediateFormat);
WriteMPEGIntermediateFormat  570 coders/mpeg.c                WriteMPEGIntermediateFormat,(double) p->scene);
WriteMPEGIntermediateFormat  574 coders/mpeg.c                WriteMPEGIntermediateFormat,(double) p->scene);
WriteMPEGIntermediateFormat  610 coders/mpeg.c          basename,(double) count++,WriteMPEGIntermediateFormat);