Symbol: t4_smt_release