add doctest to 12842