// { dg-do assemble  }

template <class InputIterator, class BinaryOperation>
void accumulate(InputIterator first, 
    	         BinaryOperation binary_op) {
}


template<class R> int p( int val, R& r )
{
   return val + r;
}

template<class R> void f(R)
{
   accumulate(0, static_cast<int (*)(int, R&)>(p) );
}

int main()
{
   f(0);
}