1 for testing with a release build, use
4 for testing a release build against OpenJDK output, use
7 for testing with a debug build, use
8 $ DBGFLAGS='-DDBG_JIT -DDBG_BB' make tests/Fib.dbg
10 `make clean' is needed if you change $DBGFLAGS.
11 for all available flags, see `debug.h'.