Symbol: ispreqt2_t