/* Check the arguments provided in the command line: set args based on it or defaults, and check they are correct  */
void nsi_handle_cmd_line(int argc, char *argv[])
/* Check the arguments provided in the command line: set args based on it or defaults, and check they are correct  */
void nsi_handle_cmd_line(int argc, char *argv[])
{
	bs_args_set_defaults(args_struct);
	global_args.verb = 2;
	bs_trace_set_level(global_args.verb);
	for (int i = 0; i < extra_argc; i++) {
		nsi_handle_one_cmdline_argument(extra_argv[i]);
	}
	for (int i = 1; i < argc; i++) {
		nsi_handle_one_cmdline_argument(argv[i]);
	}
}