db_cmd_mf
void db_cmd_mf(int, char **);
{ "mf", db_cmd_mf },
void db_cmd_mf(int, char **);
{ "mf", db_cmd_mf },
void db_cmd_mf(int, char **);
{ "mf", db_cmd_mf },