#ifndef _args_h_
#define _args_h_

void process_args(int, char* []);

#endif