} else if (match_option (arg, "debug-coverage", NULL)) {
config->debug_coverage = TRUE;
} else if (match_option (arg, "sampling-real", NULL)) {
} else if (match_option (arg, "debug-coverage", NULL)) {
config->debug_coverage = TRUE;
} else if (match_option (arg, "sampling-real", NULL)) {