Symbol: smt_fill_state