db_mfcr_cmd
void db_mfcr_cmd(db_expr_t, bool, db_expr_t, const char *);
{ DDB_ADD_CMD("mfcr", db_mfcr_cmd, CS_NOREPEAT,