WriteMPEGIntermediateFormat  543 coders/mpeg.c              basename,(double) p->scene,WriteMPEGIntermediateFormat);
WriteMPEGIntermediateFormat  545 coders/mpeg.c              basename,(double) p->scene,WriteMPEGIntermediateFormat);
WriteMPEGIntermediateFormat  548 coders/mpeg.c              WriteMPEGIntermediateFormat);
WriteMPEGIntermediateFormat  564 coders/mpeg.c              basename,(double) p->scene,WriteMPEGIntermediateFormat);
WriteMPEGIntermediateFormat  575 coders/mpeg.c                WriteMPEGIntermediateFormat,(double) p->scene);
WriteMPEGIntermediateFormat  579 coders/mpeg.c                WriteMPEGIntermediateFormat,(double) p->scene);
WriteMPEGIntermediateFormat  615 coders/mpeg.c          basename,(double) count++,WriteMPEGIntermediateFormat);