     if let params = Arguments.parseHostPort(val) {
         networkWorkerParams = params
     } else {
-        print("Argument --networkWorker must be of the form \"host:port\"")
-        exit(-1)
+        configError("Argument --networkWorker must be of the form \"host:port\"")
     }
 }
 

        case "all":
            inspectionOptions = .all
        default:
            print("Unknown inspection feature: \(option)")
            exit(-1)
        }
    }
}

// Make it easy to detect typos etc. in command line arguments
if args.unusedOptionals.count > 0 {
    print("Invalid arguments: \(args.unusedOptionals)")
    exit(-1)
}

// Forbid this configuration as runtime types collection requires the AbstractInterpreter
if disableAbstractInterpreter, collectRuntimeTypes {
    print(
        """
        It is not possible to disable abstract interpretation and enable runtime types collection at the same time.
        Remove at least one of the arguments:

    profile = p
}
if profile == nil {
    configError("Please provide a valid profile with --profile=profile_name. Available profiles: \(profiles.keys)")
}

let numJobs = args.int(for: "--jobs") ?? 1
