mci_print_persistent
(void) mci_traverse_persistent(mci_print_persistent, NULL);
extern int mci_print_persistent __P((char *, char *));