#include "options.hh"

int options::version = 0;
int options::contact = 0;
int options::verbose = 0;

int options::strict_decl = 0;
int options::strict_upd_decl = 0;

const char *options::language = "C++";