Replace for builtin doctest.