template <typename Ok>
