bfbtester has this debug option
-d level Set debug level (default = 0, max = 2)
but it doesn't really cause bfbtester to output any debugging
messages. Only _one_ debugging message is defined. Why have a debug
option when it doesn't output debugging info...?
exec.c: bfbt_message(MSG_TYPE_DEBUG_L1, "Hit maximum execs");
utils.c: if (type == MSG_TYPE_DEBUG_L1 && debug_level < 1) /* Level 1 */
utils.c: if (type == MSG_TYPE_DEBUG_L2 && debug_level < 2) /* Level 2 */