Symbol: smt_debug