#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
