Symbol: SMT_STATE_ERROR