for a debug build, use $ DBGFLAGS='-DDBG_JIT -DDBG_BB' make tests/Fib.dbg `make clean' is needed if you change $DBGFLAGS. for all available flags, see `debug.h'.