fix_obsolete_keys
fix_obsolete_keys(&argc, argv);
static void fix_obsolete_keys(int *argc, char **argv);