Lines Matching refs:smt_idx