counter_based_engine(const Prf&)