6 // Global parameters, shared by all the processes
9 extern const char* program_name;
11 extern const char* platform_file;
12 extern const char* application_file;
14 extern int help_requested;
15 extern bool version_requested;
17 extern bool bookkeeping;
19 extern cost_func comp_cost;
21 int parse_args(int* argc, char* argv[]);