#ifndef PROCESS_ARGS_H
#define PROCESS_ARGS_H
void process_args(int argc, char **argv,char *docstring);
#endif