CppAD: A C++ Algorithmic Differentiation Package 20110419
template<class Base>
size_t player< Base >::num_rec_text_ [private]