Doctest kernel