Symbol: dbg_is_tst_rcvry