Symbol: ispreqt7_t