Symbol: ispreqt3_t