<b_jonas> slashlearn Ravnica/Ravnica: City of Guilds is a city of guilds. \xe2\x80\x9cCity of Guilds\xe2\x80\x9d is part of its name. The Wizards of the Coast Marketing Department: We Sell Anything thought players might not notice it was a City of Guilds unless they put the tagline into the name.

#ifndef MAIN_OPT_H_
#define MAIN_OPT_H_

struct Options {
	int deparse;
	enum {
		DBG_OPS   = 1,
		DBG_HASH  = 2 * DBG_OPS,
		DBG_REGEX = 2 * DBG_HASH
	} debug;
	int unoptimize;
};

extern struct Options Opt;

#endif /* MAIN_OPT_H_ */