Symbol: SMT_P_SETCOUNT