#ifndef _OPTIONS_H_
#define _OPTIONS_H_

#include "types.h"

extern bool verboseOption;
extern bool ignoreErrorOption;
extern bool debugOption;
extern bool sectionTraceOption;
extern bool tracePushOption;
extern bool traceStackOption;
extern bool traceSourceOption;
extern bool singleStepOption;
extern bool transcriptOption;
extern bool logOption;
extern bool statusLineOption;
extern bool regressionTestOption;

#endif
