Here is a list of all variables with links to the files they belong to:

- _useBoundElimination : OptSliceParams.h
- _useBoundSimplification : OptSliceParams.h
- BitsPerWord : stdinc.h
- BufferSize : Scanner.cpp
- ExitCodeError : main.h
- ExitCodeInternalError : main.h
- ExitCodeOutOfMemory : main.h
- ExitCodeSuccess : main.h
- ExitCodeUnknownError : main.h
- ExponentsPerChunk : Ideal.cpp
- frobby_version : frobby.cpp, frobby.h
- globalChunkPool : Ideal.cpp
- MemoryAlignment : stdinc.h
- MinTermsPerChunk : Ideal.cpp
- ObjectPoolSize : Term.cpp
- PoolCount : Term.cpp
- UseBoundEliminationName : OptSliceParams.h
- UseBoundSimplificationName : OptSliceParams.h