#include "options.h"

Bool verboseOption = FALSE;
Bool ignoreErrorOption = FALSE;
Bool debugOption = FALSE;
Bool sectionTraceOption = FALSE;
Bool tracePushOption = FALSE;
Bool traceStackOption = FALSE;
Bool traceSourceOption = FALSE;
Bool singleStepOption = FALSE;
Bool transcriptOption = FALSE;
Bool logOption = FALSE;
Bool statusLineOption = TRUE;
Bool regressionTestOption = FALSE;
