#ifndef AR0231
#define AR0231
int armain(int argc, char **argv);


#endif // AR0231