#ifndef main_2b894a04_3a0c_4223_bf83_6ab40c0f5e57_h__
#define main_2b894a04_3a0c_4223_bf83_6ab40c0f5e57_h__

#include "types.h"

int main(int argc, char **argv);
void readOptions(int argc, char **argv, options * o);
void newStandard(options * o);
void newNonStandard(options * o);
void print_help(int argc, char **argv);

#endif /* main_2b894a04_3a0c_4223_bf83_6ab40c0f5e57_h__ */