void __dbg(unsigned option);
__dbg inserts a DBG instruction where option is a compile time constant.